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