The Mercury Project

Color diagnostics

24th Jun 2024 00:00 +1000

The Mercury compiler now uses color in diagnostic messages by default. For details, see the new "Diagnostic output" chapter of the Mercury Users' Guide in the current release of the day.

Mercury 22.01.8 released

17th Sep 2023 00:00 +1000

Release information is available here.

Mercury 22.01.7 released

30th Jul 2023 00:00 +1000

Release information is available here.

Mercury 22.01.6 released

10th May 2023 00:00 +1000

Release information is available here.

Mercury 22.01.5 released

31st Dec 2022 00:00 +1000

Release information is available here.

Mercury 22.01.4 released

13th Nov 2022 00:00 +1000

Release information is available here.

Mercury 22.01.3 released

9th Jul 2022 00:00 +1000

Release information is available here.

Mercury 22.01.2 released

19th Jun 2022 00:00 +1000

Release information is available here.

Mercury 22.01.1 released

20th Apr 2022 00:00 +1000

Release information is available here.

Mercury 22.01 released

31st Mar 2022 00:00 +1000

Release information is available here.

22.01 beta release available

24th Jan 2022 00:00 +1000

Beta versions of the upcoming 22.01 release are available on the downloads page.

Subtypes support

16th Apr 2021 00:00 +1000

The latest releases of the day now support subtypes. You can read about subtypes in the reference manual.

Mercury 20.06.1 released

3rd Nov 2020 00:00 +1000

Release information is available here.

Mercury 20.06 released

30th Jun 2020 00:00 +1000

Release information is available here.

20.06 beta release available

2nd Jun 2020 00:00 +1000

Beta versions of the upcoming 20.06 release are available on the downloads page.

Mercury 20.01.2 released

3rd May 2020 00:00 +1000

Release information is available here.

Mercury 20.01.1 released

1st Mar 2020 00:00 +1000

Release information is available here.

Mercury 20.01 released

28th Jan 2020 00:00 +1000

Release information is available here.

20.01 beta release available

10th Jan 2020 00:00 +1000

Beta versions of the upcoming 20.01 release are available on the downloads page.

musl libc support

9th Jan 2018 00:00 +1000

Mercury now works with systems that use the musl C library.

Unsigned Integers

13th Jun 2017 00:00 +1000

We have added a new builtin primitive type: uint. This type provides unsigned integers of the same size as Mercury's int type. The new type is available in the latest release of the day.

New Presentations

7th Apr 2015 00:00 +1000

Paul Bone introduced Mercury in a presentation to the Melbourne Functional User Group. His slides are available on the Papers page. The slides from Paul's Ph.D. completion seminar have also been made available

Mercury 14.01.1 released

8th Sep 2014 00:00 +1000

Release information is available here.

Windows binary packages for Mercury 14.01 available

19th Feb 2014 00:00 +1000

Windows binary packages for Mercury 14.01 using either MinGW GCC or Visual Studio 2013 (32-bit only) are now available on the downloads page.

Mercury 14.01 released

10th Feb 2014 00:00 +1000

Release information is available here.

14.01 beta release available

3rd Jan 2014 00:00 +1000

Beta versions of the upcoming 14.01 release are available on the downloads page.

Mercury 13.05.2 released

3rd Dec 2013 00:00 +1000

Release information is available here.

Windows binary package for 13.05.1 available

19th Aug 2013 00:00 +1000

A Windows binary package for Mercury 13.05.1 is now available on the downloads page.

13.05.2 beta release available

24th Jun 2013 00:00 +1000

Beta versions of the upcoming 13.05.2 release are available on the downloads page.

Mercury 13.05.1 released

14th Jun 2013 00:00 +1000

Release information is available here.

13.05.1 beta release available

28th May 2013 00:00 +1000

We're preparing a point release that will fix some problems in 13.05. The first beta version of this point release is available on the downloads page.

Paul Bone's Ph.D. dissertation is now available

19th May 2013 00:00 +1000

Paul's Ph.D. dissertation, titled Automatic Parallelisation for Mercury, has been examined and is now available for download on the Mercury papers page.

Mercury 13.05 released

16th May 2013 00:00 +1000

We are pleased to announce the release of version 13.05 of the Mercury system. The new release can be downloaded from the downloads page. For a list of changes since the last version see the release notes.

Website redesign

6th May 2013 00:00 +1000

We have updated the website. Thanks to YesLogic for the new design!

13.05 beta release available

2nd May 2013 00:00 +1000

It's been a busy time and we never got around to releasing Mercury 12.08. Since it's been so long we've decided to abandon the 12.08 release and try again with 13.05. This means the new release will have more features and fixes than if we'd released version 12.08 now. The beta releases of Mercury 13.05 are available here.

Downloads and documentation are available again

17th Apr 2013 00:00 +1000

We have put both the documentation and some downloads back online. However, until we setup a periodic build system these may be updated only intermittently. Also, the downloads available do not yet include historical versions of Mercury.

64-bit Windows support

8th Apr 2013 00:00 +1000

Generation of 64-bit code on Windows using the MinGW64 version of GCC is now supported.

Mercury has left the University

24th Mar 2013 00:00 +1000

There are no more people working on the Mercury project who are also working at the University of Melbourne. As such it has become necessary to move the project outside the University so that we can continue to support it. There have already been a number of changes such as a new website address, new mailing lists and we're now using git and github.com for our VCS. Today the server at the University stopped working and we've re-located the website to the new server, but a number of links are broken including the all-important downloads section. We will fix this in the next few days. and post another update here.

12.08 beta release available

13th Aug 2012 00:00 +1000

Beta releases of Mercury 12.08 are available here.

Mercury 11.07.2 released

3rd Aug 2012 00:00 +1000

Release information is available here.

Mercury 11.07.1 released

2nd Mar 2012 00:00 +1000

Release information is available here.

New paper

28th Jan 2012 00:00 +1000

A new paper and presentation have been added to the papers page. These describe how parallel conjunctions with recursive calls can be handled more efficiently, especially with regard to memory usage.

New release

22nd Dec 2011 00:00 +1000

We are pleased to announce the release of version 11.07 of the Mercury system. The new release can be downloaded here. For a list of the changes since the last version see the release notes.

Three new papers

15th Aug 2011 00:00 +1000

Three new papers about parallelism in Mercury have been added to the papers page. Associated with each paper is a presentation that was given at ICLP 2011. The presentations are also available on the papers page.

11.07 beta release available

29th Jun 2011 00:00 +1000

Beta releases of Mercury 11.07 are available here.

Mercury featured on dotnetrocks.com podcast

14th Jun 2011 00:00 +1000

dotnetrocks.com recently interviewed Paul Bone about Mercury and some of its features including Declarative Debugging and Automatic Parallelism. The podcast episode can be found here.

New presentation

7th Jun 2011 00:00 +1000

The slides for a presentation about the Mercury project that was given at the Linux Users of Victoria's June 2011 meeting are now available from the papers page.

New release

27th Apr 2011 00:00 +1000

We are pleased to announce the release of version 11.01 of the Mercury system. The new release can be downloaded here. For a list of the changes since the last version see the release notes.

11.01 beta release available

23rd Dec 2010 00:00 +1000

Beta releases of Mercury 11.01 are available here.

Cairo binding

20th Dec 2010 00:00 +1000

The latest development version of the Mercury extras distribution now contains a Mercury binding to the Cairo 2D graphics library. See the files in extras/graphics/mercury_cairo for details.

New Presentation

6th Dec 2010 00:00 +1000

The slides for a Google Tech Talk and a seminar at The University of New South Wales about "Automatic Parallelisation for Mercury" are now available from the papers page

C# backend

23 Nov 2010 00:00 +1000

The Mercury compiler now has a C# backend, which was under development during the last few months. It works with Microsoft .NET and Mono, and is available in the current releases of the day.

Mercury 10.04.2 released

5 Oct 2010 00:00 +1000

Release information is available here.

Mercury 10.04.1 released

30 Aug 2010 00:00 +1000

Release information is available here.

New release

19 Jul 2010 00:00 +1000

We are pleased to announce the release of version 10.04 of the Mercury system. The new release can be downloaded here. For a list of the changes since the last version see the release notes.

New paper and new slides

23 Mar 2010 00:00 +1000

A new paper, Towards Software Transactional Memory for Real-World Programs, has been added to our papers page. It describes recent work on Software Transactional Memory in Mercury.

A set of slides from a talk given at LinuxConf in Wellington regarding automatic parallelisation are also available from the papers page.

10.04 beta release available

4 Feb 2010 00:00 +1000

The first beta of 10.04 is available here.

New release schedule and naming scheme

1 Feb 2010 00:00 +1000

The Mercury project has decided to adopt a 6 monthly release schedule with each release being named by the year and month of the release. The next planned release is 10.04 which is due for release in April 2010.

New papers

3 Dec 2009 00:00 +1000

We have several papers available from our papers page that describe region-based memory management in Mercury.

GCC 4.x support

30 Nov 2009 00:00 +1000

You can now use GCC 4.1 - 4.4 to build Mercury programs in low-level C grades, on Linux/x86 and Linux/x86-64. You will need a release of the day.

Java backend

25 Sep 2009 00:00 +1000

The Java backend was restored and improved over the last few months. It works well! You will need a release of the day.

New Presentation

27 Jul 2009 00:00 +1000

The slides for a recent talk entitled "Writing Business Rules Engines in Mercury" are now available from the papers page.

RSS Feed

9 Feb 2009 00:00 +1000

You can now receive Mercury news items via an RSS feed by subscribing to the following URL: http://www.mercury.csse.unimelb.edu.au/rss.xml

New standard library modules

5 Feb 2009 00:00 +1000

We have added two new modules to the standard library: parsing_utils and calendar. parsing_utils is a set of utilities to help with writing recursive descent parsers. calendar contains utilities for working with dates in the Gregorian calendar. Both modules are available in the latest release of the day.

New paper

3 Nov 2008 00:00 +1000

We have a new paper available from our papers page that describes some recent work on automatically introducing parallelism in Mercury programs based on profiling data.

Google protocol buffers for Mercury

13 Oct 2008 00:00 +1000

Google protocol buffers allows a extensible binary protocol to be defined in a programming language independent .proto file. The protoc compiler then generates APIs for the protocol in C++, Java or Python. protoc has recently been extended with basic support for Mercury. The extension is available from the protobuf-mercury project site.

Currying of multi-moded predicates

29 Apr 2008 00:00 +1000

We now support currying of multi-moded predicates where the mode to use can be determined from the curried arguments. For example one can now use expressions such as list.foldl(list.foldl(int.plus), [[1, 2], [3, 4]], 0), that previously had to be written using explicit lambda expressions. This feature was added by Mission Critical Australia.

Implementation-defined literals

28 Apr 2008 00:00 +1000

We now support "implementation-defined literals". These are symbolic names that are replaced by context-dependent values at compile time. Examples include $file, which is replaced by a string containing the name of the file in which it appears, and $line which is replaced by an integer representing the current line number. This feature was added by Mission Critical Australia.

Three new papers

1 Nov 2007 00:00 +1000

We have three new papers available from our papers page. One is on the handling of large predicates by Prolog and Mercury implementations, one is on a software transactional memory system for Mercury, and one is a comparison of packrat parsing and memoed DCG parsers.

Bug Tracking System

21 Sep 2007 00:00 +1000

The Mercury project now uses the Mantis bug tracking system to keep track of bug reports. The Mercury bug database may be accessed via the Bug Database link in the menu at the side of this page.

New Paper and Talk

14 Aug 2007 00:00 +1000

A paper and a presentation have been added to the papers page describing how Mission Critical is using Mercury in the "real world".

Erlang backend

6 Aug 2007 00:00 +1000

There's a new back-end for the Mercury compiler that compiles to Erlang, so that Mercury programs can run on the Erlang runtime system. The goal is to allow Mercury programs to take advantage of the Erlang implementation's support for scalable and reliable server programs. It also allows for interoperability between Mercury and Erlang code. This back-end was implemented by Mission Critical IT (Australia).

Remove support for Unicode characters in string literals

6 Mar 2007 00:00 +1000

This feature has been removed because of concerns that it might lead users to believe that Mercury offers full Unicode support, which is not the case.

Mercury 0.13.1 released

1 Dec 2006 00:00 +1000

Release information is available here.

New paper

30 Oct 2006 00:00 +1000

We have a new paper available from our papers page that describes some recent work on parallelism support in Mercury.

New release

14 Sep 2006 00:00 +1000

We are pleased to announce the release of version 0.13 of the Mercury system. The new release can be downloaded here. For a list of the changes since version 0.12 see the release notes.

Support for Unicode characters in string literals

8 Aug 2006 00:00 +1000

The escape sequences \uXXXX and \UXXXXXXXX can now be used to encode Unicode characters in string literals, where XXXX (or XXXXXXXX) is the code point of the desired character in hexadecimal. The latest release of the day includes support for this feature.

Mercury 0.13.0-beta available

4 Apr 2006 00:00 +1000

A beta version of the upcoming 0.13.0 release in now available from the download page.

New presentation

28 Mar 2006 00:00 +1000

A presentation titled "Unclean! Unclean! or Purity issues in declarative constraint logic programming" has been added to the presentations section on our papers page.

Mercury 0.12.2 released

25 Jan 2006 00:00 +1000

Release information is available here.

Three new papers

11 Dec 2005 00:00 +1000

Three new papers titled "Controlling search space materialization in a practical declarative debugger", "Adding constraint solving to Mercury" and "Tabling in Mercury: design and implementation" are now available from our papers page.

Mercury 0.12.1 released

21 Nov 2005 00:00 +1000

Release information is available here.

New release

9 Sep 2005 00:00 +1000

We are pleased to announce the release of version 0.12 of the Mercury system. The new release can be downloaded here. For a list of the changes since version 0.11 see the release notes.

Two new papers

8 Aug 2005 00:00 +1000

Two new papers titled "Divide-and-query and subterm dependency tracking in the Mercury declarative debugger" and "The implementation of minimal model tabling in Mercury (extended abstract)" are now available from our papers page.

Functional dependencies

11 May 2005 00:00 +1000

We've added support for functional dependencies to the typeclass system. See the "Type classes" chapter of the Mercury Language Reference Manual for details. The latest release of the day includes support for this language feature.

Updated and expanded tutorial available

10 Apr 2005 00:00 +1000

A much improved tutorial is now available from the documentation section.

Mercury 0.12.0-beta available

4 Apr 2005 00:00 +1000

A beta version of the upcoming 0.12.0 release in now available from the snapshot section.

New goal types

21 Mar 2005 00:00 +1000

We've added three new types of goal to the language. `promise_equivalent_solutions' goals allow the programmer to promise that all the solutions generated by a goal are equivalent. This makes working with multi- or non-deterministic code easier. `promise_pure' and `promise_semipure' goals allow the programmer to make promises about the purity of arbitrary goals. See the "Goals" section of the "Syntax" chapter of the Mercury Language Reference Manual for more details. release of the day includes support for these new goal types.

New PhD thesis

25 Feb 2005 00:00 +1000

A new PhD thesis on Mercury, Compile-time garbage collection for the declarative language Mercury by Nancy Mazur, is now available from our papers page.

New Standard Library to Convert Mercury Terms to XML Documents

09 Dec 2004 00:00 +1000

A new module `term_to_xml' has been added to the standard library. This module contains predicates to write arbitrary Mercury terms to an output stream as XML. Automatic generation of DTDs for Mercury types is also supported. Once a Mercury term is in XML it can be converted to many other formats such as HTML or XUL using an appropriate stylesheet.

Shared Library Support for Mac OS X

19 Oct 2004 00:00 +1000

Shared Mercury libraries now work on Mac OS X. The standard Mercury libraries are also now dynamically linked by default, greatly reducing the size of executables.

The 2004 ICFP Programming Contest

10 Jun 2004 00:00 +1000

A team of Mercury developers submitted an entry for the 2004 ICFP Programming contest. We won't know how well we did until the results are posted after the ICFP conference, later this year.

New PhD thesis

21 Jan 2004 00:00 +1000

A new PhD thesis on the Mercury mode system, Precise and Expressive Mode Systems for Typed Logic Programming Languages by David Overton, is now available from our papers page.

Accurate garbage collection

25 Sep 2003 00:00 +1000

The high-level C back-end now supports accurate garbage collection, as an alternative to using the Boehm (et al) conservative collector. There is a paper that describes the new garbage collector. For more details, see the files compiler/ml_elim_nested.m and runtime/mercury_accurate_gc.c in the latest Mercury source distribution.

.NET back-end bootstraps

21 Feb 2003 00:00 +1000

We reached a major milestone for the .NET back-end: the Mercury compiler successfully bootstrapped with '--grade il'. See this link for details on the current status of the .NET back-end.

Mercury 0.11.0 released

24 Dec 2002 00:00 +1000

Release information is available here.

New Paper,

12 Nov 2002 00:00 +1000

We have a new paper available from our papers page that describes the design and implementation of a new termination analyser for Mercury.

New build system

23 Oct 2002 00:00 +1000

The compiler now accepts a `--make' option, which performs most of the functions of Mmake. The advantages of `mmc --make' are that no `mmake depend' step is necessary and the dependencies are more accurate. Parallel builds are not yet supported. See the "Using Mmake" chapter of the Mercury User's Guide. `mmc --make' is available in the latest release of the day.

Two PhD theses

17 Aug 2002 00:00 +1000

Two PhD theses on Mercury are now available from our papers page. They are: Expressive type systems for logic programming languages by David Jeffery, and Towards parallel Mercury by Thomas Conway.

Three papers

15 Jul 2002 00:00 +1000

Three papers on Mercury are now available from our papers page. Two will be presented at PPDP '02 in October: Constraint-Based Mode Analysis of Mercury by David Overton, Zoltan Somogyi and Peter Stuckey, and Using the Heap to Eliminate Stack Accesses by Zoltan Somogyi and Peter Stuckey. The third was presented at ISMM '02 in June: Accurate garbage collection in an uncooperative environment by Fergus Henderson.

State variables

10 Jul 2002 00:00 +1000

We've added some extra syntax to the language to support programming with `state variables'. State variables are intended to make it easier to deal with sequences of values. For example, where previously one would have to name each value in a sequence X0, X1, X2, ..., X, now it is possible to use a state variable !X, which will be translated into ordinary, non-state variable Mercury, automatically naming the sequence values. !X stands for two arguments, !.X and !:X, where !.X is interpreted as the "current" sequence value under consideration and !:X is taken as the "next" sequence value. State variable syntax should be used in preference to DCG notation for threading the IO state in future. See the "State variables" section of the "Syntax" chapter of the Mercury Language Reference Manual for more details.

Unification expressions

13 Nov 2001 00:00 +1000

We've added a new kind of expression to the language. A unification expression, written `X @ Y', unifies X and Y and returns the result. Unification expressions are most useful when writing switches. See the "Data-terms" section of the "Syntax" chapter of the Mercury Language Reference Manual for more details. The latest release of the day includes support for unification expressions.

New paper

4 Nov 2001 00:00 +1000

Our BABEL'01 paper, on compiling Mercury to the .NET Common Language Runtime, is now available from our papers page.

New paper

26 Oct 2001 00:00 +1000

We have a new paper available from our papers page, which outlines the design of the back end that generates high level C.

Smart recompilation

13 Aug 2001 00:00 +1000

The Mercury compiler can now perform smart recompilation. With smart recompilation, when the interface of a module changes, only modules which use the changed declarations are recompiled. The latest release of the day includes support for smart recompilation.

ICFP 2001 programming contest entry

04 Aug 2001 00:00 +1000

See our report on our ICFP 2001 programming contest entry.

New paper and demo

01 Aug 2001 00:00 +1000

We have a new paper available from our papers page, which describes the design and implementation of the Mercury deep profiler. This new profiler generates profiling information that is significantly more accurate and more detailed than the information produced by most other profilers. A description and demo of the deep profiler is also available.

New paper

18 May 2001 00:00 +1000

We have a new paper available from our papers page, which describes the design and implementation of a compile time garbage collection and memory reuse system in the Melbourne Mercury compiler.

Mercury 0.10.1 released

04 Apr 2001 00:00 +1000

Release information is available here.

Mercury 0.10 released

25 Feb 2001 00:00 +1000

Release information is available here.

Native code back-end

19 Feb 2001 00:00 +1000

There's a new back-end for the Mercury compiler that compiles directly to assembler, rather than going via C. The new back-end is implemented by linking the Mercury compiler with the (relatively) language independent GNU Compiler Collection back-end. In other words, there is now a Mercury front-end for GCC!

Events and Reports

05 Oct 2000 00:00 +1000

Two new sections have been added to the web site. The events section will give information about events Mercury has been involved in -- we start this section with a page on Mercury coming 4th (of 38 teams) in the ICFP 2000 programming contest. The reports section contains regular reports from the developers, such as minutes from Mercury meetings. Both are available from the sidebar menu.

Two new papers

4 Oct 2000 00:00 +1000

Two new papers on Mercury are now available from our papers page. One describes a binding-time analysis for higher order code, while the other describes an analysis for detecting whether a memory cell is available for reuse.

Tuple types

22 Sep 2000 00:00 +1000

We've added support for tuple types, similar to those in most other functional languages. Tuples use the syntax `{A, B, ...}'. See the "Builtin types" section of the "Types" chapter of the Mercury Language Reference Manual for details. The latest release of the day includes support for tuple types.

Remote CVS access

9 Aug 2000 00:00 +1000

We've made anonymous remote CVS access available to the Mercury CVS archive. A page describing how to use remote CVS is available here. Mercury, the test suite, MCORBA, and even these web pages are available via CVS.

Mercury and Microsoft's .NET

26 Jul 2000 00:00 +1000

A page outlining the status of Mercury on Microsoft's new .NET framework is now available here.

Completed paper

11 Apr 2000 00:00 +1000

The full version of Making Mercury Programs Tail Recursive is now available from our papers page. The paper describes two optimizations, implemented in the Mercury compiler, which make predicates tail recursive.

More new papers

5 Apr 2000 00:00 +1000

Another two new papers on Mercury are now available from our papers page. One describes using purity declarations for building foreign language interfaces, while the other details the update transformation, an optimization that can help re-order state updates into better positions for other optimizations.

New papers

21 Feb 2000 00:00 +1000

Two new papers on Mercury are now available from our papers page. One describes a binding-time analysis, while the other describes an analysis for detecting whether a memory cell is available for reuse.

Mercury 0.9.1 released

26 Jan 2000 00:00 +1000

Mercury 0.9.1 fixes a few bugs in Mercury 0.9, including a few problems with binary distributions. Release information can be found here.

Morphine released

19 Jan 2000 00:00 +1000

Morphine, a trace analysis system for Mercury, has just been added to the Mercury distribution (and will be available in Mercury 0.9.1). Morphine allows dynamic tracing of Mercury programs, allowing scripts to be written which interact with the debugger and efficient collection of statistics on running programs. Many thanks to Erwan Jahier for his hard work on Morphine.

Record syntax

16 Jan 2000 00:00 +1000

We've added support for record syntax, so that fields of constructors can be conveniently extracted and updated without writing lots of trivial access predicates. See the "Field access functions" section of the "Types" chapter of the Mercury Language Reference Manual for details. The syntax is available in our latest release of the day.

Mercury 0.9 released

18 Dec 1999 00:00 +1000

We've just released the long-awaited version 0.9. Release information can be found here.

A paper on the Mercury debugger

17 Nov 1999 00:00 +1000

A new paper on Mercury is now available from our papers page: it describes the technology we use to implement the Mercury debugger.

Time module

28 Oct 1999 00:00 +1000

The standard library now includes a module `time' which provides an interface to the ANSI/ISO C <time.h> functions and to the POSIX times() function. Thanks to Tomas By for contributing the original version of this module.

Exception handling

16 Sep 1999 00:00 +1000

Exception handling support is now part of the standard library. The module `exception', which was previously part of the "extras" distribution, has been moved into the standard library. The predicate error/1 now throws an exception rather than just terminating execution. However, many of the operations in the standard library still handle errors by aborting execution rather than by throwing exceptions.

New papers

13 Aug 1999 00:00 +1000

Two new papers on Mercury are now available from our papers page. One describes how Mercury handles run time type information, while the other describes the optimizations we use to make Mercury programs tail recursive.

Operators

13 Jul 1999 00:00 +1000

We now support a simple form of user-defined infix operators. Terms in the form of x `fun` y are transformed into fun(x, y). The transformation is available in our latest release of the day.

Automatic accumulator introduction

17 Jun 1999 00:00 +1000

A new optimization has been added to the Mercury compiler. The optimization attempts to make procedures tail recursive by the introduction of accumulator variables. The optimization is available in our latest release of the day.

Linux RPM format binary distribution

18 Mar 1999 00:00 +1000

We have provided a new binary distribution of Mercury 0.8.1 for Linux in RPM (RedHat Package Manager) format. Note that the binary distributions that we provide for Linux work with libc 6.0 only. Unfortunately they do NOT work with libc 6.1. This is due to incompatibilities between libc versions 6.0 and 6.1 (i.e. glibc 2.0 and 2.1).

Lazy evaluation

15 Mar 1999 00:00 +1000

The latest development version of the Mercury extras distribution now includes support for optional lazy evaluation. There is a new module `lazy', which provides a type `lazy(T)' for lazily-evaluated data structures, with `delay' and `force' operations. There is also a module `lazy_list', which defines a lazy list data type using the `lazy' module. See the files in extras/lazy_evaluation for details. This is now available for download.

Prolog debuggers no longer supported

11 Mar 1999 00:00 +1000

We've removed the support for using a Prolog debugger on Mercury programs. Now that we have a working Mercury debugger, there's no longer any need to use a Prolog debugger for debugging Mercury code.

Interactive queries

8 Mar 1999 00:00 +1000

The Mercury debugger now includes support for interactive queries. See the "Interactive query commands" subsection of the "Debugger commands" section of the "Debugging" chapter of the Mercury User's Guide.

Mercury Tutorial

5 Mar 1999 00:00 +1000

Ralph Becket has kindly written a Mercury Tutorial. This is still under development. Feedback would be appreciated.

Coding Challenge - Battleships

18 Jan 1999 00:00 +1000

Download the spec for battleships and maybe have your solution added to the samples directory.

MCORBA 0.2 released

21 Dec 1998 00:00 +1000

The second release of MCORBA is finally available. We have fixed the generation of the C++ code so that the samples now build and work correctly. See the MCORBA web page for more details on MCORBA.

Mercury 0.8.1 released

13 Dec 1998 00:00 +1000

This release just fixes some problems with the binary distributions for 0.8. Release information can be found here.

Dynamic linking support

6 Dec 1998 00:00 +1000

The latest development version of the extras distribution now includes support for dynamic linking. This is now available for download. The interface is based on the C functions dlopen(), dlsym(), and co., which are supported by most modern Unix systems. See the files in extras/dynamic_linking for details.

New paper: Optimization of Mercury programs.

25 Nov 1998 00:00 +1000

A paper describing the high-level optimization passes of the Mercury compiler is now available from the Mercury papers page.

Mercury 0.8 released

18 Nov 1998 00:00 +1000

We've just released the long-awaited version 0.8. Release information can be found here.

New MCORBA paper available

17 Nov 1998 00:00 +1000

We have made a paper describing the Mercury CORBA interface available from the Mercury papers page.

Web site now searchable

16 Nov 1998 00:00 +1000

You can now search either the mailing lists or the rest of the web site.

New paper: Type classes in Mercury.

30 Sep 1998 00:00 +1000

A new paper, describing our implementation of type classes in Mercury, has been made available from the Mercury papers page.

MCORBA: CORBA for Mercury.

21 Sep 1998 00:00 +1000

We've done some work on MCORBA, which is a binding to CORBA for Mercury. CORBA is a distributed object framework, that allows local and remote objects to communicate. MCORBA allows you to use Mercury to talk to other CORBA objects, and to implement CORBA objects. It's still preliminary, if you are interested see the MCORBA page for more information.

New unstable daily releases.

18 Sep 1998 00:00 +1000

The Mercury daily snapshot, called the release-of-the-day (ROTD) scheme has been modified to add unstable releases, which have not passed the all the tests, but may still be useful for developers who need the very latest version. Daily releases are available for download.

The Mercury Web Site overhauled.

7 Sep 1998 00:00 +1000

The new layout is easier for us to update with news (like this), and has full hypermail archives of the mercury-developers and mercury-users mailing lists. Thanks to Peter Ross for all his work on it.

Mmake extensions.

4 Aug 1998 00:00 +1000

Mmake has been extended to support setting flags on a per-file basis, and will now warn about variables which are defined but not used.

Enhancements to mtags.

13 Jul 1998 00:00 +1000

Mtags is now able to produce tags for typeclass declarations. It is also able to produce tags files in the extended format supported by recent versions of Vim and Elvis.

Existential types.

9 Jul 1998 00:00 +1000

Preliminary support for existential types has been added to Mercury. For those of you that aren't theorists, this means you can declare polymorphic arguments that are outputs, and their type is also an output.

Tabling.

15 May 1998 00:00 +1000

Predicates can now be tabled. Predicates to be tabled are requested by the use of a pragma.

Native Debugger.

8 Apr 1998 00:00 +1000

An alpha version of a native trace-based debugger has been implemented. The main features missing are a term browser and the ability to redo goals.

Sub-modules.

4 Mar 1998 00:00 +1000

The module system now includes support for sub-modules.

Ported to glibc.

1 Feb 1998 00:00 +1000

Mercury 0.7.3 has been ported to glibc for Debian GNU/Linux.

Type classes.

19 Dec 1997 00:00 +1000

Type classes support added. Type classes let you specify an interface and then provide multiple different implementations of that interface. They're similar to abstract base classes in C++ or "interfaces" in Java.

Mercury 0.7.3 released.

1 Nov 1997 00:00 +1000

Release information can be found here.

Mercury 0.7.2 released.

13 Oct 1997 00:00 +1000

Release information can be found here.

Mercury 0.7 released.

15 Aug 1997 00:00 +1000

Release information can be found here.

Mercury 0.6.2 released.

14 Jan 1997 00:00 +1000

Release information can be found here.

Mercury 0.6.1 released.

26 Aug 1996 00:00 +1000

Release information can be found here.

Mercury 0.6 released.

2 Aug 1996 00:00 +1000

Release information can be found here.

Mercury 0.5 released.

15 Feb 1996 00:00 +1000

Release information can be found here.

Mercury 0.4 released.

15 Sep 1995 00:00 +1000

Release information can be found here.

Mercury 0.3 released.

18 Jul 1995 00:00 +1000

Release information can be found here.