From 0cccdb0ae595cd7e3e136e984ac7b95b99f71a53 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 23 Jul 2017 09:50:04 -0400 Subject: Import urweb_20170720+dfsg.orig.tar.gz [dgit import orig urweb_20170720+dfsg.orig.tar.gz] --- demo/sum.ur | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 demo/sum.ur (limited to 'demo/sum.ur') diff --git a/demo/sum.ur b/demo/sum.ur new file mode 100644 index 0000000..c8d4288 --- /dev/null +++ b/demo/sum.ur @@ -0,0 +1,10 @@ +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 fl x + +fun main () = return + {[sum {}]}
+ {[sum {A = 0, B = 1}]}
+ {[sum {C = 2, D = 3, E = 4}]} + -- cgit v1.2.3