diff options
author | simonpj@microsoft.com <unknown> | 2008-01-17 10:52:56 +0000 |
---|---|---|
committer | simonpj@microsoft.com <unknown> | 2008-01-17 10:52:56 +0000 |
commit | 8e15cfb601a904523a39079aa7c55e729ccbffda (patch) | |
tree | 9067b0c8d6ea4e92aa0447007edcc4ab2edc4b15 /compiler/javaGen/JavaGen.lhs | |
parent | 25d7f19d1fa3a58931f2fb39f6a63e533fa72ddd (diff) | |
download | haskell-8e15cfb601a904523a39079aa7c55e729ccbffda.tar.gz |
Record evaluated-ness information correctly for strict constructors
The add_evals code in Simplify.simplAlt had bit-rotted. Example:
data T a = T !a
data U a = U !a
foo :: T a -> U a
foo (T x) = U x
Here we should not evaluate x before building the U result, because
the x argument of T is already evaluated.
Thanks to Roman for finding this.
Diffstat (limited to 'compiler/javaGen/JavaGen.lhs')
0 files changed, 0 insertions, 0 deletions