From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: caml-list@inria.fr
Subject: Camlp5 new release 5.01
Date: Sat, 6 Oct 2007 17:33:51 +0200 [thread overview]
Message-ID: <20071006153351.GB6362@yquem.inria.fr> (raw)
Hi everybody,
New release of Camlp5: 5.01
Fixed two major bugs:
* in grammars, there was parsing confusion when using entries with
qualified names with the same final name (e.g. A.foo, B.foo),
resulting wrong parse errors => fixed
* the syntax "a, b as c, d" (in pattern in normal syntax) did not
work any more => fixed
New features:
* added library module Diff to compare two arrays, implemented with
the same algorithm than the Unix 'diff' command
* added flag 'E' in pretty print normal and revised syntax to allow
equilibrated display in match cases, if statement, and cases in parsers
and grammars (equilibrated = if one case needs a newline, all cases
are printed with newlines also)
A new version of the pretty printer in Scheme syntax is in preparation.
Some changes in the parser in Scheme syntax still exist in this version.
Details in file CHANGES in the distribution and in the site.
Download the sources and the documentation at:
http://pauillac.inria.fr/~ddr/camlp5/
--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/
reply other threads:[~2007-10-06 15:33 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20071006153351.GB6362@yquem.inria.fr \
--to=daniel.de_rauglaudre@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox