Improved error messages for higher-rank equality contexts
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 7 Sep 2007 10:19:01 +0000 (10:19 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 7 Sep 2007 10:19:01 +0000 (10:19 +0000)
commite34157d4abd4b82d9b5c32035946edcd22c235b6
tree09bcffaeff478b68782f16c256cad45fb4f69f9c
parente062d977204e0aa21f391f8ee23b8a941e041583
Improved error messages for higher-rank equality contexts
compiler/typecheck/TcMType.lhs
compiler/types/TypeRep.lhs