Re: [Caml-list] Question on "more general"

[Kenichi Asai <asai@is.ocha.ac.jp>]

> Without looking too closely at your question I would assume that is just the
> value restriction.

But both in the expressions:

>     let a = 1 in fun x -> 1
>     let a = assert false in fun x -> 1

the variable a is not used in fun x -> 1.  How can the type of x be
affected by an unused binding for a around fun x -> 1?

It also seems that assert false can be used polymorphically (because
of the relaxed value restriction?):

# fun () -> let a = assert false in (a 1, a true);;
Warning 20: this argument will not be used by the function.
Warning 20: this argument will not be used by the function.
- : unit -> 'a * 'b = <fun>

-- 
Kenichi Asai