Re: [Caml-list] two bugs in camlp4? Help!!

[xclerc <xavier.clerc@inria.fr>]

Le 9 mai 2011 à 16:16, bob zhang a écrit :

> Hi, all,
> I am not sure that I made a mistake or two minor bugs in camlp4 revised
> syntax?
> 
> Both cases are in toploop, after I type
> 
> #camlp4r;;
> #load "camlp4rf.cma";
> Register.loaded_modules;
> - : ref (list string) =
> {Pervasives.contents=
> ["Camlp4ListComprenhsion"; "Camlp4MacroParser"; "Camlp4MacroParser";
> "Camlp4GrammarParser"; "Camlp4OCamlRevisedParserParser";
> "Camlp4QuotationExpander"; "Camlp4OCamlRevisedParser"]}
> 
> 
> case1:
> for the signature parsing,
> 
> when I type
> value x ~num(num=3) y = num > 0 ;
> --> value x: ~?num:int -> bool

Under 3.12.x, "value x ~num(num=3) y = num > 0 ;" cannot be parsed.
It is likely that what you want to write is "value x ?(num = 3) y = num > 0;".

The printed signature is then "value x : ~?num:int -> 'a -> bool" which is bogus.
It should be "value x : ?num:int -> 'a -> bool"; a fix has just been committed for
inclusion in the upcoming 3.12.1.


> case 2:
> when I type
> module X = struct type a = int and b = (int * int); end;
> in the toploop
> module X : sig type a = int; and b = (int * int); end
> you can see the semi is redudant, it is an error?

This is another bug in the toplevel printer for the revised grammar.
Another fix has been committed.


Thanks for reporting,

Xavier Clerc