From e90916704f026596f809f4dc578215180082dfdc Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 2 Jul 2014 10:21:09 +0100
Subject: Fix ordering issue in vector-concat pattern matching

---
 src/lem_interp/interp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index f1e7a2ac..11cbb923 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -840,7 +840,7 @@ and vec_concat_match pats r_vals =
 	let (matched_p,used_unknown,new_bounds) = match_pattern pat r in
         if matched_p then 
           let (matched_p,used_unknown',bounds,matcheds,r_vals) = vec_concat_match pats r_vals in
-          (matched_p, used_unknown||used_unknown',new_bounds++bounds,matcheds++[r],r_vals)
+          (matched_p, used_unknown||used_unknown',new_bounds++bounds,r :: matcheds,r_vals)
         else (false,false,[],[],[]) end
     end
 
-- 
cgit v1.2.3