diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/pattern.sail | 8 | ||||
| -rw-r--r-- | src/test/test1.sail | 1 |
2 files changed, 5 insertions, 4 deletions
diff --git a/src/test/pattern.sail b/src/test/pattern.sail index 35a6b632..22f0bcc4 100644 --- a/src/test/pattern.sail +++ b/src/test/pattern.sail @@ -1,5 +1,5 @@ -register nat n +register nat n register nat x register nat y @@ -12,13 +12,13 @@ function unit main _ = { case 0 -> { x := 21; x } case 1 -> { x := 42; x } case x -> { x := 99; x } - }); + }); (* doesn't work - main returns 1 instead of 42 *) - n := 1; + n := 3; switch n { case 0 -> { 21 } case 1 -> { 42 } case x -> { 99 } - } + }; } diff --git a/src/test/test1.sail b/src/test/test1.sail index e10608bb..7747783e 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -14,3 +14,4 @@ let bit v = bitzero let ( bit [ 32 ] ) v1 = 0b101 function bit main _ = v1[0] + |