diff options
Diffstat (limited to 'test/mono/varmatch.sail')
| -rw-r--r-- | test/mono/varmatch.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/mono/varmatch.sail b/test/mono/varmatch.sail index 279c16be..c3c2994d 100644 --- a/test/mono/varmatch.sail +++ b/test/mono/varmatch.sail @@ -15,10 +15,10 @@ function foo(x) = { } } -val run : unit -> bool +val run : unit -> unit effect {escape} function run () = { - foo(One) == Two & - foo(Two) == Two & - foo(Three) == Three + assert(foo(One) == Two); + assert(foo(Two) == Two); + assert(foo(Three) == Three); } |