Mercurial > urweb

comparison src/reduce.sml @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 618f9f458da9
children beb67ff4c8a0
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
744 ((DTask (e1, e2), loc), 744 ((DTask (e1, e2), loc),
745 (polyC, 745 (polyC,
746 namedC, 746 namedC,
747 namedE)) 747 namedE))
748 end 748 end
749 | DPolicy e1 =>
750 let
751 val e1 = exp (namedC, namedE) [] e1
752 in
753 ((DPolicy e1, loc),
754 (polyC,
755 namedC,
756 namedE))
757 end
749 758
750 val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file 759 val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file
751 in 760 in
752 file 761 file
753 end 762 end