Mercurial > urweb
comparison src/cjrize.sml @ 120:6230bdd122e7
Passing an argument to a web function
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 13 Jul 2008 20:07:10 -0400 |
| parents | c5d7ce9ddd57 |
| children | 91027db5a07c |
comparison
equal
deleted
inserted
replaced
| 119:7fdc146b2bc2 | 120:6230bdd122e7 |
|---|---|
| 182 (L'.DVal (x, n, t, e), sm) | 182 (L'.DVal (x, n, t, e), sm) |
| 183 end | 183 end |
| 184 in | 184 in |
| 185 (SOME (d, loc), NONE, sm) | 185 (SOME (d, loc), NONE, sm) |
| 186 end | 186 end |
| 187 | L.DExport (s, n) => (NONE, SOME ("/" ^ s, n), sm) | 187 | L.DExport (s, n, ts) => |
| 188 let | |
| 189 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts | |
| 190 in | |
| 191 (NONE, SOME ("/" ^ s, n, ts), sm) | |
| 192 end | |
| 188 | 193 |
| 189 fun cjrize ds = | 194 fun cjrize ds = |
| 190 let | 195 let |
| 191 val (ds, ps, sm) = foldl (fn (d, (ds, ps, sm)) => | 196 val (ds, ps, sm) = foldl (fn (d, (ds, ps, sm)) => |
| 192 let | 197 let |