patch applied (ghc-6.6/ghc): Ensure that only zonked poly_ids are
passed to tcSpecPrag
igloo at earth.li
Sun Sep 24 13:27:17 EDT 2006
Sun Sep 17 17:48:05 PDT 2006 simonpj at microsoft.com
* Ensure that only zonked poly_ids are passed to tcSpecPrag
This is a long-standing bug really (Trac #900). The poly_id passed
to tcSpecPrag should be zonked, else it calls tcSubExp with a non-zonked
type; but that contradicts the latter's invariant.
I ended up doing a bit of refactoring too. The extra lines are
comments I think; the code line count is reduced.
Test is tc212.hs
M ./compiler/typecheck/TcBinds.lhs -23 +29
M ./compiler/typecheck/TcHsSyn.lhs +1
More information about the Cvs-ghc