From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id B8FA67ED34 for ; Fri, 6 Jul 2012 15:22:35 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwCAOLl9k9ZELGagWdsb2JhbAArGqYxkSoBARYmJ4IYAQEEAW4LBQsLGA0hRRIGExKHawMGBQQHKbBEA4lYizmFRmADlTeBEpFR X-IronPort-AV: E=Sophos;i="4.77,537,1336341600"; d="scan'208";a="149854550" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail4-smtp-sop.national.inria.fr with SMTP; 06 Jul 2012 15:22:35 +0200 Received: (qmail 12853 invoked by uid 634); 6 Jul 2012 13:22:34 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from dhcp-128-232-143-229.eduroam.csx.cam.ac.uk (HELO dhcp-128-232-143-229.eduroam.csx.cam.ac.uk) (128.232.143.229) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Fri, 06 Jul 2012 14:22:33 +0100 Mime-Version: 1.0 (Apple Message framework v1278) Content-Type: text/plain; charset=iso-8859-1 From: Anil Madhavapeddy In-Reply-To: Date: Fri, 6 Jul 2012 14:22:31 +0100 Cc: Andrej Bauer , caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <43F9C966-A28D-4174-9A9B-B185FC83D68E@recoil.org> References: To: Fabrice Le Fessant X-Mailer: Apple Mail (2.1278) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] Agda-style parser Andrej is probably referring to mixfix operators in Agda: http://wiki.portal.chalmers.se/agda/agda.php?n=3DReferenceManual.Mixfix To quote: > A name containing more than one name part can be used as an operator wher= e the arguments go in place of the _. For instance, an application of the n= ame if_then_else_ to arguments x, y, and z can be written either as a norma= l 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" ? >=20 > Thx, > -Fabrice >=20 > On Fri, Jul 6, 2012 at 2:52 PM, Andrej Bauer wr= ote: >> 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? >>=20 >> With kind regards, >>=20 >> Andrej >>=20 >> -- >> 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 >>=20 >=20 >=20 >=20 > --=20 > Fabrice LE FESSANT > Chercheur en Informatique > INRIA Saclay -- Ile-de-France > Programming Languages and Distributed Systems >=20 > --=20 > 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 >=20