diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/PromotedClass.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/PromotedClass.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/dependent/should_fail/PromotedClass.stderr b/testsuite/tests/dependent/should_fail/PromotedClass.stderr index 544124ed07..f0683309bc 100644 --- a/testsuite/tests/dependent/should_fail/PromotedClass.stderr +++ b/testsuite/tests/dependent/should_fail/PromotedClass.stderr @@ -1,6 +1,5 @@ PromotedClass.hs:10:15: error: • Illegal constraint in a type: Show a0 - • In the first argument of ‘Proxy’, namely ‘MkX True’ - In the type signature: - foo :: Proxy (MkX True) + • In the first argument of ‘Proxy’, namely ‘( 'MkX 'True)’ + In the type signature: foo :: Proxy ( 'MkX 'True) |