projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0045fd) | patch
External Core typechecker - improve handling of coercions
authorTim Chevalier <chevalier@alum.wellesley.edu>
Tue, 22 Apr 2008 01:56:22 +0000 (01:56 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Tue, 22 Apr 2008 01:56:22 +0000 (01:56 +0000)
commit10704b34c1928dde3d0ef33fe37c3eb7b948975f
tree71ca2d28b622ec53f3f4fef6f1ff6518713ff8e3tree | snapshot
parentb0045fdd4404f3ac2ddacad8c39a017f01f8ff6bcommit | diff
External Core typechecker - improve handling of coercions

Reorganized coercion-related code in the typechecker (this was
brought about by typechecking the Core versions of the optimized GHC
libraries.) A few miscellaneous changes (fixed a bug in Prep involving
eta-expanding partial applications that had additional type
arguments.)
utils/ext-core/Check.hs diff | blob | history
utils/ext-core/Core.hs diff | blob | history
utils/ext-core/ParsecParser.hs diff | blob | history
utils/ext-core/Prep.hs diff | blob | history
utils/ext-core/PrimCoercions.hs diff | blob | history
utils/ext-core/Printer.hs diff | blob | history
utils/ext-core/README diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)