projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5909e9a) | patch
put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 19 Jun 2011 00:34:50 +0000 (17:34 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 19 Jun 2011 00:34:50 +0000 (17:34 -0700)
commitd9a655dad8e013e41c74dca98fb86c4ed6f29879
tree1289214811249bac16bc64cdd2221dcf9d75696btree | snapshot
parent5909e9a896d40a18b4bcf6abb95e0b071bfd7db2commit | diff
put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs
compiler/deSugar/Desugar.lhs diff | blob | history
compiler/hetmet diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)