Better error message for unsolvable equalities
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 3 Sep 2007 07:45:28 +0000 (07:45 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 3 Sep 2007 07:45:28 +0000 (07:45 +0000)
commite913ed4d009dac1be837b79e99f352ca1d3fc965
tree40b3e8009c6fe89510f55684c273d27301b2ea47
parent3ebcc2d032b8e9ebe0e1d7a88e8be932f4b118f6
Better error message for unsolvable equalities
compiler/typecheck/TcTyFuns.lhs