Merge pull request #1011 from mohamed-barakat/LazyArrays

CapJitAddTypeSignature( "LazyHList", [ IsList, IsFunction ], ... )

Author: zickgraf

CompilerForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CompilerForCAP",
 Subtitle := "Speed up computations in CAP categories",
-Version := "2022.09-01",
+Version := "2022.09-02",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 
@@ -69,6 +69,7 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.11.1",
   NeededOtherPackages := [
+      [ "ToolsForHomalg", ">= 2022.09-04" ],
       [ "CAP", ">= 2022.08-01" ],
   ],
   SuggestedOtherPackages := [ ],

CompilerForCAP/gap/InferDataTypes.gi

@@ -1100,6 +1100,23 @@ CapJitAddTypeSignature( "MatElm", [ IsList, IsInt, IsInt ], function ( input_typ
 
 end );
 
+CapJitAddTypeSignature( "LazyHList", [ IsList, IsFunction ], function ( args, func_stack )
+    
+    args := ShallowCopy( args );
+    
+    args.2 := CAP_JIT_INTERNAL_INFERRED_DATA_TYPES_OF_FUNCTION_BY_ARGUMENTS_TYPES( args.2, [ args.1.data_type.element_type ], func_stack );
+    
+    if args.2 = fail then
+        
+        #Error( "could not determine output type" );
+        return fail;
+        
+    fi;
+    
+    return rec( args := args, output_type := rec( filter := IsList, element_type := args.2.data_type.signature[2] ) );
+    
+end );
+
 CapJitAddTypeSignature( "List", [ IsList, IsFunction ], function ( args, func_stack )
 
     args := ShallowCopy( args );