Mercurial > urweb
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