You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
local install_func, replaced_filter_list, needs_wrapping, i, is_derivation, is_final_derivation, is_precompiled_derivation, without_given_name, with_given_name,
Display( "WARNING: IsIdenticalObj is used for deciding the equality of objects but the caching is not set to crisp. Thus, probably the specification that equal input gives equal output is not fulfilled. You can suppress this warning by passing the option \"SuppressCacheWarning := true\" to AddIsEqualForObjects." );
616
616
fi;
617
617
618
+
# work around https://github.com/gap-system/gap/issues/5259
619
+
name := ReplacedString( Name( category ), "\"", "'" );
620
+
618
621
# set name for debugging purposes
619
622
if NameFunction( i[1] ) in["unknown", "_EVALSTRINGTMP"]then
620
623
621
624
if is_derivation then
622
625
623
-
SetNameFunction( i[1], Concatenation( "Derivation (first added to ", Name( category ), ") of ", function_name ) );
626
+
SetNameFunction( i[1], Concatenation( "Derivation (first added to ", name, ") of ", function_name ) );
624
627
625
628
elif is_final_derivation then
626
629
627
-
SetNameFunction( i[1], Concatenation( "Final derivation (first added to ", Name( category ), ") of ", function_name ) );
630
+
SetNameFunction( i[1], Concatenation( "Final derivation (first added to ", name, ") of ", function_name ) );
628
631
629
632
elif is_precompiled_derivation then
630
633
631
-
SetNameFunction( i[1], Concatenation( "Precompiled derivation added to ", Name( category ), " for ", function_name ) );
634
+
SetNameFunction( i[1], Concatenation( "Precompiled derivation added to ", name, " for ", function_name ) );
632
635
633
636
else
634
637
635
-
SetNameFunction( i[1], Concatenation( "Function added to ", Name( category ), " for ", function_name ) );
638
+
SetNameFunction( i[1], Concatenation( "Function added to ", name, " for ", function_name ) );
0 commit comments