diff src/demo.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 9d3ccb8b39ac
children 4359e185d3af
line wrap: on
line diff
--- a/src/demo.sml	Sun Sep 05 14:00:57 2010 -0400
+++ b/src/demo.sml	Tue Sep 07 08:28:07 2010 -0400
@@ -115,7 +115,8 @@
             protocol = mergeWith #2 (#protocol combined, #protocol urp),
             dbms = mergeWith #2 (#dbms combined, #dbms urp),
             sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
-            safeGets = []
+            safeGets = [],
+            onError = NONE
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")