blob: 70cd77bca3a24a43fa1c535ec735e4b16b0e7074 (
plain)
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 {}
|