From a94abab8ebf0b3c4233c1d3b74fb67c5fc0e2396 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Mon, 2 Aug 2021 16:03:17 +0300 Subject: [PATCH] Rename an argument of the function Set.fold --- priv/stdlib/Set.aes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/priv/stdlib/Set.aes b/priv/stdlib/Set.aes index a1c3984..794f93a 100644 --- a/priv/stdlib/Set.aes +++ b/priv/stdlib/Set.aes @@ -29,7 +29,7 @@ namespace Set = function filter(p : 'a => bool, s : set('a)) : set('a) = from_list(List.filter(p, to_list(s))) - function fold(f : ('a, 'b) => 'b, acc : 'b, l : set('a)) : 'b = + function fold(f : ('a, 'b) => 'b, acc : 'b, s : set('a)) : 'b = List.foldr(f, acc, to_list(l)) function subtract(s1 : set('a), s2 : set('a)) : set('a) =