[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