fix some GADT record selector bugs (still some remaining)
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:48:20 +0000 (17:48 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:48:20 +0000 (17:48 +0000)
commitcd829ab3b15e6a7c30cedde2ca59fb5617aec32c
tree6e443977f9dce701c9295b1409d836d5ddf5a2f2
parent204e70a4a6b977116c77226f014ebed5407713c2
fix some GADT record selector bugs (still some remaining)
Mon Sep 18 16:47:22 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * fix some GADT record selector bugs (still some remaining)
  Sun Aug  6 19:42:50 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * fix some GADT record selector bugs (still some remaining)
    Thu Jul 27 07:04:29 EDT 2006  kevind@bu.edu
compiler/basicTypes/MkId.lhs
compiler/codeGen/CgExpr.lhs