comparison src/cjrize.sml @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 55fc747a67dc
children 57018f21cd5c
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
526 (SOME (L'.DTable (s, xts), loc), NONE, sm) 526 (SOME (L'.DTable (s, xts), loc), NONE, sm)
527 end 527 end
528 | L.DSequence s => 528 | L.DSequence s =>
529 (SOME (L'.DSequence s, loc), NONE, sm) 529 (SOME (L'.DSequence s, loc), NONE, sm)
530 | L.DDatabase s => (SOME (L'.DDatabase s, loc), NONE, sm) 530 | L.DDatabase s => (SOME (L'.DDatabase s, loc), NONE, sm)
531 | L.DJavaScript s => (SOME (L'.DJavaScript s, loc), NONE, sm)
531 532
532 fun cjrize ds = 533 fun cjrize ds =
533 let 534 let
534 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) => 535 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) =>
535 let 536 let