Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/demo.sml Tue Mar 09 17:50:42 2010 -0500 +++ b/src/demo.sml Tue Mar 09 18:28:44 2010 -0500 @@ -114,7 +114,8 @@ filterMime = #filterMime combined @ #filterMime urp, protocol = mergeWith #2 (#protocol combined, #protocol urp), dbms = mergeWith #2 (#dbms combined, #dbms urp), - sigFile = mergeWith #2 (#sigFile combined, #sigFile urp) + sigFile = mergeWith #2 (#sigFile combined, #sigFile urp), + safeGets = [] } val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")