Fix kind generalisation for pattern synonyms
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Feb 2016 09:20:12 +0000 (09:20 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Feb 2016 17:16:23 +0000 (17:16 +0000)
commitb4dfe04aa77bb2d0ce2c7d82cab5e4425e0b738c
tree5685a3c3e917baeb19067ab482af0c503221927a
parent253ccdf09cc97c8a4d23cd5fea0d3dced0968738
Fix kind generalisation for pattern synonyms

We were failing to zonk, after quantifyTyVars, and that left
un-zonked type variables in the final PatSyn.

This fixes the patsyn/ problems in Trac #11648, but not
the polykinds/ ones.
compiler/typecheck/TcPatSyn.hs