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)