From 9efe87599b07944db40b99b892b4a72a463d4eca Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 6 Apr 2018 16:56:01 +0100
Subject: Add integer comparisons to overloads in flow typing library

---
 lib/flow.sail | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/flow.sail')

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
 
-- 
cgit v1.2.3