X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fspecialise%2FSpecConstr.lhs;h=1897e1a01d9bce3cbb29c67c54dcf1574f5bc0f8;hb=0111a6850470ed851a0ddc1c66644a45c5fa54d9;hp=c9b5998627024ec8602ccb11023fa61ca79f5055;hpb=e5adcaf845207c73da65cb44cff4ef83b76dd4a9;p=ghc-hetmet.git

diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs
index c9b5998..1897e1a 100644
--- a/compiler/specialise/SpecConstr.lhs
+++ b/compiler/specialise/SpecConstr.lhs
@@ -1320,7 +1320,9 @@ isValue env (Var v)
 	-- as well, for let-bound constructors!
 
 isValue env (Lam b e)
-  | isTyVar b = isValue env e
+  | isTyVar b = case isValue env e of
+		  Just _  -> Just LambdaVal
+		  Nothing -> Nothing
   | otherwise = Just LambdaVal
 
 isValue _env expr	-- Maybe it's a constructor application