path: root/testsuite/tests/typecheck/should_fail/tcfail085.stderr

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