diff options
| author | Alasdair Armstrong | 2018-04-06 16:56:01 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-06 16:56:01 +0100 |
| commit | 9efe87599b07944db40b99b892b4a72a463d4eca (patch) | |
| tree | 3f9c1f2540da73711b75b19e47cd17ff818c440f /lib/flow.sail | |
| parent | 922fec6b584a9de72c42036fbb415fa3e06a7a4e (diff) | |
Add integer comparisons to overloads in flow typing library
Diffstat (limited to 'lib/flow.sail')
| -rw-r--r-- | lib/flow.sail | 8 |
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 |
