diff options
| author | Kathy Gray | 2016-04-18 15:41:12 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-04-18 15:41:28 +0100 |
| commit | e35f87c06f2bd3a96bc7df23fe541c96c28d3eab (patch) | |
| tree | 8cf3eace1b0021b9a7b30f80173a8c38a95df21a /src/lem_interp/interp_lib.lem | |
| parent | a732bfdfbacd9be9b06922c1403730aab267c0a7 (diff) | |
More fixes to interp with regards to warnings and debugging info
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 2d43596a..c84588ef 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -891,6 +891,7 @@ let library_functions direction = [ ("bitwise_or_bit", bitwise_binop_bit (||) "|"); ("bitwise_xor_bit", bitwise_binop_bit xor "^"); ("lt", compare_op (<)); + ("lt_signed", compare_op (<)); ("gt", compare_op (>)); ("lteq", compare_op (<=)); ("gteq", compare_op (>=)); |