Mercurial > urweb
diff demo/sum.ur @ 1093:8d3aa6c7cee0
Make summary unification more conservative; infer implicit arguments after applications
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Dec 2009 11:56:40 -0500 |
parents | 669ac5e9a69e |
children |
line wrap: on
line diff
--- a/demo/sum.ur Fri Dec 25 10:48:02 2009 -0500 +++ b/demo/sum.ur Sat Dec 26 11:56:40 2009 -0500 @@ -1,7 +1,7 @@ fun sum [fs ::: {Unit}] (fl : folder fs) (x : $(mapU int fs)) = - foldUR [int] [fn _ => int] - (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] n acc => n + acc) - 0 [fs] fl x + @foldUR [int] [fn _ => int] + (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] n acc => n + acc) + 0 fl x fun main () = return <xml><body> {[sum {}]}<br/>