Mercurial > urweb

comparison src/mono_util.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children 4c5796512edc
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
472 fn ce' => 472 fn ce' =>
473 (DTable (s, xts, pe', ce'), loc))) 473 (DTable (s, xts, pe', ce'), loc)))
474 | DSequence _ => S.return2 dAll 474 | DSequence _ => S.return2 dAll
475 | DDatabase _ => S.return2 dAll 475 | DDatabase _ => S.return2 dAll
476 | DJavaScript _ => S.return2 dAll 476 | DJavaScript _ => S.return2 dAll
477 | DStyle _ => S.return2 dAll
477 478
478 and mfvi ctx (x, n, t, e, s) = 479 and mfvi ctx (x, n, t, e, s) =
479 S.bind2 (mft t, 480 S.bind2 (mft t,
480 fn t' => 481 fn t' =>
481 S.map2 (mfe ctx e, 482 S.map2 (mfe ctx e,
553 | DExport _ => ctx 554 | DExport _ => ctx
554 | DTable _ => ctx 555 | DTable _ => ctx
555 | DSequence _ => ctx 556 | DSequence _ => ctx
556 | DDatabase _ => ctx 557 | DDatabase _ => ctx
557 | DJavaScript _ => ctx 558 | DJavaScript _ => ctx
559 | DStyle _ => ctx
558 in 560 in
559 S.map2 (mff ctx' ds', 561 S.map2 (mff ctx' ds',
560 fn ds' => 562 fn ds' =>
561 d' :: ds') 563 d' :: ds')
562 end) 564 end)
601 | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis 603 | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis
602 | DExport _ => count 604 | DExport _ => count
603 | DTable _ => count 605 | DTable _ => count
604 | DSequence _ => count 606 | DSequence _ => count
605 | DDatabase _ => count 607 | DDatabase _ => count
606 | DJavaScript _ => count) 0 608 | DJavaScript _ => count
609 | DStyle _ => count) 0
607 610
608 end 611 end
609 612
610 end 613 end