Merge pull request #1481 from mohamed-barakat/DuplicateFreeList

CapJitAddTypeSignature( "DuplicateFreeList", [ IsList ], ... )
homalg-project · Oct 4, 2023 · 23b9c23 · 23b9c23
2 parents 6c8a934 + e2c3089
commit 23b9c23
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
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-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
@@ -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