File: tuple_union.sail

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (49 lines) | stat: -rw-r--r-- 768 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
default Order dec

$include <prelude.sail>

$[sv_module { stdout = true }]
val "print_endline" : string -> unit

union U('a: Type) = {
  Ctor : 'a
}

type pair = (int, int)

function foo(x: U(pair)) -> unit = {
  match x {
    Ctor(y, z) => {
      print_int("y = ", y);
      print_int("z = ", z)
    }
  };
  match x {
    Ctor((y, z)) => {
      print_int("y = ", y);
      print_int("z = ", z)
    }
  };
  match x {
    Ctor(x) => match x {
      (y, z) => {
	print_int("y = ", y);
	print_int("z = ", z)
      }
    }
  };
  print_endline("")
}

function main((): unit) -> unit = {
  foo(Ctor(1, 2));
  foo(Ctor((3, 4)));
  let x = (5, 6);
  foo(Ctor(x));
  let x = Ctor(7, 8);
  foo(x);
  let x = Ctor(((9, 10)));
  foo(x);
  let x = (11, 12);
  foo(Ctor(x));
}