Missing fields: enhance error messages (#18869)

This patch delays the detection of missing fields in record creation
after type-checking. This gives us better error messages (see updated
test outputs).

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 {}