testsuite/tests/typecheck/should_fail/tcfail112.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


tcfail112.hs:11:6: error:
    • Constructor ‘S’ does not have the required strict field(s):
        y :: Int
    • In the expression: S {}
      In an equation for ‘s1’: s1 = S {}

tcfail112.hs:12:6: error:
    • Constructor ‘S’ does not have the required strict field(s):
        y :: Int
    • In the expression: S {x = 3}
      In an equation for ‘s2’: s2 = S {x = 3}

tcfail112.hs:14:6: error:
    • Constructor ‘T’ does not have the required strict field(s)
    • In the expression: T {}
      In an equation for ‘t’: t = T {}