Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail112.stderr
1
2 tcfail112.hs:11:6:
3     Constructor ‘S’ does not have the required strict field(s): y
4     In the expression: S {}
5     In an equation for ‘s1’: s1 = S {}
6
7 tcfail112.hs:12:6:
8     Constructor ‘S’ does not have the required strict field(s): y
9     In the expression: S {x = 3}
10     In an equation for ‘s2’: s2 = S {x = 3}
11
12 tcfail112.hs:14:6:
13     Constructor ‘T’ does not have the required strict field(s)
14     In the expression: T {}
15     In an equation for ‘t’: t = T {}