Mercurial > urweb
diff demo/metaform.ur @ 823:669ac5e9a69e
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}