Mercurial > urweb

comparison src/cjrize.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 acabf3935060
children 6c2e565adca6
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
673 (SOME (L'.DTask (tk, e), loc), NONE, sm) 673 (SOME (L'.DTask (tk, e), loc), NONE, sm)
674 end 674 end
675 | _ => (ErrorMsg.errorAt loc "Initializer has not been fully determined"; 675 | _ => (ErrorMsg.errorAt loc "Initializer has not been fully determined";
676 (NONE, NONE, sm))) 676 (NONE, NONE, sm)))
677 | L.DPolicy _ => (NONE, NONE, sm) 677 | L.DPolicy _ => (NONE, NONE, sm)
678 | L.DOnError n => (SOME (L'.DOnError n, loc), NONE, sm)
678 679
679 fun cjrize ds = 680 fun cjrize ds =
680 let 681 let
681 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) => 682 val (dsF, ds, ps, sm) = foldl (fn (d, (dsF, ds, ps, sm)) =>
682 let 683 let