Don't throw error, return false

AlgebraicJulia · Oct 25, 2024 · 99e9f31 · 99e9f31
1 parent 87e0181
commit 99e9f31
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/src/acset.jl b/src/acset.jl
@@ -652,16 +652,13 @@ function type_check(d::SummationDecapode, type_rules::AbstractVector{Operator{Sy
         break
       end
 
-      # TODO: Change this to error
-      if !check_passed
-        error("$(edge_function(d, op_idx, Val(table))) at $op_idx in table $table is not typed properly")
-        # println("$(rule)")
-        return false
-      end
+      check_passed || return false
 
     end
   end
 
+  # TODO: Add summation type checking
+
   true
 end