Mercurial > urweb
comparison src/reduce_local.sml @ 1199:c316ca3c9ec6
Pushing policies through
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 12:29:34 -0400 |
parents | 0657e5adc938 |
children | 56bd4a4f6e66 |
comparison
equal
deleted
inserted
replaced
1197:6d8e3dcb9713 | 1199:c316ca3c9ec6 |
---|---|
250 | DView _ => d | 250 | DView _ => d |
251 | DDatabase _ => d | 251 | DDatabase _ => d |
252 | DCookie _ => d | 252 | DCookie _ => d |
253 | DStyle _ => d | 253 | DStyle _ => d |
254 | DTask (e1, e2) => (DTask (exp [] e1, exp [] e2), loc) | 254 | DTask (e1, e2) => (DTask (exp [] e1, exp [] e2), loc) |
255 | DPolicy e1 => (DPolicy (exp [] e1), loc) | |
255 in | 256 in |
256 map doDecl file | 257 map doDecl file |
257 end | 258 end |
258 | 259 |
259 val reduceExp = exp [] | 260 val reduceExp = exp [] |