[m-rev.] for review: update website for 10.04 release

[Ian MacLarty]

On Mon, Jul 19, 2010 at 03:12:46PM +1000, Julien Fischer wrote:
>
> For review by Ian.
>
> Update the Mercury website for the 10.04 release.
>
...
> Index: download/include/release-10.04-contents.inc
> ===================================================================
...
> +
> +<p>
> +
> +The "mercury-extras" distribution contains some extra libraries for:
> +
> +<ul>
> +	<li>lazy evaluation
> +	<li>dynamic linking
> +	<li>backtrackable (trailed) destructive update
> +	<li>arithmetic
> +	<ul>
> +		<li>arithmetic on complex and imaginary numbers
> +	</ul>
> +	<li>an autotesting tool similar to Haskell's QuickCheck
> +	<li>UIs:
> +	<ul>
> +		<li>graphics using Tk, OpenGL/GLUT, Xlib or Allegro.
> +		<li>text interfaces using curses
> +		<li>processing HTML forms using the CGI interface
> +	</ul>
> +	<li>interfacing:
> +	<ul>
> +		<li>XML parsing
> +		<li>POSIX interface
> +		<li>an ODBC database interface
> +	</ul>
> +	<li>the Morphine trace analysis system
> +	<li>two curses bindings, one more complete than the other
> +	<li>a general purpose lexer
> +	<li>Moose, a parser generator for Mercury.
> +	<li>quickcheck, an autotesting tool similar to Haskell's QuickCheck.
> +</ul>
> +

quickcheck seems to be repeated in the above list.

> +The "mercury-tests" distribution contains a test suite.
> Index: download/include/release-10.04.inc
> ===================================================================
...
> +
> +Changes to the Mercury standard library:
> +
> +<ul>
> +<li>New predicates have been added to the assoc_list module, these are
> +  map_keys_only/3, map_values_only/3 and map_values/3.  They complement the
> +  functions of the same name.
> +
> +<li>A new module, parsing_utils, has been added to provide support for
> +  implementing recursive descent parsers.
> +
> +<li>The string.to_int family of predicates now fails (or throws an exception
> +  for the det_ versions) on base 10 numbers that do not fit in the range
> +  [int.min_int+1, int.max_int].  Numbers outside this range lead to overflow.
> +  Numbers not in base 10 are assumed to denote bit patterns and are not
> +  checked for overflow.
> +
> +<li>A module for handling directed graphs, digraph.m, has been added.  This
> +  supersedes relation.m and svrelation.m in that has a more consistent

in that *it* has a more...

...
> +Changes to the Mercury compiler:
> +
> +<ul>
> +
> +<li>The Java backend has been substantially improved and now supports
> +  all the core features of the language and most of the standard library.
> +  The Java backend is roughly three times slower (after allowing for JIT)
> +  than the C backends.
> +<p>
> +  The Java backend improvements were contributed by Mission Critical IT
> +  <http://www.missioncriticalit.com/>.
> +

Please make this:

<a href="http://www.missioncriticalit.com/">Mission Critical IT</a>

> +<li>Interfacing with Mercury code from Java is also improved:
> +   <ul>
> +   <li>Polymorphic Mercury types are now translated to Java classes
> +      with generics, allowing for greater type safety in the Java code.
> +    <li>Exported Mercury procedures retain their argument order in the
> +      corresponding Java versions (output arguments are handled with a new
> +      Ref Java type).
> +    </ul>
> +
> +<li>We have added support for trail segments, which allow programs to grow
> +  the trail on demand.
> +
> +<li>Shared libraries are now used by default on Linux/x86 systems.
> +
> +<li>Support for the reserve tag grades has been removed.
> +
> +<li>We have added an Erlang back-end.
> +  <p>
> +  The Erlang back-end was contributed by Mission Critical IT
> +  <http://www.missioncriticalit.com/>.
> +

and here.

> +<li>In parallel grades we now support thread-local trailing.
> +
> +<li>The compiler now issues a warning when an inst declaration is not
> +  consistent with any of the types in scope.
> +
> +<li>We have added support for simultaneous execution of jobs with `mmc --make'.
> +
> +<li>We have added support for `mmc --make' to recompile modules if options have
> +  changed.
> +
> +<li>We have added an option for `mmc --make' to compile more recently modified
> +  source files first.
> +
> +<li>We have added support for stack segments, which allows programs to grow
> +  stacks on demand.
> +
> +<li>We have made it easier to use single-precision floats, which do not need
> +  to be boxed on 32-bit machines.
> +
> +<li>A new option, `--generate-standalone-interface', simplifies the task
> +  of calling Mercury procedures from programs written in other languages.
> +
> +<li>We have added new option, `--inform-ite-instead-of-switch'. If this is

We have added *a* new option...

Looks fine otherwise.

Ian.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------