Mercurial > urweb
comparison src/unnest.sml @ 2206:c1a62ce47083
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Tue, 27 May 2014 21:38:01 -0400 |
parents | 403f0cc65b9c |
children | 1091227f535a |
comparison
equal
deleted
inserted
replaced
2205:cdea39473c78 | 2206:c1a62ce47083 |
---|---|
450 | DCookie _ => default () | 450 | DCookie _ => default () |
451 | DStyle _ => default () | 451 | DStyle _ => default () |
452 | DTask _ => explore () | 452 | DTask _ => explore () |
453 | DPolicy _ => explore () | 453 | DPolicy _ => explore () |
454 | DOnError _ => default () | 454 | DOnError _ => default () |
455 | DFfi _ => default () | |
455 end | 456 end |
456 | 457 |
457 and doStr (all as (str, loc), st) = | 458 and doStr (all as (str, loc), st) = |
458 let | 459 let |
459 fun default () = (all, st) | 460 fun default () = (all, st) |