The type a. t syntax is not handled correctly

[yallop]

The following function gives a syntax error when evaluated (run):

let f : type a. a -> a
   = fun x -> x

The error is:

OCaml version 4.01.0+dev12-2013-03-28

# let f : type a

Characters 14-16:  let f : type a;;
              ^^
Error: Syntax error

[AltGr]

Hmm, right, it seems that a phrase boundary is detected there, so only the first part is sent to the toplevel. I am investigating

Thanks for reporting

[AltGr]

Fixed by https://github.com/OCamlPro/ocp-indent/commit/259b85f27d8859bb6d14fdf5e4c33ca1e04b9aba