Skip checking DATOBJ when retyping bag (#5661)

gap-system · Feb 29, 2024 · 82d6d4b · 82d6d4b
1 parent c5b1535
commit 82d6d4b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/bags.c b/src/bags.c
@@ -46,6 +46,11 @@ void PrecheckRetypeBag(Bag bag, UInt new_type)
             return;
 #endif
 
+        // Some GAP code and packages (including EDIM) produce invalid
+        // T_DATOBJ objects without correct type info, so skip T_DATOBJ for now
+        if (IS_DATOBJ(bag))
+            return;
+
 #ifndef HPCGAP
         // HACK: when using `DeclareGlobalVariable`, the placeholder object of
         // type `IsToBeDefinedObj` is immutable, while `InstallValue` also