testsuite/tests/typecheck/should_fail/tcfail084.hs


1
2
3
4
5
6
7
8
9
10
11

-- !!! Check that using a label belonging to another constructor
-- !!! is flagged as being incorrect.
module ShouldFail where

data F
 = F { x :: Int }
 | G { y :: Int }

z :: F
z = F { y = 2 }