changeset 30209 | 2f4684e2ea95 |
parent 21994 | dfa5133dbe73 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/doc-src/Codegen/Thy/examples/lookup.ML Tue Mar 03 11:00:51 2009 +0100 1.3 @@ -0,0 +1,13 @@ 1.4 +structure ROOT = 1.5 +struct 1.6 + 1.7 +structure Codegen = 1.8 +struct 1.9 + 1.10 +fun lookup ((k, v) :: xs) l = 1.11 + (if ((k : string) = l) then SOME v else lookup xs l) 1.12 + | lookup [] l = NONE; 1.13 + 1.14 +end; (*struct Codegen*) 1.15 + 1.16 +end; (*struct ROOT*)