Re: [Caml-list] camlp4: a silly question about quoting Ocaml terms

[Jeremy Yallop <yallop@gmail.com>]

On 2 November 2013 19:57, Matej Kosik
<5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote:
> By looking at:
>
>   http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree#Types
>
> there is a line:
>
>      <:ctyp< t : t >>   ....... Field declaration ........ TyCol of Loc.t and ctyp and ctyp
>
> so it seems that it should also be somehow posible to get a quote for "field declaration", i.e.:
>
>   <:ctyp<foo1:bar1>>

Yes.

> However, if I try that, I get an error:
>
>   While expanding quotation "ctyp" in a position of "expr":
>     Parse error: "->" expected after [ctyp level star] (in [ctyp]
>
> I do not quite understand why that quotation was rejected by camlp4.

I think it's a bug in camlp4, which appears to be parsing "foo1:bar1"
as part of a function type with a labelled argument (such as
"foo1:bar1 -> int").  It'd be worth submitting a report on Mantis
(http://caml.inria.fr/mantis) about the problem.  In the meantime you
can work around the issue either by writing the AST by hand or by
switching to the revised syntax, which doesn't have this ambiguity.

Jeremy.