projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65cc3dc) | patch
[project @ 2004-11-11 16:44:33 by simonpj]
authorsimonpj <unknown>
Thu, 11 Nov 2004 16:44:33 +0000 (16:44 +0000)
committersimonpj <unknown>
Thu, 11 Nov 2004 16:44:33 +0000 (16:44 +0000)
commitdfec17bf9c379ff1f899deb2cb39692d3cd5c418
tree5477c8db83b67fe7ebd25c1ffb85f39204b18ad3tree | snapshot
parent65cc3dcc85da90a4e680848a72aa0390ebfecdedcommit | diff
[project @ 2004-11-11 16:44:33 by simonpj]
---------------------------------
     Buglet in the handling of unlifted bindings
---------------------------------

Unlifted bindings, like
let I# v = ... in ...
can't be generalised.  In teh transition to GADTs I introduced a bug
that accidentally discarded some necessary dictionary bindings.

This commit fixes it by moving the test for unlifted bindings to a
much earlier point in tcBindWithSigs, which seems a lot cleaner to me.
ghc/compiler/typecheck/TcBinds.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)