Hello, I search briefly on google and found nothing suprinsingly ... OCaml modern extension seems badly supported by tuareg. In particular the type keyword for polymorphic type: let f : type a.a -> a = fun x -> x Does anyone have a quick fix ? Cheers, Christophe