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