From 99e9f311bd2cf5672e2131d8572a944b024d0125 Mon Sep 17 00:00:00 2001
From: GeorgeR227 <78235421+GeorgeR227@users.noreply.github.com>
Date: Fri, 25 Oct 2024 14:16:24 -0400
Subject: [PATCH] Don't throw error, return false

---
 src/acset.jl | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/acset.jl b/src/acset.jl
index 17f81d4..b422bf7 100644
--- 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