diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2017-07-23 09:50:04 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2017-07-23 09:50:04 -0400 |
commit | 0cccdb0ae595cd7e3e136e984ac7b95b99f71a53 (patch) | |
tree | 491d3b13813610943c60460d3e178d3a73916346 /demo/sum.ur |
Import urweb_20170720+dfsg.orig.tar.gz
[dgit import orig urweb_20170720+dfsg.orig.tar.gz]
Diffstat (limited to 'demo/sum.ur')
-rw-r--r-- | demo/sum.ur | 10 |
1 files changed, 10 insertions, 0 deletions
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 <xml><body> + {[sum {}]}<br/> + {[sum {A = 0, B = 1}]}<br/> + {[sum {C = 2, D = 3, E = 4}]} +</body></xml> |