diff options
Diffstat (limited to 'tests/case.lac')
| -rw-r--r-- | tests/case.lac | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/case.lac b/tests/case.lac index dc3fe03b..b131b27b 100644 --- a/tests/case.lac +++ b/tests/case.lac @@ -8,5 +8,9 @@ val out = fn x : u => case x of C y => y | D => A datatype nat = O | S of nat -val is_two = fn x : int_list => +val is_two = fn x : nat => case x of S (S O) => A | _ => B + +val zero_is_two = is_two O +val one_is_two = is_two (S O) +val two_is_two = is_two (S (S O)) |