Mercurial > urweb

diff src/demo.sml @ 1332:4dd5d23bace2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minHeap option in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 15:16:04 -0500
parents 4359e185d3af
children 2f5fd248588d
line wrap: on
line diff
--- a/src/demo.sml	Sat Dec 11 13:42:54 2010 -0500
+++ b/src/demo.sml	Sat Dec 11 15:16:04 2010 -0500
@@ -118,7 +118,8 @@
             dbms = mergeWith #2 (#dbms combined, #dbms urp),
             sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
             safeGets = [],
-            onError = NONE
+            onError = NONE,
+            minHeap = 0
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")