Tue Apr 22 04:52:38 PDT 2008 [EMAIL PROTECTED]
* Minor bug in SpecConstr
In SpecConstr.isValue, we recorded a ConVal for a big-lambda,
which seems wrong. I came across this when implementing System IF.
The code now reads:
isValue env (Lam b e)
| isTyVar b = case isValue env e of
Just _ -> Just LambdaVal -- NB!
Nothing -> Nothing
| otherwise = Just LambdaVal
M ./compiler/specialise/SpecConstr.lhs -1 +3
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080422115238-1287e-28fb76190c43245c4b7c805f69a41a8aa25e99dc.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
