diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.stderr | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.stderr b/testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.stderr index dcb79191d7..09c8e93a80 100644 --- a/testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.stderr +++ b/testsuite/tests/typecheck/should_fail/ExplicitSpecificity8.stderr @@ -1,6 +1,3 @@ -ExplicitSpecificity8.hs:9:12: error: - • Unexpected inferred variable in visible forall binder: - forall {k} -> k -> Type - • In the kind ‘forall {k} -> k -> Type’ - In the data type declaration for ‘T2’ +ExplicitSpecificity8.hs:9:19: error: + Inferred type variables are not allowed here |