test/c/tl_pat.sail


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

default Order dec

val print = "print_endline" : string -> unit

newtype X = X : string

val f : X -> string

function f X(str) = {
  print(str);
  "Test"
}

val main : unit -> unit

function main () = {
  print(f(X("Hello, World")));
}