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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 25BE57FAE1 for ; Thu, 18 Dec 2014 13:45:18 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.17.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnAAAODLklTU4xENnGdsb2JhbABaFoNCWLxtiSkKhXICgRsWAQEBAQERAQEBAQEGDQkJFC6EDQEFDEkkEAtGVxkJEYgWCdRcAQEBAQEBBAEBAQEBARyMRIMIJgeCLQxAgTAFhSWJGwGDB4UygT2EPgODUodyhA9uAYJCAQEB X-IPAS-Result: AnAAAODLklTU4xENnGdsb2JhbABaFoNCWLxtiSkKhXICgRsWAQEBAQERAQEBAQEGDQkJFC6EDQEFDEkkEAtGVxkJEYgWCdRcAQEBAQEBBAEBAQEBARyMRIMIJgeCLQxAgTAFhSWJGwGDB4UygT2EPgODUodyhA9uAYJCAQEB X-IronPort-AV: E=Sophos;i="5.07,600,1413237600"; d="asc'?scan'208";a="93998681" Received: from mout.kundenserver.de ([212.227.17.13]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Dec 2014 13:45:17 +0100 Received: from office1.lan.sumadev.de ([188.107.171.165]) by mrelayeu.kundenserver.de (mreue103) with ESMTPSA (Nemesis) id 0LphYc-1XOPwa1Vjy-00fRxp; Thu, 18 Dec 2014 13:45:06 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 87E21DC05D; Thu, 18 Dec 2014 13:45:05 +0100 (CET) Message-ID: <1418906703.5445.5.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Francois.Pottier@inria.fr Cc: caml-list@inria.fr Date: Thu, 18 Dec 2014 13:45:03 +0100 In-Reply-To: <20141217201448.GA27253@yquem.inria.fr> References: <20141217201448.GA27253@yquem.inria.fr> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-otlFlUrbGdnH1mFznAzp" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:qRU7vj4z0lu0J3tlWYVB9BLRfhloS4hfUYrFEBEEh0B0xMl5kDX /9L8uzvi29W/h/sRLZFaZLgAu3WBMfBdxCJ3WalFSEEEyRTNmvaXOhfIMNrUSNXCpzSiD0F TY8Ej+Sm7UOpyT8gZNgCP2G3N1OeXYabrwzyW/2uZjSHCrIvxOnCf7ta3Pi60+mdwZ/L41V Hp4asgDsua026Id27PG5A== X-UI-Out-Filterresults: notjunk:1; Subject: Re: [Caml-list] New release of Menhir (20141215) --=-otlFlUrbGdnH1mFznAzp Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Thanks for this, it is great news. A couple of months ago I tried to develop a monadic parser for the IMAP protocol, which has a weird grammar and needs some strange interactions between lexing and parsing. Lacking a parser generator I started to write the parser manually, but it never made good progress. It looks like Menhir can now be used for this case, and I'll try it. Gerd Am Mittwoch, den 17.12.2014, 21:14 +0100 schrieb Francois Pottier: > Dear OCaml users, >=20 > I have recently started making a series of changes in Menhir, inspired by > the work of Fr=E9d=E9ric Bour on Merlin (a smart emacs-mode for OCaml, wh= ich > uses a modified version of Menhir). Thanks to Fr=E9d=E9ric for his stimul= ating > ideas, and thanks to Gabriel Scherer for not letting me sleep until I > promised I would do something about them! :-) >=20 > I have made a first release a couple days ago. The relevant chunk of the > CHANGES file is appended below. In summary, a new incremental API is > available; Menhir now requires ocaml 4.02; and a couple of obscure featur= es > (--error-recovery and $previouserror) have been removed in the interest of > speed and simplicity. >=20 > The incremental API means that you can take a snapshot of the parser's st= ate, > essentially at no cost, at any time. It also means that the parser no lon= ger > drives the lexer; you drive the lexer, and you provide tokens to the pars= er > when it requests them. This can be convenient if the lexer is in a monad = (the > Lwt monad, for instance). >=20 > More changes are planned. The type "env" exposed by the new incremental A= PI is > currently opaque. We are planning to offer a range of functions that allow > inspecting and building values of type "env". This should allow the user = to > implement new error handling and error recovery strategies outside of Men= hir. >=20 > The new release is available now as a .tar.gz archive: >=20 > http://gallium.inria.fr/~fpottier/menhir/menhir-20141215.tar.gz >=20 > It is also available via opam ("opam install menhir"). >=20 > Cheers, >=20 > --=20 > Fran=E7ois Pottier > Francois.Pottier@inria.fr > http://gallium.inria.fr/~fpottier/ >=20 > 2014/12/15: > New incremental API (in --table mode only), inspired by Fr=E9d=E9ric Bour. >=20 > 2014/12/11: > Menhir now reports an error if one of the start symbols produces > either the empty language or the singleton language {epsilon}. >=20 > Although some people out there actually define a start symbol that recogn= izes > {epsilon} (and use it as a way of initializing or re-initializing some gl= obal > state), this is considered bad style. Furthermore, by ruling out this cas= e, we > are able to simplify the table back-end a little bit. >=20 > 2014/12/12: > A speed improvement in the code back-end. >=20 > 2014/12/08: > Menhir now requires OCaml 4.02 (instead of 3.09). >=20 > 2014/12/02: > Removed support for the $previouserror keyword. > Removed support for --error-recovery mode. >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-otlFlUrbGdnH1mFznAzp Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJUksxPAAoJEAaM4b9ZLB5TYXsH/ixJMFvLIEegVgy7fqtfCHlf /daTDOEkTibJ5SXlK4lUEWemEnLX5TsSMFfeSPO4Tg+072U8cPOATzpfRPKKaqsI rolPE5/+RZ6J1PgTin0FUkMdngpKV0jvSi8wrg3HxwQI8TLOfSP81tn8U2PXtopg rv23rh03boQmAm8d184vVrtPt/wnGXvFOwUAU9ASKT4KQHlVMO08JoGFOnCuGzYR pWVosqMdsTps0MRCi7pbIC622SAMI+VpalW8QZ1mbxiclCacW/YLCQX29+PSeO5B 90g0fc02MvSk9vpQqTvurNEAMRowsEmq1bA5Uquah47+nAYfRDsfIwmqVsfFVn0= =sWGV -----END PGP SIGNATURE----- --=-otlFlUrbGdnH1mFznAzp--