Improve pretty-printing of equalities
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 16 May 2016 12:42:22 +0000 (13:42 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 19 May 2016 09:44:47 +0000 (10:44 +0100)
commitad7f12260e227e849b815f4959df0f886ecbe807
tree87bf68f8b93edf684b00dbc80a528d4a5286d66f
parent72b677d31e39f417e4403b1b151f02913f483d32
Improve pretty-printing of equalities

The previous pretty-printer didn't account for partially
applied equalities, causing Trac #12041
compiler/types/TyCoRep.hs
testsuite/tests/indexed-types/should_fail/T12041.hs [new file with mode: 0644]
testsuite/tests/indexed-types/should_fail/T12041.stderr [new file with mode: 0644]
testsuite/tests/indexed-types/should_fail/all.T