diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/LevPolyLet.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/LevPolyLet.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr b/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr index 8d01f4028b..73d37dae84 100644 --- a/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr +++ b/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr @@ -1,5 +1,5 @@ LevPolyLet.hs:18:7: - A levity-polymorphic type is not allowed here: + A representation-polymorphic type is not allowed here: Type: a Kind: TYPE ('BoxedRep v) In the type of binder ‘x’ |