testsuite/tests/typecheck/should_fail/tcfail112.stderr


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


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

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

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