Wed Sep 17 09:29:10 PDT 2008 [EMAIL PROTECTED]
* Fix nasty infelicity: do not short-cut empty substitution in the simplifier
I was perplexed about why an arity-related WARN was tripping. It took
me _day_ (sigh) to find that it was because SimplEnv.substExpr was taking
a short cut when the substitution was empty, thereby not subsituting for
Ids in scope, which must be done (CoreSubst Note [Extending the Subst]).
The fix is a matter of deleting the "optimisation". Same with
CoreSubst.substSpec, although I don't know if that actually caused a
probem.
M ./compiler/coreSyn/CoreSubst.lhs -7 +13
M ./compiler/simplCore/SimplEnv.lhs -7 +3
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080917162910-1287e-cee97725b3378d6478e16194e7d1aa2d0f933aa6.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
