Type families: bug fixes
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 16 Sep 2008 15:12:54 +0000 (15:12 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 16 Sep 2008 15:12:54 +0000 (15:12 +0000)

No differences found