summaryrefslogtreecommitdiff
path: root/lib/flow.sail
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-04-06 16:56:01 +0100
committerAlasdair Armstrong2018-04-06 16:56:01 +0100
commit9efe87599b07944db40b99b892b4a72a463d4eca (patch)
tree3f9c1f2540da73711b75b19e47cd17ff818c440f /lib/flow.sail
parent922fec6b584a9de72c42036fbb415fa3e06a7a4e (diff)
Add integer comparisons to overloads in flow typing library
Diffstat (limited to 'lib/flow.sail')
-rw-r--r--lib/flow.sail8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/flow.sail b/lib/flow.sail
index 94019b0a..f1f24492 100644
--- a/lib/flow.sail
+++ b/lib/flow.sail
@@ -38,10 +38,10 @@ overload operator == = {eq_atom, eq_range, eq_int, eq_bool}
overload operator | = {or_bool}
overload operator & = {and_bool}
-overload operator <= = {lteq_atom, lteq_range_atom, lteq_atom_range}
-overload operator < = {lt_atom, lt_range_atom, lt_atom_range}
-overload operator >= = {gteq_atom, gteq_range_atom, gteq_atom_range}
-overload operator > = {gt_atom, gt_range_atom, gt_atom_range}
+overload operator <= = {lteq_atom, lteq_range_atom, lteq_atom_range, lteq_int}
+overload operator < = {lt_atom, lt_range_atom, lt_atom_range, lt_int}
+overload operator >= = {gteq_atom, gteq_range_atom, gteq_atom_range, gteq_int}
+overload operator > = {gt_atom, gt_range_atom, gt_atom_range, gt_int}
$ifdef TEST