From b1c5fb300f006fdac1b887b97939c24fb9924bf3 Mon Sep 17 00:00:00 2001
From: Fergus Henderson <fjh@cs.mu.oz.au>
Date: Wed, 16 Oct 2002 08:15:47 +0000
Subject: [PATCH] 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.
---
 java/library/builtin.java | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/java/library/builtin.java b/java/library/builtin.java
index 30406e103..855f8031d 100644
--- a/java/library/builtin.java
+++ b/java/library/builtin.java
@@ -26,7 +26,19 @@ public class builtin
         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");
+    }
  }