diff options
Diffstat (limited to 'src/test/vectors.sail')
| -rw-r--r-- | src/test/vectors.sail | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index f51b5d93..f6e0c532 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -21,17 +21,17 @@ function unit main _ = { case _ -> match_success := i }; - (* XXX function clause match fail *) - (* parameter is wrapped in a 1-tuple upon call, but probably not - unwrapped for the pattern-matching *) decode(i); (* concatenation *) switch i { - (* XXX match fails *) case ([bitzero] : [bitzero, bitone] : [bitzero]) -> match_success := 1 - (* but this works *) - case ([bitzero] : [bitzero] : [bitone] : [bitzero]) -> match_success := 2 + case _ -> match_success := i + }; + switch i { + (* check order of concatenation *) + case ([bitzero] : [bitone] : [bitzero] : [bitzero]) -> match_success := 99 + case ([bitzero] : [bitzero] : [bitone] : [bitzero]) -> match_success := 1 case _ -> match_success := i }; |