Add kind-defaulting in simplifyInfer (fixes Trac #7332)
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 15 Oct 2012 09:56:22 +0000 (10:56 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 15 Oct 2012 09:56:22 +0000 (10:56 +0100)
commit743582514c068c34235af2750dd5a726e981b77c
treed0f69ff4c2dd8427b56c542d13bf8a49c538fd57
parentc8bac7c01b8c19f7e91a6bd47077a9d933322e1b
Add kind-defaulting in simplifyInfer (fixes Trac #7332)

The basic point here is described in TcSimplify
   Note [Promote _and_ default when inferring]
The new thing is that, when figuring out the predicates
to abstact over in simplifyInfer, we must default OpenKind
to *, just as we do in quantifyTyVar. I had not realised
how important this was until Oleg came up with Trac #7332.

As usual I did some refactoring, so the patch affects
many more lines than strictly necessary.
compiler/typecheck/TcSimplify.lhs