projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67e7de3) | patch
[project @ 2005-08-18 10:25:46 by simonpj]
authorsimonpj <unknown>
Thu, 18 Aug 2005 10:25:47 +0000 (10:25 +0000)
committersimonpj <unknown>
Thu, 18 Aug 2005 10:25:47 +0000 (10:25 +0000)
commit70a2631a1b9e233d94ac82d4fb5a904de3745df1
tree643fdb36d88897c2da3d563225804d5c8e300dc1tree | snapshot
parent67e7de3d6b111d6f61134b591f486964411d146dcommit | diff
[project @ 2005-08-18 10:25:46 by simonpj]
1. Remove redundant coerces.  Something that started life as
coerce a b <expr>
   might change to
coerct Int Int <expr>
   after the types a,b are instantiated.

2. Get rid of the "bad eta expand" message. It can happen entirely legitimately.
   See comments in CoreUtils with eta_expand.

MERGE TO STABLE
ghc/compiler/coreSyn/CoreUtils.lhs diff | blob | history
ghc/compiler/simplCore/Simplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)