• chak@cse.unsw.edu.au.'s avatar
    Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality... · 67ee8a93
    chak@cse.unsw.edu.au. authored
    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
    67ee8a93
Type.lhs 50.3 KB