Use type information in vector concatenation pattern matching in interpreter.

Does not properly bind variables (i.e. in the pattern 0b01:(bit[3]) a: 0b0001 subsequent uses of a will not be bound in the interpreter, though they are in the type checker), so until bug is fixed, treat all such identifiers as _

1 files changed, 5 insertions, 0 deletions

diff --git a/src/test/pattern.sail b/src/test/pattern.sail
index 7bbfebf9..cabe7dad 100644
--- a/src/test/pattern.sail
+++ b/src/test/pattern.sail
@@ -23,6 +23,11 @@ function nat main _ = {
     case 32 -> { x:= 128; }
   };
 
+  switch 0b010101 {
+    case (0b01:(bit[1]) _:0b101) -> n:= 42
+    case _ -> n:=0
+  };
+
   n := 3;
   switch n {
     case 0 -> { 21 }