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)
commita187566d4ce21b657fd5268373d0e3743d29d886
treebd2f71a1b8b62aef77a280de506e1cfc1e7cd79c
parentc93a92a5950a6343d93774cb07530deb8dd4ac3d
Type families: bug fixes
compiler/basicTypes/Var.lhs
compiler/typecheck/Inst.lhs
compiler/typecheck/TcSimplify.lhs
compiler/typecheck/TcTyFuns.lhs