From ec5c516d5db3a218ce06a49d4bf5353d5aa70258 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 26 Jul 2016 17:01:28 +0100
Subject: And fix abbrev oversite in interpreter

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

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 79b1e21a..de29d5c8 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -162,7 +162,8 @@ let reg_start_pos reg =
       end in
       let start_from_reg targs = match targs with
         | T_args [T_arg_typ (T_app "vector" targs)] -> start_from_vec targs
-        | _ -> Assert_extra.failwith "register not of vector"
+        | T_args [T_arg_typ (T_abbrev _ (T_app "vector" targs))] -> start_from_vec targs               
+        | _ -> Assert_extra.failwith "register not of type vector"
       end in
       let start_from_abbrev t = match t with
         | T_app "vector" targs -> start_from_vec targs
@@ -187,6 +188,7 @@ let reg_size reg =
       end in
       let end_from_reg targs = match targs with
         | T_args [T_arg_typ (T_app "vector" targs)] -> end_from_vec targs
+        | T_args [T_arg_typ (T_abbrev _ (T_app "vector" targs))] -> end_from_vec targs
         | _ -> Assert_extra.failwith "register does not contain vector"                                          
       end in
       let end_from_abbrev t = match t with
-- 
cgit v1.2.3