projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 69570e0)
exprIsHNF should "look through" lets
authorsimonpj@microsoft.com <unknown>
Tue, 17 Nov 2009 12:55:26 +0000 (12:55 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 17 Nov 2009 12:55:26 +0000 (12:55 +0000)
I can't quite remember when I spotted this, but exprIsHNF (and
similarly exprIsConLike) should ignore enclosing let-bindings,
since they don't affect termination.


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)