comparison src/demo.sml @ 1183:9d3ccb8b39ac

safeGet
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 18:28:44 -0500
parents 7a2a7a8f9cab
children b4480a56cab7
comparison
equal deleted inserted replaced
1182:0b1d666bddb4 1183:9d3ccb8b39ac
112 rewrites = #rewrites combined @ #rewrites urp, 112 rewrites = #rewrites combined @ #rewrites urp,
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 } 119 }
119 120
120 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") 121 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")
121 122
122 fun capitalize "" = "" 123 fun capitalize "" = ""