summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr5
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr
index 65db9f5a84..bf50beed5e 100644
--- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr
+++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr
@@ -1,6 +1,7 @@
-UnliftedNewtypesInfinite.hs:9:15: error:
+UnliftedNewtypesInfinite.hs:9:20: error:
• Occurs check: cannot construct the infinite kind:
t0 ~ 'GHC.Types.TupleRep '[ 'GHC.Types.IntRep, t0]
- • In the definition of data constructor ‘FooC’
+ • In the type ‘(# Int#, Foo #)’
+ In the definition of data constructor ‘FooC’
In the newtype declaration for ‘Foo’