ANNOUNCE Münster Curry Compiler release 0.9.11

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Mon, 11 Jun 2007 09:44:55 +0200

Dear colleagues,

I'm pleased to announce the availability of a new version of the
Münster Curry compiler. The source code for release 0.9.11 is
available for downloading at
      http://danae.uni-muenster.de/~lux/curry
Binary distributions for Linux, Solaris, and Mac OS X will become
available shortly.

Some highlights of this release:

* Support for building with MinGW on Windows.

* Function definitions are no longer eta-expanded automatically.

* Polymorphic generalization of let-bound variables in some cases.

* The declarative debugger has been extended to handle IO computations.

* :interface command in the interpreter.

* Private top-level definitions in the loaded module are no longer
   accessible in the interpreter. On the other hand, exported entities
   from all modules imported directly or indirectly from the loaded
   module can be used with their qualified names.

* Better reporting of pattern matching failures.

* All failures in a non-IO goal are reported by compiling the program
   with the -f option (use :set -f in the interpreter).

Regards
Wolfgang

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Jun 11 2007 - 10:01:50 CEST

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