projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d89d0f0) | patch
Revive External Core typechecker
authorTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 14 Apr 2008 02:46:48 +0000 (02:46 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 14 Apr 2008 02:46:48 +0000 (02:46 +0000)
commit420a27dc9fb7de5fc6c96fe078ddd4dc87222d44
treee9e1a3cdf6fb7b5c33fea405b2412904a7776efftree | snapshot
parentd89d0f0a7d39a4390894b7b36c2b0ce24b1b300ecommit | diff
Revive External Core typechecker

The typechecker works again! Yay!

Details upon request.
12 files changed:
utils/ext-core/Check.hs diff | blob | history
utils/ext-core/Core.hs diff | blob | history
utils/ext-core/Driver.hs diff | blob | history
utils/ext-core/Env.hs diff | blob | history
utils/ext-core/Interp.hs diff | blob | history
utils/ext-core/Makefile diff | blob | history
utils/ext-core/ParsecParser.hs diff | blob | history
utils/ext-core/Prep.hs diff | blob | history
utils/ext-core/PrimCoercions.hs [new file with mode: 0644] blob
utils/ext-core/Prims.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)