blob: bddd4ac79a79119f4a89bad9da502654331c683e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
use std
/* checks that we can bind values in pattern matches.
exits with 11. */
type u = union
`Int int
`Chr char
`Nil
;;
const main = {
var v
v = `Int 8
match v
| `Int 127: std.exit(42)
| `Int x: std.exit(x)
| `Chr 'a': std.exit(4)
| `Nil: std.exit(6)
| x: std.die("Impossible match failure\n")
;;
}
|