Mercurial > urweb

comparison src/reduce.sml @ 1075:0657e5adc938

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 85d194409b17
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
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 => 807 | DTask (e1, e2) =>
808 let 808 let
809 val e = exp (namedC, namedE) [] e 809 val e1 = exp (namedC, namedE) [] e1
810 val e2 = exp (namedC, namedE) [] e2
810 in 811 in
811 ((DInitializer e, loc), 812 ((DTask (e1, e2), loc),
812 (polyC, 813 (polyC,
813 namedC, 814 namedC,
814 namedE)) 815 namedE))
815 end 816 end
816 817