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

Add new predicates builtin_int_{lt,gt}, for use by the

Browse Source 
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.
This commit is contained in:
Fergus Henderson
1996-04-07 15:15:30 +00:00
parent ef80acc7db
commit 0845764c69
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
library/mercury_builtin.m
View File

@@ -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.