3 (* Checks inference for non
-generalised
types (aka
"free type variables"). *)
5 val f
= (fn x
=> x
) (fn x
=> x
)
6 structure A
= struct end
10 structure A
: sig val f
: int -> int end =
12 val f
= (fn x
=> x
) (fn x
=> x
)
16 structure A
: sig val a
: int list ref
end =
36 val id
= (fn x
=> x
) (fn x
=> x
)
41 val id
= (fn x
=> x
) (fn x
=> x
)
47 val id
= (fn x
=> x
) (fn x
=> x
)
52 val id
= (fn x
=> x
) (fn x
=> x
)
58 val id
= (fn x
=> x
) (fn x
=> x
)