@@ -22,4 +22,19 @@ bar' = id' bar
23baz = { x: 0, y: 0, z: 0, w: 0 }
23baz = { x: 0, y: 0, z: 0, w: 0 }
25+type Quux r = (q :: Number | r)
26+type Norf r = (q' :: Number | Quux r)
28+quux :: { f :: { | Foo } | Quux Bar }
29+quux = { f: foo', x: 0, y: 0, z: 0, q: 0 }
31+quux' :: { | Norf Bar }
32+quux' = { x: 0, y: 0, z: 0, q: 0, q': 0 }
34+wildcard :: { w :: Number | _ } -> Baz
35+wildcard { w: w } = { x: w, y: w, z: w, w: w }
37+wildcard' :: { | Quux _ } -> Number
38+wildcard' { q: q } = q
25main = Debug.Trace.trace "Done"
40main = Debug.Trace.trace "Done"