[project @ 2002-03-27 12:09:00 by simonpj]
authorsimonpj <unknown>
Wed, 27 Mar 2002 12:09:02 +0000 (12:09 +0000)
committersimonpj <unknown>
Wed, 27 Mar 2002 12:09:02 +0000 (12:09 +0000)
commit95581e0c3b2d4d6edd33fdd6e135aa3917072c4c
tree9c5c682bba03b494cd46256de1d45e7002fae3d2
parent0b98d0b4072d643f3aacfee5e38519c74af0dd5d
[project @ 2002-03-27 12:09:00 by simonpj]
More validity checking, esp for existential ctxt on data cons
ghc/compiler/typecheck/TcClassDcl.lhs
ghc/compiler/typecheck/TcExpr.lhs
ghc/compiler/typecheck/TcMType.lhs
ghc/compiler/typecheck/TcTyClsDecls.lhs
ghc/compiler/typecheck/TcTyDecls.lhs