test/c/tuple_conversion.sail


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

default Order dec

$include <flow.sail>

val "print_int" : (string, int) -> unit

function main() : unit -> unit = {
  let x : (string, int(3)) = ("test", 3);
  let (str, n) = x;
  print_int(str, n);
  let y : (string, int) = x;
  let (str, n) = y;
  print_int(str, n);
}