Sun Sep 17 17:48:05 PDT 2006 [EMAIL PROTECTED]
* 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
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
