From 23a1cfb3f957f45d26138d4436169723beebc573 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 18 Feb 2014 17:13:27 +0000
Subject: Put a plaster on bug for finding memory reading/writing operations

---
 src/lem_interp/interp.lem | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 122fd928..45396a5a 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -154,6 +154,10 @@ let rec to_memory_ops (Defs defs) =
       match valsp with
       | VS_val_spec (TypSchm_ts tq ((Typ_fn a r (Effect_set eff)) as t)) id ->
         if has_memory_effect eff then (id,t)::(to_memory_ops (Defs defs)) else (to_memory_ops (Defs defs))
+      | VS_extern_spec (TypSchm_ts tq ((Typ_fn a r (Effect_set eff)) as t)) id _ ->
+        if has_memory_effect eff then (id,t)::(to_memory_ops (Defs defs)) else (to_memory_ops (Defs defs))
+      | VS_extern_no_rename (TypSchm_ts tq ((Typ_fn a r (Effect_set eff)) as t)) id ->
+        if has_memory_effect eff then (id,t)::(to_memory_ops (Defs defs)) else (to_memory_ops (Defs defs))
       | _ -> to_memory_ops (Defs defs) end
     | _ -> to_memory_ops (Defs defs) end
   end
-- 
cgit v1.2.3