Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    Fix assertion and default case for GADT record selectors · 37a594c2
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 17:16:10 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix assertion and default case for GADT record selectors
  Sun Aug  6 20:53:39 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix assertion and default case for GADT record selectors
    Wed Aug  2 11:04:21 EDT 2006  kevind@bu.edu
    37a594c2