Re: [Caml-list] Agda-style parser

[Anil Madhavapeddy <anil@recoil.org>]

Andrej is probably referring to mixfix operators in Agda:
http://wiki.portal.chalmers.se/agda/agda.php?n=ReferenceManual.Mixfix

To quote:

> A name containing more than one name part can be used as an operator where the arguments go in place of the _. For instance, an application of the name if_then_else_ to arguments x, y, and z can be written either as a normal application if_then_else_ x y z or as an operator application if x then y else z.

-anil

On 6 Jul 2012, at 14:17, Fabrice Le Fessant wrote:

> Could you give more details about what you are looking for, for those
> ones who are not familiar with Agda "cool underscore thingy" ?
> 
> Thx,
> -Fabrice
> 
> On Fri, Jul 6, 2012 at 2:52 PM, Andrej Bauer <andrej.bauer@andrej.com> wrote:
>> If I wanted a parser in Ocaml that can parse things in teh style of
>> Agda (with the cool underscore thingy), where would I start looking?
>> 
>> With kind regards,
>> 
>> Andrej
>> 
>> --
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa-roc.inria.fr/wws/info/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>> 
> 
> 
> 
> -- 
> Fabrice LE FESSANT
> Chercheur en Informatique
> INRIA Saclay -- Ile-de-France
> Programming Languages and Distributed Systems
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>