mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-08 18:34:00 +00:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
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.
This commit is contained in:
Fergus Henderson
2002-10-16 08:15:47 +00:00
parent 95fe1dc8f0
commit b1c5fb300f
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
java/library/builtin.java
View File

@@ -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");
}
}