Re: [Caml-list] shortcut to omit the functor keyword

[Vincent Aravantinos <vincent.aravantinos@gmail.com>]

It seems to me as similar to the fact that you can write:

   type t = int -> int

but not:

   type t int = int

even though you can write:

   let f = fun x -> x + 1

or:

   let f x = x + 1

You're defining the type of a function, not a function over types.
Or, for modules:
You're defining the module type of a functor, not a functor over  
module types (not sure I could even call this a functor).

Le 25 mars 11 à 14:43, Joel Reymont a écrit :

> Why does the shortcut to omit the functor keyword only exists in  
> module definitions but not in signatures?
>
> For example, why do
>
> 	module type A = sig end;;
> 	module type B = sig end;;
>
> 	module type C = functor (X : A) -> functor (Y : B) -> sig end;;
>
> and not
>
> 	module type C (X : A) (Y : B) = sig end;;
>
> the latter would be consistent with
>
> 	module C (X : A) (Y : B) = struct end;;
>
> --------------------------------------------------------------------------
> - for hire: mac osx device driver ninja, kernel extensions and usb  
> drivers
> ---------------------+------------ 
> +---------------------------------------
> http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
> ---------------------+------------ 
> +---------------------------------------
>
>
>
>
>
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>