Also making ensure_type_set_codom less type-violent

AlgebraicJulia · Dec 2, 2023 · fbc085b · fbc085b
1 parent 1c340af
commit fbc085b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/categorical_algebra/FinSets.jl b/src/categorical_algebra/FinSets.jl
@@ -929,7 +929,7 @@ end
 ensure_type_set(s::FinSet) = TypeSet(eltype(s))
 ensure_type_set(s::TypeSet) = s
 ensure_type_set_codom(f::FinFunction) =
-  FinDomFunction([f(i) for i in dom(f)], dom(f), TypeSet(eltype(codom(f))))
+  FinDomFunction(f.func,dom(f), TypeSet(eltype(codom(f))))
 ensure_type_set_codom(f::IndexedFinFunctionVector) =
   IndexedFinDomFunctionVector(f.func, index=f.index)
 ensure_type_set_codom(f::FinDomFunction) = f