Mercurial > urweb

comparison src/reduce.sml @ 1073:b2311dfb3158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents dfe34fad749d
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
802 | DSequence _ => (d, st) 802 | DSequence _ => (d, st)
803 | DView (s, n, s', e, c) => ((DView (s, n, s', exp (namedC, namedE) [] e, con namedC [] c), loc), st) 803 | DView (s, n, s', e, c) => ((DView (s, n, s', exp (namedC, namedE) [] e, con namedC [] c), loc), st)
804 | DDatabase _ => (d, st) 804 | DDatabase _ => (d, st)
805 | DCookie (s, n, c, s') => ((DCookie (s, n, con namedC [] c, s'), loc), st) 805 | DCookie (s, n, c, s') => ((DCookie (s, n, con namedC [] c, s'), loc), st)
806 | DStyle (s, n, s') => ((DStyle (s, n, s'), loc), st) 806 | DStyle (s, n, s') => ((DStyle (s, n, s'), loc), st)
807 | DInitializer e =>
808 let
809 val e = exp (namedC, namedE) [] e
810 in
811 ((DInitializer e, loc),
812 (polyC,
813 namedC,
814 namedE))
815 end
807 816
808 val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file 817 val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file
809 in 818 in
810 file 819 file
811 end 820 end