From c4120c8ddaa5340efad5f835ce4565f2a8ae2cbf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Dec 2009 11:56:40 -0500 Subject: Make summary unification more conservative; infer implicit arguments after applications --- demo/metaform.ur | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) (limited to 'demo/metaform.ur') 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 - {foldURX2 [string] [string] [body] - (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => -

{[name]} = {[value]}

- ) - [M.fs] M.fl M.names values} + {@foldURX2 [string] [string] [body] + (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => +

{[name]} = {[value]}

+ ) + M.fl M.names values} fun main () = return

- {foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] - (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name - (acc : xml form [] (mapU string rest)) => -

{[name]}:

- {useMore acc} - ) - - [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)) => +

{[name]}:

+ {useMore acc} + ) + + M.fl M.names} -- cgit v1.2.3