summaryrefslogtreecommitdiff
path: root/test/c/match_bind.sail
blob: 39738ac3ce5025ead5effeada46952dff1b2c48f (plain)
1
2
3
4
5
6
7
8
9
10
11
default Order dec

$include <prelude.sail>

function main() -> unit = {
  let x: int = 3;
  match x {
    _ if let y = x in y == 3 => let y = x in print_int("1. y = ", y),
    _ if let y = x in true => let y = x in print_int("2. y = ", y)
  }
}