testdata/language-features/adt/adt01.lc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

data Zero

data One1 a = One1 a

data OneInt = OneI Int

data OneBool = OneBool Bool

data Two a b
  = TwoA a
  | TwoB b

value1 = OneBool True

f (OneBool x) = x

main = f value1