From ed1c74cdcffb4dbe0bf532a286648043289a728f Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Mon, 2 Aug 2021 17:01:30 +0300 Subject: [PATCH] Fix bug --- priv/stdlib/Set.aes | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/priv/stdlib/Set.aes b/priv/stdlib/Set.aes index 794f93a..daec288 100644 --- a/priv/stdlib/Set.aes +++ b/priv/stdlib/Set.aes @@ -25,12 +25,12 @@ namespace Set = function from_list(l : list('a)) : set('a) = { to_map = Map.from_list(List.map((x) => (x, ()), l)) } - + 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, s : set('a)) : 'b = - List.foldr(f, acc, to_list(l)) + List.foldr(f, acc, to_list(s)) function subtract(s1 : set('a), s2 : set('a)) : set('a) = filter((x) => !member(x, s2), s1)