Test indexed match

1 files changed, 6 insertions, 0 deletions

diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index f6e0c532..515b2be4 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -35,6 +35,12 @@ function unit main _ = {
     case _ -> match_success := i
   };
 
+  (* indexed match *)
+  switch i {
+    case [0=bitzero, 1=bitzero, 2=bitone, 3=bitzero] -> match_success := 1
+    case _ -> match_success := i
+  };
+
   (* XXX slice access not implemented *)
   i[0] := bitzero;
   (* XXX Vector access of non-vector *)