Mercurial > urweb

diff src/monoize.sml @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents 5145181b02fa
children 330a7de47914
line wrap: on
line diff
--- a/src/monoize.sml	Tue Jan 27 09:53:51 2009 -0500
+++ b/src/monoize.sml	Sat Feb 14 14:07:56 2009 -0500
@@ -2224,6 +2224,8 @@
             in
                 ((L'.ELet (x, t', e1, e2), loc), fm)
             end
+
+          | L.EServerCall _ => raise Fail "Monoize EServerCall"
     end
 
 fun monoDecl (env, fm) (all as (d, loc)) =