Mercurial > urweb

diff demo/metaform.ur @ 1176:51e596feec37

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Mar 2010 16:00:48 -0500
parents 8d3aa6c7cee0
children d008c4c43a0a
line wrap: on
line diff
--- a/demo/metaform.ur	Tue Mar 02 10:33:49 2010 -0500
+++ b/demo/metaform.ur	Tue Mar 02 16:00:48 2010 -0500
@@ -5,7 +5,7 @@
               end) = struct
 
     fun handler values = return <xml><body>
-      {@foldURX2 [string] [string] [body]
+      {@mapUX2 [string] [string] [body]
         (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => <xml>
           <li> {[name]} = {[value]}</li>
         </xml>)