1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
module Main where
type Foo = (x :: Number | (y :: Number | (z :: Number)))
type Bar = (x :: Number, y :: Number, z :: Number)
type Baz = { w :: Number | Bar }
foo :: { | Foo }
foo = { x: 0, y: 0, z: 0 }
bar :: { | Bar }
bar = { x: 0, y: 0, z: 0 }
id' :: Object Foo -> Object Bar
id' = id
foo' :: { | Foo }
foo' = id' foo
bar' :: { | Bar }
bar' = id' bar
baz :: Baz
baz = { x: 0, y: 0, z: 0, w: 0 }
type Quux r = (q :: Number | r)
type Norf r = (q' :: Number | Quux r)
quux :: { f :: { | Foo } | Quux Bar }
quux = { f: foo', x: 0, y: 0, z: 0, q: 0 }
quux' :: { | Norf Bar }
quux' = { x: 0, y: 0, z: 0, q: 0, q': 0 }
wildcard :: { w :: Number | _ } -> Baz
wildcard { w: w } = { x: w, y: w, z: w, w: w }
wildcard' :: { | Quux _ } -> Number
wildcard' { q: q } = q
main = Debug.Trace.trace "Done"
|
