ghc/tests/typecheck/should_fail/tcfail085.hs

   1 -- !!! Check that not supplying bindings for strict fields
   2 -- !!! is flagged as being incorrect.
   3 module ShouldFail where
   4
   5 data F
   6  = F { x :: Int, y :: !Int }
   7
   8 z :: F
   9 z = F { x = 2 }
  10