ghc/tests/typecheck/should_fail/tcfail084.stderr

   1
   2 tcfail084.hs:10:
   3     Constructor `F' does not have field `y'
   4     In the record construction: F {y = 2}
   5     In the right-hand side of a pattern binding: F {y = 2}
   6
   7 Compilation had errors
   8