comparison 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
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
113 filterUrl = #filterUrl combined @ #filterUrl urp, 113 filterUrl = #filterUrl combined @ #filterUrl urp,
114 filterMime = #filterMime combined @ #filterMime urp, 114 filterMime = #filterMime combined @ #filterMime urp,
115 protocol = mergeWith #2 (#protocol combined, #protocol urp), 115 protocol = mergeWith #2 (#protocol combined, #protocol urp),
116 dbms = mergeWith #2 (#dbms combined, #dbms urp), 116 dbms = mergeWith #2 (#dbms combined, #dbms urp),
117 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp), 117 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
118 safeGets = [] 118 safeGets = [],
119 onError = NONE
119 } 120 }
120 121
121 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") 122 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")
122 123
123 fun capitalize "" = "" 124 fun capitalize "" = ""