From 0845764c69f570454b0184dad33faee0c20e598d Mon Sep 17 00:00:00 2001 From: Fergus Henderson Date: Sun, 7 Apr 1996 15:15:30 +0000 Subject: [PATCH] Add new predicates builtin_int_{lt,gt}, for use by the Estimated hours taken: 0.25 library/mercury_builtin.m: Add new predicates builtin_int_{lt,gt}, for use by the compiler-generated compare/3 predicates, in preparation for moving `<' and `>' back into int.m. --- library/mercury_builtin.m | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/library/mercury_builtin.m b/library/mercury_builtin.m index 002764d62..9792e6da3 100644 --- a/library/mercury_builtin.m +++ b/library/mercury_builtin.m @@ -300,6 +300,18 @@ :- pred >(int, int). :- mode >(in, in) is semidet. + % the builtin < operator on ints, used in the code generated + % for compare/3 preds +:- pred builtin_int_lt(int, int). +:- mode builtin_int_lt(in, in) is semidet. +:- external(builtin_int_lt/2). + + % the builtin > operator on ints, used in the code generated + % for compare/3 preds +:- pred builtin_int_gt(int, int). +:- mode builtin_int_gt(in, in) is semidet. +:- external(builtin_int_gt/2). + % The types term and const should be defined in term.m, but we define them here % since they're need for implementation of term_to_type/2 and type_to_term/2.