diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7019.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7019.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7019.stderr b/testsuite/tests/typecheck/should_fail/T7019.stderr index 2db5bbb90b..09827e458b 100644 --- a/testsuite/tests/typecheck/should_fail/T7019.stderr +++ b/testsuite/tests/typecheck/should_fail/T7019.stderr @@ -2,4 +2,5 @@ T7019.hs:11:1: error: ā¢ Illegal polymorphic type: forall a. c (Free c a) A constraint must be a monotype + Perhaps you intended to use QuantifiedConstraints ā¢ In the type synonym declaration for āCā |