projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e9dc3d) | patch
Ensure that only zonked poly_ids are passed to tcSpecPrag
authorsimonpj@microsoft.com <unknown>
Mon, 18 Sep 2006 00:48:05 +0000 (00:48 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 18 Sep 2006 00:48:05 +0000 (00:48 +0000)
commit40f5a0759bd07308009c3ae8956dfa061c684ebd
tree11f0c759652e5d900313d28ec6a67b552f8d5539tree | snapshot
parent4e9dc3d744df308623463c7caa320d0cad1ae9d0commit | diff
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
compiler/typecheck/TcBinds.lhs diff | blob | history
compiler/typecheck/TcHsSyn.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)