From d010213d7a56a6710102d3cfa506392b864f33f3 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Tue, 17 Dec 2024 16:19:07 +0100
Subject: [PATCH] CapJitAddTypeSignature( "Union2", ... )

---
 CompilerForCAP/PackageInfo.g         | 2 +-
 CompilerForCAP/gap/InferDataTypes.gi | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/CompilerForCAP/PackageInfo.g b/CompilerForCAP/PackageInfo.g
index 5d8b78b7ec..83313d7720 100644
--- 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
index c94fd69731..109c2a0451 100644
--- 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] );