Release Notes: This bugfix release fixes build problems on Solaris and NetBSD and adds support for selecting the C# compiler at configuration time. Various other minor bugs have been fixed. There are also some minor additions to the standard library.
Release Notes: Generation of 64-bit executables on Windows is now supported. Compilation times for very large programs have been improved. Several new type representation optimizations have been added. The debugger now has better support for handling cliques of mutually recursive calls on the stack. A binding to the GLFW library has been added to the extras distribution. Assemblies generated with the C# backend can now be signed with a strong name.
Release Notes: This bugfix release fixes problems with building the library in the C# grade on Cygwin and with using GCC in C99 (or GNU99) mode. There are also some minor additions to the standard library.
Release Notes: New features in this release include Unicode support, a new form of memory profiling, and the ability to initialize mutables using semipure or impure function calls. Support for using MSVC as the C compiler has been improved and support for using clang as the C compiler has been added. The Java backend is now compatible with Java 1.7. In addition, numerous performance improvements and bugfixes have been made.
Release Notes: New language features include scopes that require a scoped goal to have a particular determinism and a scope that requires a switch to be complete. A new backend that generates C# has been added. Support for using frameworks on Mac OS X has been improved. A binding to the Cairo 2D graphics library has been added to the extras distribution. A module that provides lazy evaluation has been added to the standard library. String switches have been improved for the LLDS backend.
Release Notes: A number of problems that caused the compiler to abort have been fixed, some broken RTTI operations in the Java grade have been fixed, and a workaround was included for a problem with GCC version 4.4.
Release Notes: This is a bugfix release.
Release Notes: A new language feature, trace goals, allows progress or logging messages to be printed in the middle of arbitrary computations. Some of the restrictions on type class instances have been lifted. Syntatic sugar for exception handlers has been added. There are new standard library modules that provide calenders, directed graphs, and utility procedures for writing parsers. The Java backend has been greatly improved. A new backend that generates Erlang has been added. Thread-local mutables are now supported. A debugger that works with the high-level C and Java backends has been added.
Release Notes: New features in the Mercury language are explicit type qualification, tuples, record syntax, and more. A new compiler back-end is featured, for improved compilation speed, better portability, and sometimes better performance (the original back-end is still included. Another new back-end that compiles directly to assembler, using the GCC back-end. New standard library modules for pretty printing, managing counters, enumerations, bitsets, hash tables, and packages for parser generation, concurrency, streams, and XML have been added.
Release Notes: The Mercury type system now supports existentially quantified types. We now allow abstract instance declarations. We now support a simple form of user-defined infix operators. Exception handling support is now part of the standard library. There are two new standard library modules `time' and `gc'. We've added function versions of many of the predicates in the Mercury standard library. We've added support for optional lazy evaluation. The extras distribution now includes support for dynamic linking. We've added some bindings to POSIX.3 functionality.