From 5545969f485ef2fb944db8e7b0237acbabeb8d4c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 7 Sep 2010 08:28:07 -0400
Subject: Server-side 'onError'

---
 src/cjrize.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/cjrize.sml')

diff --git a/src/cjrize.sml b/src/cjrize.sml
index 22463cd4..2e7afa43 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -675,6 +675,7 @@ fun cifyDecl ((d, loc), sm) =
            | _ => (ErrorMsg.errorAt loc "Initializer has not been fully determined";
                    (NONE, NONE, sm)))
       | L.DPolicy _ => (NONE, NONE, sm)
+      | L.DOnError n => (SOME (L'.DOnError n, loc), NONE, sm)
 
 fun cjrize ds =
     let
-- 
cgit v1.2.3