blob: 527082def6dcb7b25758c29a77ac480dd8b4f51a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
use std
/* checks pattern matching on unions with arguments.
exits with 42. */
type u = union
`Int int
`Str byte[:]
`Nil
;;
const main = {
var v
v = `Str "asdf"
match v
| `Int 127: std.fatal("wrong match `Int 127\n")
| `Str "foo": std.fatal("Wrong match `Str \"foo\"\n")
/* make sure we backtrack for the test */
| `Str "asfd": std.fatal("Wrong match `Str \"fsda\"\n")
| `Str "asdf": std.put("Correct `Str \"asdf\"!\n")
| `Nil: std.fatal("Wrong match `Str \"fsda\"\n")
| _: std.fatal("Impossible failed match\n")
;;
}
|
