-
simonpj authored
--------------------------------- 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.
dfec17bf