Mercurial > urweb

comparison src/monoize.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 25d491287358
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
3476 SOME (Env.pushENamed env x n t NONE s, 3476 SOME (Env.pushENamed env x n t NONE s,
3477 fm, 3477 fm,
3478 [(L'.DStyle s, loc), 3478 [(L'.DStyle s, loc),
3479 (L'.DVal (x, n, t', e, s), loc)]) 3479 (L'.DVal (x, n, t', e, s), loc)])
3480 end 3480 end
3481 | L.DInitializer e => 3481 | L.DTask (e1, e2) =>
3482 let 3482 let
3483 val (e, fm) = monoExp (env, St.empty, fm) e 3483 val (e1, fm) = monoExp (env, St.empty, fm) e1
3484 val (e2, fm) = monoExp (env, St.empty, fm) e2
3484 in 3485 in
3485 SOME (env, 3486 SOME (env,
3486 fm, 3487 fm,
3487 [(L'.DInitializer e, loc)]) 3488 [(L'.DTask (e1, e2), loc)])
3488 end 3489 end
3489 end 3490 end
3490 3491
3491 datatype expungable = Client | Channel 3492 datatype expungable = Client | Channel
3492 3493