Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val _ = 1 andalso true |
2 | ||
3 | val _ = true andalso 1 | |
4 | ||
5 | val _ = 13 14 | |
6 | ||
7 | val _ = (op +) (1, true) | |
8 | ||
9 | val _ = | |
10 | case "foo" of | |
11 | 13 => 14 | |
12 | ||
13 | val _ = 13: bool | |
14 | ||
15 | val _ = + 1 2 | |
16 | ||
17 | val _ = 1 handle _ => "foo" | |
18 | ||
19 | val _ = () handle _: int => () | |
20 | ||
21 | val _ = if "foo" then () else () | |
22 | ||
23 | val _ = if true then 1 else "foo" | |
24 | ||
25 | val _ = [1, 2, "foo"] | |
26 | ||
27 | val _ = 1 orelse true | |
28 | ||
29 | val _ = true orelse 1 | |
30 | ||
31 | val _ = raise 13 | |
32 | ||
33 | val _ = "foo" + "bar" | |
34 | ||
35 | val _ = while "foo" do () | |
36 | ||
37 | val _ = | |
38 | fn _: int => () | |
39 | | _: bool => () | |
40 | ||
41 | val _ = | |
42 | fn 1 => "foo" | |
43 | | 2 => true | |
44 |