Merge pull request #1711 from mohamed-barakat/Union2

CapJitAddTypeSignature( "Union2", ... )
homalg-project · Dec 17, 2024 · c92931f · c92931f
2 parents ae73eb2 + d010213
commit c92931f
Show file tree

Hide file tree

Showing 2 changed files with 9 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 and verify categorical algorithms",
-Version := "2024.11-01",
+Version := "2024.12-01",
 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
@@ -967,6 +967,14 @@ CapJitAddTypeSignature( "Concatenation", "any", function ( input_types )
 
 end );
 
+CapJitAddTypeSignature( "Union2", [ IsList, IsList ], function ( input_types )
+
+    Assert( 0, input_types[1] = input_types[2] );
+
+    return input_types[1];
+
+end );
+
 CapJitAddTypeSignature( "Difference", [ IsList, IsList ], function ( input_types )
 
     Assert( 0, input_types[1] = input_types[2] );