From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeremie@dimino.org>
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 0823A7ED34
	for <caml-list@sympa.inria.fr>; Fri,  6 Jul 2012 17:16:37 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeremie@dimino.org) identity=pra; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  jeremie@dimino.org designates 213.186.38.18 as permitted
  sender) identity=mailfrom; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@solaria.dimino.org) identity=helo;
  client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="postmaster@solaria.dimino.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqEFANcA90/VuiYS/2dsb2JhbABFhRRQsVmBB4IYAQEEAQwXVgULCQIaAiYCAlcGE4gGCadgkweBIIoZhRSBEgOVNoETjnGCYQ
X-IronPort-AV: E=Sophos;i="4.77,537,1336341600"; 
   d="scan'208";a="149869923"
Received: from solaria.dimino.org ([213.186.38.18])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 06 Jul 2012 17:16:36 +0200
Received: from caladan (caladan.dim [10.200.42.14])
	by solaria.dimino.org (Postfix) with ESMTP id 90F6F80083;
	Fri,  6 Jul 2012 17:16:35 +0200 (CEST)
Received: from caladan.esterel-technologies.com (localhost [127.0.0.1])
	by caladan (Postfix) with ESMTP id 72C0DFF877;
	Fri,  6 Jul 2012 17:15:38 +0200 (CEST)
Date: Fri, 6 Jul 2012 17:15:37 +0200
From: =?UTF-8?B?SsOpcsOpbWll?= Dimino <jeremie@dimino.org>
To: Andrej Bauer <andrej.bauer@andrej.com>
Cc: caml-list@inria.fr
Message-ID: <20120706171537.0d1ffbf4@caladan.esterel-technologies.com>
In-Reply-To: <CAB0nkh33fuZyCMx78fkwgTLQ7SmtNjzjQhfP6PLr-R52N2doTw@mail.gmail.com>
References: <CAB0nkh33fuZyCMx78fkwgTLQ7SmtNjzjQhfP6PLr-R52N2doTw@mail.gmail.com>
X-Mailer: Claws Mail 3.8.0 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Agda-style parser

Le Fri, 6 Jul 2012 14:52:39 +0200,
Andrej Bauer <andrej.bauer@andrej.com> a =C3=A9crit :

> 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?

You can have a look at dypgen [1]. Actions can extend the grammar.

  [1] http://dypgen.free.fr/

J=C3=A9r=C3=A9mie