Closed zickgraf closed 6 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 81.82%. Comparing base (
f8313e6
) to head (588a9c4
).
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Very nice :)
This avoids overwriting GAP methods if cheaper derivations become available while adding primitive installations to a category. The only difference to the previous behavior should be that derivations cannot be called anymore before a category is finalized.
@mohamed-barakat @sebastianpos I think derivations were previously installed immediately for didactical purposes. However, this causes issues in Julia, where methods may not be overwritten during precompilation. I do not think the original purpose is too important anymore, so I will merge if you do not oppose :-)