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

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

Thank you!  That's very clear.  So instead of writing assert false, if
I could write a "value" of type 'a, then the type of x becomes 'a.

I confirmed it with the following file:

--------------------------------
let v = assert false

let g1 = let a = v in
         let f = fun x -> 1 in
         f

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

If I see the types of variables via "ocamlc -i", I obtained:

val v : 'a
val g1 : 'a -> int
val g2 : '_a -> int

Thank you again!

-- 
Kenichi Asai