diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-10-10 14:41:03 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 14:41:03 -0400 |
commit | 5d51d86b0973fe6996b4b64ec78d9fc810177e02 (patch) | |
tree | 2e1c023171139b80bf24b4ec2b5a85115973e945 /demo/metaform.ur | |
parent | d8bc26c9647d2b45009f6538bc2a69508c983449 (diff) |
Hopeful fix for the Great Unification Bug
Diffstat (limited to 'demo/metaform.ur')
-rw-r--r-- | demo/metaform.ur | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/demo/metaform.ur b/demo/metaform.ur index 729b7d08..c6a6e54b 100644 --- a/demo/metaform.ur +++ b/demo/metaform.ur @@ -15,11 +15,10 @@ functor Make (M : sig fun main () = return <xml><body> <form> {@foldUR [string] [fn cols => xml form [] (mapU string cols)] - (fn [nm :: Name] [rest ::_] [[nm] ~ rest] name - (acc : xml form [] (mapU string rest)) => <xml> - <li> {[name]}: <textbox{nm}/></li> - {useMore acc} - </xml>) + (fn [nm :: Name] [rest ::_] [[nm] ~ rest] name acc => <xml> + <li> {[name]}: <textbox{nm}/></li> + {useMore acc} + </xml>) <xml/> M.fl M.names} <submit action={handler}/> |