GADT tweaks
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 7 Aug 2006 00:23:45 +0000 (00:23 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 7 Aug 2006 00:23:45 +0000 (00:23 +0000)
commit373167c17a86641767ccb4df40556fa701255fb1
tree0a4e9d18a5d0447f33e71a606ce358b277c21cd6
parent7caf75c49e6d4b7eb1b88280841bcca9d6a8af00
GADT tweaks
Mon Jul 31 12:42:07 EDT 2006  kevind@bu.edu
compiler/typecheck/TcGadt.lhs