Mercurial > urweb

comparison src/unnest.sml @ 1294:b4480a56cab7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 56bd4a4f6e66
children bb942416bf1c
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
432 | DDatabase _ => default () 432 | DDatabase _ => default ()
433 | DCookie _ => default () 433 | DCookie _ => default ()
434 | DStyle _ => default () 434 | DStyle _ => default ()
435 | DTask _ => explore () 435 | DTask _ => explore ()
436 | DPolicy _ => explore () 436 | DPolicy _ => explore ()
437 | DOnError _ => default ()
437 end 438 end
438 439
439 and doStr (all as (str, loc), st) = 440 and doStr (all as (str, loc), st) =
440 let 441 let
441 fun default () = (all, st) 442 fun default () = (all, st)