diff options
Diffstat (limited to 'testsuite/tests/impredicative/T17332.stderr')
-rw-r--r-- | testsuite/tests/impredicative/T17332.stderr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/impredicative/T17332.stderr b/testsuite/tests/impredicative/T17332.stderr index 5fb876b8c5..97c35bf70a 100644 --- a/testsuite/tests/impredicative/T17332.stderr +++ b/testsuite/tests/impredicative/T17332.stderr @@ -1,5 +1,7 @@ T17332.hs:13:7: error: [GHC-05617] - • Could not solve: ‘a’ arising from a use of ‘MkDict’ + • Could not solve: ‘a’ + arising from the head of a quantified constraint + arising from a use of ‘MkDict’ • In the expression: MkDict In an equation for ‘aux’: aux = MkDict |