test/c/tl_poly_match.sail


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

default Order dec

$include <prelude.sail>

val "print" : string -> unit

val f : option(int) -> string

function f(Some(_)) = "1\n"
and f(None()) = "2\n"

val main : unit -> unit

function main() = {
  print(f(Some(3)));
  print(f(None()));
}