[m-rev.] trivial diff: undo s/__/./ in C# and Java foreign procs
Julien Fischer
juliensf at cs.mu.OZ.AU
Thu Mar 23 12:38:13 AEDT 2006
Estimated hours taken: 0.1
Branches: main
library/builtin.m:
The recent change of module qualifiers from '__' to '.' accidently
change '__' in some of the C# and Java code in this module.
Undo this change.
Fix an older bug where the was the wrong number of underscores in the
C# function name for unify c_pointer.
Julien.
Index: builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.116
diff -u -r1.116 builtin.m
--- builtin.m 7 Mar 2006 22:23:43 -0000 1.116
+++ builtin.m 23 Mar 2006 01:28:20 -0000
@@ -612,42 +612,41 @@
:- pragma foreign_code("C#", "
public static bool
-special.Unify..void_0_0(object[] x, object[] y)
+special__Unify____void_0_0(object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called unify for type `void'"");
return false;
}
public static bool
-special._Unify._c_pointer_0_0(object[] x, object[] y)
+special__Unify____c_pointer_0_0(object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called unify for type `c_pointer'"");
return false;
}
public static bool
-special.Unify..func_0_0(object[] x, object[] y)
+special__Unify____func_0_0(object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called unify for `func' type"");
return false;
}
public static bool
-special.Unify..tuple_0_0(object[] x, object[] y)
+special__Unify____tuple_0_0(object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called unify for `tuple' type"");
return false;
}
public static void
-special.Compare..void_0_0(ref object[] result,
- object[] x, object[] y)
+special__Compare____void_0_0(ref object[] result, object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called compare/3 for type `void'"");
}
public static void
-special.Compare..c_pointer_0_0(
+special__Compare____c_pointer_0_0(
ref object[] result, object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(
@@ -655,14 +654,13 @@
}
public static void
-special.Compare..func_0_0(ref object[] result,
- object[] x, object[] y)
+special__Compare____func_0_0(ref object[] result, object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called compare/3 for `func' type"");
}
public static void
-special.Compare..tuple_0_0(ref object[] result,
+special__Compare____tuple_0_0(ref object[] result,
object[] x, object[] y)
{
mercury.runtime.Errors.fatal_error(""called compare/3 for `tuple' type"");
@@ -881,14 +879,14 @@
//
public static boolean
- .Unify..tuple_0_0(mercury.builtin.Tuple_0 x, mercury.builtin.Tuple_0 y)
+ __Unify____tuple_0_0(mercury.builtin.Tuple_0 x, mercury.builtin.Tuple_0 y)
{
// stub only
throw new java.lang.Error (""unify/2 for tuple types not implemented"");
}
public static boolean
- .Unify..func_0_0(mercury.builtin.Func_0 x, mercury.builtin.Func_0 y)
+ __Unify____func_0_0(mercury.builtin.Func_0 x, mercury.builtin.Func_0 y)
{
// stub only
throw new java.lang.Error (""unify/2 for tuple types not implemented"");
@@ -896,14 +894,14 @@
public static boolean
- .Unify..c_pointer_0_0(java.lang.Object x, java.lang.Object y)
+ __Unify____c_pointer_0_0(java.lang.Object x, java.lang.Object y)
{
// XXX should we try calling a Java comparison routine?
throw new java.lang.Error (""unify/2 called for c_pointer type"");
}
public static boolean
- .Unify..void_0_0(mercury.builtin.Void_0 x, mercury.builtin.Void_0 y)
+ __Unify____void_0_0(mercury.builtin.Void_0 x, mercury.builtin.Void_0 y)
{
// there should never be any values of type void/0
throw new java.lang.Error (""unify/2 called for void type"");
@@ -914,7 +912,7 @@
//
public static Comparison_result_0
- .Compare..tuple_0_0
+ __Compare____tuple_0_0
(mercury.builtin.Tuple_0 x, mercury.builtin.Tuple_0 y)
{
// stub only
@@ -923,14 +921,14 @@
}
public static Comparison_result_0
- .Compare..func_0_0(mercury.builtin.Func_0 x, mercury.builtin.Func_0 y)
+ __Compare____func_0_0(mercury.builtin.Func_0 x, mercury.builtin.Func_0 y)
{
// comparing values of higher-order types is a run-time error
throw new java.lang.Error (""compare/3 called for func type"");
}
public static Comparison_result_0
- .Compare..c_pointer_0_0(java.lang.Object x, java.lang.Object y)
+ __Compare____c_pointer_0_0(java.lang.Object x, java.lang.Object y)
{
// XXX should we try calling a Java comparison routine?
throw new java.lang.Error
@@ -938,7 +936,7 @@
}
public static Comparison_result_0
- .Compare..void_0_0(mercury.builtin.Void_0 x, mercury.builtin.Void_0 y)
+ __Compare____void_0_0(mercury.builtin.Void_0 x, mercury.builtin.Void_0 y)
{
// there should never be any values of type void/0
throw new java.lang.Error (""compare/3 called for void type"");
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list