diff options
| author | Kathy Gray | 2015-05-18 13:18:24 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-05-18 13:18:24 +0100 |
| commit | 2e69c321a035d6ae7dfd995cb0efb3e210dc4512 (patch) | |
| tree | d4acdc1690cd0eaf2ca71ba8831a071111ca02fe /src/lem_interp/interp_interface.lem | |
| parent | 5fef35e24e69a4cce5e113a90c9ea2fb02b318bc (diff) | |
Add equality check for addresses
And fix match failure problem (hopefully)
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 |