projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a97f155) | patch
Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality function...
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:58:30 +0000 (17:58 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:58:30 +0000 (17:58 +0000)
commit67ee8a93fc96a38c3f73468cb86d8421a11d2911
tree5f21f25d3d36bc4acbc580f2c63be26ba9226bc6tree | snapshot
parenta97f155c04a7ff981da3e589158ecf70db72d1cdcommit | diff
Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
Mon Sep 18 17:07:38 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
  Sun Aug  6 20:28:50 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
    Tue Aug  1 06:14:43 EDT 2006  kevind@bu.edu
compiler/typecheck/TcGadt.lhs diff | blob | history
compiler/types/Coercion.lhs diff | blob | history
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)