Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[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