3 (* Checks
type inference for flexible records
. *)
19 val _
= g
{foo
= "yes"}
29 val _
= g
{foo
= 13, goo
= 1.0}
30 val _
= g
{foo
= "yes", goo
= 1.0}
40 val _
= g
{foo
= 13, goo
= 1.0}
41 val _
= g
{foo
= "yes", goo
= false}
51 val g
= fn h
=> fn y
=> h (f y
)
53 val _
= f
{foo
=0, bar
=1}
78 fun f r
= { a
= #a r
, b
= #b r
}
79 val _
= f
{ a
= 0.0, b
= 0.0 }
91 val _
= f
{foo
=0, bar
=1}
98 val g
= fn {...} => ()
100 val () = (h (); g
{a
= 13})