Merge pull request #1493 from zickgraf/master

Fix passing a type signature with a category as first argument to CapJitCompiledFunction
homalg-project · Oct 16, 2023 · add7ebd · add7ebd
2 parents 6558104 + d7cf6cf
commit add7ebd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CompilerForCAP/PackageInfo.g b/CompilerForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CompilerForCAP",
 Subtitle := "Speed up computations in CAP categories",
-Version := "2023.10-04",
+Version := "2023.10-05",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/CompilerForCAP/gap/CompilerForCAP.gi b/CompilerForCAP/gap/CompilerForCAP.gi
@@ -153,7 +153,7 @@ InstallGlobalFunction( CapJitCompiledFunctionAsEnhancedSyntaxTree, function ( fu
 
             type_signature := args[1];
 
-            if NumberArgumentsFunction( func ) > 0 and type_signature[1][1].filter = IsCapCategory then
+            if NumberArgumentsFunction( func ) > 0 and IsSpecializationOfFilter( IsCapCategory, type_signature[1][1].filter ) then
 
                 category_as_first_argument := true;
                 category := type_signature[1][1].category;