Merge pull request #251 from LPCIC/gares-patch-3

Use Set.map in compiler
LPCIC · Jul 30, 2024 · 965f44f · 965f44f
2 parents b0b0d6c + f76b4b5
commit 965f44f
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/src/compiler.ml b/src/compiler.ml
@@ -482,12 +482,7 @@ let merge t1 t2 =
     }
 
 let smart_map (f : typ -> typ) (t : types) : types =
-  let fold t accu =
-    let t' = f t in
-    if t' == t then accu
-    else Set.add t' (Set.remove t accu)
-  in
-  let set' = Set.fold fold t.set t.set in
+  let set' = Set.map f t.set in
   let lst' = smart_map f t.lst in
   let def' = f t.def in
   if set' == t.set && lst' == t.lst && def' == t.def then t