Mercurial > urweb

comparison src/cjrize.sml @ 273:09c66a30ef32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Table declarations pushed to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 13:09:54 -0400
parents 42dfb0d61cf0
children fdd7a698be01
comparison
equal deleted inserted replaced
272:4d80d6122df1 273:09c66a30ef32
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.DTable (s, xts) =>
427 let
428 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) =>
429 let
430 val (t, sm) = cifyTyp (t, sm)
431 in
432 ((x, t), sm)
433 end) sm xts
434 in
435 (SOME (L'.DTable (s, xts), loc), NONE, sm)
436 end
426 | L.DDatabase s => (SOME (L'.DDatabase s, loc), NONE, sm) 437 | L.DDatabase s => (SOME (L'.DDatabase s, loc), NONE, sm)
427 438
428 fun cjrize ds = 439 fun cjrize ds =
429 let 440 let
430 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) => 441 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) =>