Mercurial > urweb
comparison src/unnest.sml @ 459:f542bc3133dc
Cookies through elaborate
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 10:29:55 -0500 |
parents | d4a81273d4b1 |
children | 33d5bd69da00 |
comparison
equal
deleted
inserted
replaced
458:8f65b0fa3b29 | 459:f542bc3133dc |
---|---|
346 | DExport _ => default () | 346 | DExport _ => default () |
347 | DTable _ => default () | 347 | DTable _ => default () |
348 | DSequence _ => default () | 348 | DSequence _ => default () |
349 | DClass _ => default () | 349 | DClass _ => default () |
350 | DDatabase _ => default () | 350 | DDatabase _ => default () |
351 | DCookie _ => default () | |
351 end | 352 end |
352 | 353 |
353 and doStr (all as (str, loc), st) = | 354 and doStr (all as (str, loc), st) = |
354 let | 355 let |
355 fun default () = (all, st) | 356 fun default () = (all, st) |