projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs
[ghc-hetmet.git] / compiler / types / TypeRep.lhs-boot
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... blob | commitdiff
2007-03-21 simonpj@microsoft.comRemove redundant exports from a hs-boot file blob | commitdiff | diff to current
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code blob | commitdiff | diff to current
2006-09-21 audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on... blob | commitdiff | diff to current
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-04-07 Simon MarlowReorganisation of the source tree blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)