[wg-camlp4] Meta Programming from the view of the implementaion
Török Edwin
edwin+ml-ocaml at etorok.net
Wed Jan 30 17:32:12 GMT 2013
On 01/30/2013 07:07 PM, Alain Frisch wrote:
> On 01/30/2013 05:13 PM, Leo White wrote:
>>> Do you really mean using a single > as the closing delimiter in the
>>> first case?
>>
>> You're right that should really be ">>".
>
> Same problem:
>
> let ( >> ) = ( lsr ) in
> << foo >> 2 >>
>
>>> >> is also a valid binary operator, by the way.
>>>
>>
>> Yes, but it is also listed as a keyword, so it is probably fine to
>> appropriate it.
>
> The manual says:
>
> ""
> Note that the following identifiers are keywords of the Camlp4 extensions and should be avoided for compatibility reasons.
>
> parser << <: >> $ $$ $:
> ""
>
>>> and << are really not keywords of OCaml, and I wouldn't be surprised they are actually used as operators.
>> is used by OCamlnet:
http://projects.camlcity.org/projects/dl/ocamlnet-3.5.1/doc/html-main/Uq_engines.Operators.html
--Edwin
More information about the wg-camlp4
mailing list