Fix assertion and default case for GADT record selectors
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:16:42 +0000 (18:16 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:16:42 +0000 (18:16 +0000)
commit37a594c2ef06b4655444e2e5a1b0fb386ff9f950
tree9c5588b7f155cbbe7a432ce779edf775b54a15d4
parent71cad0e1783707f325973a537b3b0a74300bd866
Fix assertion and default case for GADT record selectors
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
compiler/basicTypes/MkId.lhs