projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af28015) | patch
Improve coercion optimisation
authorsimonpj@microsoft.com <unknown>
Fri, 30 Oct 2009 10:00:34 +0000 (10:00 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 30 Oct 2009 10:00:34 +0000 (10:00 +0000)
commit40b82d31494eabb51ef2eb47d6e6191e0db764fd
tree1a6f7c1ec9d7d6746028c0e78aad1f3a9e724a0ftree | snapshot
parentaf28015f9139151ef33098481e774be92bfcbe8fcommit | diff
Improve coercion optimisation

* Remove trace from optCoercion

* Use simplCoercion for type arguments in the Simplifier
  (because they might be coercions)
compiler/simplCore/Simplify.lhs diff | blob | history
compiler/types/Coercion.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)