Thu Aug 30 07:49:01 PDT 2007 Manuel M T Chakravarty <chak at cse.unsw.edu.au>
* Added decidability check for type instances
M ./compiler/typecheck/TcMType.lhs -2 +108
M ./compiler/typecheck/TcRnDriver.lhs -1 +3
M ./compiler/typecheck/TcTyClsDecls.lhs -38 +4