diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/vectors.sail | 6 |
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 *) |