diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-03-02 16:00:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-02 16:00:48 -0500 |
| commit | 3f34d0b6e326a55cc4cc4373f98f8f109b7a55d6 (patch) | |
| tree | 35ff2e860464207021d5a23b6c819398e9d19a7c /demo | |
| parent | e9f893662a0afcbf471ab836546b60d3aa98348e (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.ur | 2 |
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>) |