From 075b5bd2e01930e3fc89bab94338df2c70deed9d Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Fri, 16 Sep 2016 15:02:33 +0100
Subject: make vector concatenation pattern removal deal with vector patterns
 of unknown length (in the last item)

---
 src/lem_interp/interp_interface.lem | 15 +++++++++++++++
 1 file changed, 15 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 6b04abed..9abb561d 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -401,6 +401,21 @@ type read_kind =
   (* AArch64 reads *)
   | Read_acquire | Read_exclusive | Read_exclusive_acquire | Read_stream
 
+<<<<<<< Updated upstream
+=======
+instance (Show read_kind)
+  let show = function
+    | Read_plain -> "Read_plain"
+    | Read_tag -> "Read_tag"
+    | Read_reserve -> "Read_reserve"
+    | Read_acquire -> "Read_acquire"
+    | Read_exclusive -> "Read_exclusive"
+    | Read_exclusive_acquire -> "Read_exclusive_acquire"
+    | Read_stream -> "Read_stream"
+  end
+end
+
+>>>>>>> Stashed changes
 type write_kind =
   (* common writes *)
     Write_plain
-- 
cgit v1.2.3