comparison src/demo.sml @ 1164:8679ba87cf3c

sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -0500
parents b6111b688060
children 7a2a7a8f9cab
comparison
equal deleted inserted replaced
1163:6c507826fae9 1164:8679ba87cf3c
110 jsFuncs = [], 110 jsFuncs = [],
111 rewrites = #rewrites combined @ #rewrites urp, 111 rewrites = #rewrites combined @ #rewrites urp,
112 filterUrl = #filterUrl combined @ #filterUrl urp, 112 filterUrl = #filterUrl combined @ #filterUrl urp,
113 filterMime = #filterMime combined @ #filterMime urp, 113 filterMime = #filterMime combined @ #filterMime urp,
114 protocol = mergeWith #2 (#protocol combined, #protocol urp), 114 protocol = mergeWith #2 (#protocol combined, #protocol urp),
115 dbms = mergeWith #2 (#dbms combined, #dbms urp) 115 dbms = mergeWith #2 (#dbms combined, #dbms urp),
116 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp)
116 } 117 }
117 118
118 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") 119 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")
119 120
120 fun capitalize "" = "" 121 fun capitalize "" = ""