Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1331:a6427d1eda6f 1332:4dd5d23bace2
116 filterMime = #filterMime combined @ #filterMime urp, 116 filterMime = #filterMime combined @ #filterMime urp,
117 protocol = mergeWith #2 (#protocol combined, #protocol urp), 117 protocol = mergeWith #2 (#protocol combined, #protocol urp),
118 dbms = mergeWith #2 (#dbms combined, #dbms urp), 118 dbms = mergeWith #2 (#dbms combined, #dbms urp),
119 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp), 119 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
120 safeGets = [], 120 safeGets = [],
121 onError = NONE 121 onError = NONE,
122 minHeap = 0
122 } 123 }
123 124
124 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") 125 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")
125 126
126 fun capitalize "" = "" 127 fun capitalize "" = ""