Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / 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