Mercurial > urweb

comparison src/cjrize.sml @ 116:c5d7ce9ddd57

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basic web server
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 13:38:23 -0400
parents 2d6116de9cca
children 6230bdd122e7
comparison
equal deleted inserted replaced
115:ff13d390ec60 116:c5d7ce9ddd57
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 n => (NONE, SOME n, sm) 187 | L.DExport (s, n) => (NONE, SOME ("/" ^ s, n), sm)
188 188
189 fun cjrize ds = 189 fun cjrize ds =
190 let 190 let
191 val (ds, ps, sm) = foldl (fn (d, (ds, ps, sm)) => 191 val (ds, ps, sm) = foldl (fn (d, (ds, ps, sm)) =>
192 let 192 let