summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T18869.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T18869.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T18869.stderr8
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T18869.stderr b/testsuite/tests/typecheck/should_fail/T18869.stderr
index 11c11f397e..12e8d6f0a3 100644
--- a/testsuite/tests/typecheck/should_fail/T18869.stderr
+++ b/testsuite/tests/typecheck/should_fail/T18869.stderr
@@ -1,24 +1,24 @@
T18869.hs:10:11: error:
• Constructor ‘MkFoo’ does not have the required strict field(s):
- foo :: a
+ foo :: a0
• In the expression: MkFoo {}
In an equation for ‘testFoo’: testFoo = MkFoo {}
T18869.hs:16:11: error:
• Constructor ‘MkBar’ does not have the required strict field(s):
- bar :: a
+ bar :: a0
• In the expression: MkBar {}
In an equation for ‘testBar’: testBar = MkBar {}
T18869.hs:22:11: error:
• Constructor ‘MkBaz’ does not have the required strict field(s):
- baz2 :: a
+ baz2 :: Bool
• In the expression: MkBaz {baz1 = False}
In an equation for ‘testBaz’: testBaz = MkBaz {baz1 = False}
T18869.hs:30:12: error:
• Constructor ‘MkQuux’ does not have the required strict field(s):
- quux :: TQuux a
+ quux :: TQuux Int
• In the expression: MkQuux {}
In an equation for ‘testQuux’: testQuux = MkQuux {}