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 Di Mai 16 2006 - 09:00:55 CEST