Mercurial > urweb
comparison src/unnest.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 |
---|---|
421 | DClass _ => default () | 421 | DClass _ => default () |
422 | DDatabase _ => default () | 422 | DDatabase _ => default () |
423 | DCookie _ => default () | 423 | DCookie _ => default () |
424 | DStyle _ => default () | 424 | DStyle _ => default () |
425 | DTask _ => explore () | 425 | DTask _ => explore () |
426 | DPolicy _ => explore () | |
426 end | 427 end |
427 | 428 |
428 and doStr (all as (str, loc), st) = | 429 and doStr (all as (str, loc), st) = |
429 let | 430 let |
430 fun default () = (all, st) | 431 fun default () = (all, st) |