From 18fcc8f8f587839df1fadcfcd5a950c6b817b09b Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Tue, 6 Oct 2015 11:38:01 +0100
Subject: fixes

---
 src/rewriter.ml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/rewriter.ml b/src/rewriter.ml
index ceae3462..3f6e9a85 100644
--- a/src/rewriter.ml
+++ b/src/rewriter.ml
@@ -685,7 +685,14 @@ let remove_vector_concat_pat pat =
           (_,Base((_,{t = Tapp ("vector", [_;TA_nexp {nexp = Nconst length};_;_])}),_,_,_,_)) ->
            let wild _ = P_aux (P_wild,(Parse_ast.Unknown,simple_annot {t = Tid "bit"})) in
            acc @ (List.map wild (range 0 ((int_of_big_int length) - 1)))
-        | _,(l,_) -> raise (Reporting_basic.err_unreachable l "remove_vector_concats: Non-vector in vector-concat pattern") in
+        | P_wild,
+          (_,Base((_,{t = Tapp ("vector", [_;TA_nexp {nexp = Nconst length};_;_])}),_,_,_,_)) ->
+           let wild _ = P_aux (P_wild,(Parse_ast.Unknown,simple_annot {t = Tid "bit"})) in
+           acc @ (List.map wild (range 0 ((int_of_big_int length) - 1)))
+        | P_lit _,(l,_) ->
+           raise (Reporting_basic.err_unreachable l "remove_vector_concats: P_lit pattern in vector-concat pattern")
+        | _,(l,_) ->
+           raise (Reporting_basic.err_unreachable l "remove_vector_concats: Non-vector in vector-concat pattern") in
       P_vector (List.fold_left aux [] ps) in
     {id_pat_alg with p_vector_concat = p_vector_concat} in
   
-- 
cgit v1.2.3