Mercurial > urweb

comparison src/mono_util.sml @ 725:4c5796512edc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catching duplicate cookie and style paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:07:21 -0400
parents f152f215a02c
children 7c6b6c3c7b79
comparison
equal deleted inserted replaced
724:12ec14a6be0b 725:4c5796512edc
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 | DCookie _ => S.return2 dAll
477 | DStyle _ => S.return2 dAll 478 | DStyle _ => S.return2 dAll
478 479
479 and mfvi ctx (x, n, t, e, s) = 480 and mfvi ctx (x, n, t, e, s) =
480 S.bind2 (mft t, 481 S.bind2 (mft t,
481 fn t' => 482 fn t' =>
554 | DExport _ => ctx 555 | DExport _ => ctx
555 | DTable _ => ctx 556 | DTable _ => ctx
556 | DSequence _ => ctx 557 | DSequence _ => ctx
557 | DDatabase _ => ctx 558 | DDatabase _ => ctx
558 | DJavaScript _ => ctx 559 | DJavaScript _ => ctx
560 | DCookie _ => ctx
559 | DStyle _ => ctx 561 | DStyle _ => ctx
560 in 562 in
561 S.map2 (mff ctx' ds', 563 S.map2 (mff ctx' ds',
562 fn ds' => 564 fn ds' =>
563 d' :: ds') 565 d' :: ds')
604 | DExport _ => count 606 | DExport _ => count
605 | DTable _ => count 607 | DTable _ => count
606 | DSequence _ => count 608 | DSequence _ => count
607 | DDatabase _ => count 609 | DDatabase _ => count
608 | DJavaScript _ => count 610 | DJavaScript _ => count
611 | DCookie _ => count
609 | DStyle _ => count) 0 612 | DStyle _ => count) 0
610 613
611 end 614 end
612 615
613 end 616 end