From 2e69c321a035d6ae7dfd995cb0efb3e210dc4512 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 18 May 2015 13:18:24 +0100
Subject: Add equality check for addresses And fix match failure problem
 (hopefully)

---
 src/lem_interp/interp_interface.lem | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/lem_interp/interp_interface.lem')

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