Merge pull request #248 from zickgraf/master

Use FunctionWithNamedArguments

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.02-05",
+Version := "2024.02-06",
 
 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",

gap/SkeletalFinSets.gi

@@ -8,7 +8,11 @@
 InstallMethod( SkeletalCategoryOfFiniteSets,
                [ ],
 
-  function ( )
+ FunctionWithNamedArguments(
+  [
+    [ "no_precompiled_code", false ],
+  ],
+  function ( CAP_NAMED_ARGUMENTS )
     local cat;
 
     cat := CreateCapCategoryWithDataTypes(
@@ -41,7 +45,7 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
             Filename( DirectoriesPackageLibrary( "Toposes", "LogicForToposes" ), "PropositionsForToposes.tex" ) );
     # =#
 
-    if ValueOption( "no_precompiled_code" ) <> true then
+    if not CAP_NAMED_ARGUMENTS.no_precompiled_code then
 
         ADD_FUNCTIONS_FOR_SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( cat );
 
@@ -51,7 +55,7 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
 
     return cat;
 
-end );
+end ) );
 
 ##
 InstallMethod( FinSetOp,