fix @install

The `_needs_tracking_julia_to_gap` method must be installed not only for the given type but also for its subtypes.
oscar-system · Sep 13, 2024 · 8d3901e · 8d3901e
1 parent 79b04d2
commit 8d3901e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/macros.jl b/src/macros.jl
@@ -478,7 +478,7 @@ macro install(ex)
       typeannot = x.args[2]
     end
     Base.eval(__module__, quote
-        GAP._needs_tracking_julia_to_gap(::Type{$typeannot}) = false
+        GAP._needs_tracking_julia_to_gap(::Type{Sub}) where Sub <: $typeannot = false
       end)
 
     return esc(Expr(