test/c/single_arg.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

default Order dec

$include <prelude.sail>

val f : (int, int) -> int

function f(x) = {
  match x {
    (y, z) => y + z
  }
}

function main() : unit -> unit = {
  print_int("", f(2, 3));
}