Dear camlp4 gurus, I am looking to extend the ocaml syntax to add some keyword to module signatures (in a similar way the type-conv module does for type definition). However I am stuck with a very basic example. Can anyone tell me what's wrong here ? It seems that my extension clashes with 'module_type t ::= mt with wc' in http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree#Module_typesbut I still have the same problem if I change the 'with' keyword to 'where'.
Cheers, Thomas === foo.ml === open Camlp4 open PreCast open Ast open Syntax EXTEND Gram GLOBAL: sig_item; sig_item: [[ "module"; "type"; i = a_UIDENT; "="; mt = module_type; "with"; id = LIDENT -> <:sig_item< module type $uid:i ^ "_" ^ id$ = $mt$; >> ]]; END === === test.ml === module type S = sig val x : unit -> unit end with foo === === compilation $ ocamlfind ocamlc -package camlp4 -c -pp "camlp4orf" foo.ml $ camlp4o foo.cmo test.ml File "foo.ml", line 3, characters 4-8: Parse error: [with_constr] expected after "with" (in [module_type]) ===
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs