[m-rev.] diff: remove Erlang implementation of io.write_float

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25
Branches: main

library/io.m:
	Use the Mercury implementation of io.write_float as
	it does the right thing with regards to writing the
	precision of the float.


Index: library/io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.390
diff -u -r1.390 io.m
--- library/io.m	6 Jun 2007 01:48:07 -0000	1.390
+++ library/io.m	6 Jun 2007 07:20:40 -0000
@@ -7056,16 +7056,6 @@
     io:format(IoDevice, ""~B"", [Val])
 ").
 :- pragma foreign_proc("Erlang",
-    io.write_float(Val::in, _IO0::di, _IO::uo),
-    [will_not_call_mercury, promise_pure, thread_safe, tabled_for_io,
-        terminates],
-"
-    {'ML_stream', _Id, IoDevice} = mercury_current_text_output(),
-    % XXX precision
-    io:format(IoDevice, ""~f"", [Val])
-").
-
-:- pragma foreign_proc("Erlang",
     io.flush_output(_IO0::di, _IO::uo),
     [will_not_call_mercury, promise_pure, thread_safe, tabled_for_io,
         terminates],

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------