On 2013 Oct 25, at 13:44 , Jacques Le Normand <rathereasy@gmail.com> wrote:

I'm surprised noone has pointed out the new type annotation syntax:

let id : type s. s -> s = fun x -> x

I like that syntax, I think.

I suppose that "id : type s. s -> s = fun x -> x" is a let-binding

and that "id : type s. s -> s" is a pattern,

but I cannot get the syntax at http://caml.inria.fr/pub/docs/manual-ocaml/patterns.html

to produce "id : type s. s -> s”.