[m-rev.] diff: fix C# and Java foreign code; update library documentation

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

library/deconstruct.m:
	Remove some dangling links to documentation that used to be
	in std_util.

library/type_desc.m:
	Replace . with __ in some Java and C# foreign code.  It was
	accidently replaced when the module qualifier was changed.

Julien.

Index: deconstruct.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/deconstruct.m,v
retrieving revision 1.36
diff -u -r1.36 deconstruct.m
--- deconstruct.m	29 Mar 2006 08:07:43 -0000	1.36
+++ deconstruct.m	11 Apr 2006 15:03:43 -0000
@@ -62,7 +62,7 @@
     %     the functors [|]/2 and []/0 are used, even if the list uses
     %     the [....] shorthand.
     %   - for user-defined types with user-defined equality, the
-    %     functor will be of the form <<module:type/arity>>, except
+    %     functor will be of the form <<module.type/arity>>, except
     %     with include_details_cc, in which case the type will be
     %     handled as if it had standard equality.
     %   - for integers, the string is a base 10 number;
@@ -136,7 +136,8 @@
     ;       no_arg.

     % arg_cc/3 is similar to arg/4, except that it handles arguments with
-    % non-canonical types. See the documentation of std_util.arg_cc.
+    % non-canonical type.  The possible non-existence of an argument is
+    % encoded using a maybe type.
     %
 :- pred arg_cc(T::in, int::in, maybe_arg::out) is cc_multi.

@@ -217,8 +218,6 @@
 :- mode limited_deconstruct(in, in(canonicalize), in, out, out, out)
     is semidet.

-    % See the documentation of std_util.limited_deconstruct_cc.
-    %
 :- pred limited_deconstruct_cc(T::in, int::in,
     maybe({string, int, list(univ)})::out) is cc_multi.

Index: type_desc.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/type_desc.m,v
retrieving revision 1.37
diff -u -r1.37 type_desc.m
--- type_desc.m	29 Mar 2006 08:07:48 -0000	1.37
+++ type_desc.m	11 Apr 2006 14:54:51 -0000
@@ -250,7 +250,7 @@
 }

 public static void
-special._Compare._type_ctor_desc_0_0(
+special___Compare___type_ctor_desc_0_0(
     ref object[] result, object[] x, object[] y)
 {
     mercury.runtime.Errors.SORRY(
@@ -258,7 +258,7 @@
 }

 public static bool
-special._Unify._type_ctor_desc_0_0(object[] x, object[] y)
+special___Unify___type_ctor_desc_0_0(object[] x, object[] y)
 {
     mercury.runtime.Errors.SORRY(
         ""foreign code for unifying type_ctor_descs"");
@@ -266,7 +266,7 @@
 }

 public static void
-special._Compare._type_desc_0_0(
+special___Compare___type_desc_0_0(
     ref object[] result, object[] x, object[] y)
 {
     mercury.type_desc.mercury_code.ML_call_rtti_compare_type_infos(
@@ -274,13 +274,13 @@
 }

 public static bool
-special._Unify._type_desc_0_0(object[] x, object[] y)
+special___Unify___type_desc_0_0(object[] x, object[] y)
 {
     return (MR_compare_type_info(x, y) == 0);
 }

 public static void
-special._Compare._pseudo_type_desc_0_0(
+special___Compare___pseudo_type_desc_0_0(
     ref object[] result, object[] x, object[] y)
 {
     mercury.runtime.Errors.SORRY(
@@ -288,7 +288,7 @@
 }

 public static bool
-special._Unify._pseudo_type_desc_0_0(object[] x, object[] y)
+special___Unify___pseudo_type_desc_0_0(object[] x, object[] y)
 {
     mercury.runtime.Errors.SORRY(
         ""foreign code for unifying pseudo_type_desc"");
@@ -804,14 +804,14 @@
     }

     public static boolean
-    .Unify..type_desc_0_0(mercury.type_desc.Type_desc_0 x,
+    __Unify____type_desc_0_0(mercury.type_desc.Type_desc_0 x,
         mercury.type_desc.Type_desc_0 y)
     {
         return x.struct.unify(y.struct);
     }

     public static boolean
-    .Unify..type_ctor_desc_0_0(mercury.type_desc.Type_ctor_desc_0 x,
+    __Unify____type_ctor_desc_0_0(mercury.type_desc.Type_ctor_desc_0 x,
         mercury.type_desc.Type_ctor_desc_0 y)
     {
         // stub only
@@ -820,7 +820,7 @@
     }

     public static mercury.builtin.Comparison_result_0
-    .Compare..type_desc_0_0(mercury.type_desc.Type_desc_0 x,
+    __Compare____type_desc_0_0(mercury.type_desc.Type_desc_0 x,
         mercury.type_desc.Type_desc_0 y)
     {
         // stub only
@@ -829,7 +829,7 @@
     }

     public static mercury.builtin.Comparison_result_0
-    .Compare..type_ctor_desc_0_0(mercury.type_desc.Type_ctor_desc_0 x,
+    __Compare____type_ctor_desc_0_0(mercury.type_desc.Type_ctor_desc_0 x,
         mercury.type_desc.Type_ctor_desc_0 y)
     {
         // stub only

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