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)
}
}
|