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