summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-03-02 16:00:48 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-03-02 16:00:48 -0500
commit3f34d0b6e326a55cc4cc4373f98f8f109b7a55d6 (patch)
tree35ff2e860464207021d5a23b6c819398e9d19a7c /demo
parente9f893662a0afcbf471ab836546b60d3aa98348e (diff)
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
Diffstat (limited to 'demo')
-rw-r--r--demo/metaform.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/metaform.ur b/demo/metaform.ur
index 606b3863..0a664005 100644
--- a/demo/metaform.ur
+++ b/demo/metaform.ur
@@ -5,7 +5,7 @@ functor Make (M : sig
end) = struct
fun handler values = return <xml><body>
- {@foldURX2 [string] [string] [body]
+ {@mapUX2 [string] [string] [body]
(fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => <xml>
<li> {[name]} = {[value]}</li>
</xml>)