Mercurial > urweb

comparison src/cjrize.sml @ 271:42dfb0d61cf0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents fac9fae654e2
children 09c66a30ef32
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
421 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts 421 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
422 in 422 in
423 (NONE, SOME (ek, "/" ^ s, n, ts), sm) 423 (NONE, SOME (ek, "/" ^ s, n, ts), sm)
424 end 424 end
425 425
426 | L.DDatabase s => (SOME (L'.DDatabase s, loc), NONE, sm)
427
426 fun cjrize ds = 428 fun cjrize ds =
427 let 429 let
428 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) => 430 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) =>
429 let 431 let
430 val (dop, pop, sm) = cifyDecl (d, sm) 432 val (dop, pop, sm) = cifyDecl (d, sm)