projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ecf87b) | patch
Minor bug in SpecConstr
authorsimonpj@microsoft.com <unknown>
Tue, 22 Apr 2008 11:52:38 +0000 (11:52 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 22 Apr 2008 11:52:38 +0000 (11:52 +0000)
commit207151a384d187c29baa5bf3ec2405c27d58c1df
tree3c60f0cd08d507315568a825da29fa1cb4e61fc4tree | snapshot
parent7ecf87b26ca50c1b6def186c32f4dfa0e9cedb97commit | diff
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
compiler/specialise/SpecConstr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)