Mock Version: 4.1 Mock Version: 4.1 Mock Version: 4.1 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/dist-oc9-epol-build-227229-81147/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=86400uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/idris.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False warning: line 13: Possible unexpanded macro in: Release: %autorelease warning: line 120: Possible unexpanded macro in: Requires: idris-common = 1.3.4-%autorelease warning: line 125: Possible unexpanded macro in: Requires: idris-static = 1.3.4-%autorelease warning: line 166: Possible unexpanded macro in: Requires: idris-common = 1.3.4-%autorelease warning: line 167: Possible unexpanded macro in: Requires: idris-static = 1.3.4-%autorelease warning: line 175: Possible unexpanded macro in: Provides: ghc-idris-static = 1.3.4-%autorelease warning: line 176: Possible unexpanded macro in: Provides: ghc-idris-static(x86-64) = 1.3.4-%autorelease warning: line 180: Possible unexpanded macro in: Requires: ghc-idris(x86-64) = 1.3.4-%autorelease Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/idris-1.3.4-%autorelease.src.rpm RPM build warnings: line 13: Possible unexpanded macro in: Release: %autorelease line 120: Possible unexpanded macro in: Requires: idris-common = 1.3.4-%autorelease line 125: Possible unexpanded macro in: Requires: idris-static = 1.3.4-%autorelease line 166: Possible unexpanded macro in: Requires: idris-common = 1.3.4-%autorelease line 167: Possible unexpanded macro in: Requires: idris-static = 1.3.4-%autorelease line 175: Possible unexpanded macro in: Provides: ghc-idris-static = 1.3.4-%autorelease line 176: Possible unexpanded macro in: Provides: ghc-idris-static(x86-64) = 1.3.4-%autorelease line 180: Possible unexpanded macro in: Requires: ghc-idris(x86-64) = 1.3.4-%autorelease Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/dist-oc9-epol-build-227229-81147/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=86400uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/idris.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False warning: line 13: Possible unexpanded macro in: Release: %autorelease warning: line 120: Possible unexpanded macro in: Requires: idris-common = 1.3.4-%autorelease warning: line 125: Possible unexpanded macro in: Requires: idris-static = 1.3.4-%autorelease warning: line 166: Possible unexpanded macro in: Requires: idris-common = 1.3.4-%autorelease warning: line 167: Possible unexpanded macro in: Requires: idris-static = 1.3.4-%autorelease warning: line 175: Possible unexpanded macro in: Provides: ghc-idris-static = 1.3.4-%autorelease warning: line 176: Possible unexpanded macro in: Provides: ghc-idris-static(x86-64) = 1.3.4-%autorelease warning: line 180: Possible unexpanded macro in: Requires: ghc-idris(x86-64) = 1.3.4-%autorelease Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WoxCnw + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf idris-1.3.4 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/idris-1.3.4.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd idris-1.3.4 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/4920.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/4921.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/4922.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/4925.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/4926.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + cabal-tweak-dep-ver optparse-applicative '< 0.18' '< 0.19' + cabal-tweak-flag FFI True + cabal-tweak-flag GMP True + cabal-tweak-dep-ver aeson '< 2.2' '< 2.3' + cabal-tweak-dep-ver ansi-terminal '^>= 1.0' '^>= 1.1' + cabal-tweak-dep-ver ansi-wl-pprint '< 0.7' '< 1.1' + cabal-tweak-dep-ver bytestring '< 0.12' '<0.13' + cabal-tweak-dep-ver deepseq '< 1.5' '< 1.6' + cabal-tweak-dep-ver network '< 3.1.5' '< 3.3' + cabal-tweak-dep-ver text '^>= 2.0.2' '^>= 2.1' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.lXs2Lv + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,--build-id=sha1' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd idris-1.3.4 + export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4/dist/build + LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4/dist/build ++ ls ++ grep -i -e '^$ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO$' + for f in $(ls | grep -i -e '^$ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO$') + '[' -f CHANGELOG.md -a -x CHANGELOG.md ']' + for f in $(ls | grep -i -e '^$ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO$') + '[' -f CONTRIBUTORS -a -x CONTRIBUTORS ']' + for f in $(ls | grep -i -e '^$ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO$') + '[' -f README.md -a -x README.md ']' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,--build-id=sha1' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,--build-id=sha1' + '[' -f Setup.hs -o -f Setup.lhs ']' + '[' -d /usr/lib64/ghc-9.8.4/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking Setup + LANG=C.utf8 + ./Setup --version Cabal library version 3.10.3.0 + '[' -x Setup ']' + LANG=C.utf8 ++ sed -e 's/ / -optc/g' ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection ++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,--build-id=sha1 ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/idris '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.8.4/lib --global '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -optc-fstack-protector-strong -optc-m64 -optc-march=x86-64-v2 -optc-mtune=generic -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-protection -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,--build-id=sha1 -fhide-source-paths' --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/idris-1.3.4 --global Warning: idris.cabal:164:3: The field "manual" is specified more than once at positions 164:3, 165:3 Warning: idris.cabal:158:3: The field "manual" is specified more than once at positions 158:3, 159:3 Configuring idris-1.3.4... make: Entering directory '/builddir/build/BUILD/idris-1.3.4/rts' rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o idris_utf8.o idris_stdfgn.o idris_buffer.o getline.o idris_net.o mini-gmp.o libidris_rts.a make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/rts' Generating dist/build/autogen/BuildFlags_idris.hs Generating dist/build/autogen/Version_idris.hs for prerelease PRE + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j32 Preprocessing library for idris-1.3.4.. Building library for idris-1.3.4.. [ 1 of 115] Compiling BuildFlags_idris [ 2 of 115] Compiling IRTS.JavaScript.AST [ 3 of 115] Compiling Idris.Colours [ 4 of 115] Compiling Idris.Help [ 5 of 115] Compiling Paths_idris [ 6 of 115] Compiling IRTS.System [ 7 of 115] Compiling Tools_idris [ 8 of 115] Compiling Util.DynamicLinker [ 9 of 115] Compiling Util.Net [ 10 of 115] Compiling Util.Pretty [ 11 of 115] Compiling Idris.Core.TT src/Idris/Core/TT.hs:128:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup FC’. Suggested fix: Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 128 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:135:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid FC’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Suggested fix: Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 135 | mappend (FC f start end) (FC f' start' end') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Idris/Core/TT.hs:327:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad TC’. ‘return’ will eventually be removed in favour of ‘pure’ Suggested fix: Either remove definition for ‘return’ (recommended) or define as ‘return = pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 327 | return x = OK x | ^^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:344:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative TC’. Suggested fix: Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 344 | pure = return | ^^^^^^^^^^^^^ [ 12 of 115] Compiling Idris.Unlit [ 13 of 115] Compiling Idris.Docstrings [ 14 of 115] Compiling Idris.Core.Constraints [ 15 of 115] Compiling Idris.Core.CaseTree src/Idris/Core/CaseTree.hs:177:11: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In an equation for ‘nut’: nut ps fn@(App _ f a) | (P (TCon _ _) n _, _) <- unApply fn = ... | 177 | | (P (TCon _ _) n _, _) <- unApply fn = S.empty | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Core/CaseTree.hs:276:51: 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." | 276 | let numargs = length (fst (head pats)) | ^^^^ src/Idris/Core/CaseTree.hs:444:32: 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." | 444 | = compare (snd . fst . head $ xs, numNames [] (map snd ys)) | ^^^^ src/Idris/Core/CaseTree.hs:445:32: 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." | 445 | (snd . fst . head $ ys, numNames [] (map snd xs)) | ^^^^ [ 16 of 115] Compiling Idris.Core.Evaluate [ 17 of 115] Compiling Idris.Core.WHNF [ 18 of 115] Compiling Idris.Core.Unify [ 19 of 115] Compiling Idris.Core.Typecheck [ 20 of 115] Compiling Idris.Core.ProofTerm [ 21 of 115] Compiling Idris.Core.DeepSeq [ 22 of 115] Compiling Idris.Core.Binary [ 23 of 115] Compiling Idris.IdeMode [ 24 of 115] Compiling IRTS.Lang [ 25 of 115] Compiling Idris.Primitives [ 26 of 115] Compiling IRTS.LangOpts [ 27 of 115] Compiling IRTS.JavaScript.Specialize [ 28 of 115] Compiling IRTS.JavaScript.PrimOp src/IRTS/JavaScript/PrimOp.hs:174:55: 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." | 174 | , item (LZExt (ITFixed IT8) ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:175: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." | 175 | , item (LZExt (ITFixed IT16) ITNative) False PTAny $ head | ^^^^ [ 29 of 115] Compiling IRTS.JavaScript.Name [ 30 of 115] Compiling IRTS.JavaScript.LangTransforms [ 31 of 115] Compiling IRTS.Defunctionalise [ 32 of 115] Compiling IRTS.Simplified [ 33 of 115] Compiling IRTS.Inliner [ 34 of 115] Compiling IRTS.CodegenCommon [ 35 of 115] Compiling Idris.Options src/IRTS/JavaScript/PrimOp.hs:176: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." | 176 | , item (LZExt (ITFixed IT32) ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:181:52: 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." | 181 | , item (LZExt (ITFixed IT64) ITBig) True PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:198: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." | 198 | , item (LIntFloat ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:233: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." | 233 | , item LNoOp False PTAny $ head | ^^^^ [ 36 of 115] Compiling IRTS.Bytecode [ 37 of 115] Compiling IRTS.Portable [ 38 of 115] Compiling IRTS.DumpBC [ 39 of 115] Compiling Idris.Core.ProofState src/Idris/Core/ProofState.hs:345: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." | 345 | | not $ null (holes ps) = do g <- goal (Just (head (holes ps))) (pterm ps) | ^^^^ src/Idris/Core/ProofState.hs:351: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." | 351 | | not $ null (holes ps) = do g <- goal (Just (head (holes ps))) (pterm ps) | ^^^^ [ 40 of 115] Compiling Idris.Core.Elaborate [ 41 of 115] Compiling Idris.AbsSyntaxTree src/Idris/Core/Elaborate.hs:516:39: 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." | 516 | let pt' = refocus (Just (head (holes ps))) (pterm ps) | ^^^^ src/Idris/Core/Elaborate.hs:635:27: 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." | 635 | then head hs : dontunify p | ^^^^ src/Idris/Core/Elaborate.hs:636:40: 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." | 636 | else getNonUnify (head hs : dontunify p) imps args | ^^^^ [ 42 of 115] Compiling Idris.DeepSeq [ 43 of 115] Compiling Idris.ASTUtils [ 44 of 115] Compiling Util.ScreenSize [ 45 of 115] Compiling Util.System [ 46 of 115] Compiling Idris.AbsSyntax src/Idris/AbsSyntax.hs:1612:43: 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." | 1612 | (NoSuchVariable (head badnames)))) | ^^^^ src/Idris/AbsSyntax.hs:2272:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative (EitherErr a)’. Suggested fix: Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2272 | pure = return | ^^^^^^^^^^^^^^ src/Idris/AbsSyntax.hs:2276:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad (EitherErr a)’. ‘return’ will eventually be removed in favour of ‘pure’ Suggested fix: Either remove definition for ‘return’ (recommended) or define as ‘return = pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2276 | return = RightOK | ^^^^^^^^^^^^^^^^ [ 47 of 115] Compiling Idris.WhoCalls [ 48 of 115] Compiling Idris.Transforms [ 49 of 115] Compiling Idris.REPL.Browse [ 50 of 115] Compiling Idris.Inliner [ 51 of 115] Compiling Idris.ErrReverse [ 52 of 115] Compiling Idris.Elab.Quasiquote [ 53 of 115] Compiling Idris.Elab.AsPat [ 54 of 115] Compiling Idris.Delaborate src/Idris/Delaborate.hs:262:27: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In an equation for ‘splitArg’: splitArg tm | otherwise = ... | 262 | | otherwise = tm | ^^^^^^^^^ [ 55 of 115] Compiling Idris.Reflection [ 56 of 115] Compiling Idris.ProofSearch [ 57 of 115] Compiling Idris.PartialEval [ 58 of 115] Compiling Idris.Output [ 59 of 115] Compiling Idris.Parser.Stack [ 60 of 115] Compiling Idris.Parser.Helpers src/Idris/Parser/Helpers.hs:99:1: warning: [GHC-15328] [-Wdeprecations] Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated: "Compatibility module for users of ansi-wl-pprint - use \"Prettyprinter\" instead" | 99 | import qualified Text.PrettyPrint.ANSI.Leijen as PP | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Parser/Helpers.hs:105:32: warning: [GHC-68441] [-Wdeprecations] In the use of type constructor or class ‘Doc’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 105 | parseErrorDoc :: ParseError -> PP.Doc | ^^^^^^ src/Idris/Parser/Helpers.hs:106:17: warning: [GHC-68441] [-Wdeprecations] In the use of ‘string’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 106 | parseErrorDoc = PP.string . prettyError | ^^^^^^^^^ [ 61 of 115] Compiling Idris.Parser.Ops [ 62 of 115] Compiling Idris.Error [ 63 of 115] Compiling Idris.Termination [ 64 of 115] Compiling Idris.Providers [ 65 of 115] Compiling Idris.Imports [ 66 of 115] Compiling Idris.REPL.Commands [ 67 of 115] Compiling Idris.Package.Common [ 68 of 115] Compiling Idris.Directives [ 69 of 115] Compiling Idris.IBC src/Idris/IBC.hs:457:92: 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." | 457 | Just ploc -> unwords ["Please reinstall:", L.head $ splitDirectories ploc] | ^^^^^^ [ 70 of 115] Compiling Idris.Erasure [ 71 of 115] Compiling Idris.Elab.Utils [ 72 of 115] Compiling Idris.Elab.Rewrite [ 73 of 115] Compiling Idris.Docs [ 74 of 115] Compiling Idris.IdrisDoc src/Idris/IdrisDoc.hs:511:34: 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 | in if (head n') `elem` opChars | ^^^^ src/Idris/IdrisDoc.hs:579:34: 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." | 579 | in if (head n') `elem` opChars | ^^^^ [ 75 of 115] Compiling Idris.DataOpts [ 76 of 115] Compiling Idris.DSL [ 77 of 115] Compiling Idris.Parser.Expr src/Idris/IdrisDoc.hs:599:33: 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." | 599 | in if (head n') `elem` opChars | ^^^^ src/Idris/Parser/Expr.hs:138:10: 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." | 138 | case head rs of -- can never be [] | ^^^^ [ 78 of 115] Compiling Idris.Parser.Data [ 79 of 115] Compiling Idris.Coverage [ 80 of 115] Compiling Idris.Elab.Term src/Idris/Elab/Term.hs:295:61: 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." | 295 | if any (\n -> n `elem` solved) ns && head hs /= a | ^^^^ src/Idris/Elab/Term.hs:834:90: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ [ 81 of 115] Compiling Idris.Elab.Value [ 82 of 115] Compiling Idris.Elab.Type [ 83 of 115] Compiling Idris.TypeSearch (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." | 834 | e_guarded = dataCon }) (Just fc) (getTm (head args))) | ^^^^ src/Idris/TypeSearch.hs:248:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup AsymMods’. Suggested fix: Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 248 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:251:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup Score’. Suggested fix: Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 251 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:256:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid (Sided a)’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Suggested fix: Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 256 | (Sided l1 r1) `mappend` (Sided l2 r2) = Sided (l1 `mappend` l2) (r1 `mappend` r2) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:260:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid AsymMods’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Suggested fix: Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ [ 84 of 115] Compiling Idris.Elab.Data [ 85 of 115] Compiling Idris.Elab.Record [ 86 of 115] Compiling Idris.Elab.Interface [ 87 of 115] Compiling Idris.Elab.Transform [ 88 of 115] Compiling Idris.Elab.RunElab [ 89 of 115] Compiling Idris.Elab.Implementation [ 90 of 115] Compiling Idris.Elab.Clause [ 91 of 115] Compiling Idris.Core.Execute [ 92 of 115] Compiling Idris.Elab.Provider [ 93 of 115] Compiling Idris.ElabDecls [ 94 of 115] Compiling Idris.Parser See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 260 | (Mods a b c) `mappend` (Mods a' b' c') = Mods (a + a') (b + b') (c + c') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:264:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid Score’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Suggested fix: Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 264 | (Score t e mods) `mappend` (Score t' e' mods') = Score (t + t') (e + e') (mods `mappend` mods') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Elab/Provider.hs:80:16: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In a case alternative: Provide tm | otherwise -> ... | 80 | | otherwise -> | ^^^^^^^^^ src/Idris/Parser.hs:47:1: warning: [GHC-66111] [-Wunused-imports] The import of ‘Data.Foldable’ is redundant except perhaps to import instances from ‘Data.Foldable’ To import instances alone, use: import Data.Foldable() | 47 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Parser.hs:63:1: warning: [GHC-15328] [-Wdeprecations] Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated: "Compatibility module for users of ansi-wl-pprint - use \"Prettyprinter\" instead" | 63 | import qualified Text.PrettyPrint.ANSI.Leijen as PP | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Parser.hs:279:10: 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." | 279 | case head rs of -- can never be [] | ^^^^ src/Idris/Parser.hs:1526:22: warning: [GHC-68441] [-Wdeprecations] In the use of type constructor or class ‘Doc’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 1526 | fixColour :: Bool -> PP.Doc -> PP.Doc | ^^^^^^ src/Idris/Parser.hs:1526:32: warning: [GHC-68441] [-Wdeprecations] In the use of type constructor or class ‘Doc’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 1526 | fixColour :: Bool -> PP.Doc -> PP.Doc | ^^^^^^ src/Idris/Parser.hs:1527:23: warning: [GHC-68441] [-Wdeprecations] In the use of ‘plain’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 1527 | fixColour False doc = PP.plain doc | ^^^^^^^^ src/Idris/Parser.hs:1721:24: 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." | 1721 | case map head . filter ((/= 1) . length) $ histogram of | ^^^^ [ 95 of 115] Compiling Idris.REPL.Parser [ 96 of 115] Compiling Idris.Completion [ 97 of 115] Compiling Idris.Prover src/Idris/Prover.hs:264:49: 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." | 264 | undoStep prf env st LetStep = return (init prf, tail env, st) | ^^^^ src/Idris/Prover.hs:266:53: 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." | 266 | return (init prf, tail env, st') | ^^^^ [ 98 of 115] Compiling Idris.Chaser [ 99 of 115] Compiling Idris.CaseSplit src/Idris/CaseSplit.hs:475:70: 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." | 475 | let newPats' = mergeAllPats ist (sUN "_") (base (head ps)) | ^^^^ [100 of 115] Compiling Idris.Interactive [101 of 115] Compiling Idris.Apropos [102 of 115] Compiling IRTS.Exports [103 of 115] Compiling IRTS.JavaScript.Codegen src/IRTS/JavaScript/Codegen.hs:51:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘Semigroup CGStats’. Suggested fix: Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 51 | (<>) = mappend | ^^^^^^^^^^^^^^ src/IRTS/JavaScript/Codegen.hs:61:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid CGStats’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Suggested fix: Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 61 | mappend x y = CGStats { partialApplications = partialApplications x `Set.union` partialApplications y | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/IRTS/Compiler.hs:396:39: 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." | 396 | -> irTerm top vs env (head argsPruned) [104 of 115] Compiling IRTS.CodegenJavaScript [105 of 115] Compiling IRTS.CodegenC [106 of 115] Compiling IRTS.Compiler [107 of 115] Compiling Version_idris [108 of 115] Compiling Idris.Info [109 of 115] Compiling Idris.ModeCommon [110 of 115] Compiling Idris.REPL | ^^^^ src/IRTS/Compiler.hs:415:44: 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." | 415 | <$> irTerm top vs env (head argsPruned) | ^^^^ src/IRTS/Compiler.hs:649:53: 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." | 649 | then return . Just $ substSC (ns !! head used) n sc | ^^^^ src/Idris/REPL.hs:909: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." | 909 | setReplDefined (getName (head decls)) | ^^^^ src/Idris/REPL.hs:1136:68: 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." | 1136 | when (not (null d)) $ iputStrLn $ "Definition: " ++ (show (head d)) | ^^^^ src/Idris/REPL.hs:1273:53: 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." | 1273 | runIO $ generate t (fst (head (idris_imported ist))) ir | ^^^^ src/Idris/REPL.hs:1305:55: 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." | 1305 | runIO $ generate codegen (fst (head (idris_imported i))) ir' | ^^^^ src/Idris/REPL.hs:1452:80: 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." | 1452 | else return . Left $ "Illegal name: " ++ head bad | ^^^^ [111 of 115] Compiling Idris.Main [112 of 115] Compiling Idris.Info.Show [113 of 115] Compiling Idris.CmdOptions src/Idris/CmdOptions.hs:34:1: warning: [GHC-15328] [-Wdeprecations] Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated: "Compatibility module for users of ansi-wl-pprint - use \"Prettyprinter\" instead" | 34 | import qualified Text.PrettyPrint.ANSI.Leijen as PP | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/CmdOptions.hs:45:32: warning: [GHC-68441] [-Wdeprecations] In the use of ‘hsep’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 45 | idrisHeader = PP.hsep [PP.text "Idris version", PP.text getIdrisVersion, PP.text ", (C) The Idris Community 2016"] | ^^^^^^^ src/Idris/CmdOptions.hs:45:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 45 | idrisHeader = PP.hsep [PP.text "Idris version", PP.text getIdrisVersion, PP.text ", (C) The Idris Community 2016"] | ^^^^^^^ src/Idris/CmdOptions.hs:45:66: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 45 | idrisHeader = PP.hsep [PP.text "Idris version", PP.text getIdrisVersion, PP.text ", (C) The Idris Community 2016"] | ^^^^^^^ src/Idris/CmdOptions.hs:45:91: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 45 | idrisHeader = PP.hsep [PP.text "Idris version", PP.text getIdrisVersion, PP.text ", (C) The Idris Community 2016"] | ^^^^^^^ src/Idris/CmdOptions.hs:46:34: warning: [GHC-68441] [-Wdeprecations] In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 46 | idrisProgDesc = PP.vsep [PP.empty, | ^^^^^^^ src/Idris/CmdOptions.hs:46:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 46 | idrisProgDesc = PP.vsep [PP.empty, | ^^^^^^^^ src/Idris/CmdOptions.hs:47:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 47 | PP.text "Idris is a general purpose pure functional programming language with dependent", | ^^^^^^^ src/Idris/CmdOptions.hs:48:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 48 | PP.text "types. Dependent types allow types to be predicated on values, meaning that", | ^^^^^^^ src/Idris/CmdOptions.hs:49:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 49 | PP.text "some aspects of a program's behaviour can be specified precisely in the type.", | ^^^^^^^ src/Idris/CmdOptions.hs:50:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 50 | PP.text "It is compiled, with eager evaluation. Its features are influenced by Haskell", | ^^^^^^^ src/Idris/CmdOptions.hs:51:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 51 | PP.text "and ML.", | ^^^^^^^ src/Idris/CmdOptions.hs:52:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 52 | PP.empty, | ^^^^^^^^ [114 of 115] Compiling Idris.Package.Parser src/Idris/CmdOptions.hs:53:43: warning: [GHC-68441] [-Wdeprecations] In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 53 | PP.vsep $ map (PP.indent 4 . PP.text) [ | ^^^^^^^ src/Idris/CmdOptions.hs:53:58: warning: [GHC-68441] [-Wdeprecations] In the use of ‘indent’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 53 | PP.vsep $ map (PP.indent 4 . PP.text) [ | ^^^^^^^^^ src/Idris/CmdOptions.hs:53:72: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 53 | PP.vsep $ map (PP.indent 4 . PP.text) [ | ^^^^^^^ src/Idris/CmdOptions.hs:68:32: warning: [GHC-68441] [-Wdeprecations] In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 68 | idrisFooter = PP.vsep [PP.text "It is important to note that Idris is first and foremost a research tool", | ^^^^^^^ src/Idris/CmdOptions.hs:68:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 68 | idrisFooter = PP.vsep [PP.text "It is important to note that Idris is first and foremost a research tool", | ^^^^^^^ src/Idris/CmdOptions.hs:69:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 69 | PP.text "and project. Thus the tooling provided and resulting programs created", | ^^^^^^^ src/Idris/CmdOptions.hs:70:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 70 | PP.text "should not necessarily be seen as production ready nor for industrial use.", | ^^^^^^^ src/Idris/CmdOptions.hs:71:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 71 | PP.empty, | ^^^^^^^^ src/Idris/CmdOptions.hs:72:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 72 | PP.text "More details over Idris can be found online here:", | ^^^^^^^ src/Idris/CmdOptions.hs:73:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 73 | PP.empty, | ^^^^^^^^ src/Idris/CmdOptions.hs:74:41: warning: [GHC-68441] [-Wdeprecations] In the use of ‘indent’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 74 | PP.indent 4 (PP.text "https://www.idris-lang.org/")] | ^^^^^^^^^ src/Idris/CmdOptions.hs:74:54: warning: [GHC-68441] [-Wdeprecations] In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 74 | PP.indent 4 (PP.text "https://www.idris-lang.org/")] | ^^^^^^^ src/Idris/Package/Parser.hs:31:1: warning: [GHC-15328] [-Wdeprecations] Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated: "Compatibility module for users of ansi-wl-pprint - use \"Prettyprinter\" instead" | 31 | import qualified Text.PrettyPrint.ANSI.Leijen as PP | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Package/Parser.hs:45:36: warning: [GHC-68441] [-Wdeprecations] In the use of ‘plain’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | [115 of 115] Compiling Idris.Package 45 | Left err -> fail (show $ PP.plain $ parseErrorDoc err) | ^^^^^^^^ Preprocessing executable 'idris-codegen-c' for idris-1.3.4.. Building executable 'idris-codegen-c' for idris-1.3.4.. [1 of 2] Compiling Main [2 of 2] Compiling Paths_idris [3 of 3] Linking dist/build/idris-codegen-c/idris-codegen-c Preprocessing executable 'idris' for idris-1.3.4.. Building executable 'idris' for idris-1.3.4.. [1 of 1] Compiling Main [2 of 2] Linking dist/build/idris/idris Preprocessing executable 'idris-codegen-javascript' for idris-1.3.4.. Building executable 'idris-codegen-javascript' for idris-1.3.4.. [1 of 2] Compiling Main [2 of 2] Compiling Paths_idris [3 of 3] Linking dist/build/idris-codegen-javascript/idris-codegen-javascript Preprocessing executable 'idris-codegen-node' for idris-1.3.4.. Building executable 'idris-codegen-node' for idris-1.3.4.. [1 of 2] Compiling Main [2 of 2] Compiling Paths_idris [3 of 3] Linking dist/build/idris-codegen-node/idris-codegen-node Building libraries... make: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs' make -C prelude build make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/prelude' ../../dist/build/idris/idris --build prelude.ipkg Type checking ./Builtins.idr Type checking ./Prelude/Uninhabited.idr Type checking ./Prelude/Algebra.idr Type checking ./Prelude/Bool.idr Type checking ./Prelude/Basics.idr Type checking ./Prelude/Interfaces.idr Type checking ./Prelude/Foldable.idr Type checking ./Prelude/Cast.idr Type checking ./Prelude/Maybe.idr Type checking ./Prelude/Nat.idr Type checking ./Prelude/Functor.idr Type checking ./Prelude/List.idr Type checking ./Prelude/Either.idr Type checking ./Decidable/Equality.idr Type checking ./IO.idr Type checking ./Prelude/Applicative.idr Type checking ./Prelude/Traversable.idr Type checking ./Language/Reflection.idr Type checking ./Language/Reflection/Errors.idr Type checking ./Prelude/Monad.idr Type checking ./Language/Reflection/Elab.idr Type checking ./Prelude/WellFounded.idr Type checking ./Prelude/Doubles.idr Type checking ./Prelude/Chars.idr Type checking ./Prelude/Strings.idr Type checking ./Prelude/Bits.idr Type checking ./Prelude/Show.idr Type checking ./Prelude/File.idr Type checking ./Prelude/Interactive.idr Type checking ./Prelude/Providers.idr Type checking ./Prelude/Stream.idr Type checking ./Prelude/Pairs.idr Type checking ./Prelude.idr make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/prelude' make -C base build make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/base' ../../dist/build/idris/idris --build base.ipkg Type checking ./Data/Morphisms.idr Type checking ./Control/Category.idr Type checking ./Control/Arrow.idr Type checking ./Control/Monad/Trans.idr Type checking ./Control/Monad/Identity.idr Type checking ./Control/Monad/Reader.idr Type checking ./Control/Monad/Writer.idr Type checking ./Control/Monad/State.idr Type checking ./Control/Monad/RWS.idr Type checking ./Control/IOExcept.idr Type checking ./Control/Catchable.idr Type checking ./Data/Fin.idr Type checking ./Syntax/PreorderReasoning.idr Type checking ./Control/Isomorphism.idr Type checking ./Data/Bits.idr Type checking ./Data/Buffer.idr Type checking ./Data/Complex.idr Type checking ./Data/Erased.idr Type checking ./Data/Vect.idr Type checking ./Data/HVect.idr Type checking ./Data/IORef.idr Type checking ./Data/List.idr Type checking ./Data/List/Quantifiers.idr Type checking ./Data/Nat/Views.idr Type checking ./Data/List/Views.idr Type checking ./Data/Mod2.idr Type checking ./Data/Primitives/Views.idr Type checking ./Data/So.idr Type checking ./Data/String.idr Type checking ./Data/String/Views.idr Type checking ./Data/Vect/Quantifiers.idr Type checking ./Data/Vect/Views.idr Type checking ./System.idr Type checking ./Debug/Error.idr Type checking ./Debug/Trace.idr Type checking ./Language/Reflection/Utils.idr Type checking ./System/Concurrency/Raw.idr Type checking ./System/Concurrency/Channels.idr Type checking ./System/Info.idr make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/base' make -C contrib build make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/contrib' ../../dist/build/idris/idris --build contrib.ipkg Type checking ./CFFI/Types.idr Type checking ./CFFI/Memory.idr Type checking ./CFFI.idr Type checking ./Control/Algebra.idr Type checking ./Data/Heap.idr Type checking ./Control/Algebra/Lattice.idr Type checking ./Data/Bool/Extra.idr Type checking ./Data/Sign.idr Type checking ./Data/ZZ.idr Type checking ./Control/Algebra/VectorSpace.idr Type checking ./Control/Algebra/NumericImplementations.idr Type checking ./Interfaces/Verified.idr Type checking ./Control/Algebra/Laws.idr Type checking ./Control/Delayed.idr Type checking ./Control/Isomorphism/Extra.idr Type checking ./Control/Isomorphism/Fin.idr Type checking ./Control/Isomorphism/Primitives.idr Type checking ./Control/Isomorphism/Vect.idr Type checking ./Control/Monad/Syntax.idr Type checking ./Control/Partial.idr Type checking ./Control/Pipeline.idr Type checking ./Data/Fuel.idr Type checking ./Control/ST.idr Type checking ./Control/ST/Exception.idr Type checking ./Control/ST/ImplicitCall.idr Type checking ./Control/ST/Random.idr Type checking ./Control/ST/File.idr Type checking ./Data/Bool/Algebra.idr Type checking ./Data/BoundedList.idr Type checking ./Data/Chain.idr Type checking ./Data/CoList.idr Type checking ./Data/Combinators.idr Type checking ./Data/Combinators/Applicative.idr Type checking ./Data/Combinators/Arrow.idr Type checking ./Data/Fin/Extra.idr Type checking ./Data/Fun.idr Type checking ./Data/Hash.idr Type checking ./Data/IOArray.idr Type checking ./Data/List/Zipper.idr Type checking ./Data/List/Reverse.idr Type checking ./Data/Matrix.idr Type checking ./Data/Matrix/Algebraic.idr Type checking ./Data/Matrix/Numeric.idr Type checking ./Data/Nat.idr Type checking ./Data/Nat/Ack.idr Type checking ./Data/Nat/Fact.idr Type checking ./Data/Nat/Fib.idr Type checking ./Data/Nat/Parity.idr Type checking ./Data/Nat/DivMod.idr Type checking ./Data/Nat/DivMod/IteratedSubtraction.idr Type checking ./Data/Pairs/Implicit.idr Type checking ./Data/PosNat.idr Type checking ./Data/Rel.idr Type checking ./Data/SortedMap.idr Type checking ./Data/SortedBag.idr Type checking ./Data/SortedSet.idr Type checking ./Data/Storable.idr Type checking ./Data/Stream/Extra.idr Type checking ./Data/String/Extra.idr Type checking ./Decidable/Decidable.idr Type checking ./Decidable/Order.idr Type checking ./Interfaces/Correlative.idr Type checking ./Interfaces/Proposition.idr Type checking ./Language/JSON/Data.idr Type checking ./Text/Token.idr Type checking ./Text/Quantity.idr Type checking ./Text/Lexer/Core.idr Type checking ./Text/Lexer.idr Type checking ./Language/JSON/String/Tokens.idr Type checking ./Text/Parser/Core.idr Type checking ./Text/Parser.idr Type checking ./Language/JSON/String/Parser.idr Type checking ./Language/JSON/String/Lexer.idr Type checking ./Language/JSON/String.idr Type checking ./Language/JSON/Tokens.idr Type checking ./Language/JSON/Parser.idr Type checking ./Language/JSON/Lexer.idr Type checking ./Language/JSON.idr Type checking ./Network/Cgi.idr Type checking ./Network/Socket/Data.idr Type checking ./Network/Socket/Raw.idr Type checking ./Network/Socket.idr Type checking ./System/Concurrency/Process.idr Type checking ./Test/Unit/Display.idr Type checking ./Test/Unit/Runners.idr Type checking ./Text/PrettyPrint/WL/Core.idr Type checking ./Text/PrettyPrint/WL/Characters.idr Type checking ./Text/PrettyPrint/WL/Combinators.idr Type checking ./Text/PrettyPrint/WL.idr Type checking ./Test/Unit/Generic.idr Type checking ./Test/Unit/Assertions.idr Type checking ./Test/Unit.idr Type checking ./Text/Literate.idr make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/contrib' make -C effects build make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/effects' ../../dist/build/idris/idris --build effects.ipkg Type checking ./Effect/Default.idr Type checking ./Effects.idr Type checking ./Effect/Exception.idr Type checking ./Effect/File.idr Type checking ./Effect/Logging/Level.idr Type checking ./Effect/Logging/Category.idr Type checking ./Effect/Logging/Default.idr Type checking ./Effect/Memory.idr Type checking ./Effect/Monad.idr Type checking ./Effect/Perf.idr Type checking ./Effect/Random.idr Type checking ./Effect/Select.idr Type checking ./Effect/State.idr Type checking ./Effect/StdIO.idr Type checking ./Effect/System.idr Type checking ./Effect/Trans.idr make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/effects' make -C pruviloj build make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/pruviloj' ../../dist/build/idris/idris --build pruviloj.ipkg Type checking ./Pruviloj/Renamers.idr Type checking ./Pruviloj/Core.idr Type checking ./Pruviloj/Internals.idr Type checking ./Pruviloj/Injective.idr Type checking ./Pruviloj/Internals/TyConInfo.idr Type checking ./Pruviloj/Derive/Eliminators.idr Type checking ./Pruviloj/Induction.idr Type checking ./Pruviloj/Disjoint.idr Type checking ./Pruviloj.idr Type checking ./Pruviloj/Derive/DecEq.idr make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/pruviloj' make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs' make: Entering directory '/builddir/build/BUILD/idris-1.3.4/rts' gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_rts.o idris_rts.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_heap.o idris_heap.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_gc.o idris_gc.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_gmp.o idris_gmp.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_bitstring.o idris_bitstring.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_opts.o idris_opts.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_stats.o idris_stats.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_utf8.o idris_utf8.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_stdfgn.o idris_stdfgn.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_buffer.o idris_buffer.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o getline.o getline.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o idris_net.o idris_net.c gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-OpenCloudOS-linux\"" -fPIC -c -o mini-gmp.o mini-gmp.c ar rc libidris_rts.a idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o idris_utf8.o idris_stdfgn.o idris_buffer.o getline.o idris_net.o mini-gmp.o ranlib libidris_rts.a make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/rts' + '[' -n dist/build/libHSidris-1.3.4-8nQP4T5fgPa6BA5rzPVeEL-ghc9.8.4.so ']' + '[' -x Setup ']' + LANG=C.utf8 + ./Setup haddock --html --hyperlink-source --hoogle Preprocessing library for idris-1.3.4.. Running Haddock on library for idris-1.3.4.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: OneTuple-0.4.2, QuickCheck-2.14.3, StateVar-1.2.2, aeson-2.2.3.0, annotated-wl-pprint-0.7.0, ansi-terminal-1.1.2, ansi-terminal-types-1.1, ansi-wl-pprint-1.0.2, array-0.5.8.0, assoc-1.1.1, async-2.2.5, attoparsec-0.14.4, attoparsec-0.14.4, base-4.19.2.0, base-orphans-0.9.3, base64-bytestring-1.2.1.0, bifunctors-5.6.2, binary-0.8.9.1, blaze-builder-0.4.2.3, blaze-html-0.9.2.0, blaze-markup-0.8.3.0, bytestring-0.12.1.0, case-insensitive-1.2.1.0, character-ps-0.1, cheapskate-0.1.1.2, code-page-0.2.1, colour-2.3.6, comonad-5.0.9, containers-0.6.8, contravariant-1.5.5, css-text-0.1.3.0, data-default-0.7.1.1, data-default-class-0.1.2.2, data-default-instances-containers-0.1.0.3, data-default-instances-dlist-0.0.1.2, data-default-instances-old-locale-0.0.1.2, data-fix-0.3.4, deepseq-1.5.1.0, digest-0.0.2.1, directory-1.3.8.5, distributive-0.6.2.1, dlist-1.0, exceptions-0.10.7, filepath-1.4.301.0, fingertree-0.1.5.0, fsnotify-0.4.1.0, generically-0.1.1, ghc-bignum-1.3, ghc-boot-th-9.8.4, ghc-prim-0.11.0, hashable-1.4.7.0, haskeline-0.8.2.1, hinotify-0.4.2, ieee754-0.8.0, indexed-traversable-0.1.4, indexed-traversable-instances-0.1.2, integer-conversion-0.1.1, integer-logarithms-1.0.3.1, libffi-0.2.1, megaparsec-9.6.1, monad-control-1.0.3.1, mtl-2.3.1, network-3.2.7.0, network-uri-2.6.4.2, old-locale-1.0.0.7, optparse-applicative-0.18.1.0, os-string-2.0.7, parsec-3.1.17.0, parser-combinators-1.3.0, pretty-1.1.3.6, prettyprinter-1.7.1, prettyprinter-ansi-terminal-1.1.3, prettyprinter-compat-ansi-wl-pprint-1.0.2, primitive-0.9.0.0, process-1.6.25.0, random-1.2.1.3, regex-base-0.94.0.2, regex-tdfa-1.3.2.3, safe-0.3.21, safe-exceptions-0.1.7.4, scientific-0.3.8.0, semialign-1.3.1, semigroupoids-6.0.1, split-0.2.5, splitmix-0.1.1, stm-2.5.3.1, strict-0.5.1, syb-0.7.2.4, tagged-0.8.8, tagsoup-0.14.8, template-haskell-2.21.0.0, terminal-size-0.3.4, terminfo-0.4.1.6, text-2.1.1, text-iso8601-0.1.1, text-short-0.1.6, th-abstraction-0.7.1.0, th-compat-0.1.6, these-1.2.1, time-1.12.2, time-compat-1.9.6.1, transformers-0.6.1.0, transformers-base-0.4.6, transformers-compat-0.7.2, uniplate-1.6.13, unix-2.8.6.0, unix-compat-0.7.3, unordered-containers-0.2.20, utf8-string-1.0.2, uuid-types-1.0.6, vector-0.13.1.0, vector-binary-instances-0.2.5.2, vector-stream-0.1.0.1, witherable-0.5, xss-sanitize-0.3.7.2, zip-archive-0.4.3.2, zlib-0.7.1.0 Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 115] Compiling BuildFlags_idris ( dist/build/autogen/BuildFlags_idris.hs, nothing ) [ 2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, nothing ) [ 3 of 115] Compiling Idris.Colours ( src/Idris/Colours.hs, nothing ) [ 4 of 115] Compiling Idris.Help ( src/Idris/Help.hs, nothing ) [ 5 of 115] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, nothing ) [ 6 of 115] Compiling IRTS.System ( src/IRTS/System.hs, nothing ) [ 7 of 115] Compiling Tools_idris ( dist/build/autogen/Tools_idris.hs, nothing ) [ 8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, nothing ) [ 9 of 115] Compiling Util.Net ( src/Util/Net.hs, nothing ) [ 10 of 115] Compiling Util.Pretty ( src/Util/Pretty.hs, nothing ) [ 11 of 115] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, nothing ) src/Idris/Core/TT.hs:128:5: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup FC’. Suggested fix: Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 128 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:135:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid FC’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Suggested fix: Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 135 | mappend (FC f start end) (FC f' start' end') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Idris/Core/TT.hs:327:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad TC’. ‘return’ will eventually be removed in favour of ‘pure’ Suggested fix: Either remove definition for ‘return’ (recommended) or define as ‘return = pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 327 | return x = OK x | ^^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:344:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative TC’. Suggested fix: Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 344 | pure = return | ^^^^^^^^^^^^^ [ 12 of 115] Compiling Idris.Unlit ( src/Idris/Unlit.hs, nothing ) [ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, nothing ) [ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, nothing ) [ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, nothing ) src/Idris/Core/CaseTree.hs:276:51: 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." | 276 | let numargs = length (fst (head pats)) | ^^^^ src/Idris/Core/CaseTree.hs:444:32: 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." | 444 | = compare (snd . fst . head $ xs, numNames [] (map snd ys)) | ^^^^ src/Idris/Core/CaseTree.hs:445:32: 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." | 445 | (snd . fst . head $ ys, numNames [] (map snd xs)) | ^^^^ [ 16 of 115] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, nothing ) [ 17 of 115] Compiling Idris.Core.WHNF ( src/Idris/Core/WHNF.hs, nothing ) [ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, nothing ) [ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, nothing ) [ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, nothing ) [ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, nothing ) [ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, nothing ) [ 23 of 115] Compiling Idris.IdeMode ( src/Idris/IdeMode.hs, nothing ) [ 24 of 115] Compiling IRTS.Lang ( src/IRTS/Lang.hs, nothing ) [ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, nothing ) [ 26 of 115] Compiling IRTS.LangOpts ( src/IRTS/LangOpts.hs, nothing ) [ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, nothing ) [ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, nothing ) src/IRTS/JavaScript/PrimOp.hs:174:55: 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." | 174 | , item (LZExt (ITFixed IT8) ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:175: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." | 175 | , item (LZExt (ITFixed IT16) ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:176: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." | 176 | , item (LZExt (ITFixed IT32) ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:181:52: 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." | 181 | , item (LZExt (ITFixed IT64) ITBig) True PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:198: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." | 198 | , item (LIntFloat ITNative) False PTAny $ head | ^^^^ src/IRTS/JavaScript/PrimOp.hs:233: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." | 233 | , item LNoOp False PTAny $ head | ^^^^ [ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, nothing ) [ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, nothing ) [ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, nothing ) [ 32 of 115] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, nothing ) [ 33 of 115] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, nothing ) [ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, nothing ) [ 35 of 115] Compiling Idris.Options ( src/Idris/Options.hs, nothing ) [ 36 of 115] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, nothing ) [ 37 of 115] Compiling IRTS.Portable ( src/IRTS/Portable.hs, nothing ) [ 38 of 115] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, nothing ) [ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, nothing ) src/Idris/Core/ProofState.hs:345: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." | 345 | | not $ null (holes ps) = do g <- goal (Just (head (holes ps))) (pterm ps) | ^^^^ src/Idris/Core/ProofState.hs:351: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." | 351 | | not $ null (holes ps) = do g <- goal (Just (head (holes ps))) (pterm ps) | ^^^^ [ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, nothing ) src/Idris/Core/Elaborate.hs:516:39: 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." | 516 | let pt' = refocus (Just (head (holes ps))) (pterm ps) | ^^^^ src/Idris/Core/Elaborate.hs:635:27: 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." | 635 | then head hs : dontunify p | ^^^^ src/Idris/Core/Elaborate.hs:636:40: 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." | 636 | else getNonUnify (head hs : dontunify p) imps args | ^^^^ [ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, nothing ) [ 42 of 115] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, nothing ) [ 43 of 115] Compiling Idris.ASTUtils ( src/Idris/ASTUtils.hs, nothing ) [ 44 of 115] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, nothing ) [ 45 of 115] Compiling Util.System ( src/Util/System.hs, nothing ) [ 46 of 115] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, nothing ) src/Idris/AbsSyntax.hs:1612:43: 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." | 1612 | (NoSuchVariable (head badnames)))) | ^^^^ src/Idris/AbsSyntax.hs:2272:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative (EitherErr a)’. Suggested fix: Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2272 | pure = return | ^^^^^^^^^^^^^^ src/Idris/AbsSyntax.hs:2276:5: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad (EitherErr a)’. ‘return’ will eventually be removed in favour of ‘pure’ Suggested fix: Either remove definition for ‘return’ (recommended) or define as ‘return = pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2276 | return = RightOK | ^^^^^^^^^^^^^^^^ [ 47 of 115] Compiling Idris.WhoCalls ( src/Idris/WhoCalls.hs, nothing ) [ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, nothing ) [ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, nothing ) [ 50 of 115] Compiling Idris.Inliner ( src/Idris/Inliner.hs, nothing ) [ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, nothing ) [ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, nothing ) [ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, nothing ) [ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, nothing ) [ 55 of 115] Compiling Idris.Reflection ( src/Idris/Reflection.hs, nothing ) [ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, nothing ) [ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, nothing ) [ 58 of 115] Compiling Idris.Output ( src/Idris/Output.hs, nothing ) [ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, nothing ) [ 60 of 115] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, nothing ) src/Idris/Parser/Helpers.hs:99:1: warning: [GHC-15328] [-Wdeprecations] Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated: "Compatibility module for users of ansi-wl-pprint - use \"Prettyprinter\" instead" | 99 | import qualified Text.PrettyPrint.ANSI.Leijen as PP | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/Parser/Helpers.hs:105:32: warning: [GHC-68441] [-Wdeprecations] In the use of type constructor or class ‘Doc’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 105 | parseErrorDoc :: ParseError -> PP.Doc | ^^^^^^ src/Idris/Parser/Helpers.hs:106:17: warning: [GHC-68441] [-Wdeprecations] In the use of ‘string’ (imported from Text.PrettyPrint.ANSI.Leijen): Deprecated: "Compatibility module for users of ansi-wl-pprint - use "Prettyprinter" instead" | 106 | parseErrorDoc = PP.string . prettyError | ^^^^^^^^^ [ 61 of 115] Compiling Idris.Parser.Ops ( src/Idris/Parser/Ops.hs, nothing ) [ 62 of 115] Compiling Idris.Error ( src/Idris/Error.hs, nothing ) [ 63 of 115] Compiling Idris.Termination ( src/Idris/Termination.hs, nothing ) [ 64 of 115] Compiling Idris.Providers ( src/Idris/Providers.hs, nothing ) [ 65 of 115] Compiling Idris.Imports ( src/Idris/Imports.hs, nothing ) [ 66 of 115] Compiling Idris.REPL.Commands ( src/Idris/REPL/Commands.hs, nothing ) [ 67 of 115] Compiling Idris.Package.Common ( src/Idris/Package/Common.hs, nothing ) [ 68 of 115] Compiling Idris.Directives ( src/Idris/Directives.hs, nothing ) [ 69 of 115] Compiling Idris.IBC ( src/Idris/IBC.hs, nothing ) src/Idris/IBC.hs:457:92: 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." | 457 | Just ploc -> unwords ["Please reinstall:", L.head $ splitDirectories ploc] | ^^^^^^ [ 70 of 115] Compiling Idris.Erasure ( src/Idris/Erasure.hs, nothing ) [ 71 of 115] Compiling Idris.Elab.Utils ( src/Idris/Elab/Utils.hs, nothing ) [ 72 of 115] Compiling Idris.Elab.Rewrite ( src/Idris/Elab/Rewrite.hs, nothing ) [ 73 of 115] Compiling Idris.Docs ( src/Idris/Docs.hs, nothing ) [ 74 of 115] Compiling Idris.IdrisDoc ( src/Idris/IdrisDoc.hs, nothing ) src/Idris/IdrisDoc.hs:511:34: 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 | in if (head n') `elem` opChars | ^^^^ src/Idris/IdrisDoc.hs:579:34: 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." | 579 | in if (head n') `elem` opChars | ^^^^ src/Idris/IdrisDoc.hs:599:33: 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." | 599 | in if (head n') `elem` opChars | ^^^^ [ 75 of 115] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, nothing ) [ 76 of 115] Compiling Idris.DSL ( src/Idris/DSL.hs, nothing ) [ 77 of 115] Compiling Idris.Parser.Expr ( src/Idris/Parser/Expr.hs, nothing ) src/Idris/Parser/Expr.hs:138:10: 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." | 138 | case head rs of -- can never be [] | ^^^^ [ 78 of 115] Compiling Idris.Parser.Data ( src/Idris/Parser/Data.hs, nothing ) [ 79 of 115] Compiling Idris.Coverage ( src/Idris/Coverage.hs, nothing ) [ 80 of 115] Compiling Idris.Elab.Term ( src/Idris/Elab/Term.hs, nothing )