Mercurial > urweb

comparison src/unnest.sml @ 2010:403f0cc65b9c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New lessSafeFfi
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 19:19:09 -0400
parents 5f478ecf65e4
children 1091227f535a
comparison
equal deleted inserted replaced
2009:799be3911ce3 2010:403f0cc65b9c
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)