Mercurial > urweb

diff demo/metaform.ur @ 823:669ac5e9a69e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents aa2290c32ce2
children 8d3aa6c7cee0
line wrap: on
line diff
--- a/demo/metaform.ur	Thu May 28 10:16:50 2009 -0400
+++ b/demo/metaform.ur	Thu May 28 10:35:25 2009 -0400
@@ -6,7 +6,7 @@
 
     fun handler values = return <xml><body>
       {foldURX2 [string] [string] [body]
-       (fn (nm :: Name) (rest :: {Unit}) [[nm] ~ rest] name value => <xml>
+       (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => <xml>
          <li> {[name]} = {[value]}</li>
        </xml>)
        [M.fs] M.fl M.names values}
@@ -15,7 +15,7 @@
     fun main () = return <xml><body>
       <form>
         {foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)]
-                (fn (nm :: Name) (rest :: {Unit}) [[nm] ~ rest] name
+                (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name
                                  (acc : xml form [] (mapU string rest)) => <xml>
                                    <li> {[name]}: <textbox{nm}/></li>
                                    {useMore acc}