[m-dev.] diff: delete fixed bugs from BUGS file

[Fergus Henderson]

Estimated hours taken: 0.25

BUGS:
	Delete the description of a bug that we've fixed from the BUGS file.

Workspace: /home/pgrad/fjh/ws/hg
Index: BUGS
===================================================================
RCS file: /home/mercury1/repository/mercury/BUGS,v
retrieving revision 1.11
diff -u -d -r1.11 BUGS
--- BUGS	1999/12/13 15:05:58	1.11
+++ BUGS	2000/12/14 09:27:31
@@ -131,25 +131,6 @@
 
 -----------------------------------------------------------------------------
 
-Subject: Formatted printing of floating point numbers broken
-Date: Thu, 27 May 1999 15:26:58 +1000
-
-It seems as though the formatted printing of floating point numbers is 
-broken if one uses the %g or %G format specifiers.  In particular, if it 
-decides that the %f format should be used, everything after the decimal 
-point is discarded.
-
-Note also that, from inspection of the code, it seems the "#" format 
-modifier is being ignored for the "feEgG" formats, contrary to the 
-documentation for string__format.  It'd also be nice if, by default, the 
-%g/%G format didn't print trailing zeros (as per the C standard [and implied 
-by the Mercury docs] and the reason I was trying to use it in the first 
-place: I don't like outputting 0.500000000000000, but I don't want to be 
-aggressive about pruning the precision in case it's actually significant 
-sometime).
-
------------------------------------------------------------------------------
-
 Subject: `:- pragma does_not_terminate'
 Date: Wed, 9 Jun 1999 16:29:09 +1000 (EST)
 

-- 
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-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------