New MCC version

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Mon, 15 May 2006 18:07:12 +0200

Dear colleagues,

I would like to announce the availability of version 0.9.10 of the
Münster Curry compiler and of version 1.0 of its AquaCurry GUI for
Mac OS X. Both are available at
   http://danae.uni-muenster.de/~lux/curry

Some highlights of this release:

* Compatible with version 0.8.2 of the Curry report except for minor
   differences w.r.t the module system.

* Better error reporting (in particular, the compiler does not stop
   at the first undefined or ambiguous identifier).

* Optional case mode violation warnings, unused identifier warnings,
   shadowing warnings, and warnings for equations with overlapping
   left hand sides. (These can be turned on individually or with -Wall).

* Existentially quantified data types are supported again.

* Trust annotations for the declarative debugger.

* Command line editing and history in the interactive environment.

* Initialization files for the interactive environment (either .cyirc or
   ~/.cyirc) read at startup, so that -Wall can be made the default.

* AllSolutions.getSearchTree now implements strong encapsulation
   correctly.

* New library modules Lexing, NameSupply, and Socket (supposed to be
   compatible with PAKCS)

* Full Unicode character set supported in the runtime system.

Regards
Wolfgang

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Tue May 16 2006 - 09:00:55 CEST

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:06 CEST