From e2c3089977ae37dec8d11c77184469aa7925b4cb Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Wed, 4 Oct 2023 13:24:08 +0200 Subject: [PATCH] CapJitAddTypeSignature( "DuplicateFreeList", [ IsList ], ... ) --- CompilerForCAP/PackageInfo.g | 2 +- CompilerForCAP/gap/InferDataTypes.gi | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/CompilerForCAP/PackageInfo.g b/CompilerForCAP/PackageInfo.g index af28110e01..23d7df97e3 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-02", +Version := "2023.10-03", 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/InferDataTypes.gi b/CompilerForCAP/gap/InferDataTypes.gi index a8cc43f29d..b646ffe857 100644 --- a/CompilerForCAP/gap/InferDataTypes.gi +++ b/CompilerForCAP/gap/InferDataTypes.gi @@ -1092,6 +1092,12 @@ CapJitAddTypeSignature( "SSortedList", [ IsList ], function ( input_types ) end ); +CapJitAddTypeSignature( "DuplicateFreeList", [ IsList ], function ( input_types ) + + return input_types[1]; + +end ); + CapJitAddTypeSignature( "First", [ IsList, IsFunction ], function ( args, func_stack ) # COVERAGE_IGNORE_BLOCK_START