Mercurial > urweb
diff src/mono_util.sml @ 1254:935a981f4380
Merge
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 06 May 2010 13:57:01 -0400 |
| parents | a2cd6664f57f |
| children | 3d06e0f7a6f3 |
line wrap: on
line diff
--- a/src/mono_util.sml Sat Apr 17 13:57:10 2010 -0400 +++ b/src/mono_util.sml Thu May 06 13:57:01 2010 -0400 @@ -534,6 +534,28 @@ S.map2 (mfe ctx e2, fn e2' => (DTask (e1', e2'), loc))) + | DPolicy pol => + S.map2 (mfpol ctx pol, + fn p' => + (DPolicy p', loc)) + + and mfpol ctx pol = + case pol of + PolClient e => + S.map2 (mfe ctx e, + PolClient) + | PolInsert e => + S.map2 (mfe ctx e, + PolInsert) + | PolDelete e => + S.map2 (mfe ctx e, + PolDelete) + | PolUpdate e => + S.map2 (mfe ctx e, + PolUpdate) + | PolSequence e => + S.map2 (mfe ctx e, + PolSequence) and mfvi ctx (x, n, t, e, s) = S.bind2 (mft t, @@ -621,6 +643,7 @@ | DCookie _ => ctx | DStyle _ => ctx | DTask _ => ctx + | DPolicy _ => ctx in S.map2 (mff ctx' ds', fn ds' => @@ -674,7 +697,8 @@ | DJavaScript _ => count | DCookie _ => count | DStyle _ => count - | DTask _ => count) 0 + | DTask _ => count + | DPolicy _ => count) 0 end