Add `allvalues` as required package for compilation

src/CC/Helpers.curry

@@ -21,8 +21,8 @@ ccLoadPath = do
     let ecurrypath' = case ecurrypath of ':':_ -> '.':ecurrypath
                                          _     -> ecurrypath
     return $ intercalate ":"
-                      (if null ecurrypath' then ccExecLoadPath
-                                           else ecurrypath' : ccExecLoadPath)
+               (if null ecurrypath' then ccExecLoadPath
+                                    else ecurrypath' : ccExecLoadPath)
 
 --- Computes the additional load path for executing the
 --- generated program that executes all checks.
@@ -32,6 +32,6 @@ ccExecLoadPath =
  where
   isRequiredPackage dir =
     any (`isInfixOf` dir)
-        [ "ansi-terminal", "directory", "distribution", "easycheck"
-        , "filepath", "process", "profiling", "random"
+        [ "allvalues", "ansi-terminal", "directory", "distribution"
+        , "easycheck", "filepath", "process", "profiling", "random"
         , "searchtree", "setfunctions", "time" ]

src/CurryCheck.curry

@@ -66,7 +66,7 @@ ccBanner :: String
 ccBanner = unlines [bannerLine,bannerText,bannerLine]
  where
    bannerText = "CurryCheck: a tool for testing Curry programs (Version " ++
-                packageVersion ++ " of 05/07/2021)"
+                packageVersion ++ " of 06/07/2021)"
    bannerLine = take (length bannerText) (repeat '-')
 
 -- Help text