ghc/tests/typecheck/should_fail/tcfail084.hs

   1 -- !!! Check that using a label belonging to another constructor
   2 -- !!! is flagged as being incorrect.
   3 module ShouldFail where
   4
   5 data F
   6  = F { x :: Int }
   7  | G { y :: Int }
   8
   9 z :: F
  10 z = F { y = 2 }
  11