Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2004-11-11 16:44:33 by simonpj] · dfec17bf
    Simon Peyton Jones 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