Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/demo.sml Tue Feb 09 20:08:59 2010 -0500 +++ b/src/demo.sml Thu Feb 11 09:10:01 2010 -0500 @@ -112,7 +112,8 @@ filterUrl = #filterUrl combined @ #filterUrl urp, filterMime = #filterMime combined @ #filterMime urp, protocol = mergeWith #2 (#protocol combined, #protocol urp), - dbms = mergeWith #2 (#dbms combined, #dbms urp) + dbms = mergeWith #2 (#dbms combined, #dbms urp), + sigFile = mergeWith #2 (#sigFile combined, #sigFile urp) } val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")