From d7cf6cf4e09d3d289eb43e275bf5e5bc6669e06f Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Mon, 16 Oct 2023 10:27:27 +0200 Subject: [PATCH] Fix passing a type signature with a category as first argument to CapJitCompiledFunction --- CompilerForCAP/PackageInfo.g | 2 +- CompilerForCAP/gap/CompilerForCAP.gi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CompilerForCAP/PackageInfo.g b/CompilerForCAP/PackageInfo.g index 2dd6abb915..5334ffa12d 100644 --- 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 index 5359ef2785..4477e0ba36 100644 --- 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;