Mercurial > urweb
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 |