Permalink
Browse files

Define stubs for the generic unify and compare, to avoid errors

Estimated hours taken: 0.5
Branches: main

java/library/builtin.java:
	Define stubs for the generic unify and compare, to avoid errors
	from the Java compiler when compiling automatically-generated
	type-specific unify and compare procedures for polymorphic types.
  • Loading branch information...
1 parent 95fe1dc commit b1c5fb300f006fdac1b887b97939c24fb9924bf3 Fergus Henderson committed Oct 16, 2002
Showing with 13 additions and 1 deletion.
  1. +13 −1 java/library/builtin.java
View
@@ -26,7 +26,19 @@ public comparison_result_0(int val) {
return;
}
}
-
+
+ public static boolean unify_2_p_0(mercury.private_builtin.type_info_1 ti,
+ java.lang.Object x, java.lang.Object y)
+ {
+ throw new Java.lang.Error("unify/3 not implemented");
+ }
+
+ public static comparison_result_0 compare_3_p_0(
+ mercury.private_builtin.type_info_1 ti,
+ java.lang.Object x, java.lang.Object y)
+ {
+ throw new Java.lang.Error("compare/3 not implemented");
+ }
}

0 comments on commit b1c5fb3

Please sign in to comment.