testsuite/tests/typecheck/should_fail/tcfail085.stderr


1
2
3
4
5
6


tcfail085.hs:9:5: error:
    • Constructor ‘F’ does not have the required strict field(s):
        y :: Int
    • In the expression: F {x = 2}
      In an equation for ‘z’: z = F {x = 2}