projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d8ad02) | patch
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)
commit69570e0b00cd839a42e8875830b99417580c6245
tree72a036067b50e8f76a0ae79a90ca44db27366946tree | snapshot
parent7d8ad0267dca350280f00f32721e04a73ed88a9ecommit | diff
exprIsHNF should "look through" lets

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.
compiler/coreSyn/CoreUtils.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)