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")