diff src/monoize.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents acabf3935060
children a0f0823a54a0
line wrap: on
line diff
--- a/src/monoize.sml	Sun Sep 05 14:00:57 2010 -0400
+++ b/src/monoize.sml	Tue Sep 07 08:28:07 2010 -0400
@@ -3962,6 +3962,9 @@
             in
                 SOME (env, fm, ps)
             end
+          | L.DOnError n => SOME (env,
+                                  fm,
+                                  [(L'.DOnError n, loc)])
     end
 
 datatype expungable = Client | Channel