trivial diff: define `int:is/2' in Mercury

Simon Taylor stayl at cs.mu.OZ.AU
Mon Mar 22 12:37:27 AEDT 1999


Estimated hours taken: 0.1

library/int.m:
	Define `int:is/2' in Mercury. It was defined in C to avoid
	complaints from Prolog compilers.


Index: int.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/int.m,v
retrieving revision 1.54
diff -u -u -r1.54 int.m
--- int.m	1999/03/22 01:21:35	1.54
+++ int.m	1999/03/22 01:22:27
@@ -392,11 +392,7 @@
 % is/2 is replaced with `=' in the parser, but the following is useful
 % in case you should take the address of `is' or something weird like that.
 
-% we use `pragma c_code' to avoid complaints about redefinition of is/2
-% from the Prolog compilers.
-
-:- pragma c_code(is(X::uo, Y::di),  will_not_call_mercury, "X = Y;").
-:- pragma c_code(is(X::out, Y::in), will_not_call_mercury, "X = Y;").
+is(X, X).
 
 %-----------------------------------------------------------------------------%
 



More information about the developers mailing list