From ff76ba5e41d9a10ec59b181bee87d3fe65d61fdc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 24 Feb 2009 14:04:07 -0500 Subject: Make folders abstract --- demo/sum.ur | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'demo') diff --git a/demo/sum.ur b/demo/sum.ur index 566b7899..87b2967a 100644 --- a/demo/sum.ur +++ b/demo/sum.ur @@ -5,6 +5,6 @@ fun sum (fs ::: {Unit}) (fold : folder fs) (x : $(mapUT int fs)) = fun main () = return {[sum Folder.nil {}]}
- {[sum (Folder.cons [#A] [()] (Folder.cons [#B] [()] Folder.nil)) {A = 0, B = 1}]}
- {[sum (Folder.cons [#D] [()] (Folder.cons [#C] [()] (Folder.cons [#E] [()] Folder.nil))) {C = 2, D = 3, E = 4}]} + {[sum (Folder.cons [#A] [()] ! (Folder.cons [#B] [()] ! Folder.nil)) {A = 0, B = 1}]}
+ {[sum (Folder.cons [#D] [()] ! (Folder.cons [#C] [()] ! (Folder.cons [#E] [()] ! Folder.nil))) {C = 2, D = 3, E = 4}]} -- cgit v1.2.3