diff src/compiler.sig @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 5b5c0b552f59
children 4dd5d23bace2
line wrap: on
line diff
--- a/src/compiler.sig	Sun Sep 05 14:00:57 2010 -0400
+++ b/src/compiler.sig	Tue Sep 07 08:28:07 2010 -0400
@@ -54,7 +54,8 @@
          protocol : string option,
          dbms : string option,
          sigFile : string option,
-         safeGets : string list
+         safeGets : string list,
+         onError : (string * string list * string) option
     }
     val compile : string -> bool
     val compiler : string -> unit