patch applied (ghc): Added decidability check for type instances

chak at cse.unsw.edu.au chak at cse.unsw.edu.au
Thu Aug 30 19:26:16 EDT 2007


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



More information about the Cvs-ghc mailing list