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

[Satoshi Ogasawara <ogasawara@itpl.co.jp>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 2011/03/26, at 3:43, Joel Reymont wrote:
> 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;;

I'd like to suggest yet another grammar.

	module type C = functor (X : A) (Y : B) -> sig end;;

Here is a camlp4 code.

- ----
open Camlp4.PreCast

module Caml = Syntax

let expand_module_type_functor_args _loc args mt =
  List.fold_left 
    (fun mt (i, t) ->
       <:module_type< functor ( $i$ : $t$ ) -> $mt$ >>) mt (List.rev args)

EXTEND Caml.Gram
  GLOBAL: Caml.expr;
  Caml.str_item: LEVEL "top" [
    [ "module"; "type"; i = Caml.a_UIDENT; "="; "functor"; args = LIST1 functor_arg; "->"; mt = Caml.module_type ->
      <:str_item< module type $i$ = $expand_module_type_functor_args _loc args mt$ >>
    ]
  ];
  functor_arg : [
    [ "("; i = Caml.a_UIDENT; ":"; t = Caml.module_type; ")" -> 
       (i, t) 
    ]
  ];
END;;
- ----

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (Darwin)

iEYEARECAAYFAk2Nl1cACgkQzTChtNfYLwa3lgCgl20db1FmDwhUyABil1eEAXj9
kVMAoPGI7ercFu6JX9t0Ev/bl3fWIvax
=a0Fh
-----END PGP SIGNATURE-----