GADT selector bugfix, bits of cleanup
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:48:55 +0000 (17:48 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:48:55 +0000 (17:48 +0000)
commite380d180947b309f6d548ddb8a3f8144c08aaff4
tree09cf13932c92bdf1033b5d3d73cdea09942ff1ea
parentcd829ab3b15e6a7c30cedde2ca59fb5617aec32c
GADT selector bugfix, bits of cleanup
Mon Sep 18 16:48:32 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * GADT selector bugfix, bits of cleanup
  Sun Aug  6 19:43:47 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * GADT selector bugfix, bits of cleanup
    Thu Jul 27 08:10:58 EDT 2006  kevind@bu.edu
compiler/basicTypes/MkId.lhs
compiler/codeGen/SMRep.lhs
compiler/coreSyn/CoreLint.lhs