[m-rev.] diff: www: mention problem with 0.10 and RH7.0

[Fergus Henderson]

On 05-Apr-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> w3/download/include/release-0.10-bugs.inc:
> 	Mention the problems with RH 7.0.

Sorry, I didn't notice that I had accidentally duplicated one of the
existing bug reports in that change.

----------

Estimated hours taken: 0.25
Branches: main

w3/download/include/release-0.10-bugs.inc:
	Fix some mistakes in my previous change.

Workspace: /mnt/murlibobo/home/mercury0/fjh/mercury
Index: w3/download/include/release-0.10-bugs.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release-0.10-bugs.inc,v
retrieving revision 1.3
diff -u -d -r1.3 release-0.10-bugs.inc
--- w3/download/include/release-0.10-bugs.inc	2001/04/04 16:33:03	1.3
+++ w3/download/include/release-0.10-bugs.inc	2001/04/04 16:40:57
@@ -25,7 +25,7 @@
 <hr>
 <p>
 Subject: Mercury 0.10 on RH Linux 7.0
-<p>
+<br>
 Date: Sun, 18 Mar 2001
 <p>
 Hi,<p>
@@ -52,27 +52,6 @@
 	binary distribution rather than the source distribution.
 	We'd appreciate feedback on whether that work-around works.]
 </i>
-
-<hr>
-<br>
-Date: Wed, 4 Oct 1995
-<p>
-The following module causes an "undefined variable Inf" error in the
-generated C code, because 1E400 == Infinity, which gets printed as `Inf'.
-<p>
-<pre>
-:- module hello.
-:- interface.
-:- import_module io.
-
-:- pred main(io__state::di, io__state::uo) is det.
-
-:- implementation.
-
-main -->
-	io__write_float(1E400),
-	io__write_string("\n").
-</pre>
 <p>
 <hr>
 <p>
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------