Fix vector concat pattern matching

The concatenation list was reversed.

1 files changed, 6 insertions, 6 deletions

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index f51b5d93..f6e0c532 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -21,17 +21,17 @@ function unit main _ = {
     case _ -> match_success := i
   };
 
-  (* XXX function clause match fail *)
-  (* parameter is wrapped in a 1-tuple upon call, but probably not
-  unwrapped for the pattern-matching *)
   decode(i);
 
   (* concatenation *)
   switch i {
-    (* XXX match fails *)
     case ([bitzero] : [bitzero, bitone] : [bitzero]) -> match_success := 1
-    (* but this works *)
-    case ([bitzero] : [bitzero] : [bitone] : [bitzero]) -> match_success := 2
+    case _ -> match_success := i
+  };
+  switch i {
+    (* check order of concatenation *)
+    case ([bitzero] : [bitone] : [bitzero] : [bitzero]) -> match_success := 99
+    case ([bitzero] : [bitzero] : [bitone] : [bitzero]) -> match_success := 1
     case _ -> match_success := i
   };