Mercurial > urweb
diff src/unnest.sml @ 1075:0657e5adc938
Convert to task syntax
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 15 Dec 2009 10:19:05 -0500 |
parents | b2311dfb3158 |
children | c316ca3c9ec6 |
line wrap: on
line diff
--- a/src/unnest.sml Sun Dec 13 14:34:18 2009 -0500 +++ b/src/unnest.sml Tue Dec 15 10:19:05 2009 -0500 @@ -422,7 +422,7 @@ | DDatabase _ => default () | DCookie _ => default () | DStyle _ => default () - | DInitializer _ => explore () + | DTask _ => explore () end and doStr (all as (str, loc), st) =