Mock Version: 5.5 Mock Version: 5.5 Mock Version: 5.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target loongarch64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/home/lib/ocmock/dist-oc9-epol-build-227310-81149/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=981gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target loongarch64 --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 Building target platforms: loongarch64 Building for target loongarch64 Wrote: /builddir/build/SRPMS/idris-1.3.4-2.oc9.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target loongarch64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/home/lib/ocmock/dist-oc9-epol-build-227310-81149/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=981gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target loongarch64 --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 Building target platforms: loongarch64 Building for target loongarch64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.mrpnJa + 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.Wc3HBr + 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 -fasynchronous-unwind-tables -fstack-clash-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 -fasynchronous-unwind-tables -fstack-clash-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 -fasynchronous-unwind-tables -fstack-clash-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 -fasynchronous-unwind-tables -fstack-clash-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 -fasynchronous-unwind-tables -fstack-clash-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 ++ 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 -fasynchronous-unwind-tables -fstack-clash-protection ++ sed -e 's/ / -optc/g' ++ 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-fasynchronous-unwind-tables -optc-fstack-clash-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 Configuring idris-1.3.4... Warning: idris.cabal:158:3: The field "manual" is specified more than once at positions 158:3, 159:3 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 | ^^^^ 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 [ 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 [ 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 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 [ 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 | ^^^^^^^^^