summaryrefslogtreecommitdiff
path: root/test/c/single_guard.sail
blob: 017ed8a5c7dc962f3be63c58f21e44ca9c225847 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
default Order dec

$include <prelude.sail>

val "print_endline" : string -> unit

val test : unit -> unit

function test(_ if true) = {
  print_endline("In test")
}

function main() -> unit = {
  print_endline("In main");
  test()
}