comparison src/unnest.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 588b9d16b00a
children 8688e01ae469
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
405 | DTable _ => default () 405 | DTable _ => default ()
406 | DSequence _ => default () 406 | DSequence _ => default ()
407 | DClass _ => default () 407 | DClass _ => default ()
408 | DDatabase _ => default () 408 | DDatabase _ => default ()
409 | DCookie _ => default () 409 | DCookie _ => default ()
410 | DStyle _ => default ()
410 end 411 end
411 412
412 and doStr (all as (str, loc), st) = 413 and doStr (all as (str, loc), st) =
413 let 414 let
414 fun default () = (all, st) 415 fun default () = (all, st)