From 3f34d0b6e326a55cc4cc4373f98f8f109b7a55d6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 2 Mar 2010 16:00:48 -0500 Subject: Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize --- demo/metaform.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo') 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 - {@foldURX2 [string] [string] [body] + {@mapUX2 [string] [string] [body] (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value =>

{[name]} = {[value]}

) -- cgit v1.2.3