summaryrefslogtreecommitdiff
path: root/demo/metaform.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-24 15:12:13 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-24 15:12:13 -0500
commita609e91b959d905fc10554e97df153c09769ec90 (patch)
tree163895f20f3556dd9ebb32a2deb09842eced212e /demo/metaform.ur
parent487f7affa283ac96326a6891c29c0800690b2c5f (diff)
Demos compile again, with manual folders
Diffstat (limited to 'demo/metaform.ur')
-rw-r--r--demo/metaform.ur5
1 files changed, 3 insertions, 2 deletions
diff --git a/demo/metaform.ur b/demo/metaform.ur
index ae1197f4..0e2e5ee3 100644
--- a/demo/metaform.ur
+++ b/demo/metaform.ur
@@ -1,5 +1,6 @@
functor Make (M : sig
con fs :: {Unit}
+ val fl : folder fs
val names : $(mapUT string fs)
end) = struct
@@ -8,7 +9,7 @@ functor Make (M : sig
(fn (nm :: Name) (rest :: {Unit}) [[nm] ~ rest] name value => <xml>
<li> {[name]} = {[value]}</li>
</xml>)
- [M.fs] M.names values}
+ [M.fs] M.fl M.names values}
</body></xml>
fun main () = return <xml><body>
@@ -20,7 +21,7 @@ functor Make (M : sig
{useMore acc}
</xml>)
<xml/>
- [M.fs] M.names}
+ [M.fs] M.fl M.names}
<submit action={handler}/>
</form>
</body></xml>