diff options
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index baa20ada..e0c656eb 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -135,6 +135,14 @@ instance (Ord address) let (>=) a1 a2 = (addressCompare a1 a2) <> LT end +let addressEqual a1 a2 = (addressCompare a1 a2) = EQ + +instance (Eq address) + let (=) = addressEqual + let (<>) x y = not (addressEqual x y) +end + + instance (Ord register_value) let compare = defaultCompare let (<) = defaultLess |