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

[Julien Fischer]

For review by Ian.

Estimated hours taken: 0.5

w3/RELEASE_INFO:
w3/download/release-0.12-bugs.php3:
w3/download/include/release-0.12-bugs.inc:
w3/download/include/release-0.12-content.inc:
w3/download/include/release-0.12.inc:
w3/download/include/release.inc:
w3/news/newsdb.inc:
	Update the website for the 0.12.1 release.

	XXX I'll update the the sizes of the downloads below
	when I know what they are (jupiter built the main branch
	last night.)

Julien.

Index: RELEASE_INFO
===================================================================
RCS file: /home/mercury1/repository/w3/RELEASE_INFO,v
retrieving revision 1.5
diff -u -r1.5 RELEASE_INFO
--- RELEASE_INFO	15 Nov 2005 22:37:40 -0000	1.5
+++ RELEASE_INFO	22 Nov 2005 05:55:00 -0000
@@ -1,5 +1,5 @@
 # A descriptive name for the release. See mercury/VERSION
-RELEASE_VERSION=0.12.0
+RELEASE_VERSION=0.12.1

 # A name for the next beta-release.
 # Note: only set this variable to a non-empty value if a source distribution
Index: download/release-0.12-bugs.php3
===================================================================
RCS file: /home/mercury1/repository/w3/download/release-0.12-bugs.php3,v
retrieving revision 1.1
diff -u -r1.1 release-0.12-bugs.php3
--- download/release-0.12-bugs.php3	9 Sep 2005 05:20:05 -0000	1.1
+++ download/release-0.12-bugs.php3	22 Nov 2005 06:18:46 -0000
@@ -2,7 +2,7 @@
 <?
     $menu="Download";
     $submenu="Current Release";
-    $title="Release 0.12.0 known problems";
+    $title="Release 0.12.1 known problems";
     $dir="download";
     $root="..";
     $include="release-0.12-bugs.inc";
Index: download/include/release-0.12-bugs.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.12-bugs.inc,v
retrieving revision 1.1
diff -u -r1.1 release-0.12-bugs.inc
--- download/include/release-0.12-bugs.inc	9 Sep 2005 05:20:07 -0000	1.1
+++ download/include/release-0.12-bugs.inc	22 Nov 2005 06:19:51 -0000
@@ -1,4 +1,4 @@
-<h2>Release 0.11 - Known Problems</h2>
+<h2>Release 0.12.1 - Known Problems</h2>

 Bug reports should be sent to mercury-bugs at cs.mu.oz.au.
 If you're reporting more than one bug, please use separate emails
@@ -204,3 +204,21 @@
 compiling with intermodule-optimization enabled.

 <hr>
+
+<b>Subject: function symbol overloading<br>
+Date: 14 Nov 2005</b>
+<p>
+The compiler sometimes reports a mode error for an introduced TypeClassInfo
+variable.  This can occur if there is an overloaded function symbol which is
+defined as a data constructor and also as a function with argument and return
+types which match those of the data constructor.
+
+The problem is that the typechecker can sometimes resolve the ambiguity
+if there is an unsatisfiable typeclass constraint on the function, but in
+a later stage the same resolution is not possible.  This can lead to the
+wrong definition being selected in the later stage.
+
+A workaround is to module qualify all uses of the data constructor where
+the function definition is also visible.
+
+<hr>
Index: download/include/release-0.12-contents.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.12-contents.inc,v
retrieving revision 1.1
diff -u -r1.1 release-0.12-contents.inc
--- download/include/release-0.12-contents.inc	9 Sep 2005 05:20:07 -0000	1.1
+++ download/include/release-0.12-contents.inc	22 Nov 2005 06:11:13 -0000
@@ -1,4 +1,4 @@
-<h2>Release 0.12.0 - Contents</h2>
+<h2>Release 0.12.1 - Contents</h2>

 The Mercury distribution is split into three parts.
 The "mercury-compiler" distribution contains:
Index: download/include/release-0.12.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.12.inc,v
retrieving revision 1.1
diff -u -r1.1 release-0.12.inc
--- download/include/release-0.12.inc	9 Sep 2005 05:20:07 -0000	1.1
+++ download/include/release-0.12.inc	22 Nov 2005 06:22:30 -0000
@@ -1,3 +1,12 @@
+<h2>New in release 0.12.1 of the Mercury distribution</h2>
+
+This release is primarily a bug-fix release.
+It fixes a problem with predicates that have existentially typed
+arguments, makes sure that I/O tabling does not inadvertently
+inline predicates that have a `:- pragma no_inline' declaration
+attached to them, and makes various improvements to the MS-Windows
+ports.
+
 <h2>New in release 0.12 of the Mercury distribution</h2>

 <h3>HIGHLIGHTS</h3>
Index: download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.38
diff -u -r1.38 release.inc
--- download/include/release.inc	15 Nov 2005 22:37:41 -0000	1.38
+++ download/include/release.inc	22 Nov 2005 06:08:52 -0000
@@ -60,19 +60,19 @@
 ?>
 <h2><a name="info">Current Release</a></h2>

-Mercury 0.12.0 was released on September 9, 2005.
+Mercury 0.12.1 was released on November 21, 2005.

 <h3>Information</h3>

 <ul>
 <li> <a href = "release-0.12.html">
-     Release notes for 0.12.0
+     Release notes for 0.12.1
      </a>
 <li> <a href = "release-0.12-contents.html">
-     Contents of release 0.12.0 distribution
+     Contents of release 0.12.1 distribution
      </a>
 <li> <a href = "release-0.12-bugs.html">
-     Known problems with release 0.12.0
+     Known problems with release 0.12.1
      </a>
 <li> <a href = "limitations.html">
      Limitations of the current release.
@@ -202,17 +202,17 @@
 <dl>
 <dt> Compiler (15 Mb)
 <dd>
-<? links_to_file("mercury-compiler-0.12.0.tar.gz", "yes") ?>
+<? links_to_file("mercury-compiler-0.12.1.tar.gz", "yes") ?>
 <p>

 <dt> Extras (22 Mb)
 <dd>
-<? links_to_file("mercury-extras-0.12.0.tar.gz", "no") ?>
+<? links_to_file("mercury-extras-0.12.1.tar.gz", "no") ?>
 <p>

 <dt> Tests (914 kb)
 <dd>
-<? links_to_file("mercury-tests-0.12.0.tar.gz", "no") ?>
+<? links_to_file("mercury-tests-0.12.1.tar.gz", "no") ?>
 </dl>

 <h3><a name="binaries">Binary Distribution</a></h3>
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.88
diff -u -r1.88 newsdb.inc
--- news/newsdb.inc	9 Sep 2005 05:20:08 -0000	1.88
+++ news/newsdb.inc	22 Nov 2005 06:31:51 -0000
@@ -22,6 +22,12 @@

 $newsdb = array(

+"21 November 2005" => array("Mercury 0.12.1 released",
+
+"Release information is available
+<A HREF=\"./download/release.html\">here</A>."
+),
+
 "9 September 2005" => array("New release",

 "We are pleased to announce the release of version 0.12 of the

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------