New MCC version

From: Wolfgang Lux <>
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

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

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

* Full Unicode character set supported in the runtime system.


curry mailing list
Received on Di Mai 16 2006 - 09:00:55 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 13 2024 - 07:15:07 CEST