| changeset 21452 | f825e0b4d566 |
| parent 21172 | eea3c9048c7a |
| child 21993 | 4b802a9e0738 |
| 21451:28f1181c1a48 | 21452:f825e0b4d566 |
|---|---|
3 |
3 |
4 structure Codegen = |
4 structure Codegen = |
5 struct |
5 struct |
6 |
6 |
7 fun lookup ((k, v) :: xs) l = |
7 fun lookup ((k, v) :: xs) l = |
8 (if (k : string = l) then SOME v else lookup xs l) |
8 (if ((k : string) = l) then SOME v else lookup xs l) |
9 | lookup [] l = NONE; |
9 | lookup [] l = NONE; |
10 |
10 |
11 end; (*struct Codegen*) |
11 end; (*struct Codegen*) |
12 |
12 |
13 end; (*struct ROOT*) |
13 end; (*struct ROOT*) |