Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val NONE _ = () |
2 | ||
3 | val _ :: 13 = [] | |
4 | ||
5 | val 13 : bool = 14 | |
6 | ||
7 | (* Precedence parsing *) | |
8 | val x _ _ = 13 | |
9 | ||
10 | val + _ = 13 | |
11 | ||
12 | val _ + = 13 | |
13 | ||
14 | val _ + _ = 13 | |
15 | ||
16 | local | |
17 | infixr 5 foo | |
18 | infix 5 bar | |
19 | in | |
20 | val x foo y bar z = 13 | |
21 | end | |
22 | ||
23 | val x _ = 13 | |
24 | ||
25 | val x : int as NONE = NONE | |
26 | ||
27 | val [13, "foo"] = [] | |
28 | ||
29 | val {foo, ...} = raise Fail "" |