[m-rev.] trivial diff: stdlib documentation fixes

[Julien Fischer]

Branches: main, 11.07

library/prolog.m:
 	Fix a comment.

library/flaot.m:
 	Prevent some hidden functions from showing up in the library
         reference.

Julien.

Index: library/float.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/float.m,v
retrieving revision 1.81
diff -u -r1.81 float.m
--- library/float.m	22 Aug 2011 07:56:10 -0000	1.81
+++ library/float.m	8 Feb 2012 12:15:09 -0000
@@ -226,6 +226,9 @@
  :- func float.float_to_doc(float) = doc.

  %---------------------------------------------------------------------------%
+%---------------------------------------------------------------------------%
+
+:- implementation.

  :- interface.

@@ -245,9 +248,6 @@
      %
  :- func float64_bits_string(float::in) = (string::uo) is det.

-%---------------------------------------------------------------------------%
-%---------------------------------------------------------------------------%
-
  :- implementation.

  :- import_module exception.
Index: library/prolog.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/prolog.m,v
retrieving revision 1.21
diff -u -r1.21 prolog.m
--- library/prolog.m	21 Mar 2007 22:30:27 -0000	1.21
+++ library/prolog.m	8 Feb 2012 12:14:29 -0000
@@ -69,9 +69,11 @@
  % :- type univ_result ---> '.'(string, list(univ)).
  :- type univ_result == pair(string, list(univ)).

-    % arg/3.  In Mercury, use argument/3 (defined in module std_util)
-    % instead:
-    %      arg(ArgNum, Term, Data) :- argument(Term, ArgNum - 1, Data).
+    % arg/3.
+    % In Mercury, use arg/4 (defined in module deconstruct) instead:
+    %
+    %   arg(ArgNum, Term, Data) :-
+    %       deconstruct.arg(Term, canonicalize, ArgNum - 1, Data).
      %
  :- pred arg(int::in, T::in, univ::out) is semidet.


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