projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cef3ae) | patch
Eta-expand newtype coercions in External Core
authorTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 14 Apr 2008 03:16:54 +0000 (03:16 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 14 Apr 2008 03:16:54 +0000 (03:16 +0000)
commitd89d0f0a7d39a4390894b7b36c2b0ce24b1b300e
treeacc25534becdd73c394ca1c5ce7df60a7f23e895tree | snapshot
parent0cef3aef2b443ae02742d5543a403df66037c30fcommit | diff
Eta-expand newtype coercions in External Core

Typechecking External Core is easier if we eta-expand axioms
in newtype declarations. For a fuller explanation, see:
http://www.haskell.org/pipermail/cvs-ghc/2008-April/041948.html
compiler/coreSyn/MkExternalCore.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)