From b4fc4e45891833dff8896b5a9009c197046b8d93 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 15 Jan 2014 12:33:25 +0100
Subject: Test indexed match

---
 src/test/vectors.sail | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src')

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 *)
-- 
cgit v1.2.3