Improve error messages for roles by writing role names out
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 28 Aug 2013 02:07:39 +0000 (22:07 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 28 Aug 2013 03:04:58 +0000 (23:04 -0400)
commit477bc9be26d9ac0c4cd674403c2a57fba9d1ee09
tree8b4881e04d3b4192ed359ee543f3ddc2612954eb
parent382f601406b11b7d4fdc72d773c6060372f1fbb3
Improve error messages for roles by writing role names out
compiler/typecheck/TcDeriv.lhs
compiler/typecheck/TcTyClsDecls.lhs
compiler/types/CoAxiom.lhs