Mercurial > urweb
diff src/mono_util.sml @ 1199:c316ca3c9ec6
Pushing policies through
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 04 Apr 2010 12:29:34 -0400 |
| parents | 7a31e0cf25e9 |
| children | 648e6b087dfb |
line wrap: on
line diff
--- a/src/mono_util.sml Thu Apr 01 17:23:17 2010 -0400 +++ b/src/mono_util.sml Sun Apr 04 12:29:34 2010 -0400 @@ -534,6 +534,16 @@ 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 + PolQuery e => + S.map2 (mfe ctx e, + PolQuery) and mfvi ctx (x, n, t, e, s) = S.bind2 (mft t, @@ -621,6 +631,7 @@ | DCookie _ => ctx | DStyle _ => ctx | DTask _ => ctx + | DPolicy _ => ctx in S.map2 (mff ctx' ds', fn ds' => @@ -674,7 +685,8 @@ | DJavaScript _ => count | DCookie _ => count | DStyle _ => count - | DTask _ => count) 0 + | DTask _ => count + | DPolicy _ => count) 0 end