diff options
Diffstat (limited to 'src/test/pattern.sail')
| -rw-r--r-- | src/test/pattern.sail | 5 |
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 } |