On Sun, Jun 14, 2009 at 2:31 AM, Jacques Le Normand<rathereasy@gmail.com> wrote:
> Dear List,
> With regard to the last post, I've found the solution to my problem. The
> parts of the grammar are
> type_longident_and_parameters
> and
> type_ident_and_parameters
>
> The question is: what's the difference between these two values?

type_ident_... only accepts a lowercase identifier ("foo"), while
type_longident_.. accepts a qualified type identifier ("Bar.foo", and
other strangeties). type_ident_... is used for type declarations, and
type_longident_... is used when referring to an existing type in the
"with ..." module constraint :

  module type A = sig
    module B : sig type t end
  end

  module type C = A with type B.t = int

It's the distinction between "naming objects" (typeconstr-name) and
"referring to named objects" (typeconstr) in the manual :
http://caml.inria.fr/pub/docs/manual-ocaml/manual011.html