diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-26 11:56:40 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-26 11:56:40 -0500 |
| commit | c4120c8ddaa5340efad5f835ce4565f2a8ae2cbf (patch) | |
| tree | b4c6e798738335ded8d209afc369885664396d08 /demo/metaform.ur | |
| parent | 4300120544123e9dfb262eb8b4e3d0a0f17ff9bc (diff) | |
Make summary unification more conservative; infer implicit arguments after applications
Diffstat (limited to 'demo/metaform.ur')
| -rw-r--r-- | demo/metaform.ur | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/demo/metaform.ur b/demo/metaform.ur index 54bf0fc7..606b3863 100644 --- a/demo/metaform.ur +++ b/demo/metaform.ur @@ -5,23 +5,23 @@ functor Make (M : sig end) = struct fun handler values = return <xml><body> - {foldURX2 [string] [string] [body] - (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => <xml> - <li> {[name]} = {[value]}</li> - </xml>) - [M.fs] M.fl M.names values} + {@foldURX2 [string] [string] [body] + (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => <xml> + <li> {[name]} = {[value]}</li> + </xml>) + M.fl M.names values} </body></xml> fun main () = return <xml><body> <form> - {foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] - (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name - (acc : xml form [] (mapU string rest)) => <xml> - <li> {[name]}: <textbox{nm}/></li> - {useMore acc} - </xml>) - <xml/> - [M.fs] M.fl M.names} + {@foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] + (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name + (acc : xml form [] (mapU string rest)) => <xml> + <li> {[name]}: <textbox{nm}/></li> + {useMore acc} + </xml>) + <xml/> + M.fl M.names} <submit action={handler}/> </form> </body></xml> |