projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c8e62f) | patch
Remove GADT refinements, part 2
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 28 Feb 2008 05:53:26 +0000 (05:53 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 28 Feb 2008 05:53:26 +0000 (05:53 +0000)
commit996489295947877c5b2d6129e5d61043887391d9
treed96aae40c39c3acaa92dd6ce567c83a5b7ea7260tree | snapshot
parent1c8e62f6c68882f65140e3ed3049ac626cf3cb61commit | diff
Remove GADT refinements, part 2
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)