summaryrefslogtreecommitdiff
path: root/demo/metaform.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-26 11:56:40 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-26 11:56:40 -0500
commitc4120c8ddaa5340efad5f835ce4565f2a8ae2cbf (patch)
treeb4c6e798738335ded8d209afc369885664396d08 /demo/metaform.ur
parent4300120544123e9dfb262eb8b4e3d0a0f17ff9bc (diff)
Make summary unification more conservative; infer implicit arguments after applications
Diffstat (limited to 'demo/metaform.ur')
-rw-r--r--demo/metaform.ur26
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>