>>> koka: Building testing/koka 3.1.3_alpha14-r0 (using abuild 3.15.0_rc3-r2) started Sat, 10 May 2025 02:57:12 +0000 >>> koka: Validating /home/buildozer/aports/testing/koka/APKBUILD... >>> koka: Analyzing dependencies... >>> koka: Installing for build: build-base cmd:cc musl-dev pcre2-dev pcre2-static alex ghc xxhash-dev (1/30) Installing bsd-compat-headers (0.7.2-r6) (2/30) Installing libformw (6.5_p20250503-r0) (3/30) Installing libmenuw (6.5_p20250503-r0) (4/30) Installing libpanelw (6.5_p20250503-r0) (5/30) Installing libncurses++ (6.5_p20250503-r0) (6/30) Installing ncurses-dev (6.5_p20250503-r0) (7/30) Installing libedit-dev (20250104.3.1-r0) (8/30) Installing zlib-dev (1.3.1-r2) (9/30) Installing libpcre2-16 (10.43-r1) (10/30) Installing libpcre2-32 (10.43-r1) (11/30) Installing pcre2-dev (10.43-r1) (12/30) Installing pcre2-static (10.43-r1) (13/30) Installing libffi (3.4.8-r0) (14/30) Installing alex (3.5.0.0-r1) (15/30) Installing libgmpxx (6.3.0-r3) (16/30) Installing gmp-dev (6.3.0-r3) (17/30) Installing linux-headers (6.14.2-r0) (18/30) Installing libffi-dev (3.4.8-r0) (19/30) Installing libbz2 (1.0.8-r6) (20/30) Installing perl (5.40.2-r0) (21/30) Installing xz-libs (5.8.1-r0) (22/30) Installing libxml2 (2.13.8-r0) (23/30) Installing llvm15-libs (15.0.7-r19) (24/30) Installing llvm15 (15.0.7-r19) (25/30) Installing ghc (9.8.2-r2) Executing ghc-9.8.2-r2.post-install (26/30) Installing xxhash-dev (0.8.3-r0) (27/30) Installing .makedepends-koka (20250510.025715) (28/30) Installing perl-error (0.17030-r0) (29/30) Installing perl-git (2.49.0-r0) (30/30) Installing git-perl (2.49.0-r0) Executing busybox-1.37.0-r17.trigger OK: 1614 MiB in 136 packages >>> koka: Cleaning up srcdir >>> koka: Cleaning up pkgdir >>> koka: Cleaning up tmpdir >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/koka-3.1.3-alpha14.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/koka-3.1.3-alpha14.tar.gz.part' koka-3.1.3-alpha14.t 100% |********************************| 4345k 0:00:00 ETA '/var/cache/distfiles/edge/koka-3.1.3-alpha14.tar.gz.part' saved >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/mimalloc-6141843614220c4d85f55774c131a68ba778e413.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/mimalloc-6141843614220c4d85f55774c131a68ba778e413.tar.gz.part' mimalloc-61418436142 14% |**** | 159k 0:00:05 ETA mimalloc-61418436142 100% |********************************| 1108k 0:00:00 ETA '/var/cache/distfiles/edge/mimalloc-6141843614220c4d85f55774c131a68ba778e413.tar.gz.part' saved >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/async-2.2.5.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/async-2.2.5.tar.gz.part' async-2.2.5.tar.gz.p 100% |********************************| 15742 0:00:00 ETA '/var/cache/distfiles/edge/async-2.2.5.tar.gz.part' saved >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/FloatingHex-0.5.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/FloatingHex-0.5.tar.gz.part' FloatingHex-0.5.tar. 100% |********************************| 4960 0:00:00 ETA '/var/cache/distfiles/edge/FloatingHex-0.5.tar.gz.part' saved >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/hashable-1.5.0.0.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/hashable-1.5.0.0.tar.gz.part' hashable-1.5.0.0.tar 100% |********************************| 89062 0:00:00 ETA '/var/cache/distfiles/edge/hashable-1.5.0.0.tar.gz.part' saved >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/isocline-1.0.9.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/edge/isocline-1.0.9.tar.gz.part' isocline-1.0.9.tar.g 100% |********************************| 99.4k 0:00:00 ETA '/var/cache/distfiles/edge/isocline-1.0.9.tar.gz.part' saved >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/koka-3.1.3-alpha14.tar.gz >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/mimalloc-6141843614220c4d85f55774c131a68ba778e413.tar.gz >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/async-2.2.5.tar.gz >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/FloatingHex-0.5.tar.gz >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/hashable-1.5.0.0.tar.gz >>> koka: Fetching https://distfiles.alpinelinux.org/distfiles/edge/isocline-1.0.9.tar.gz >>> koka: Checking sha512sums... koka-3.1.3-alpha14.tar.gz: OK mimalloc-6141843614220c4d85f55774c131a68ba778e413.tar.gz: OK async-2.2.5.tar.gz: OK FloatingHex-0.5.tar.gz: OK hashable-1.5.0.0.tar.gz: OK isocline-1.0.9.tar.gz: OK >>> koka: Unpacking /var/cache/distfiles/edge/koka-3.1.3-alpha14.tar.gz... >>> koka: Unpacking /var/cache/distfiles/edge/mimalloc-6141843614220c4d85f55774c131a68ba778e413.tar.gz... >>> koka: Unpacking /var/cache/distfiles/edge/async-2.2.5.tar.gz... >>> koka: Unpacking /var/cache/distfiles/edge/FloatingHex-0.5.tar.gz... >>> koka: Unpacking /var/cache/distfiles/edge/hashable-1.5.0.0.tar.gz... >>> koka: Unpacking /var/cache/distfiles/edge/isocline-1.0.9.tar.gz... '/home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/HsXXHash.h' -> '../../../include/HsXXHash.h' rmdir: removing directory, 'kklib/mimalloc' '/home/buildozer/aports/testing/koka/src/mimalloc-6141843614220c4d85f55774c131a68ba778e413' -> 'kklib/mimalloc' : warning: [GHC-98887] -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving : warning: [GHC-98887] -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving : warning: [GHC-98887] -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving [ 1 of 120] Compiling Common.Id ( src/Common/Id.hs, .koka/minbuild/Common/Id.o ) [ 2 of 120] Compiling Common.IdMap ( src/Common/IdMap.hs, .koka/minbuild/Common/IdMap.o ) [ 3 of 120] Compiling Common.IdSet ( src/Common/IdSet.hs, .koka/minbuild/Common/IdSet.o ) [ 4 of 120] Compiling Common.ResumeKind ( src/Common/ResumeKind.hs, .koka/minbuild/Common/ResumeKind.o ) [ 5 of 120] Compiling Common.Syntax ( src/Common/Syntax.hs, .koka/minbuild/Common/Syntax.o ) [ 6 of 120] Compiling Data.Hashable.FFI ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/FFI.hs, .koka/minbuild/Data/Hashable/FFI.o ) [ 7 of 120] Compiling Data.Hashable.Imports ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/Imports.hs, .koka/minbuild/Data/Hashable/Imports.o ) [ 8 of 120] Compiling Data.Hashable.Mix ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/Mix.hs, .koka/minbuild/Data/Hashable/Mix.o ) [ 9 of 120] Compiling Data.Hashable.XXH3 ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/XXH3.hs, .koka/minbuild/Data/Hashable/XXH3.o ) [ 10 of 120] Compiling Data.Hashable.LowLevel ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/LowLevel.hs, .koka/minbuild/Data/Hashable/LowLevel.o ) [ 11 of 120] Compiling Data.Hashable.Class ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/Class.hs, .koka/minbuild/Data/Hashable/Class.o ) [ 12 of 120] Compiling Data.Hashable.Generic.Instances ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/Generic/Instances.hs, .koka/minbuild/Data/Hashable/Generic/Instances.o ) [ 13 of 120] Compiling Data.Hashable.Generic ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable/Generic.hs, .koka/minbuild/Data/Hashable/Generic.o ) [ 14 of 120] Compiling Data.Hashable ( /home/buildozer/aports/testing/koka/src/hashable-1.5.0.0/src/Data/Hashable.hs, .koka/minbuild/Data/Hashable.o ) [ 15 of 120] Compiling Control.Concurrent.Async.Internal ( /home/buildozer/aports/testing/koka/src/async-2.2.5/Control/Concurrent/Async/Internal.hs, .koka/minbuild/Control/Concurrent/Async/Internal.o ) /home/buildozer/aports/testing/koka/src/async-2.2.5/Control/Concurrent/Async/Internal.hs:50:1: warning: [GHC-66111] [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 50 | import Data.Semigroup (Semigroup((<>))) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 16 of 120] Compiling Control.Concurrent.Async ( /home/buildozer/aports/testing/koka/src/async-2.2.5/Control/Concurrent/Async.hs, .koka/minbuild/Control/Concurrent/Async.o ) [ 17 of 120] Compiling Data.Numbers.FloatingHex ( /home/buildozer/aports/testing/koka/src/FloatingHex-0.5/Data/Numbers/FloatingHex.hs, .koka/minbuild/Data/Numbers/FloatingHex.o ) [ 18 of 120] Compiling Lib.Scc ( src/Lib/Scc.hs, .koka/minbuild/Lib/Scc.o ) [ 19 of 120] Compiling Platform.Config ( src/Platform/cpp/Platform/Config.hs, .koka/minbuild/Platform/Config.o ) [ 20 of 120] Compiling Platform.GetOptions ( src/Platform/cpp/Platform/GetOptions.hs, .koka/minbuild/Platform/GetOptions.o ) [ 21 of 120] Compiling Platform.Runtime ( src/Platform/cpp/Platform/Runtime.hs, .koka/minbuild/Platform/Runtime.o ) [ 22 of 120] Compiling Platform.Filetime ( src/Platform/cpp/Platform/Filetime.hs, .koka/minbuild/Platform/Filetime.o ) [ 23 of 120] Compiling Platform.Console ( src/Platform/cpp/Platform/Console.hs, .koka/minbuild/Platform/Console.o ) [ 24 of 120] Compiling Lib.JSON ( src/Lib/JSON.hs, .koka/minbuild/Lib/JSON.o ) [ 25 of 120] Compiling Common.Failure ( src/Common/Failure.hs, .koka/minbuild/Common/Failure.o ) src/Common/Failure.hs:58:81: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 58 | | isPrefixOf "user error (" (map toLower msg) = init $ dropWhile isSpace (tail (dropWhile (/='(') msg)) | ^^^^ src/Common/Failure.hs:61:69: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 61 | | isPrefixOf "IO Error: User error\nReason:" msg = skipColon (tail (dropWhile (/=':') msg)) | ^^^^ src/Common/Failure.hs:65:55: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 65 | = dropWhile (\c -> isSpace c || c == '\n') (tail (dropWhile (/=':') msg)) | ^^^^ [ 26 of 120] Compiling Common.File ( src/Common/File.hs, .koka/minbuild/Common/File.o ) [ 27 of 120] Compiling Platform.Var ( src/Platform/cpp/Platform/Var.hs, .koka/minbuild/Platform/Var.o ) [ 28 of 120] Compiling System.Console.Isocline ( /home/buildozer/aports/testing/koka/src/isocline-1.0.9/haskell/System/Console/Isocline.hs, .koka/minbuild/System/Console/Isocline.o ) /home/buildozer/aports/testing/koka/src/isocline-1.0.9/haskell/System/Console/Isocline.hs:608:85: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 608 | return (if null s then (cbool False) else cbool (isInClass (head s))) | ^^^^ [ 29 of 120] Compiling Lib.Printer ( src/Lib/Printer.hs, .koka/minbuild/Lib/Printer.o ) [ 30 of 120] Compiling Lib.PPrint ( src/Lib/PPrint.hs, .koka/minbuild/Lib/PPrint.o ) [ 31 of 120] Compiling Lib.Trace ( src/Lib/Trace.hs, .koka/minbuild/Lib/Trace.o ) [ 32 of 120] Compiling Compile.Package ( src/Compile/Package.hs, .koka/minbuild/Compile/Package.o ) src/Compile/Package.hs:147:64: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 147 | let children = sort $ filter (\c -> not (null c) && head c /= '.') contents | ^^^^ [ 33 of 120] Compiling Common.Range ( src/Common/Range.hs, .koka/minbuild/Common/Range.o ) [ 34 of 120] Compiling Common.IdNice ( src/Common/IdNice.hs, .koka/minbuild/Common/IdNice.o ) [ 35 of 120] Compiling Common.ColorScheme ( src/Common/ColorScheme.hs, .koka/minbuild/Common/ColorScheme.o ) [ 36 of 120] Compiling Common.Name ( src/Common/Name.hs, .koka/minbuild/Common/Name.o ) src/Common/Name.hs:215:37: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 215 | isSymbolId s = not (isIdStartChar (head s)) || not (isIdEndChar (last s)) | ^^^^ src/Common/Name.hs:402:46: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 402 | ('_':_) -> nameMapStem name (\s -> tail s ++ post) | ^^^^ src/Common/Name.hs:957:48: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 957 | = concat (zipWith3 encodeChar (' ':s) s (tail (s ++ " "))) | ^^^^ [ 37 of 120] Compiling Syntax.Lexeme ( src/Syntax/Lexeme.hs, .koka/minbuild/Syntax/Lexeme.o ) [ 38 of 120] Compiling Syntax.Lexer ( src/Syntax/Lexer.hs, .koka/minbuild/Syntax/Lexer.o ) [ 39 of 120] Compiling Syntax.Layout ( src/Syntax/Layout.hs, .koka/minbuild/Syntax/Layout.o ) [ 40 of 120] Compiling Syntax.Highlight ( src/Syntax/Highlight.hs, .koka/minbuild/Syntax/Highlight.o ) src/Syntax/Highlight.hs:483:91: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 483 | (end,rest) = if null close then ([],[]) else ([head close], tail close) | ^^^^ src/Syntax/Highlight.hs:483:104: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 483 | (end,rest) = if null close then ([],[]) else ([head close], tail close) | ^^^^ src/Syntax/Highlight.hs:488:92: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 488 | (end,rest) = if null close then ([],[]) else ([head close], tail close) | ^^^^ src/Syntax/Highlight.hs:488:105: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 488 | (end,rest) = if null close then ([],[]) else ([head close], tail close) | ^^^^ [ 41 of 120] Compiling Platform.ReadLine ( src/Platform/cpp/Platform/ReadLine.hs, .koka/minbuild/Platform/ReadLine.o ) [ 42 of 120] Compiling Kind.ImportMap ( src/Kind/ImportMap.hs, .koka/minbuild/Kind/ImportMap.o ) [ 43 of 120] Compiling Interpreter.Command ( src/Interpreter/Command.hs, .koka/minbuild/Interpreter/Command.o ) src/Interpreter/Command.hs:76:39: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 76 | '\b' | not (null xs) -> edit (tail xs) cs | ^^^^ [ 44 of 120] Compiling Common.Unique ( src/Common/Unique.hs, .koka/minbuild/Common/Unique.o ) [ 45 of 120] Compiling Common.QNameMap ( src/Common/QNameMap.hs, .koka/minbuild/Common/QNameMap.o ) [ 46 of 120] Compiling Common.NameSet ( src/Common/NameSet.hs, .koka/minbuild/Common/NameSet.o ) [ 47 of 120] Compiling Common.NamePrim ( src/Common/NamePrim.hs, .koka/minbuild/Common/NamePrim.o ) [ 48 of 120] Compiling Syntax.Syntax ( src/Syntax/Syntax.hs, .koka/minbuild/Syntax/Syntax.o ) src/Syntax/Syntax.hs:379:62: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 379 | = if null rs then rangeNull else combineRange (getRange (head rs)) (getRange (last rs)) | ^^^^ [ 49 of 120] Compiling Syntax.Promote ( src/Syntax/Promote.hs, .koka/minbuild/Syntax/Promote.o ) [ 50 of 120] Compiling Kind.Kind ( src/Kind/Kind.hs, .koka/minbuild/Kind/Kind.o ) [ 51 of 120] Compiling Kind.Pretty ( src/Kind/Pretty.hs, .koka/minbuild/Kind/Pretty.o ) [ 52 of 120] Compiling Common.NameMap ( src/Common/NameMap.hs, .koka/minbuild/Common/NameMap.o ) [ 53 of 120] Compiling Static.BindingGroups ( src/Static/BindingGroups.hs, .koka/minbuild/Static/BindingGroups.o ) [ 54 of 120] Compiling Kind.InferKind ( src/Kind/InferKind.hs, .koka/minbuild/Kind/InferKind.o ) [ 55 of 120] Compiling Common.Message ( src/Common/Message.hs, .koka/minbuild/Common/Message.o ) [ 56 of 120] Compiling Common.Error ( src/Common/Error.hs, .koka/minbuild/Common/Error.o ) [ 57 of 120] Compiling Syntax.Parse ( src/Syntax/Parse.hs, .koka/minbuild/Syntax/Parse.o ) [ 58 of 120] Compiling Static.FixityResolve ( src/Static/FixityResolve.hs, .koka/minbuild/Static/FixityResolve.o ) src/Static/FixityResolve.hs:289:45: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 289 | | otherwise = precedenceOp (head ops) | ^^^^ [ 59 of 120] Compiling Type.Type ( src/Type/Type.hs, .koka/minbuild/Type/Type.o ) [ 60 of 120] Compiling Type.Kind ( src/Type/Kind.hs, .koka/minbuild/Type/Kind.o ) [ 61 of 120] Compiling Kind.Repr ( src/Kind/Repr.hs, .koka/minbuild/Kind/Repr.o ) [ 62 of 120] Compiling Type.TypeVar ( src/Type/TypeVar.hs, .koka/minbuild/Type/TypeVar.o ) [ 63 of 120] Compiling Type.Pretty ( src/Type/Pretty.hs, .koka/minbuild/Type/Pretty.o ) src/Type/Pretty.hs:71:5: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 71 | = head (niceTypes env [tp]) | ^^^^ [ 64 of 120] Compiling Syntax.RangeMap ( src/Syntax/RangeMap.hs, .koka/minbuild/Syntax/RangeMap.o ) [ 65 of 120] Compiling Core.Core ( src/Core/Core.hs, .koka/minbuild/Core/Core.o ) src/Core/Core.hs:514:31: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 514 | then let conInfo = head conInfos | ^^^^ src/Core/Core.hs:549:115: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 549 | else ConAsJust typeName DataAsMaybe (conInfoValueRepr ci) (conInfoName (head singletons))) conInfos) | ^^^^ src/Core/Core.hs:553:112: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 553 | else ConAsCons typeName DataAsList (conInfoValueRepr ci) (conInfoName (head singletons)) CtxNone tag) conInfos) | ^^^^ src/Core/Core.hs:1253:15: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1253 | = typeOf (head branches) | ^^^^ [ 66 of 120] Compiling Kind.Synonym ( src/Kind/Synonym.hs, .koka/minbuild/Kind/Synonym.o ) [ 67 of 120] Compiling Kind.Newtypes ( src/Kind/Newtypes.hs, .koka/minbuild/Kind/Newtypes.o ) [ 68 of 120] Compiling Kind.Constructors ( src/Kind/Constructors.hs, .koka/minbuild/Kind/Constructors.o ) [ 69 of 120] Compiling Kind.Assumption ( src/Kind/Assumption.hs, .koka/minbuild/Kind/Assumption.o ) [ 70 of 120] Compiling Kind.InferMonad ( src/Kind/InferMonad.hs, .koka/minbuild/Kind/InferMonad.o ) [ 71 of 120] Compiling Kind.Unify ( src/Kind/Unify.hs, .koka/minbuild/Kind/Unify.o ) [ 72 of 120] Compiling Core.Pretty ( src/Core/Pretty.hs, .koka/minbuild/Core/Pretty.o ) src/Core/Pretty.hs:308:5: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 308 | = head (prettyTypes env [tp]) | ^^^^ [ 73 of 120] Compiling Core.CoreVar ( src/Core/CoreVar.hs, .koka/minbuild/Core/CoreVar.o ) [ 74 of 120] Compiling Type.Assumption ( src/Type/Assumption.hs, .koka/minbuild/Type/Assumption.o ) src/Type/Assumption.hs:456:30: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 456 | nice scheme = align (head (niceTypes env [scheme])) | ^^^^ [ 75 of 120] Compiling Type.Operations ( src/Type/Operations.hs, .koka/minbuild/Type/Operations.o ) [ 76 of 120] Compiling Type.InfGamma ( src/Type/InfGamma.hs, .koka/minbuild/Type/InfGamma.o ) src/Type/InfGamma.hs:156:30: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 156 | nice scheme = align (head (niceTypes env [scheme])) | ^^^^ [ 77 of 120] Compiling Syntax.Colorize ( src/Syntax/Colorize.hs, .koka/minbuild/Syntax/Colorize.o ) [ 78 of 120] Compiling Syntax.GenDoc ( src/Syntax/GenDoc.hs, .koka/minbuild/Syntax/GenDoc.o ) src/Syntax/GenDoc.hs:558:5: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 558 | = head (showTypes env kgamma gamma [tp]) | ^^^^ [ 79 of 120] Compiling Kind.Infer ( src/Kind/Infer.hs, .koka/minbuild/Kind/Infer.o ) src/Kind/Infer.hs:182:48: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 182 | && not (isHiddenName (conInfoName (head (dataInfoConstrs dataInfo)))) | ^^^^ src/Kind/Infer.hs:184:46: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 184 | then [synCopyCon modName dataInfo (head (dataInfoConstrs dataInfo))] | ^^^^ [ 80 of 120] Compiling Core.Parse ( src/Core/Parse.hs, .koka/minbuild/Core/Parse.o ) [ 81 of 120] Compiling Core.Uniquefy ( src/Core/Uniquefy.hs, .koka/minbuild/Core/Uniquefy.o ) [ 82 of 120] Compiling Core.Unroll ( src/Core/Unroll.hs, .koka/minbuild/Core/Unroll.o ) [ 83 of 120] Compiling Core.Divergent ( src/Core/Divergent.hs, .koka/minbuild/Core/Divergent.o ) [ 84 of 120] Compiling Core.UnReturn ( src/Core/UnReturn.hs, .koka/minbuild/Core/UnReturn.o ) [ 85 of 120] Compiling Core.Simplify ( src/Core/Simplify.hs, .koka/minbuild/Core/Simplify.o ) src/Core/Simplify.hs:383:29: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 383 | | length (branchPatterns (head branches)) == 1 && all (isMatchOnCon name (length args)) branches | ^^^^ src/Core/Simplify.hs:387:29: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 387 | | length (branchPatterns (head branches)) == 1 && all (isMatchOnCon name (length args)) branches | ^^^^ [ 86 of 120] Compiling Core.MonadicLift ( src/Core/MonadicLift.hs, .koka/minbuild/Core/MonadicLift.o ) [ 87 of 120] Compiling Core.Monadic ( src/Core/Monadic.hs, .koka/minbuild/Core/Monadic.o ) [ 88 of 120] Compiling Core.Inlines ( src/Core/Inlines.hs, .koka/minbuild/Core/Inlines.o ) [ 89 of 120] Compiling Core.Specialize ( src/Core/Specialize.hs, .koka/minbuild/Core/Specialize.o ) src/Core/Specialize.hs:410:15: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 410 | map (fmap head . sequence) | ^^^^ [ 90 of 120] Compiling Core.Inline ( src/Core/Inline.hs, .koka/minbuild/Core/Inline.o ) [ 91 of 120] Compiling Core.FunLift ( src/Core/FunLift.hs, .koka/minbuild/Core/FunLift.o ) [ 92 of 120] Compiling Core.CTail ( src/Core/CTail.hs, .koka/minbuild/Core/CTail.o ) src/Core/CTail.hs:645:18: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 645 | let def = head defs | ^^^^ [ 93 of 120] Compiling Core.Borrowed ( src/Core/Borrowed.hs, .koka/minbuild/Core/Borrowed.o ) [ 94 of 120] Compiling Core.BindingGroups ( src/Core/BindingGroups.hs, .koka/minbuild/Core/BindingGroups.o ) [ 95 of 120] Compiling Compile.Options ( src/Compile/Options.hs, .koka/minbuild/Compile/Options.o ) src/Compile/Options.hs:543:57: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 543 | Nothing -> Error ("invalid value for --" ++ head long ++ " option, expecting any of " ++ valid) | ^^^^ src/Compile/Options.hs:1308:57: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1308 | | c == '\\' && not (null cs) = scan (head cs:acc) (tail cs) | ^^^^ src/Compile/Options.hs:1308:71: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1308 | | c == '\\' && not (null cs) = scan (head cs:acc) (tail cs) | ^^^^ src/Compile/Options.hs:1314:65: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1314 | | c == '\\' && (not (null cs)) = scanq q (head cs:acc) (tail cs) | ^^^^ src/Compile/Options.hs:1314:79: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1314 | | c == '\\' && (not (null cs)) = scanq q (head cs:acc) (tail cs) | ^^^^ [ 96 of 120] Compiling Compile.Module ( src/Compile/Module.hs, .koka/minbuild/Compile/Module.o ) [ 97 of 120] Compiling Backend.JavaScript.FromCore ( src/Backend/JavaScript/FromCore.hs, .koka/minbuild/Backend/JavaScript/FromCore.o ) src/Backend/JavaScript/FromCore.hs:308:81: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 308 | (if (conInfoName c == nameOptional || isConIso repr) then head args | ^^^^ src/Backend/JavaScript/FromCore.hs:484:57: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 484 | return $ text "if" <.> parens (head scrutinees) <+> block (stmts1 <-> text "return" <+> expr1 <.> semi) | ^^^^ src/Backend/JavaScript/FromCore.hs:489:51: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 489 | (text "if" <.> parens (head scrutinees) <+> block (stmts1 <-> text "return" <+> expr1 <.> semi)) | ^^^^ src/Backend/JavaScript/FromCore.hs:499:31: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 499 | let nameDoc = head scrutinees | ^^^^ src/Backend/JavaScript/FromCore.hs:511:48: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 511 | && all (\b->isExprTrue $ guardTest $ head $ branchGuards b) bs | ^^^^ src/Backend/JavaScript/FromCore.hs:1247:27: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1247 | = if (not $ null s) && (head s == 'T') && all isDigit (tail s) | ^^^^ src/Backend/JavaScript/FromCore.hs:1247:58: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1247 | = if (not $ null s) && (head s == 'T') && all isDigit (tail s) | ^^^^ [ 98 of 120] Compiling Backend.C.ParcReuseSpec ( src/Backend/C/ParcReuseSpec.hs, .koka/minbuild/Backend/C/ParcReuseSpec.o ) [ 99 of 120] Compiling Backend.C.ParcReuse ( src/Backend/C/ParcReuse.hs, .koka/minbuild/Backend/C/ParcReuse.o ) [100 of 120] Compiling Backend.C.Parc ( src/Backend/C/Parc.hs, .koka/minbuild/Backend/C/Parc.o ) [101 of 120] Compiling Core.CheckFBIP ( src/Core/CheckFBIP.hs, .koka/minbuild/Core/CheckFBIP.o ) src/Core/CheckFBIP.hs:145:59: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 145 | = zipWithM_ (\a tl -> withTailMod tl $ chkExpr a) args (tail $ tails args) | ^^^^ [102 of 120] Compiling Core.AnalysisCCtx ( src/Core/AnalysisCCtx.hs, .koka/minbuild/Core/AnalysisCCtx.o ) [103 of 120] Compiling Backend.CSharp.FromCore ( src/Backend/CSharp/FromCore.hs, .koka/minbuild/Backend/CSharp/FromCore.o ) src/Backend/CSharp/FromCore.hs:613:69: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 613 | do let argDoc = if (length argDocs == 1) then head argDocs else (text "Unit.unit") | ^^^^ src/Backend/CSharp/FromCore.hs:1439:29: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1439 | -> ppType ctx (head (tail ts)) <.> text "[]" | ^^^^ src/Backend/CSharp/FromCore.hs:1439:35: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1439 | -> ppType ctx (head (tail ts)) <.> text "[]" | ^^^^ src/Backend/CSharp/FromCore.hs:1443:29: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1443 | -> ppType ctx (head ts) <.> text "[]" | ^^^^ src/Backend/CSharp/FromCore.hs:1732:17: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1732 | return (head docs) | ^^^^ [104 of 120] Compiling Backend.C.Box ( src/Backend/C/Box.hs, .koka/minbuild/Backend/C/Box.o ) [105 of 120] Compiling Backend.C.FromCore ( src/Backend/C/FromCore.hs, .koka/minbuild/Backend/C/FromCore.o ) src/Backend/C/FromCore.hs:223:28: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 223 | (if (head path == '<') | ^^^^ src/Backend/C/FromCore.hs:707:115: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 707 | in vcat [ppName (typeClassName (dataInfoName info)) <+> tmp <+> text "= {" <+> ppDefName (fst (head conFields)) <+> text "};" -- struct init | ^^^^ src/Backend/C/FromCore.hs:730:57: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 730 | let arg = ppName (fst (head (conInfoParams con))) | ^^^^ src/Backend/C/FromCore.hs:843:35: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 843 | DataIso -> let conInfo = head (dataInfoConstrs info) | ^^^^ src/Backend/C/FromCore.hs:844:46: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 844 | (isoName,isoTp) = (head (conInfoParams conInfo)) | ^^^^ src/Backend/C/FromCore.hs:848:54: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 848 | (conJustFieldName,conJustFieldTp) = head (conInfoParams conJust) | ^^^^ src/Backend/C/FromCore.hs:876:35: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 876 | DataIso -> let conInfo = head (dataInfoConstrs info) | ^^^^ src/Backend/C/FromCore.hs:877:40: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 877 | isoTp = snd (head (conInfoParams conInfo)) | ^^^^ src/Backend/C/FromCore.hs:881:54: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 881 | (conJustFieldName,conJustFieldTp) = head (conInfoParams conJust) | ^^^^ src/Backend/C/FromCore.hs:1003:56: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1003 | | dataRepr == DataIso = [genDupDropIso isDup (head conInfos)] ++ ret | ^^^^ src/Backend/C/FromCore.hs:1946:50: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1946 | Just (_,_,args,_,_) -> tail (tail (tail (map fst args))) | ^^^^ src/Backend/C/FromCore.hs:1946:56: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1946 | Just (_,_,args,_,_) -> tail (tail (tail (map fst args))) | ^^^^ src/Backend/C/FromCore.hs:1946:62: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1946 | Just (_,_,args,_,_) -> tail (tail (tail (map fst args))) | ^^^^ src/Backend/C/FromCore.hs:1955:50: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1955 | Just (_,_,args,_,_) -> tail (tail (map fst args)) | ^^^^ src/Backend/C/FromCore.hs:1955:56: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1955 | Just (_,_,args,_,_) -> tail (tail (map fst args)) | ^^^^ src/Backend/C/FromCore.hs:1963:50: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1963 | Just (_,_,args,_,_) -> tail (map fst args) | ^^^^ src/Backend/C/FromCore.hs:2665:48: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 2665 | in if (isReserved s || s == "" || isDigit (head s)) | ^^^^ [106 of 120] Compiling Type.Unify ( src/Type/Unify.hs, .koka/minbuild/Type/Unify.o ) [107 of 120] Compiling Type.InferMonad ( src/Type/InferMonad.hs, .koka/minbuild/Type/InferMonad.o ) [108 of 120] Compiling Core.OpenResolve ( src/Core/OpenResolve.hs, .koka/minbuild/Core/OpenResolve.o ) [109 of 120] Compiling Core.Check ( src/Core/Check.hs, .koka/minbuild/Core/Check.o ) src/Core/Check.hs:83:60: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 83 | fail s = Check (\u g -> Err (text (show (defName (head (currentDef g)))) <.> colon <+> text s)) | ^^^^ src/Core/Check.hs:123:20: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 123 | <-> prettyDef (head defs) env | ^^^^ src/Core/Check.hs:229:23: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 229 | return (head (head tpBranchess)) | ^^^^ src/Core/Check.hs:229:29: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 229 | return (head (head tpBranchess)) | ^^^^ [110 of 120] Compiling Compile.Optimize ( src/Compile/Optimize.hs, .koka/minbuild/Compile/Optimize.o ) [111 of 120] Compiling Core.AnalysisMatch ( src/Core/AnalysisMatch.hs, .koka/minbuild/Core/AnalysisMatch.o ) src/Core/AnalysisMatch.hs:38:44: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 38 | patternCount = length (branchPatterns (head branches)) | ^^^^ src/Core/AnalysisMatch.hs:39:28: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 39 | resultType = typeOf (head branches) | ^^^^ [112 of 120] Compiling Type.Infer ( src/Type/Infer.hs, .koka/minbuild/Type/Infer.o ) src/Type/Infer.hs:947:75: warning: [GHC-63394] [-Wx-partial] In the use of ‘tail’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 947 | Just (tpars,_,_) -> (if (isInstance) then tail else id) $ -- drop the first parameter of an op for an instance (as it is the instance name) | ^^^^ src/Type/Infer.hs:1505:22: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 1505 | else let b = head polyBinders | ^^^^ [113 of 120] Compiling Compile.TypeCheck ( src/Compile/TypeCheck.hs, .koka/minbuild/Compile/TypeCheck.o ) [114 of 120] Compiling Compile.CodeGen ( src/Compile/CodeGen.hs, .koka/minbuild/Compile/CodeGen.o ) [115 of 120] Compiling Compile.Build ( src/Compile/Build.hs, .koka/minbuild/Compile/Build.o ) [116 of 120] Compiling Compile.BuildContext ( src/Compile/BuildContext.hs, .koka/minbuild/Compile/BuildContext.o ) [117 of 120] Compiling Interpreter.Interpret ( src/Interpreter/Interpret.hs, .koka/minbuild/Interpreter/Interpret.o ) [118 of 120] Compiling Main.Run ( src/Main/Run.hs, .koka/minbuild/Main/Run.o ) [119 of 120] Compiling Main ( src/Main/plain/Main.hs, .koka/minbuild/Main.o ) [120 of 120] Linking .koka/minbuild/koka parse : .../std/core/types.kk check : std/core/types parse : .../std/core/undiv.kk parse : .../std/core/unsafe.kk parse : .../std/core/hnd.kk parse : .../std/core/exn.kk parse : .../std/core/bool.kk check : std/core/bool check : std/core/unsafe parse : .../std/core/int.kk check : std/core/int check : std/core/undiv parse : .../std/core/order.kk check : std/core/order check : std/core/hnd parse : .../std/core/char.kk check : std/core/char parse : .../std/core/vector.kk parse : .../std/core/string.kk parse : .../std/core/sslice.kk parse : .../std/core/list.kk parse : .../std/core/maybe.kk parse : .../std/core/maybe2.kk parse : .../std/core/either.kk parse : .../std/core/tuple.kk parse : .../std/core/lazy.kk check : std/core/lazy parse : .../std/core/show.kk parse : .../std/core/console.kk parse : .../std/core/debug.kk parse : .../std/core/delayed.kk parse : .../std/core.kk parse : .../std/text/parse.kk parse : .../std/num/int32.kk parse : .../std/num/int64.kk parse : .../std/num/float64.kk parse : .../std/num/decimal.kk parse : .../std/num/ddouble.kk parse : .../std/os/path.kk parse : .../std/os/dir.kk parse : .../std/os/env.kk parse : .../std/os/flags.kk parse : .../std/os/process.kk parse : .../std/time/date.kk parse : .../std/time/timestamp.kk parse : .../std/time/duration.kk parse : .../std/time/instant.kk parse : .../std/time/utc.kk parse : .../std/time/calendar.kk parse : .../std/time/chrono.kk parse : .../std/time/time.kk parse : .../util/bundle.kk check : std/core/delayed check : std/core/tuple check : std/core/either check : std/core/exn check : std/core/vector check : std/core/maybe check : std/core/maybe2 check : std/core/string check : std/core/list check : std/core/sslice check : std/core/show check : std/core/console check : std/core/debug check : std/core check : std/num/int64 check : std/num/int32 check : std/text/parse check : std/num/float64 check : std/os/path check : std/os/dir check : std/os/env check : std/os/process check : std/os/flags check : std/num/decimal check : std/num/ddouble check : std/time/date check : std/time/timestamp check : std/time/duration check : std/time/instant check : std/time/utc check : std/time/chrono check : std/time/calendar check : std/time/time check : util/bundle .koka/v3.1.3/gcc-debug-765f8d/std_time_time.c:9221:1: warning: multi-line comment [-Wcomment] 9221 | // the timezone of `t` applied.\ | ^ linking : util/bundle/@main compile : kklib from: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib created : .koka/v3.1.3/gcc-debug-765f8d/util_bundle__main lib/std/core/string.kk(64,13): warning: fip fun order2: not all branches use the same variables: (Lt) -> (x/1, y/1) (Gt) -> (x/1, y/1) (Eq) -> (x/1) .koka/minbuild/koka --version Koka 3.1.3, 17:48:36 May 7 2025 (ghc release version) version: 3.1.3 bin : /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/.koka/minbuild lib : /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/.koka share : /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14 output : .koka/v3.1.3/gcc-debug-765f8d cc : /usr/bin/gcc flags : 765f8d Copyright 2019-2024, Microsoft Research, Daan Leijen, and others. This program is free software; see the source for copying conditions. This program is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. parse : .../std/core/undiv.kk parse : .../std/core/types.kk parse : .../std/core/unsafe.kk parse : .../std/core/hnd.kk parse : .../std/core/exn.kk parse : .../std/core/bool.kk parse : .../std/core/int.kk parse : .../std/core/order.kk parse : .../std/core/char.kk parse : .../std/core/vector.kk parse : .../std/core/string.kk parse : .../std/core/sslice.kk check : std/core/types parse : .../std/core/list.kk parse : .../std/core/maybe.kk parse : .../std/core/maybe2.kk parse : .../std/core/either.kk parse : .../std/core/tuple.kk parse : .../std/core/lazy.kk parse : .../std/core/show.kk parse : .../std/core/console.kk parse : .../std/core/debug.kk parse : .../std/core/delayed.kk parse : .../std/core.kk parse : .../std/text/parse.kk parse : .../std/num/int32.kk parse : .../std/num/int64.kk parse : .../std/num/float64.kk parse : .../std/num/decimal.kk parse : .../std/num/ddouble.kk parse : .../std/num/random.kk parse : .../std/os/path.kk parse : .../std/os/dir.kk parse : .../std/os/env.kk parse : .../std/os/file.kk parse : .../std/os/flags.kk parse : .../std/os/process.kk parse : .../std/os/readline.kk parse : .../std/os/task.kk parse : .../std/text/regex.kk parse : .../std/text/unicode.kk parse : .../std/time/date.kk parse : .../std/time/timestamp.kk parse : .../std/time/duration.kk parse : .../std/time/instant.kk parse : .../std/time/utc.kk parse : .../std/time/chrono.kk parse : .../std/time/timer.kk parse : .../std/time/calendar.kk parse : .../std/time/calendars.kk check : std/core/lazy check : std/core/int check : std/core/bool check : std/core/unsafe check : std/core/undiv parse : .../std/time/time.kk check : std/core/order check : std/core/char check : std/core/hnd parse : .../std/time/locale.kk parse : .../std/time/format.kk parse : .../std/time/parse.kk parse : .../std/time.kk parse : .../std/time/astro.kk parse : .../toc.kk parse : .../util/link-std.kk check : std/core/delayed check : std/core/exn check : std/core/either check : std/core/tuple check : std/core/maybe2 check : std/core/maybe check : std/core/vector check : std/core/string check : std/core/list check : std/core/sslice check : std/core/show check : std/core/console check : std/core/debug check : std/core check : std/time/locale check : std/text/unicode check : std/os/readline check : std/num/int64 check : std/num/int32 check : std/text/parse check : std/os/task check : std/text/regex check : std/num/float64 check : std/os/path library : /usr/lib/libpcre2-8.a check : std/os/dir check : std/os/env check : std/os/process check : std/os/flags check : std/os/file check : std/num/decimal check : std/num/random check : std/num/ddouble check : std/time/date check : std/time/timestamp check : std/time/duration check : std/time/instant check : std/time/timer check : std/time/utc check : std/time/calendar check : std/time/chrono check : std/time/time check : std/time/calendars check : std/time/astro check : std/time/parse check : std/time/format check : std/time check : toc check : util/link-std .koka/v3.1.3-bundle/gcc-debug/std_time_time.c:9221:1: warning: multi-line comment [-Wcomment] 9221 | // the timezone of `t` applied.\ | ^ .koka/v3.1.3-bundle/gcc-debug/std_time_format.c:5768:1: warning: multi-line comment [-Wcomment] 5768 | // you can use `now().format("ddd, D MMM Y HH:mm:ss zz")` displayed as `"Tue, 27 Sep 2016 06:36:55 -0700"` for example.\ | ^ linking : util/link-std/@main compile : kklib from: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib created : .koka/v3.1.3-bundle/gcc-debug/util_link_dash_std__main lib/std/core/string.kk(64,13): warning: fip fun order2: not all branches use the same variables: (Lt) -> (x/1, y/1) (Gt) -> (x/1, y/1) (Eq) -> (x/1) parse : .../std/core/types.kk parse : .../std/core/undiv.kk check : std/core/types parse : .../std/core/unsafe.kk parse : .../std/core/hnd.kk parse : .../std/core/exn.kk parse : .../std/core/bool.kk parse : .../std/core/int.kk check : std/core/bool check : std/core/unsafe check : std/core/undiv check : std/core/int parse : .../std/core/order.kk check : std/core/order check : std/core/hnd parse : .../std/core/char.kk check : std/core/char parse : .../std/core/vector.kk parse : .../std/core/string.kk parse : .../std/core/sslice.kk parse : .../std/core/list.kk parse : .../std/core/maybe.kk parse : .../std/core/maybe2.kk parse : .../std/core/either.kk parse : .../std/core/tuple.kk parse : .../std/core/lazy.kk check : std/core/lazy parse : .../std/core/show.kk parse : .../std/core/console.kk parse : .../std/core/debug.kk parse : .../std/core/delayed.kk parse : .../std/core.kk parse : .../std/text/parse.kk parse : .../std/num/int32.kk parse : .../std/num/int64.kk parse : .../std/num/float64.kk parse : .../std/num/decimal.kk parse : .../std/num/ddouble.kk parse : .../std/num/random.kk parse : .../std/os/path.kk parse : .../std/os/dir.kk parse : .../std/os/env.kk parse : .../std/os/file.kk parse : .../std/os/flags.kk parse : .../std/os/process.kk parse : .../std/os/readline.kk parse : .../std/os/task.kk parse : .../std/text/regex.kk check : std/core/delayed check : std/core/either check : std/core/tuple check : std/core/exn parse : .../std/text/unicode.kk parse : .../std/time/date.kk parse : .../std/time/timestamp.kk check : std/core/vector check : std/core/maybe check : std/core/maybe2 parse : .../std/time/duration.kk parse : .../std/time/instant.kk check : std/core/string parse : .../std/time/utc.kk check : std/core/list check : std/core/sslice parse : .../std/time/chrono.kk parse : .../std/time/timer.kk parse : .../std/time/calendar.kk parse : .../std/time/calendars.kk parse : .../std/time/time.kk parse : .../std/time/locale.kk parse : .../std/time/format.kk parse : .../std/time/parse.kk parse : .../std/time.kk parse : .../std/time/astro.kk parse : .../toc.kk parse : .../util/link-std.kk check : std/core/show check : std/core/console check : std/core/debug check : std/core check : std/time/locale check : std/text/unicode check : std/os/readline check : std/num/int64 check : std/num/int32 check : std/text/parse check : std/os/task check : std/text/regex check : std/num/float64 check : std/os/path library : /usr/lib/libpcre2-8.a check : std/os/dir check : std/os/env check : std/os/process check : std/os/flags check : std/os/file check : std/num/decimal check : std/num/random check : std/num/ddouble In file included from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:22, from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:46, from .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.h:5, from .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:2: In function 'kk_block_refcount', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:703:28, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10202' at .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:897:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_load_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:35:45: note: in expansion of macro 'kk_atomic' 35 | #define kk_atomic_load_relaxed(p) kk_atomic(load_explicit)(p,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:294:10: note: in expansion of macro 'kk_atomic_load_relaxed' 294 | return kk_atomic_load_relaxed(&b->header.refcount); | ^~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10202': cc1: note: destination object is likely at address zero In function 'kk_block_refcount_set', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:708:5, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10202' at .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:897:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_store_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:37:45: note: in expansion of macro 'kk_atomic' 37 | #define kk_atomic_store_relaxed(p,x) kk_atomic(store_explicit)(p,x,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:298:10: note: in expansion of macro 'kk_atomic_store_relaxed' 298 | return kk_atomic_store_relaxed(&b->header.refcount, rc); | ^~~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10202': cc1: note: destination object is likely at address zero In function 'kk_block_refcount', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:703:28, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10204' at .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:1292:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_load_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:35:45: note: in expansion of macro 'kk_atomic' 35 | #define kk_atomic_load_relaxed(p) kk_atomic(load_explicit)(p,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:294:10: note: in expansion of macro 'kk_atomic_load_relaxed' 294 | return kk_atomic_load_relaxed(&b->header.refcount); | ^~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10204': cc1: note: destination object is likely at address zero In function 'kk_block_refcount_set', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:708:5, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10204' at .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:1292:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_store_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:37:45: note: in expansion of macro 'kk_atomic' 37 | #define kk_atomic_store_relaxed(p,x) kk_atomic(store_explicit)(p,x,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:298:10: note: in expansion of macro 'kk_atomic_store_relaxed' 298 | return kk_atomic_store_relaxed(&b->header.refcount, rc); | ^~~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10204': cc1: note: destination object is likely at address zero In function 'kk_block_refcount', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:703:28, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_os_path.h:53:3, inlined from 'kk_std_os_dir_copy_file_to_dir' at .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:1541:7: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_load_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:35:45: note: in expansion of macro 'kk_atomic' 35 | #define kk_atomic_load_relaxed(p) kk_atomic(load_explicit)(p,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:294:10: note: in expansion of macro 'kk_atomic_load_relaxed' 294 | return kk_atomic_load_relaxed(&b->header.refcount); | ^~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir_copy_file_to_dir': cc1: note: destination object is likely at address zero In function 'kk_block_refcount_set', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:708:5, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-drelease/std_os_path.h:53:3, inlined from 'kk_std_os_dir_copy_file_to_dir' at .koka/v3.1.3-bundle/gcc-drelease/std_os_dir.c:1541:7: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_store_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:37:45: note: in expansion of macro 'kk_atomic' 37 | #define kk_atomic_store_relaxed(p,x) kk_atomic(store_explicit)(p,x,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:298:10: note: in expansion of macro 'kk_atomic_store_relaxed' 298 | return kk_atomic_store_relaxed(&b->header.refcount, rc); | ^~~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir_copy_file_to_dir': cc1: note: destination object is likely at address zero check : std/time/date check : std/time/timestamp check : std/time/duration check : std/time/instant check : std/time/timer check : std/time/utc check : std/time/chrono check : std/time/calendar check : std/time/time check : std/time/calendars check : std/time/astro check : std/time/format check : std/time/parse check : std/time check : toc check : util/link-std .koka/v3.1.3-bundle/gcc-drelease/std_time_time.c:19896:1: warning: multi-line comment [-Wcomment] 19896 | // the timezone of `t` applied.\ | ^ .koka/v3.1.3-bundle/gcc-drelease/std_time_format.c:7789:1: warning: multi-line comment [-Wcomment] 7789 | // you can use `now().format("ddd, D MMM Y HH:mm:ss zz")` displayed as `"Tue, 27 Sep 2016 06:36:55 -0700"` for example.\ | ^ linking : util/link-std/@main In file included from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/../mimalloc/src/static.c:35, from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/all.c:23: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/../mimalloc/src/segment.c: In function 'mi_segment_span_free_coalesce': /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/../mimalloc/src/segment.c:664:30: warning: '__atomic_load_8' writing 8 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 664 | const bool is_abandoned = (segment->thread_id == 0); // mi_segment_is_abandoned(segment); | ^~~~~~~ cc1: note: destination object is likely at address zero compile : kklib from: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib created : .koka/v3.1.3-bundle/gcc-drelease/util_link_dash_std__main lib/std/core/string.kk(64,13): warning: fip fun order2: not all branches use the same variables: (Lt) -> (x/1, y/1) (Gt) -> (x/1, y/1) (Eq) -> (x/1) parse : .../std/core/types.kk check : std/core/types parse : .../std/core/undiv.kk parse : .../std/core/unsafe.kk parse : .../std/core/hnd.kk parse : .../std/core/exn.kk parse : .../std/core/bool.kk parse : .../std/core/int.kk parse : .../std/core/order.kk parse : .../std/core/char.kk parse : .../std/core/vector.kk parse : .../std/core/string.kk parse : .../std/core/sslice.kk parse : .../std/core/list.kk parse : .../std/core/maybe.kk parse : .../std/core/maybe2.kk parse : .../std/core/either.kk parse : .../std/core/tuple.kk parse : .../std/core/lazy.kk parse : .../std/core/show.kk parse : .../std/core/console.kk parse : .../std/core/debug.kk parse : .../std/core/delayed.kk parse : .../std/core.kk parse : .../std/text/parse.kk parse : .../std/num/int32.kk parse : .../std/num/int64.kk parse : .../std/num/float64.kk parse : .../std/num/decimal.kk parse : .../std/num/ddouble.kk parse : .../std/num/random.kk parse : .../std/os/path.kk parse : .../std/os/dir.kk parse : .../std/os/env.kk parse : .../std/os/file.kk parse : .../std/os/flags.kk parse : .../std/os/process.kk parse : .../std/os/readline.kk parse : .../std/os/task.kk parse : .../std/text/regex.kk parse : .../std/text/unicode.kk parse : .../std/time/date.kk parse : .../std/time/timestamp.kk parse : .../std/time/duration.kk parse : .../std/time/instant.kk parse : .../std/time/utc.kk check : std/core/lazy check : std/core/int check : std/core/bool check : std/core/unsafe check : std/core/undiv parse : .../std/time/chrono.kk check : std/core/hnd parse : .../std/time/timer.kk parse : .../std/time/calendar.kk parse : .../std/time/calendars.kk parse : .../std/time/time.kk parse : .../std/time/locale.kk parse : .../std/time/format.kk parse : .../std/time/parse.kk parse : .../std/time.kk check : std/core/char check : std/core/order parse : .../std/time/astro.kk parse : .../toc.kk parse : .../util/link-std.kk check : std/core/exn check : std/core/either check : std/core/tuple check : std/core/delayed check : std/core/maybe2 check : std/core/maybe check : std/core/vector check : std/core/string check : std/core/list check : std/core/sslice check : std/core/show check : std/core/console check : std/core/debug check : std/core check : std/time/locale check : std/text/unicode check : std/os/readline check : std/num/int64 check : std/num/int32 check : std/text/parse check : std/os/task check : std/text/regex check : std/num/float64 check : std/os/path library : /usr/lib/libpcre2-8.a check : std/os/dir check : std/os/env check : std/os/process check : std/os/flags check : std/os/file check : std/num/decimal check : std/num/random check : std/num/ddouble In file included from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:22, from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:46, from .koka/v3.1.3-bundle/gcc-release/std_os_dir.h:5, from .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:2: In function 'kk_block_refcount', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:703:28, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-release/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-release/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10202' at .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:897:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_load_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:35:45: note: in expansion of macro 'kk_atomic' 35 | #define kk_atomic_load_relaxed(p) kk_atomic(load_explicit)(p,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:294:10: note: in expansion of macro 'kk_atomic_load_relaxed' 294 | return kk_atomic_load_relaxed(&b->header.refcount); | ^~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10202': cc1: note: destination object is likely at address zero In function 'kk_block_refcount_set', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:708:5, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-release/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-release/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10202' at .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:897:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_store_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:37:45: note: in expansion of macro 'kk_atomic' 37 | #define kk_atomic_store_relaxed(p,x) kk_atomic(store_explicit)(p,x,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:298:10: note: in expansion of macro 'kk_atomic_store_relaxed' 298 | return kk_atomic_store_relaxed(&b->header.refcount, rc); | ^~~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10202': cc1: note: destination object is likely at address zero In function 'kk_block_refcount', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:703:28, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-release/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-release/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10204' at .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:1292:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_load_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:35:45: note: in expansion of macro 'kk_atomic' 35 | #define kk_atomic_load_relaxed(p) kk_atomic(load_explicit)(p,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:294:10: note: in expansion of macro 'kk_atomic_load_relaxed' 294 | return kk_atomic_load_relaxed(&b->header.refcount); | ^~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10204': cc1: note: destination object is likely at address zero In function 'kk_block_refcount_set', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:708:5, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-release/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-release/std_os_path.h:53:3, inlined from 'kk_std_os_dir__lift_copy_directory_10204' at .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:1292:9: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_store_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:37:45: note: in expansion of macro 'kk_atomic' 37 | #define kk_atomic_store_relaxed(p,x) kk_atomic(store_explicit)(p,x,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:298:10: note: in expansion of macro 'kk_atomic_store_relaxed' 298 | return kk_atomic_store_relaxed(&b->header.refcount, rc); | ^~~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir__lift_copy_directory_10204': cc1: note: destination object is likely at address zero In function 'kk_block_refcount', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:703:28, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-release/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-release/std_os_path.h:53:3, inlined from 'kk_std_os_dir_copy_file_to_dir' at .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:1541:7: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_load_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:35:45: note: in expansion of macro 'kk_atomic' 35 | #define kk_atomic_load_relaxed(p) kk_atomic(load_explicit)(p,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:294:10: note: in expansion of macro 'kk_atomic_load_relaxed' 294 | return kk_atomic_load_relaxed(&b->header.refcount); | ^~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir_copy_file_to_dir': cc1: note: destination object is likely at address zero In function 'kk_block_refcount_set', inlined from 'kk_block_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:708:5, inlined from 'kk_datatype_ptr_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1115:3, inlined from 'kk_datatype_drop' at /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:1120:5, inlined from 'kk_std_core_types__list_drop' at .koka/v3.1.3-bundle/gcc-release/std_core_types.h:634:3, inlined from 'kk_std_os_path__path_drop' at .koka/v3.1.3-bundle/gcc-release/std_os_path.h:53:3, inlined from 'kk_std_os_dir_copy_file_to_dir' at .koka/v3.1.3-bundle/gcc-release/std_os_dir.c:1541:7: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:23:33: warning: '__atomic_store_4' writing 4 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 23 | #define kk_atomic(name) atomic_##name | ^~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib/atomic.h:37:45: note: in expansion of macro 'kk_atomic' 37 | #define kk_atomic_store_relaxed(p,x) kk_atomic(store_explicit)(p,x,kk_memory_order(relaxed)) | ^~~~~~~~~ /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/include/kklib.h:298:10: note: in expansion of macro 'kk_atomic_store_relaxed' 298 | return kk_atomic_store_relaxed(&b->header.refcount, rc); | ^~~~~~~~~~~~~~~~~~~~~~~ In function 'kk_std_os_dir_copy_file_to_dir': cc1: note: destination object is likely at address zero check : std/time/date check : std/time/timestamp check : std/time/duration check : std/time/instant check : std/time/timer check : std/time/utc check : std/time/chrono check : std/time/calendar check : std/time/time check : std/time/calendars check : std/time/astro check : std/time/parse check : std/time/format check : std/time check : toc check : util/link-std .koka/v3.1.3-bundle/gcc-release/std_time_format.c:7789:1: warning: multi-line comment [-Wcomment] 7789 | // you can use `now().format("ddd, D MMM Y HH:mm:ss zz")` displayed as `"Tue, 27 Sep 2016 06:36:55 -0700"` for example.\ | ^ .koka/v3.1.3-bundle/gcc-release/std_time_time.c:19896:1: warning: multi-line comment [-Wcomment] 19896 | // the timezone of `t` applied.\ | ^ linking : util/link-std/@main In file included from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/../mimalloc/src/static.c:35, from /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/all.c:23: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/../mimalloc/src/segment.c: In function 'mi_segment_span_free_coalesce': /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib/src/../mimalloc/src/segment.c:664:30: warning: '__atomic_load_8' writing 8 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] 664 | const bool is_abandoned = (segment->thread_id == 0); // mi_segment_is_abandoned(segment); | ^~~~~~~ cc1: note: destination object is likely at address zero compile : kklib from: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/kklib created : .koka/v3.1.3-bundle/gcc-release/util_link_dash_std__main lib/std/core/string.kk(64,13): warning: fip fun order2: not all branches use the same variables: (Lt) -> (x/1, y/1) (Gt) -> (x/1, y/1) (Eq) -> (x/1) creating koka distribution bundle: bundle : bundle/v3.1.3/koka-v3.1.3-linux-x64.tar.gz cc : gcc exe : /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/.koka/minbuild/koka version: v3.1.3 build standard libraries: debug... > .koka/minbuild/koka --cc=gcc --outputdir=".koka/v3.1.3-bundle/gcc-debug" util/link-std build standard libraries: drelease... > .koka/minbuild/koka --cc=gcc --outputdir=".koka/v3.1.3-bundle/gcc-drelease" -O2 util/link-std build standard libraries: release... > .koka/minbuild/koka --cc=gcc --outputdir=".koka/v3.1.3-bundle/gcc-release" -O2 --no-debug util/link-std copy koka executable... copy standard libraries... copy samples... copy kklib runtime... copy contrib... copying standard library: debug copying standard library: drelease copying standard library: release inserting metadata... > tar -czf bundle/v3.1.3/koka-v3.1.3-linux-x64.tar.gz -C "bundle/v3.1.3/local-v3.1.3-linux-x64" bin lib share meta distribution bundle created. bundle : bundle/v3.1.3/koka-v3.1.3-linux-x64.tar.gz cc : gcc version: v3.1.3 parse : .../std/core/types.kk parse : .../std/core/undiv.kk check : std/core/types parse : .../std/core/unsafe.kk parse : .../std/core/hnd.kk parse : .../std/core/exn.kk parse : .../std/core/bool.kk parse : .../std/core/int.kk check : std/core/int check : std/core/bool check : std/core/unsafe check : std/core/undiv parse : .../std/core/order.kk check : std/core/order check : std/core/hnd parse : .../std/core/char.kk check : std/core/char parse : .../std/core/vector.kk parse : .../std/core/string.kk parse : .../std/core/sslice.kk parse : .../std/core/list.kk parse : .../std/core/maybe.kk parse : .../std/core/maybe2.kk parse : .../std/core/either.kk parse : .../std/core/tuple.kk parse : .../std/core/lazy.kk check : std/core/lazy parse : .../std/core/show.kk parse : .../std/core/console.kk parse : .../std/core/debug.kk parse : .../std/core/delayed.kk parse : .../std/core.kk parse : .../std/text/parse.kk parse : .../std/num/int32.kk parse : .../std/num/int64.kk parse : .../std/num/float64.kk parse : .../samples/basic/caesar.kk parse : .../samples/basic/fibonacci.kk parse : .../samples/basic/garsia-wachs.kk parse : .../std/os/path.kk parse : .../std/os/env.kk parse : .../samples/basic/rbtree.kk parse : .../samples/handlers/ambient.kk parse : .../std/num/random.kk parse : .../samples/handlers/basic.kk parse : .../samples/handlers/named/ask.kk parse : .../samples/handlers/named/ask-poly.kk check : std/core/delayed check : std/core/tuple check : std/core/either check : std/core/exn parse : .../std/os/dir.kk parse : .../std/os/file.kk check : std/core/vector check : std/core/maybe check : std/core/maybe2 parse : .../samples/handlers/named/file.kk parse : .../samples/handlers/named/file-scoped.kk check : std/core/string parse : .../samples/handlers/named/heap.kk check : std/core/list check : std/core/sslice parse : .../samples/handlers/named/unify.kk parse : .../samples/handlers/nim.kk parse : .../samples/handlers/parser.kk parse : .../samples/handlers/scoped.kk parse : .../samples/handlers/unix.kk parse : .../samples/handlers/vec.kk parse : .../samples/handlers/yield.kk parse : .../samples/learn/basic.kk parse : .../samples/learn/contexts.kk parse : .../samples/learn/fip.kk parse : .../samples/learn/handler.kk parse : .../samples/learn/implicits.kk parse : .../samples/learn/lazycons.kk parse : .../samples/learn/qualifiers.kk parse : .../samples/learn/with.kk parse : .../samples/all.kk check : std/core/show check : std/core/console check : std/core/debug check : std/core check : learn/with check : learn/qualifiers check : learn/lazycons check : learn/handler check : learn/fip check : learn/contexts check : learn/basic check : handlers/yield check : handlers/vec check : handlers/unix check : handlers/scoped check : handlers/parser check : handlers/named/unify check : handlers/named/heap check : handlers/named/ask-poly check : handlers/named/ask check : handlers/ambient check : basic/garsia-wachs check : basic/fibonacci check : std/num/int64 check : std/num/int32 check : std/text/parse check : std/num/float64 check : std/os/path check : std/os/env check : std/os/dir check : basic/rbtree check : std/os/file check : handlers/named/file-scoped check : handlers/named/file check : std/num/random check : basic/caesar check : learn/implicits check : handlers/nim check : handlers/basic check : samples/all linking : samples/all/@main compile : kklib from: /home/buildozer/aports/testing/koka/src/koka-3.1.3-alpha14/bundle/v3.1.3/local-v3.1.3-linux-x64/share/koka/v3.1.3/kklib created : .koka/v3.1.3/cc-debug-339661/samples_all__main samples/learn/lazycons.kk(146,23): type warning: q shadows an earlier local definition or parameter samples/learn/lazycons.kk(147,18): type warning: q shadows an earlier local definition or parameter samples/learn/lazycons.kk(59,22): kind warning: Cannot update the lazy constructor SAppend in-place as the result constructor is not statically known -- using an indirection instead samples/learn/lazycons.kk(70,23): kind warning: Cannot update the lazy constructor SReverse in-place as the result constructor is not statically known -- using an indirection instead bundle/v3.1.3/local-v3.1.3-linux-x64/share/koka/v3.1.3/lib/std/core/string.kk(64,13): warning: fip fun order2: not all branches use the same variables: (Lt) -> (x/1, y/1) (Gt) -> (x/1, y/1) (Eq) -> (x/1) run caesar -------------------------- plain : Koka is a well-typed language encoded: Krnd lv d zhoo-wbshg odqjxdjh cracked: Koka is a well-typed language run fibonacci -------------------------- The 10000th fibonacci number is 33644764876431783266621612005107543310302148460680063906564769974680081442166662368155595513633734025582065332680836159373734790483865268263040892463056431887354544369559827491606602099884183933864652731300088830269235673613135117579297437854413752130520504347701602264758318906527890855154366159582987279682987510631200575428783453215515103870818298969791613127856265033195487140214287532698187962046936097879900350962302291026368131493195275630227837628441540360584402572114334961180023091208287046088923962328835461505776583271252546093591128203925285393434620904245248929403901706233888991085841065183173360437470737908552631764325733993712871937587746897479926305837065742830161637408969178426378624212835258112820516370298089332099905707920064367426202389783111470054074998459250360633560933883831923386783056136435351892133279732908133732642652633989763922723407882928177953580570993691049175470808931841056146322338217465637321248226383092103297701648054726243842374862411453093812206564914032751086643394517512161526545361333111314042436854805106765843493523836959653428071768775328348234345557366719731392746273629108210679280784718035329131176778924659089938635459327894523777674406192240337638674004021330343297496902028328145933418826817683893072003634795623117103101291953169794607632737589253530772552375943788434504067715555779056450443016640119462580972216729758615026968443146952034614932291105970676243268515992834709891284706740862008587135016260312071903172086094081298321581077282076353186624611278245537208532365305775956430072517744315051539600905168603220349163222640885248852433158051534849622434848299380905070483482449327453732624567755879089187190803662058009594743150052402532709746995318770724376825907419939632265984147498193609285223945039707165443156421328157688908058783183404917434556270520223564846495196112460268313970975069382648706613264507665074611512677522748621598642530711298441182622661057163515069260029861704945425047491378115154139941550671256271197133252763631939606902895650288268608362241082050562430701794976171121233066073310059947366875 run garsia-wachs -------------------------- Node(Node("a",Node("b","c")),Node("d","e")) run basic -------------------------- 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 hi hi 1 2 3 4 5 6 7 8 9 10 run contexts -------------------------- ([1,3,5],[2,4]) run handler -------------------------- 42 43 run fip -------------------------- [1,2,3,4,5,5,4,3,2,1] 65 run lazycons -------------------------- Bqueue(SAppend(SAppend(SNil, SReverse(SCons(1, SNil), SNil)), SReverse(SCons(3, SCons(2, SNil)), SNil)), 3, SCons(5, SCons(4, SNil)), 2) Bqueue(SAppend(SNil, SReverse(SCons(2, SNil), SCons(3, SNil))), 2, SCons(5, SCons(4, SNil)), 2) Bqueue(SAppend(SCons(3, SNil), SReverse(SCons(5, SCons(4, SNil)), SNil)), 3, SNil, 0) Bqueue(SAppend(SNil, SReverse(SCons(4, SNil), SCons(5, SNil))), 2, SNil, 0) Bqueue(SCons(5, SNil), 1, SNil, 0) Bqueue(SNil, 0, SNil, 0) run implicits -------------------------- True run qualifiers -------------------------- run with -------------------------- hi hi hi hi 1 2 3 4 5 6 7 8 9 10 42 42 run ask-poly -------------------------- hello 42 run heap -------------------------- 42 run unify -------------------------- unified type: list int -> list int run ask -------------------------- hello world run ambient -------------------------- 79 81 () 40 81 () False run nim -------------------------- ----------- alice ----------- bob ----------- alice 1 -> bob 1 -> alice 1 -> alice wins 2 -> bob wins 2 -> bob 1 -> bob wins 3 -> alice wins ----------- alice ----------- bob ----------- [bob,alice] ----------- bob cheated! run parser -------------------------- [(7,""),(3,"*3"),(1,"+2*3")] [(7,"")] run scoped -------------------------- [[3],[2,1],[1,2],[1,1,1]] (state=12, [[3],[2,1],[1,2],[1,1,1]]) [(state=1, [3]),(state=5, [2,1]),(state=5, [1,2]),(state=9, [1,1,1])] [[3]] [42] run vec -------------------------- hello world run yield -------------------------- yielded 1 yielded 2 yielded 3 done run unix -------------------------- UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity. To be, or not to be, that is the question: Whether 'tis nobler in the mind to suffer run rbtree (this can take a bit longer..) -------------------------- 420000 >>> koka: Entering fakeroot... >>> koka*: Running postcheck for koka >>> koka*: Preparing package koka... >>> koka*: Stripping binaries >>> koka*: Scanning shared objects >>> koka*: Tracing dependencies... cmd:cc musl-dev pcre2-dev pcre2-static so:libc.musl-x86_64.so.1 so:libffi.so.8 so:libgmp.so.10 >>> koka*: Package size: 126.8 MB >>> koka*: Compressing data... >>> koka*: Create checksum... >>> koka*: Create koka-3.1.3_alpha14-r0.apk >>> koka: Build complete at Sat, 10 May 2025 03:08:38 +0000 elapsed time 0h 11m 26s >>> koka: Cleaning up srcdir >>> koka: Cleaning up pkgdir >>> koka: Uninstalling dependencies... (1/30) Purging .makedepends-koka (20250510.025715) (2/30) Purging pcre2-dev (10.43-r1) (3/30) Purging libedit-dev (20250104.3.1-r0) (4/30) Purging bsd-compat-headers (0.7.2-r6) (5/30) Purging ncurses-dev (6.5_p20250503-r0) (6/30) Purging libncurses++ (6.5_p20250503-r0) (7/30) Purging libpanelw (6.5_p20250503-r0) (8/30) Purging zlib-dev (1.3.1-r2) (9/30) Purging libpcre2-16 (10.43-r1) (10/30) Purging libpcre2-32 (10.43-r1) (11/30) Purging pcre2-static (10.43-r1) (12/30) Purging alex (3.5.0.0-r1) (13/30) Purging ghc (9.8.2-r2) (14/30) Purging gmp-dev (6.3.0-r3) (15/30) Purging libgmpxx (6.3.0-r3) (16/30) Purging libffi-dev (3.4.8-r0) (17/30) Purging linux-headers (6.14.2-r0) (18/30) Purging llvm15 (15.0.7-r19) (19/30) Purging xxhash-dev (0.8.3-r0) (20/30) Purging git-perl (2.49.0-r0) (21/30) Purging perl-git (2.49.0-r0) (22/30) Purging perl-error (0.17030-r0) (23/30) Purging perl (5.40.2-r0) (24/30) Purging libbz2 (1.0.8-r6) (25/30) Purging libformw (6.5_p20250503-r0) (26/30) Purging libmenuw (6.5_p20250503-r0) (27/30) Purging llvm15-libs (15.0.7-r19) (28/30) Purging libffi (3.4.8-r0) (29/30) Purging libxml2 (2.13.8-r0) (30/30) Purging xz-libs (5.8.1-r0) Executing busybox-1.37.0-r17.trigger OK: 400 MiB in 106 packages >>> koka: Updating the testing/x86_64 repository index... >>> koka: Signing the index...