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 riscv64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f40-build-209533-8313/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=864000uid=997gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6gbz0m8j:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6gbz0m8j:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '051d3676a9324a2da47428ede16dc98c', '-D', '/var/lib/mock/f40-build-209533-8313/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6gbz0m8j:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1706054400 Wrote: /builddir/build/SRPMS/idris-1.3.4-14.fc40.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f40-build-209533-8313/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=864000uid=997gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6gbz0m8j:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6gbz0m8j:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '374584b2df504f5a890167290454fb04', '-D', '/var/lib/mock/f40-build-209533-8313/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6gbz0m8j:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1706054400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.rUjgKU + 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 + rm -rf /builddir/build/BUILD/idris-1.3.4-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/idris-1.3.4-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cabal-tweak-dep-ver aeson '< 1.6' '< 2.2' + cabal-tweak-dep-ver bytestring '< 0.11' '< 0.12' + cabal-tweak-dep-ver fsnotify '< 0.4' '< 0.5' + cabal-tweak-dep-ver libffi '< 0.2' '< 0.3' + cabal-tweak-dep-ver network '< 3.1.2' '< 3.2' + cabal-tweak-dep-ver optparse-applicative '< 0.17' '< 0.18' + cabal-tweak-dep-ver text '< 1.4' '< 2.2' + cabal-tweak-dep-ver vector '< 0.13' '< 0.14' + cabal-tweak-flag FFI True + cabal-tweak-flag GMP True + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.j7wE6Z + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -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 ']' + echo -e '\n==== Build idris-1.3.4 ====' ==== Build idris-1.3.4 ==== + '[' -f Setup.hs -o -f Setup.lhs ']' + '[' -d /usr/lib64/ghc-9.4.5/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 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' -Wl,--as-needed -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -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.4.5/lib --global '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-fasynchronous-unwind-tables -optc-fno-omit-frame-pointer -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1 -fhide-source-paths' --enable-library-profiling --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:127:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup FC’. Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 127 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:134:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid FC’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 134 | mappend (FC f start end) (FC f' start' end') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Idris/Core/TT.hs:326:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad TC’. ‘return’ will eventually be removed in favour of ‘pure’ 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 | 326 | return x = OK x | ^^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:343:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative TC’. Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 343 | 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: [-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 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 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 [ 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 [ 40 of 115] Compiling Idris.Core.Elaborate [ 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:2271:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative (EitherErr a)’. Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2271 | pure = return | ^^^^^^^^^^^^^^ src/Idris/AbsSyntax.hs:2275:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad (EitherErr a)’. ‘return’ will eventually be removed in favour of ‘pure’ 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 | 2275 | 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: [-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 [ 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 [ 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 [ 75 of 115] Compiling Idris.DataOpts [ 76 of 115] Compiling Idris.DSL [ 77 of 115] Compiling Idris.Parser.Expr [ 78 of 115] Compiling Idris.Parser.Data [ 79 of 115] Compiling Idris.Coverage [ 80 of 115] Compiling Idris.Elab.Term [ 81 of 115] Compiling Idris.Elab.Value [ 82 of 115] Compiling Idris.Elab.Type [ 83 of 115] Compiling Idris.TypeSearch [ 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 src/Idris/TypeSearch.hs:248:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup AsymMods’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup Score’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid (Sided a)’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid AsymMods’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid Score’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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: [-Woverlapping-patterns] Pattern match is redundant In a case alternative: Provide tm | otherwise -> ... | 80 | | otherwise -> | ^^^^^^^^^ [ 93 of 115] Compiling Idris.ElabDecls [ 94 of 115] Compiling Idris.Parser src/Idris/Parser.hs:47:1: warning: [-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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 95 of 115] Compiling Idris.REPL.Parser [ 96 of 115] Compiling Idris.Completion [ 97 of 115] Compiling Idris.Prover [ 98 of 115] Compiling Idris.Chaser [ 99 of 115] Compiling Idris.CaseSplit [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 [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/JavaScript/Codegen.hs:51:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘Semigroup CGStats’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid CGStats’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [111 of 115] Compiling Idris.Main [112 of 115] Compiling Idris.Info.Show [113 of 115] Compiling Idris.CmdOptions [114 of 115] Compiling Idris.Package.Parser [115 of 115] Compiling Idris.Package on the commandline: warning: [-Wdeprecated-flags] -auto-all is deprecated: Use -fprof-auto instead on the commandline: warning: [-Wdeprecated-flags] -caf-all is deprecated: Use -fprof-cafs instead [ 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:127:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup FC’. Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 127 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:134:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid FC’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 134 | mappend (FC f start end) (FC f' start' end') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Idris/Core/TT.hs:326:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad TC’. ‘return’ will eventually be removed in favour of ‘pure’ 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 | 326 | return x = OK x | ^^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:343:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative TC’. Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 343 | 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: [-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 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 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 [ 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 [ 40 of 115] Compiling Idris.Core.Elaborate [ 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:2271:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative (EitherErr a)’. Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2271 | pure = return | ^^^^^^^^^^^^^^ src/Idris/AbsSyntax.hs:2275:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad (EitherErr a)’. ‘return’ will eventually be removed in favour of ‘pure’ 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 | 2275 | 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: [-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 [ 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 [ 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 [ 75 of 115] Compiling Idris.DataOpts [ 76 of 115] Compiling Idris.DSL [ 77 of 115] Compiling Idris.Parser.Expr [ 78 of 115] Compiling Idris.Parser.Data [ 79 of 115] Compiling Idris.Coverage [ 80 of 115] Compiling Idris.Elab.Term [ 81 of 115] Compiling Idris.Elab.Value [ 82 of 115] Compiling Idris.Elab.Type [ 83 of 115] Compiling Idris.TypeSearch [ 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 src/Idris/TypeSearch.hs:248:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup AsymMods’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup Score’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid (Sided a)’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid AsymMods’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid Score’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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: [-Woverlapping-patterns] Pattern match is redundant In a case alternative: Provide tm | otherwise -> ... | 80 | | otherwise -> | ^^^^^^^^^ src/Idris/Parser.hs:47:1: warning: [-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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 95 of 115] Compiling Idris.REPL.Parser [ 96 of 115] Compiling Idris.Completion [ 97 of 115] Compiling Idris.Prover [ 98 of 115] Compiling Idris.Chaser [ 99 of 115] Compiling Idris.CaseSplit [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 [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/JavaScript/Codegen.hs:51:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘Semigroup CGStats’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid CGStats’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [111 of 115] Compiling Idris.Main [112 of 115] Compiling Idris.Info.Show [113 of 115] Compiling Idris.CmdOptions [114 of 115] Compiling Idris.Package.Parser [115 of 115] Compiling Idris.Package 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-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-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/local/include -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"riscv64-redhat-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-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.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.1.1, QuickCheck-2.14.3, StateVar-1.2.2, aeson-2.1.2.1, annotated-wl-pprint-0.7.0, ansi-terminal-0.11.5, ansi-terminal-types-0.11.5, ansi-wl-pprint-0.6.9, array-0.5.4.0, assoc-1.1, async-2.2.4, attoparsec-0.14.4, attoparsec-0.14.4, base-4.17.1.0, base-compat-0.12.3, base-compat-batteries-0.12.3, base-orphans-0.9.0, base64-bytestring-1.2.1.0, bifunctors-5.5.15, binary-0.8.9.1, blaze-builder-0.4.2.2, blaze-html-0.9.1.2, blaze-markup-0.8.2.8, bytestring-0.11.4.0, case-insensitive-1.2.1.0, cheapskate-0.1.1.2, code-page-0.2.1, colour-2.3.6, comonad-5.0.8, containers-0.6.7, contravariant-1.5.5, css-text-0.1.3.0, data-default-0.7.1.1, data-default-class-0.1.2.0, data-default-instances-containers-0.0.1, data-default-instances-dlist-0.0.1, data-default-instances-old-locale-0.0.1, data-fix-0.3.2, deepseq-1.4.8.0, digest-0.0.1.7, directory-1.3.7.1, distributive-0.6.2.1, dlist-1.0, exceptions-0.10.5, filepath-1.4.2.2, fingertree-0.1.5.0, foldable1-classes-compat-0.1, fsnotify-0.4.1.0, generically-0.1.1, ghc-bignum-1.3, ghc-boot-th-9.4.5, ghc-prim-0.9.0, hashable-1.4.2.0, haskeline-0.8.2, hinotify-0.4.1, ieee754-0.8.0, indexed-traversable-0.1.2.1, indexed-traversable-instances-0.1.1.2, integer-logarithms-1.0.3.1, libffi-0.2.1, megaparsec-9.3.1, monad-control-1.0.3.1, mtl-2.2.2, network-3.1.4.0, network-uri-2.6.4.2, old-locale-1.0.0.7, optparse-applicative-0.17.1.0, parsec-3.1.16.1, parser-combinators-1.3.0, pretty-1.1.3.6, primitive-0.8.0.0, process-1.6.16.0, random-1.2.1.1, regex-base-0.94.0.2, regex-tdfa-1.3.2.1, safe-0.3.19, safe-exceptions-0.1.7.4, scientific-0.3.7.0, semialign-1.3, semigroupoids-5.3.7, split-0.2.3.5, splitmix-0.1.0.4, stm-2.5.1.0, strict-0.5, syb-0.7.2.3, tagged-0.8.7, tagsoup-0.14.8, template-haskell-2.19.0.0, terminal-size-0.3.4, terminfo-0.4.1.5, text-2.0.2, text-short-0.1.5, th-abstraction-0.4.5.0, th-compat-0.1.4, these-1.2, time-1.12.2, time-compat-1.9.6.1, transformers-0.5.6.2, transformers-base-0.4.6, transformers-compat-0.7.2, uniplate-1.6.13, unix-2.7.3, unix-compat-0.7, unordered-containers-0.2.19.1, utf8-string-1.0.2, uuid-types-1.0.5, vector-0.13.0.0, vector-binary-instances-0.2.5.2, vector-stream-0.1.0.0, witherable-0.4.2, xss-sanitize-0.3.7.2, zip-archive-0.4.3, zlib-0.6.3.0 Warning: --source-* options are ignored when --hyperlinked-source is enabled. src/Idris/Core/TT.hs:127:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup FC’. Move definition from ‘mappend’ to ‘(<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 127 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:134:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid FC’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 134 | mappend (FC f start end) (FC f' start' end') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Idris/Core/TT.hs:326:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad TC’. ‘return’ will eventually be removed in favour of ‘pure’ 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 | 326 | return x = OK x | ^^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:343:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative TC’. Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 343 | pure = return | ^^^^^^^^^^^^^ 8% ( 1 / 12) in 'IRTS.JavaScript.AST' Missing documentation for: JsExpr (src/IRTS/JavaScript/AST.hs:61) JsStmt (src/IRTS/JavaScript/AST.hs:31) jsAst2Text (src/IRTS/JavaScript/AST.hs:216) jsStmt2Text (src/IRTS/JavaScript/AST.hs:141) jsLazy (src/IRTS/JavaScript/AST.hs:277) jsCurryLam (src/IRTS/JavaScript/AST.hs:127) jsCurryApp (src/IRTS/JavaScript/AST.hs:131) jsAppN (src/IRTS/JavaScript/AST.hs:135) jsExpr2Stmt (src/IRTS/JavaScript/AST.hs:280) jsStmt2Expr (src/IRTS/JavaScript/AST.hs:283) jsSetVar (src/IRTS/JavaScript/AST.hs:138) 29% ( 5 / 17) in 'Idris.Colours' Missing documentation for: IdrisColour (src/Idris/Colours.hs:22) ColourTheme (src/Idris/Colours.hs:33) colouriseKwd (src/Idris/Colours.hs:90) colouriseBound (src/Idris/Colours.hs:93) colouriseImplicit (src/Idris/Colours.hs:96) colourisePostulate (src/Idris/Colours.hs:114) colouriseType (src/Idris/Colours.hs:102) colouriseFun (src/Idris/Colours.hs:99) colouriseData (src/Idris/Colours.hs:105) colouriseKeyword (src/Idris/Colours.hs:111) colourisePrompt (src/Idris/Colours.hs:108) ColourType (src/Idris/Colours.hs:118) 66% ( 2 / 3) in 'Idris.Help' Missing documentation for: CmdArg (src/Idris/Help.hs:11) 8% ( 1 / 12) in 'IRTS.System' Missing documentation for: getIdrisDataFileByName (src/IRTS/System.hs:46) getCC (src/IRTS/System.hs:62) getLibFlags (src/IRTS/System.hs:92) getIdrisDataDir (src/IRTS/System.hs:37) getIdrisLibDir (src/IRTS/System.hs:99) getIdrisDocDir (src/IRTS/System.hs:101) getIdrisCRTSDir (src/IRTS/System.hs:107) getIdrisJSRTSDir (src/IRTS/System.hs:103) getIncFlags (src/IRTS/System.hs:111) getEnvFlags (src/IRTS/System.hs:71) version (dist/build/autogen/Paths_idris.hs:32) 20% ( 1 / 5) in 'Util.DynamicLinker' Missing documentation for: ForeignFun (src/Util/DynamicLinker.hs:57) DynamicLib (src/Util/DynamicLinker.hs:61) tryLoadLib (src/Util/DynamicLinker.hs:91) tryLoadFn (src/Util/DynamicLinker.hs:149) Warning: Util.Pretty: Could not find documentation for exported module: Text.PrettyPrint.Annotated.Leijen Warning: 'normalised' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 38% ( 53 /137) in 'Idris.Core.TT' Missing documentation for: AppStatus (src/Idris/Core/TT.hs:983) ArithTy (src/Idris/Core/TT.hs:681) Const (src/Idris/Core/TT.hs:697) ConstraintFC (src/Idris/Core/TT.hs:945) DataOpts (src/Idris/Core/TT.hs:1107) Datatype (src/Idris/Core/TT.hs:1095) Env (src/Idris/Core/TT.hs:1532) EnvTT (src/Idris/Core/TT.hs:1083) Err (src/Idris/Core/TT.hs:313) ImplicitInfo (src/Idris/Core/TT.hs:827) IntTy (src/Idris/Core/TT.hs:672) NameType (src/Idris/Core/TT.hs:961) NativeTy (src/Idris/Core/TT.hs:663) Provenance (src/Idris/Core/TT.hs:242) Raw (src/Idris/Core/TT.hs:804) RigCount (src/Idris/Core/TT.hs:1058) SpecialName (src/Idris/Core/TT.hs:496) TC (src/Idris/Core/TT.hs:315) Term (src/Idris/Core/TT.hs:1529) TermSize (src/Idris/Core/TT.hs:1012) Type (src/Idris/Core/TT.hs:1530) TypeInfo (src/Idris/Core/TT.hs:1109) UCs (src/Idris/Core/TT.hs:959) Universe (src/Idris/Core/TT.hs:796) addAlist (src/Idris/Core/TT.hs:659) addBinder (src/Idris/Core/TT.hs:1196) addDef (src/Idris/Core/TT.hs:604) allTTNames (src/Idris/Core/TT.hs:1735) caseName (src/Idris/Core/TT.hs:487) deleteDefExact (src/Idris/Core/TT.hs:646) discard (src/Idris/Core/TT.hs:441) emptyContext (src/Idris/Core/TT.hs:579) fmapMB (src/Idris/Core/TT.hs:900) forgetEnv (src/Idris/Core/TT.hs:1418) getRetTy (src/Idris/Core/TT.hs:1469) implicitable (src/Idris/Core/TT.hs:593) internalNS (src/Idris/Core/TT.hs:922) intTyName (src/Idris/Core/TT.hs:675) isTypeConst (src/Idris/Core/TT.hs:730) lookupCtxt (src/Idris/Core/TT.hs:640) lookupCtxtExact (src/Idris/Core/TT.hs:643) mapCtxt (src/Idris/Core/TT.hs:581) nativeTyWidth (src/Idris/Core/TT.hs:691) nextName (src/Idris/Core/TT.hs:1507) nsroot (src/Idris/Core/TT.hs:600) pEraseType (src/Idris/Core/TT.hs:1234) pmap (src/Idris/Core/TT.hs:449) pprintTTClause (src/Idris/Core/TT.hs:1835) prettyEnv (src/Idris/Core/TT.hs:1573) psubst (src/Idris/Core/TT.hs:1282) raw_apply (src/Idris/Core/TT.hs:911) raw_unapply (src/Idris/Core/TT.hs:915) refsIn (src/Idris/Core/TT.hs:1726) safeForget (src/Idris/Core/TT.hs:1415) safeForgetEnv (src/Idris/Core/TT.hs:1424) showCG (src/Idris/Core/TT.hs:550) showEnv (src/Idris/Core/TT.hs:1569) showEnvDbg (src/Idris/Core/TT.hs:1571) showSep (src/Idris/Core/TT.hs:444) sImplementationN (src/Idris/Core/TT.hs:509) sMN (src/Idris/Core/TT.hs:484) sNS (src/Idris/Core/TT.hs:481) str (src/Idris/Core/TT.hs:468) sUN (src/Idris/Core/TT.hs:478) tfail (src/Idris/Core/TT.hs:438) thead (src/Idris/Core/TT.hs:474) tnull (src/Idris/Core/TT.hs:471) toAlist (src/Idris/Core/TT.hs:655) traceWhen (src/Idris/Core/TT.hs:451) txt (src/Idris/Core/TT.hs:465) uniqueBinders (src/Idris/Core/TT.hs:1497) uniqueName (src/Idris/Core/TT.hs:1489) uniqueNameFrom (src/Idris/Core/TT.hs:1483) uniqueNameSet (src/Idris/Core/TT.hs:1493) unList (src/Idris/Core/TT.hs:1383) updateDef (src/Idris/Core/TT.hs:649) rigPlus (src/Idris/Core/TT.hs:1061) rigMult (src/Idris/Core/TT.hs:1072) fstEnv (src/Idris/Core/TT.hs:1085) rigEnv (src/Idris/Core/TT.hs:1086) sndEnv (src/Idris/Core/TT.hs:1087) lookupBinder (src/Idris/Core/TT.hs:1092) envBinders (src/Idris/Core/TT.hs:1089) envZero (src/Idris/Core/TT.hs:1090) 50% ( 1 / 2) in 'Idris.Unlit' Missing documentation for: unlit (src/Idris/Unlit.hs:14) 87% ( 14 / 16) in 'Idris.Docstrings' Missing documentation for: Inline (src/Idris/Docstrings.hs:69) renderHtml (src/Idris/Docstrings.hs:243) 100% ( 2 / 2) in 'Idris.Core.Constraints' 10% ( 2 / 19) in 'Idris.Core.CaseTree' Missing documentation for: CaseDef (src/Idris/Core/CaseTree.hs:41) SC (src/Idris/Core/CaseTree.hs:57) SC' (src/Idris/Core/CaseTree.hs:44) CaseAlt (src/Idris/Core/CaseTree.hs:69) CaseAlt' (src/Idris/Core/CaseTree.hs:59) ErasureInfo (src/Idris/Core/CaseTree.hs:239) Phase (src/Idris/Core/CaseTree.hs:245) CaseTree (src/Idris/Core/CaseTree.hs:101) CaseType (src/Idris/Core/CaseTree.hs:54) simpleCase (src/Idris/Core/CaseTree.hs:253) small (src/Idris/Core/CaseTree.hs:122) namesUsed (src/Idris/Core/CaseTree.hs:127) findCalls' (src/Idris/Core/CaseTree.hs:154) findUsedArgs (src/Idris/Core/CaseTree.hs:209) substSC (src/Idris/Core/CaseTree.hs:824) substAlt (src/Idris/Core/CaseTree.hs:833) mkForce (src/Idris/Core/CaseTree.hs:844) 28% ( 23 / 82) in 'Idris.Core.Evaluate' Missing documentation for: normalise (src/Idris/Core/Evaluate.hs:124) normaliseTrace (src/Idris/Core/Evaluate.hs:127) toValue (src/Idris/Core/Evaluate.hs:132) quoteTerm (src/Idris/Core/Evaluate.hs:136) specialise (src/Idris/Core/Evaluate.hs:141) convEq (src/Idris/Core/Evaluate.hs:613) convEq' (src/Idris/Core/Evaluate.hs:611) CaseInfo (src/Idris/Core/Evaluate.hs:746) CaseDefs (src/Idris/Core/Evaluate.hs:740) Accessibility (src/Idris/Core/Evaluate.hs:785) Injectivity (src/Idris/Core/Evaluate.hs:794) TTDecl (src/Idris/Core/Evaluate.hs:852) MetaInformation (src/Idris/Core/Evaluate.hs:838) next_tvar (src/Idris/Core/Evaluate.hs:848) addToCtxt (src/Idris/Core/Evaluate.hs:868) setAccess (src/Idris/Core/Evaluate.hs:874) setInjective (src/Idris/Core/Evaluate.hs:880) setTotal (src/Idris/Core/Evaluate.hs:886) setRigCount (src/Idris/Core/Evaluate.hs:892) setMetaInformation (src/Idris/Core/Evaluate.hs:898) addCtxtDef (src/Idris/Core/Evaluate.hs:904) addTyDecl (src/Idris/Core/Evaluate.hs:909) addDatatype (src/Idris/Core/Evaluate.hs:915) addCasedef (src/Idris/Core/Evaluate.hs:933) simplifyCasedef (src/Idris/Core/Evaluate.hs:970) addOperator (src/Idris/Core/Evaluate.hs:1026) lookupNames (src/Idris/Core/Evaluate.hs:1035) lookupP (src/Idris/Core/Evaluate.hs:1131) lookupP_all (src/Idris/Core/Evaluate.hs:1134) lookupDef (src/Idris/Core/Evaluate.hs:1155) lookupNameDef (src/Idris/Core/Evaluate.hs:1158) lookupDefExact (src/Idris/Core/Evaluate.hs:1152) lookupDefAcc (src/Idris/Core/Evaluate.hs:1163) lookupDefAccExact (src/Idris/Core/Evaluate.hs:1177) lookupVal (src/Idris/Core/Evaluate.hs:1241) mapDefCtxt (src/Idris/Core/Evaluate.hs:858) tcReducible (src/Idris/Core/Evaluate.hs:1227) lookupTotalAccessibility (src/Idris/Core/Evaluate.hs:1171) lookupTotal (src/Idris/Core/Evaluate.hs:1185) lookupTotalExact (src/Idris/Core/Evaluate.hs:1189) lookupInjectiveExact (src/Idris/Core/Evaluate.hs:1201) lookupRigCount (src/Idris/Core/Evaluate.hs:1193) lookupRigCountExact (src/Idris/Core/Evaluate.hs:1197) lookupNameTotal (src/Idris/Core/Evaluate.hs:1237) lookupMetaInformation (src/Idris/Core/Evaluate.hs:1233) lookupTyEnv (src/Idris/Core/Evaluate.hs:1249) isTCDict (src/Idris/Core/Evaluate.hs:1104) isTConName (src/Idris/Core/Evaluate.hs:1075) isConName (src/Idris/Core/Evaluate.hs:1072) isFnName (src/Idris/Core/Evaluate.hs:1096) conGuarded (src/Idris/Core/Evaluate.hs:1114) Quote (src/Idris/Core/Evaluate.hs:568) initEval (src/Idris/Core/Evaluate.hs:61) uniqueBindersCtxt (src/Idris/Core/Evaluate.hs:1263) definitions (src/Idris/Core/Evaluate.hs:849) visibleDefinitions (src/Idris/Core/Evaluate.hs:1123) isUniverse (src/Idris/Core/Evaluate.hs:602) linearCheck (src/Idris/Core/Evaluate.hs:1206) linearCheckArg (src/Idris/Core/Evaluate.hs:1216) 75% ( 3 / 4) in 'Idris.Core.WHNF' Missing documentation for: WEnv (src/Idris/Core/WHNF.hs:21) 14% ( 1 / 7) in 'Idris.Core.Unify' Missing documentation for: match_unify (src/Idris/Core/Unify.hs:68) unify (src/Idris/Core/Unify.hs:248) Fails (src/Idris/Core/Unify.hs:40) FailContext (src/Idris/Core/Unify.hs:34) FailAt (src/Idris/Core/Unify.hs:31) unrecoverable (src/Idris/Core/Unify.hs:44) 7% ( 1 / 13) in 'Idris.Core.Typecheck' Missing documentation for: convertsC (src/Idris/Core/Typecheck.hs:24) converts (src/Idris/Core/Typecheck.hs:37) isHole (src/Idris/Core/Typecheck.hs:49) errEnv (src/Idris/Core/Typecheck.hs:52) isType (src/Idris/Core/Typecheck.hs:54) convType (src/Idris/Core/Typecheck.hs:59) recheck (src/Idris/Core/Typecheck.hs:67) recheck_borrowing (src/Idris/Core/Typecheck.hs:70) check (src/Idris/Core/Typecheck.hs:81) check' (src/Idris/Core/Typecheck.hs:86) UniqueUse (src/Idris/Core/Typecheck.hs:315) checkUnique (src/Idris/Core/Typecheck.hs:323) 29% ( 5 / 17) in 'Idris.Core.ProofTerm' Missing documentation for: ProofTerm (src/Idris/Core/ProofTerm.hs:98) Goal (src/Idris/Core/ProofTerm.hs:124) mkProofTerm (src/Idris/Core/ProofTerm.hs:128) getProofTerm (src/Idris/Core/ProofTerm.hs:131) resetProofTerm (src/Idris/Core/ProofTerm.hs:134) updateSolved (src/Idris/Core/ProofTerm.hs:271) bound_in (src/Idris/Core/ProofTerm.hs:353) bound_in_term (src/Idris/Core/ProofTerm.hs:356) Hole (src/Idris/Core/ProofTerm.hs:106) RunTactic' (src/Idris/Core/ProofTerm.hs:105) goal (src/Idris/Core/ProofTerm.hs:285) atHole (src/Idris/Core/ProofTerm.hs:307) 100% ( 2 / 2) in 'Idris.Core.DeepSeq' 100% ( 1 / 1) in 'Idris.Core.Binary' 14% ( 2 / 14) in 'Idris.IdeMode' Missing documentation for: parseMessage (src/Idris/IdeMode.hs:321) convSExp (src/Idris/IdeMode.hs:330) WhatDocs (src/Idris/IdeMode.hs:236) IdeModeCommand (src/Idris/IdeMode.hs:238) sexpToCommand (src/Idris/IdeMode.hs:267) toSExp (src/Idris/IdeMode.hs:59) SExp (src/Idris/IdeMode.hs:43) SExpable (src/Idris/IdeMode.hs:58) Opt (src/Idris/IdeMode.hs:234) getLen (src/Idris/IdeMode.hs:37) getNChar (src/Idris/IdeMode.hs:32) sExpToString (src/Idris/IdeMode.hs:50) 3% ( 1 / 32) in 'IRTS.Lang' Missing documentation for: Endianness (src/IRTS/Lang.hs:23) LVar (src/IRTS/Lang.hs:25) LExp (src/IRTS/Lang.hs:30) FDesc (src/IRTS/Lang.hs:50) Export (src/IRTS/Lang.hs:57) ExportIFace (src/IRTS/Lang.hs:64) PrimFn (src/IRTS/Lang.hs:72) FCallType (src/IRTS/Lang.hs:104) FType (src/IRTS/Lang.hs:107) LAlt' (src/IRTS/Lang.hs:119) LAlt (src/IRTS/Lang.hs:124) LDecl (src/IRTS/Lang.hs:126) LDefs (src/IRTS/Lang.hs:130) LOpt (src/IRTS/Lang.hs:132) addTags (src/IRTS/Lang.hs:135) LiftState (src/IRTS/Lang.hs:144) setBaseName (src/IRTS/Lang.hs:149) lname (src/IRTS/Lang.hs:154) getNextName (src/IRTS/Lang.hs:158) renameArgs (src/IRTS/Lang.hs:167) addFn (src/IRTS/Lang.hs:173) makeFn (src/IRTS/Lang.hs:178) liftAll (src/IRTS/Lang.hs:191) liftDef (src/IRTS/Lang.hs:196) lift (src/IRTS/Lang.hs:203) allocUnique (src/IRTS/Lang.hs:255) usedArg (src/IRTS/Lang.hs:318) usedIn (src/IRTS/Lang.hs:321) lsubst (src/IRTS/Lang.hs:342) rename (src/IRTS/Lang.hs:366) occName (src/IRTS/Lang.hs:459) 33% ( 1 / 3) in 'Idris.Primitives' Missing documentation for: primitives (src/Idris/Primitives.hs:37) Prim (src/Idris/Primitives.hs:21) 50% ( 1 / 2) in 'IRTS.LangOpts' Missing documentation for: inlineAll (src/IRTS/LangOpts.hs:18) 14% ( 1 / 7) in 'IRTS.JavaScript.Specialize' Missing documentation for: SCtor (src/IRTS/JavaScript/Specialize.hs:41) STest (src/IRTS/JavaScript/Specialize.hs:43) SProj (src/IRTS/JavaScript/Specialize.hs:45) specialCased (src/IRTS/JavaScript/Specialize.hs:77) specialCall (src/IRTS/JavaScript/Specialize.hs:108) qualifyN (src/IRTS/JavaScript/Specialize.hs:37) 16% ( 1 / 6) in 'IRTS.JavaScript.PrimOp' Missing documentation for: PrimF (src/IRTS/JavaScript/PrimOp.hs:26) PrimDec (src/IRTS/JavaScript/PrimOp.hs:27) JsPrimTy (src/IRTS/JavaScript/PrimOp.hs:24) primDB (src/IRTS/JavaScript/PrimOp.hs:29) jsPrimCoerce (src/IRTS/JavaScript/PrimOp.hs:244) 11% ( 1 / 9) in 'IRTS.JavaScript.Name' Missing documentation for: jsName (src/IRTS/JavaScript/Name.hs:35) jsNameGenerated (src/IRTS/JavaScript/Name.hs:39) Partial (src/IRTS/JavaScript/Name.hs:42) jsNamePartial (src/IRTS/JavaScript/Name.hs:44) jsTailCallOptimName (src/IRTS/JavaScript/Name.hs:47) HiddenClass (src/IRTS/JavaScript/Name.hs:51) jsNameHiddenClass (src/IRTS/JavaScript/Name.hs:53) dataPartName (src/IRTS/JavaScript/Name.hs:56) 33% ( 1 / 3) in 'IRTS.JavaScript.LangTransforms' Missing documentation for: removeDeadCode (src/IRTS/JavaScript/LangTransforms.hs:82) globlToCon (src/IRTS/JavaScript/LangTransforms.hs:90) 12% ( 3 / 24) in 'IRTS.Defunctionalise' Missing documentation for: DExp (src/IRTS/Defunctionalise.hs:36) DAlt (src/IRTS/Defunctionalise.hs:52) DDecl (src/IRTS/Defunctionalise.hs:57) DDefs (src/IRTS/Defunctionalise.hs:61) EvalApply (src/IRTS/Defunctionalise.hs:169) defunctionalise (src/IRTS/Defunctionalise.hs:63) addApps (src/IRTS/Defunctionalise.hs:84) toCons (src/IRTS/Defunctionalise.hs:176) getFn (src/IRTS/Defunctionalise.hs:79) toConsA (src/IRTS/Defunctionalise.hs:188) mkEval (src/IRTS/Defunctionalise.hs:216) mkApply (src/IRTS/Defunctionalise.hs:225) mkApply2 (src/IRTS/Defunctionalise.hs:238) declare (src/IRTS/Defunctionalise.hs:258) eEVAL (src/IRTS/Defunctionalise.hs:167) mkUnderCon (src/IRTS/Defunctionalise.hs:267) mkFnCon (src/IRTS/Defunctionalise.hs:266) genArgs (src/IRTS/Defunctionalise.hs:264) mkApplyCase (src/IRTS/Defunctionalise.hs:199) groupsOf (src/IRTS/Defunctionalise.hs:308) dumpDefuns (src/IRTS/Defunctionalise.hs:320) 20% ( 1 / 5) in 'IRTS.Simplified' Missing documentation for: simplifyDefs (src/IRTS/Simplified.hs:120) SDecl (src/IRTS/Simplified.hs:40) SExp (src/IRTS/Simplified.hs:17) SAlt (src/IRTS/Simplified.hs:35) 25% ( 1 / 4) in 'IRTS.Inliner' Missing documentation for: inline (src/IRTS/Inliner.hs:13) inl (src/IRTS/Inliner.hs:18) evalD (src/IRTS/Inliner.hs:25) 40% ( 2 / 5) in 'IRTS.CodegenCommon' Missing documentation for: DbgLevel (src/IRTS/CodegenCommon.hs:18) OutputType (src/IRTS/CodegenCommon.hs:19) CodeGenerator (src/IRTS/CodegenCommon.hs:46) 9% ( 4 / 43) in 'Idris.Options' Missing documentation for: Codegen (src/Idris/Options.hs:105) HowMuchDocs (src/Idris/Options.hs:124) IRFormat (src/Idris/Options.hs:115) LanguageExt (src/Idris/Options.hs:110) Opt (src/Idris/Options.hs:25) Optimisation (src/Idris/Options.hs:128) OutputFmt (src/Idris/Options.hs:126) REPLPort (src/Idris/Options.hs:101) codegenCats (src/Idris/Options.hs:150) elabCats (src/Idris/Options.hs:156) getBC (src/Idris/Options.hs:173) getClient (src/Idris/Options.hs:280) getCodegen (src/Idris/Options.hs:227) getCodegenArgs (src/Idris/Options.hs:231) getColour (src/Idris/Options.hs:276) getConsoleWidth (src/Idris/Options.hs:235) getEvalExpr (src/Idris/Options.hs:247) getExecScript (src/Idris/Options.hs:239) getFile (src/Idris/Options.hs:169) getIBCSubDir (src/Idris/Options.hs:181) getImportDir (src/Idris/Options.hs:185) getLanguageExt (src/Idris/Options.hs:255) getOptLevel (src/Idris/Options.hs:267) getOptimisation (src/Idris/Options.hs:271) getOutput (src/Idris/Options.hs:177) getOutputTy (src/Idris/Options.hs:251) getPkg (src/Idris/Options.hs:197) getPkgCheck (src/Idris/Options.hs:210) getPkgClean (src/Idris/Options.hs:202) getPkgDir (src/Idris/Options.hs:193) getPkgIndex (src/Idris/Options.hs:243) getPkgREPL (src/Idris/Options.hs:206) getPkgTest (src/Idris/Options.hs:222) getPort (src/Idris/Options.hs:285) getSourceDir (src/Idris/Options.hs:189) loggingCatsStr (src/Idris/Options.hs:159) opt (src/Idris/Options.hs:290) parserCats (src/Idris/Options.hs:153) strLogCat (src/Idris/Options.hs:142) 7% ( 1 / 14) in 'IRTS.Bytecode' Missing documentation for: Reg (src/IRTS/Bytecode.hs:30) BC (src/IRTS/Bytecode.hs:33) toBC (src/IRTS/Bytecode.hs:115) clean (src/IRTS/Bytecode.hs:121) bc (src/IRTS/Bytecode.hs:124) isConst (src/IRTS/Bytecode.hs:164) moveReg (src/IRTS/Bytecode.hs:169) assign (src/IRTS/Bytecode.hs:172) conCase (src/IRTS/Bytecode.hs:175) constCase (src/IRTS/Bytecode.hs:178) caseAlt (src/IRTS/Bytecode.hs:181) constAlt (src/IRTS/Bytecode.hs:185) defaultAlt (src/IRTS/Bytecode.hs:189) 50% ( 1 / 2) in 'IRTS.Portable' Missing documentation for: writePortable (src/IRTS/Portable.hs:33) 11% ( 1 / 9) in 'IRTS.DumpBC' Missing documentation for: interMap (src/IRTS/DumpBC.hs:16) indent (src/IRTS/DumpBC.hs:19) serializeReg (src/IRTS/DumpBC.hs:22) serializeCase (src/IRTS/DumpBC.hs:27) serializeDefault (src/IRTS/DumpBC.hs:31) serializeBC (src/IRTS/DumpBC.hs:35) serialize (src/IRTS/DumpBC.hs:76) dumpBC (src/IRTS/DumpBC.hs:84) Warning: 'auto' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 7% ( 1 / 14) in 'Idris.Core.ProofState' Missing documentation for: ProofState (src/Idris/Core/ProofState.hs:38) newProof (src/Idris/Core/ProofState.hs:323) envAtFocus (src/Idris/Core/ProofState.hs:342) goalAtFocus (src/Idris/Core/ProofState.hs:348) Tactic (src/Idris/Core/ProofState.hs:70) Goal (src/Idris/Core/ProofTerm.hs:124) processTactic (src/Idris/Core/ProofState.hs:944) nowElaboratingPS (src/Idris/Core/ProofState.hs:288) doneElaboratingAppPS (src/Idris/Core/ProofState.hs:296) doneElaboratingArgPS (src/Idris/Core/ProofState.hs:301) dropGiven (src/Idris/Core/ProofState.hs:807) keepGiven (src/Idris/Core/ProofState.hs:817) getProvenance (src/Idris/Core/ProofState.hs:859) 19% ( 26 /131) in 'Idris.Core.Elaborate' Missing documentation for: ElabState (src/Idris/Core/Elaborate.hs:30) Elab' (src/Idris/Core/Elaborate.hs:33) Elab (src/Idris/Core/Elaborate.hs:34) simplify (src/Idris/Core/Elaborate.hs:416) fill (src/Idris/Core/Elaborate.hs:382) claim (src/Idris/Core/Elaborate.hs:367) focus (src/Idris/Core/Elaborate.hs:477) getNameFrom (src/Idris/Core/Elaborate.hs:77) initElaborator (src/Idris/Core/Elaborate.hs:147) movelast (src/Idris/Core/Elaborate.hs:480) runElab (src/Idris/Core/Elaborate.hs:141) solve (src/Idris/Core/Elaborate.hs:394) try (src/Idris/Core/Elaborate.hs:854) arg (src/Idris/Core/Elaborate.hs:822) rewrite (src/Idris/Core/Elaborate.hs:446) exact (src/Idris/Core/Elaborate.hs:379) qshow (src/Idris/Core/Elaborate.hs:994) computeLet (src/Idris/Core/Elaborate.hs:413) attack (src/Idris/Core/Elaborate.hs:364) claimFn (src/Idris/Core/Elaborate.hs:370) reorder_claims (src/Idris/Core/Elaborate.hs:545) implementationArg (src/Idris/Core/Elaborate.hs:533) autoArg (src/Idris/Core/Elaborate.hs:536) setinj (src/Idris/Core/Elaborate.hs:539) defer (src/Idris/Core/Elaborate.hs:524) deferType (src/Idris/Core/Elaborate.hs:530) unifyGoal (src/Idris/Core/Elaborate.hs:373) unifyTerms (src/Idris/Core/Elaborate.hs:376) match_fill (src/Idris/Core/Elaborate.hs:385) prep_fill (src/Idris/Core/Elaborate.hs:388) complete_fill (src/Idris/Core/Elaborate.hs:391) introTy (src/Idris/Core/Elaborate.hs:434) intro (src/Idris/Core/Elaborate.hs:431) forAll (src/Idris/Core/Elaborate.hs:437) letbind (src/Idris/Core/Elaborate.hs:440) expandLet (src/Idris/Core/Elaborate.hs:443) equiv (src/Idris/Core/Elaborate.hs:449) patbind (src/Idris/Core/Elaborate.hs:474) compute (src/Idris/Core/Elaborate.hs:410) whnf_compute (src/Idris/Core/Elaborate.hs:419) whnf_compute_args (src/Idris/Core/Elaborate.hs:422) check_in (src/Idris/Core/Elaborate.hs:428) eval_in (src/Idris/Core/Elaborate.hs:425) start_unify (src/Idris/Core/Elaborate.hs:397) matchProblems (src/Idris/Core/Elaborate.hs:518) proof (src/Idris/Core/Elaborate.hs:36) proofFail (src/Idris/Core/Elaborate.hs:41) explicit (src/Idris/Core/Elaborate.hs:48) addPSname (src/Idris/Core/Elaborate.hs:56) getPSnames (src/Idris/Core/Elaborate.hs:63) saveState (src/Idris/Core/Elaborate.hs:67) loadState (src/Idris/Core/Elaborate.hs:71) setNextName (src/Idris/Core/Elaborate.hs:91) initNextNameFrom (src/Idris/Core/Elaborate.hs:97) errAt (src/Idris/Core/Elaborate.hs:121) erunAux (src/Idris/Core/Elaborate.hs:125) erun (src/Idris/Core/Elaborate.hs:137) execElab (src/Idris/Core/Elaborate.hs:144) elaborate (src/Idris/Core/Elaborate.hs:156) getUnifyLog (src/Idris/Core/Elaborate.hs:177) updatePS (src/Idris/Core/Elaborate.hs:188) now_elaborating (src/Idris/Core/Elaborate.hs:192) done_elaborating_app (src/Idris/Core/Elaborate.hs:194) done_elaborating_arg (src/Idris/Core/Elaborate.hs:196) elaborating_app (src/Idris/Core/Elaborate.hs:198) get_datatypes (src/Idris/Core/Elaborate.hs:217) set_datatypes (src/Idris/Core/Elaborate.hs:221) get_global_nextname (src/Idris/Core/Elaborate.hs:225) set_global_nextname (src/Idris/Core/Elaborate.hs:229) get_inj (src/Idris/Core/Elaborate.hs:249) get_holes (src/Idris/Core/Elaborate.hs:253) get_usedns (src/Idris/Core/Elaborate.hs:257) get_probs (src/Idris/Core/Elaborate.hs:264) is_guess (src/Idris/Core/Elaborate.hs:281) get_type_val (src/Idris/Core/Elaborate.hs:303) checkInjective (src/Idris/Core/Elaborate.hs:314) unique_hole' (src/Idris/Core/Elaborate.hs:340) elog (src/Idris/Core/Elaborate.hs:354) getLog (src/Idris/Core/Elaborate.hs:358) end_unify (src/Idris/Core/Elaborate.hs:400) unify_all (src/Idris/Core/Elaborate.hs:404) regret (src/Idris/Core/Elaborate.hs:407) dotterm (src/Idris/Core/Elaborate.hs:483) get_dotterm (src/Idris/Core/Elaborate.hs:507) unifyProblems (src/Idris/Core/Elaborate.hs:521) proofstate (src/Idris/Core/Elaborate.hs:542) qed (src/Idris/Core/Elaborate.hs:548) undo (src/Idris/Core/Elaborate.hs:553) apply' (src/Idris/Core/Elaborate.hs:626) apply2 (src/Idris/Core/Elaborate.hs:662) apply_elab (src/Idris/Core/Elaborate.hs:678) checkPiGoal (src/Idris/Core/Elaborate.hs:720) simple_app (src/Idris/Core/Elaborate.hs:739) dep_app (src/Idris/Core/Elaborate.hs:777) infer_app (src/Idris/Core/Elaborate.hs:744) no_errors (src/Idris/Core/Elaborate.hs:829) try' (src/Idris/Core/Elaborate.hs:870) handleError (src/Idris/Core/Elaborate.hs:857) prunStateT (src/Idris/Core/Elaborate.hs:955) tryCatch (src/Idris/Core/Elaborate.hs:897) tryWhen (src/Idris/Core/Elaborate.hs:912) tryAll (src/Idris/Core/Elaborate.hs:918) tryAll' (src/Idris/Core/Elaborate.hs:921) debugElaborator (src/Idris/Core/Elaborate.hs:981) dumpprobs (src/Idris/Core/Elaborate.hs:997) Warning: 'with' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 24% ( 41 /166) in 'Idris.AbsSyntaxTree' Missing documentation for: ElabWhat (src/Idris/AbsSyntaxTree.hs:54) toplevel (src/Idris/AbsSyntaxTree.hs:78) toplevelWith (src/Idris/AbsSyntaxTree.hs:81) eInfoNames (src/Idris/AbsSyntaxTree.hs:84) IOption (src/Idris/AbsSyntaxTree.hs:87) defaultOpts (src/Idris/AbsSyntaxTree.hs:117) PPOption (src/Idris/AbsSyntaxTree.hs:147) defaultOptimise (src/Idris/AbsSyntaxTree.hs:157) SizeChange (src/Idris/AbsSyntaxTree.hs:318) SCGEntry (src/Idris/AbsSyntaxTree.hs:324) UsageReason (src/Idris/AbsSyntaxTree.hs:325) CGInfo (src/Idris/AbsSyntaxTree.hs:327) primDefs (src/Idris/AbsSyntaxTree.hs:337) IBCWrite (src/Idris/AbsSyntaxTree.hs:347) initialInteractiveOpts (src/Idris/AbsSyntaxTree.hs:398) catchError (src/Idris/AbsSyntaxTree.hs:428) throwError (src/Idris/AbsSyntaxTree.hs:431) ElabShellCmd (src/Idris/AbsSyntaxTree.hs:439) Fixity (src/Idris/AbsSyntaxTree.hs:455) FixDecl (src/Idris/AbsSyntaxTree.hs:470) Plicity (src/Idris/AbsSyntaxTree.hs:491) is_scoped (src/Idris/AbsSyntaxTree.hs:518) impl (src/Idris/AbsSyntaxTree.hs:523) impl_gen (src/Idris/AbsSyntaxTree.hs:526) forall_imp (src/Idris/AbsSyntaxTree.hs:530) forall_constraint (src/Idris/AbsSyntaxTree.hs:532) expl (src/Idris/AbsSyntaxTree.hs:535) expl_param (src/Idris/AbsSyntaxTree.hs:537) expl_linear (src/Idris/AbsSyntaxTree.hs:539) constraint (src/Idris/AbsSyntaxTree.hs:542) tacimpl (src/Idris/AbsSyntaxTree.hs:545) FnOpt (src/Idris/AbsSyntaxTree.hs:548) FnOpts (src/Idris/AbsSyntaxTree.hs:574) inlinable (src/Idris/AbsSyntaxTree.hs:576) dictionary (src/Idris/AbsSyntaxTree.hs:579) ProvideWhat (src/Idris/AbsSyntaxTree.hs:588) initEState (src/Idris/AbsSyntaxTree.hs:719) ElabD (src/Idris/AbsSyntaxTree.hs:722) highlightSource (src/Idris/AbsSyntaxTree.hs:724) PDecl (src/Idris/AbsSyntaxTree.hs:779) PData (src/Idris/AbsSyntaxTree.hs:780) PClause (src/Idris/AbsSyntaxTree.hs:781) tldeclared (src/Idris/AbsSyntaxTree.hs:881) defined (src/Idris/AbsSyntaxTree.hs:900) updateN (src/Idris/AbsSyntaxTree.hs:924) updateNs (src/Idris/AbsSyntaxTree.hs:928) PunInfo (src/Idris/AbsSyntaxTree.hs:934) PAltType (src/Idris/AbsSyntaxTree.hs:1005) mapPT (src/Idris/AbsSyntaxTree.hs:1071) PTactic' (src/Idris/AbsSyntaxTree.hs:1097) PTactic (src/Idris/AbsSyntaxTree.hs:1164) PDo' (src/Idris/AbsSyntaxTree.hs:1166) PDo (src/Idris/AbsSyntaxTree.hs:1185) PArg' (src/Idris/AbsSyntaxTree.hs:1191) ArgOpt (src/Idris/AbsSyntaxTree.hs:1215) pimp (src/Idris/AbsSyntaxTree.hs:1231) pexp (src/Idris/AbsSyntaxTree.hs:1232) pconst (src/Idris/AbsSyntaxTree.hs:1233) ptacimp (src/Idris/AbsSyntaxTree.hs:1234) PArg (src/Idris/AbsSyntaxTree.hs:1236) InterfaceInfo (src/Idris/AbsSyntaxTree.hs:1300) RecordInfo (src/Idris/AbsSyntaxTree.hs:1316) TIData (src/Idris/AbsSyntaxTree.hs:1324) OptInfo (src/Idris/AbsSyntaxTree.hs:1335) DSL (src/Idris/AbsSyntaxTree.hs:1360) SynContext (src/Idris/AbsSyntaxTree.hs:1362) Syntax (src/Idris/AbsSyntaxTree.hs:1370) syntaxNames (src/Idris/AbsSyntaxTree.hs:1374) syntaxSymbols (src/Idris/AbsSyntaxTree.hs:1382) SSymbol (src/Idris/AbsSyntaxTree.hs:1389) SyntaxRules (src/Idris/AbsSyntaxTree.hs:1401) emptySyntaxRules (src/Idris/AbsSyntaxTree.hs:1404) updateSyntaxRules (src/Idris/AbsSyntaxTree.hs:1407) initDSL (src/Idris/AbsSyntaxTree.hs:1442) Using (src/Idris/AbsSyntaxTree.hs:1453) SyntaxInfo (src/Idris/AbsSyntaxTree.hs:1460) defaultSyntax (src/Idris/AbsSyntaxTree.hs:1483) expandNS (src/Idris/AbsSyntaxTree.hs:1485) bi (src/Idris/AbsSyntaxTree.hs:1494) primfc (src/Idris/AbsSyntaxTree.hs:1495) inferTy (src/Idris/AbsSyntaxTree.hs:1497) inferCon (src/Idris/AbsSyntaxTree.hs:1498) inferDecl (src/Idris/AbsSyntaxTree.hs:1499) inferOpts (src/Idris/AbsSyntaxTree.hs:1504) infTerm (src/Idris/AbsSyntaxTree.hs:1506) infP (src/Idris/AbsSyntaxTree.hs:1507) getInferTerm (src/Idris/AbsSyntaxTree.hs:1509) getInferType (src/Idris/AbsSyntaxTree.hs:1509) primNames (src/Idris/AbsSyntaxTree.hs:1524) unitTy (src/Idris/AbsSyntaxTree.hs:1526) unitCon (src/Idris/AbsSyntaxTree.hs:1527) falseDoc (src/Idris/AbsSyntaxTree.hs:1529) falseTy (src/Idris/AbsSyntaxTree.hs:1534) pairTy (src/Idris/AbsSyntaxTree.hs:1536) pairCon (src/Idris/AbsSyntaxTree.hs:1537) upairTy (src/Idris/AbsSyntaxTree.hs:1539) upairCon (src/Idris/AbsSyntaxTree.hs:1540) eqTy (src/Idris/AbsSyntaxTree.hs:1542) eqCon (src/Idris/AbsSyntaxTree.hs:1543) eqDoc (src/Idris/AbsSyntaxTree.hs:1544) eqDecl (src/Idris/AbsSyntaxTree.hs:1556) eqParamDoc (src/Idris/AbsSyntaxTree.hs:1573) eqOpts (src/Idris/AbsSyntaxTree.hs:1578) sigmaTy (src/Idris/AbsSyntaxTree.hs:1587) sigmaCon (src/Idris/AbsSyntaxTree.hs:1588) piBind (src/Idris/AbsSyntaxTree.hs:1590) piBindp (src/Idris/AbsSyntaxTree.hs:1593) isPostulateName (src/Idris/AbsSyntaxTree.hs:1657) showCImp (src/Idris/AbsSyntaxTree.hs:2125) showDImp (src/Idris/AbsSyntaxTree.hs:2140) showDecls (src/Idris/AbsSyntaxTree.hs:2145) showDeclImp (src/Idris/AbsSyntaxTree.hs:2148) getImps (src/Idris/AbsSyntaxTree.hs:2164) getExps (src/Idris/AbsSyntaxTree.hs:2169) getShowArgs (src/Idris/AbsSyntaxTree.hs:2174) getConsts (src/Idris/AbsSyntaxTree.hs:2182) getAll (src/Idris/AbsSyntaxTree.hs:2187) showTm (src/Idris/AbsSyntaxTree.hs:2219) getPArity (src/Idris/AbsSyntaxTree.hs:2268) allNamesIn (src/Idris/AbsSyntaxTree.hs:2274) boundNamesIn (src/Idris/AbsSyntaxTree.hs:2324) implicitNamesIn (src/Idris/AbsSyntaxTree.hs:2359) namesIn (src/Idris/AbsSyntaxTree.hs:2419) usedNamesIn (src/Idris/AbsSyntaxTree.hs:2457) getErasureInfo (src/Idris/AbsSyntaxTree.hs:2491) 100% ( 2 / 2) in 'Idris.DeepSeq' 52% ( 9 / 17) in 'Idris.ASTUtils' Missing documentation for: Field (src/Idris/ASTUtils.hs:59) cg_usedpos (src/Idris/ASTUtils.hs:139) fgetState (src/Idris/ASTUtils.hs:71) fmodifyState (src/Idris/ASTUtils.hs:77) fputState (src/Idris/ASTUtils.hs:74) known_interfaces (src/Idris/ASTUtils.hs:156) opt_detaggable (src/Idris/ASTUtils.hs:124) opt_forceable (src/Idris/ASTUtils.hs:127) 50% ( 1 / 2) in 'Util.ScreenSize' Missing documentation for: getScreenWidth (src/Util/ScreenSize.hs:12) 46% ( 6 / 13) in 'Util.System' Missing documentation for: withTempdir (src/Util/System.hs:107) rmFile (src/Util/System.hs:119) catchIO (src/Util/System.hs:48) isDarwin (src/Util/System.hs:54) isWindows (src/Util/System.hs:51) setupBundledCC (src/Util/System.hs:130) isATTY (src/Util/System.hs:87) Warning: 'static' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 14% ( 32 /220) in 'Idris.AbsSyntax' Missing documentation for: EitherErr (src/Idris/AbsSyntax.hs:2268) getContext (src/Idris/AbsSyntax.hs:48) colourise (src/Idris/AbsSyntax.hs:1143) getIState (src/Idris/AbsSyntax.hs:627) type1Doc (src/Idris/AbsSyntax.hs:820) typeDescription (src/Idris/AbsSyntax.hs:816) addUsingConstraints (src/Idris/AbsSyntax.hs:1563) implicit (src/Idris/A src/Idris/AbsSyntax.hs:2271:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative (EitherErr a)’. Move definition from ‘return’ to ‘pure’ See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2271 | pure = return | ^^^^^^^^^^^^^^ src/Idris/AbsSyntax.hs:2275:5: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘return’ definition detected in the instance declaration for ‘Monad (EitherErr a)’. ‘return’ will eventually be removed in favour of ‘pure’ 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 | 2275 | return = RightOK | ^^^^^^^^^^^^^^^^ bsSyntax.hs:1687) putIState (src/Idris/AbsSyntax.hs:630) targetTriple (src/Idris/AbsSyntax.hs:1032) targetCPU (src/Idris/AbsSyntax.hs:1042) getName (src/Idris/AbsSyntax.hs:656) forCodegen (src/Idris/AbsSyntax.hs:51) getObjectFiles (src/Idris/AbsSyntax.hs:58) addObjectFile (src/Idris/AbsSyntax.hs:61) getLibs (src/Idris/AbsSyntax.hs:64) addLib (src/Idris/AbsSyntax.hs:67) getFlags (src/Idris/AbsSyntax.hs:70) addFlag (src/Idris/AbsSyntax.hs:73) addDyLib (src/Idris/AbsSyntax.hs:76) getAutoImports (src/Idris/AbsSyntax.hs:96) addAutoImport (src/Idris/AbsSyntax.hs:100) addDefinedName (src/Idris/AbsSyntax.hs:106) getDefinedNames (src/Idris/AbsSyntax.hs:110) addTT (src/Idris/AbsSyntax.hs:114) dumpTT (src/Idris/AbsSyntax.hs:124) addHdr (src/Idris/AbsSyntax.hs:133) addImported (src/Idris/AbsSyntax.hs:136) addLangExt (src/Idris/AbsSyntax.hs:141) dropLangExt (src/Idris/AbsSyntax.hs:147) addErasureUsage (src/Idris/AbsSyntax.hs:176) addExport (src/Idris/AbsSyntax.hs:180) addUsedName (src/Idris/AbsSyntax.hs:184) addIBC (src/Idris/AbsSyntax.hs:562) getErasureUsage (src/Idris/AbsSyntax.hs:196) getExports (src/Idris/AbsSyntax.hs:200) totcheck (src/Idris/AbsSyntax.hs:204) defer_totcheck (src/Idris/AbsSyntax.hs:207) clear_totcheck (src/Idris/AbsSyntax.hs:212) setFlags (src/Idris/AbsSyntax.hs:215) addFnOpt (src/Idris/AbsSyntax.hs:218) setFnInfo (src/Idris/AbsSyntax.hs:225) setAccessibility (src/Idris/AbsSyntax.hs:228) setTotality (src/Idris/AbsSyntax.hs:239) setInjectivity (src/Idris/AbsSyntax.hs:245) getTotality (src/Idris/AbsSyntax.hs:251) getCoercionsTo (src/Idris/AbsSyntax.hs:259) addToCG (src/Idris/AbsSyntax.hs:272) addCalls (src/Idris/AbsSyntax.hs:277) addTyInferred (src/Idris/AbsSyntax.hs:285) addTyInfConstraints (src/Idris/AbsSyntax.hs:291) logLvl (src/Idris/AbsSyntax.hs:1174) isTyInferred (src/Idris/AbsSyntax.hs:347) getCGAllNames (src/Idris/AbsSyntax.hs:376) allNames (src/Idris/AbsSyntax.hs:387) addCGAllNames (src/Idris/AbsSyntax.hs:381) addCoercion (src/Idris/AbsSyntax.hs:400) addDocStr (src/Idris/AbsSyntax.hs:404) addNameHint (src/Idris/AbsSyntax.hs:409) getNameHints (src/Idris/AbsSyntax.hs:421) addDeprecated (src/Idris/AbsSyntax.hs:428) getDeprecated (src/Idris/AbsSyntax.hs:433) addFragile (src/Idris/AbsSyntax.hs:438) getFragile (src/Idris/AbsSyntax.hs:443) push_estack (src/Idris/AbsSyntax.hs:448) pop_estack (src/Idris/AbsSyntax.hs:453) setOpenImpl (src/Idris/AbsSyntax.hs:510) getOpenImpl (src/Idris/AbsSyntax.hs:514) addInterface (src/Idris/AbsSyntax.hs:518) updateIMethods (src/Idris/AbsSyntax.hs:527) addRecord (src/Idris/AbsSyntax.hs:541) addAutoHint (src/Idris/AbsSyntax.hs:545) getAutoHints (src/Idris/AbsSyntax.hs:556) clearIBC (src/Idris/AbsSyntax.hs:572) resetNameIdx (src/Idris/AbsSyntax.hs:576) addNameIdx' (src/Idris/AbsSyntax.hs:587) getSymbol (src/Idris/AbsSyntax.hs:595) getHdrs (src/Idris/AbsSyntax.hs:603) getImported (src/Idris/AbsSyntax.hs:606) setErrSpan (src/Idris/AbsSyntax.hs:609) clearErr (src/Idris/AbsSyntax.hs:615) getSO (src/Idris/AbsSyntax.hs:619) setSO (src/Idris/AbsSyntax.hs:623) updateIState (src/Idris/AbsSyntax.hs:633) withContext (src/Idris/AbsSyntax.hs:637) withContext_ (src/Idris/AbsSyntax.hs:644) getInternalApp (src/Idris/AbsSyntax.hs:676) checkUndefined (src/Idris/AbsSyntax.hs:712) isUndefined (src/Idris/AbsSyntax.hs:720) setContext (src/Idris/AbsSyntax.hs:727) updateContext (src/Idris/AbsSyntax.hs:730) addConstraints (src/Idris/AbsSyntax.hs:733) typeInType (src/Idris/AbsSyntax.hs:1072) addDeferred (src/Idris/AbsSyntax.hs:749) addDeferredTyCon (src/Idris/AbsSyntax.hs:750) solveDeferred (src/Idris/AbsSyntax.hs:780) getUndefined (src/Idris/AbsSyntax.hs:795) isMetavarName (src/Idris/AbsSyntax.hs:799) getWidth (src/Idris/AbsSyntax.hs:805) setWidth (src/Idris/AbsSyntax.hs:808) setDepth (src/Idris/AbsSyntax.hs:812) isetPrompt (src/Idris/AbsSyntax.hs:824) setLogLevel (src/Idris/AbsSyntax.hs:841) setLogCats (src/Idris/AbsSyntax.hs:847) setCmdLine (src/Idris/AbsSyntax.hs:854) getCmdLine (src/Idris/AbsSyntax.hs:859) getDumpHighlighting (src/Idris/AbsSyntax.hs:863) getDumpDefun (src/Idris/AbsSyntax.hs:868) getDumpCases (src/Idris/AbsSyntax.hs:875) logLevel (src/Idris/AbsSyntax.hs:882) setAutoImpls (src/Idris/AbsSyntax.hs:886) getAutoImpls (src/Idris/AbsSyntax.hs:892) setErrContext (src/Idris/AbsSyntax.hs:896) errContext (src/Idris/AbsSyntax.hs:902) getOptimise (src/Idris/AbsSyntax.hs:906) setOptimise (src/Idris/AbsSyntax.hs:910) addOptimise (src/Idris/AbsSyntax.hs:916) removeOptimise (src/Idris/AbsSyntax.hs:920) useREPL (src/Idris/AbsSyntax.hs:932) setREPL (src/Idris/AbsSyntax.hs:936) showOrigErr (src/Idris/AbsSyntax.hs:942) setShowOrigErr (src/Idris/AbsSyntax.hs:946) setAutoSolve (src/Idris/AbsSyntax.hs:952) setNoBanner (src/Idris/AbsSyntax.hs:958) getNoBanner (src/Idris/AbsSyntax.hs:964) setEvalTypes (src/Idris/AbsSyntax.hs:969) getDesugarNats (src/Idris/AbsSyntax.hs:975) setDesugarNats (src/Idris/AbsSyntax.hs:981) setQuiet (src/Idris/AbsSyntax.hs:987) getQuiet (src/Idris/AbsSyntax.hs:993) setCodegen (src/Idris/AbsSyntax.hs:998) codegen (src/Idris/AbsSyntax.hs:1004) setOutputTy (src/Idris/AbsSyntax.hs:1009) outputTy (src/Idris/AbsSyntax.hs:1015) setIdeMode (src/Idris/AbsSyntax.hs:1019) setTargetTriple (src/Idris/AbsSyntax.hs:1026) setTargetCPU (src/Idris/AbsSyntax.hs:1036) verbose (src/Idris/AbsSyntax.hs:1046) setVerbose (src/Idris/AbsSyntax.hs:1055) iReport (src/Idris/AbsSyntax.hs:1062) setTypeInType (src/Idris/AbsSyntax.hs:1076) coverage (src/Idris/AbsSyntax.hs:1082) setCoverage (src/Idris/AbsSyntax.hs:1086) setIBCSubDir (src/Idris/AbsSyntax.hs:1092) valIBCSubDir (src/Idris/AbsSyntax.hs:1098) addImportDir (src/Idris/AbsSyntax.hs:1101) setImportDirs (src/Idris/AbsSyntax.hs:1107) allImportDirs (src/Idris/AbsSyntax.hs:1113) rankedImportDirs (src/Idris/AbsSyntax.hs:1121) addSourceDir (src/Idris/AbsSyntax.hs:1126) setSourceDirs (src/Idris/AbsSyntax.hs:1132) allSourceDirs (src/Idris/AbsSyntax.hs:1138) setColourise (src/Idris/AbsSyntax.hs:1147) impShow (src/Idris/AbsSyntax.hs:1151) setImpShow (src/Idris/AbsSyntax.hs:1155) setColour (src/Idris/AbsSyntax.hs:1161) logCoverage (src/Idris/AbsSyntax.hs:1177) logErasure (src/Idris/AbsSyntax.hs:1180) logIBC (src/Idris/AbsSyntax.hs:1195) cmdOptType (src/Idris/AbsSyntax.hs:1223) noErrors (src/Idris/AbsSyntax.hs:1227) setTypeCase (src/Idris/AbsSyntax.hs:1233) getIndentWith (src/Idris/AbsSyntax.hs:1239) setIndentWith (src/Idris/AbsSyntax.hs:1244) getIndentClause (src/Idris/AbsSyntax.hs:1251) setIndentClause (src/Idris/AbsSyntax.hs:1256) expandParams (src/Idris/AbsSyntax.hs:1265) shadow (src/Idris/AbsSyntax.hs:2443) expandParamsD (src/Idris/AbsSyntax.hs:1361) mapsnd (src/Idris/AbsSyntax.hs:1462) expandImplementationScope (src/Idris/AbsSyntax.hs:1464) addStatics (src/Idris/AbsSyntax.hs:1477) addToUsing (src/Idris/AbsSyntax.hs:1553) getUnboundImplicits (src/Idris/AbsSyntax.hs:1645) implicit' (src/Idris/AbsSyntax.hs:1690) addImpl' (src/Idris/AbsSyntax.hs:1847) addImplBound (src/Idris/AbsSyntax.hs:1831) addImplBoundInf (src/Idris/AbsSyntax.hs:1834) aiFn (src/Idris/AbsSyntax.hs:1978) mkPApp (src/Idris/AbsSyntax.hs:2231) expArg (src/Idris/AbsSyntax.hs:2123) substMatches (src/Idris/AbsSyntax.hs:2398) stripLinear (src/Idris/AbsSyntax.hs:2129) toEither (src/Idris/AbsSyntax.hs:2280) matchClause' (src/Idris/AbsSyntax.hs:2289) substMatchesShadow (src/Idris/AbsSyntax.hs:2412) substMatch (src/Idris/AbsSyntax.hs:2406) substMatchShadow (src/Idris/AbsSyntax.hs:2409) 33% ( 1 / 3) in 'Idris.WhoCalls' Missing documentation for: whoCalls (src/Idris/WhoCalls.hs:88) callsWho (src/Idris/WhoCalls.hs:95) 60% ( 3 / 5) in 'Idris.Transforms' Missing documentation for: transformPats (src/Idris/Transforms.hs:21) transformPatsWith (src/Idris/Transforms.hs:29) 100% ( 3 / 3) in 'Idris.REPL.Browse' 66% ( 2 / 3) in 'Idris.Inliner' Missing documentation for: inlineDef (src/Idris/Inliner.hs:15) 100% ( 2 / 2) in 'Idris.ErrReverse' 50% ( 1 / 2) in 'Idris.Elab.Quasiquote' Missing documentation for: extractUnquotes (src/Idris/Elab/Quasiquote.hs:80) 100% ( 2 / 2) in 'Idris.Elab.AsPat' 44% ( 8 / 18) in 'Idris.Delaborate' Missing documentation for: annName (src/Idris/Delaborate.hs:683) bugaddr (src/Idris/Delaborate.hs:37) delabWithEnv (src/Idris/Delaborate.hs:88) delab' (src/Idris/Delaborate.hs:108) delabMV (src/Idris/Delaborate.hs:91) delabTy (src/Idris/Delaborate.hs:100) delabTy' (src/Idris/Delaborate.hs:114) pprintNoDelab (src/Idris/Delaborate.hs:282) pprintDelabTy' (src/Idris/Delaborate.hs:286) pprintErr (src/Idris/Delaborate.hs:320) 34% ( 16 / 47) in 'Idris.Reflection' Missing documentation for: RConstructorDefn (src/Idris/Reflection.hs:63) RDataDefn (src/Idris/Reflection.hs:65) RFunArg (src/Idris/Reflection.hs:46) RFunClause (src/Idris/Reflection.hs:76) RFunDefn (src/Idris/Reflection.hs:80) RTyDecl (src/Idris/Reflection.hs:53) envTupleType (src/Idris/Reflection.hs:1074) fromTTMaybe (src/Idris/Reflection.hs:965) mkList (src/Idris/Reflection.hs:771) rawList (src/Idris/Reflection.hs:842) rawPair (src/Idris/Reflection.hs:848) rawPairTy (src/Idris/Reflection.hs:845) reflectArg (src/Idris/Reflection.hs:1180) reflectDatatype (src/Idris/Reflection.hs:1191) reflectErr (src/Idris/Reflection.hs:864) reflectFixity (src/Idris/Reflection.hs:426) reflectFunDefn (src/Idris/Reflection.hs:1223) reflectList (src/Idris/Reflection.hs:1080) reflectName (src/Idris/Reflection.hs:686) reflectNameType (src/Idris/Reflection.hs:678) reflectRawQuotePattern (src/Idris/Reflection.hs:518) reflectRawQuote (src/Idris/Reflection.hs:665) reifyBool (src/Idris/Reflection.hs:145) reifyEnv (src/Idris/Reflection.hs:827) reifyFunDefn (src/Idris/Reflection.hs:1044) reifyList (src/Idris/Reflection.hs:159) reifyRDataDefn (src/Idris/Reflection.hs:1068) reifyReportParts (src/Idris/Reflection.hs:165) reifyTTName (src/Idris/Reflection.hs:242) reifyTyDecl (src/Idris/Reflection.hs:1033) rFunArgToPArg (src/Idris/Reflection.hs:71) Warning: 'refine' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'normal' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 40% ( 2 / 5) in 'Idris.ProofSearch' Missing documentation for: trivial (src/Idris/ProofSearch.hs:32) trivialHoles (src/Idris/ProofSearch.hs:35) proofSearch (src/Idris/ProofSearch.hs:121) 63% ( 7 / 11) in 'Idris.PartialEval' Missing documentation for: pe_app (src/Idris/PartialEval.hs:40) pe_def (src/Idris/PartialEval.hs:41) pe_clauses (src/Idris/PartialEval.hs:42) pe_simple (src/Idris/PartialEval.hs:43) 18% ( 5 / 27) in 'Idris.Output' Missing documentation for: clearHighlights (src/Idris/Output.hs:397) emitWarning (src/Idris/Output.hs:180) formatMessage (src/Idris/Output.hs:67) idemodePutSExp (src/Idris/Output.hs:316) iPrintError (src/Idris/Output.hs:301) iPrintResult (src/Idris/Output.hs:298) iPrintTermWithType (src/Idris/Output.hs:230) iputGoal (src/Idris/Output.hs:325) iputStr (src/Idris/Output.hs:310) iputStrLn (src/Idris/Output.hs:304) iRender (src/Idris/Output.hs:195) iRenderOutput (src/Idris/Output.hs:246) iRenderResult (src/Idris/Output.hs:258) iWarn (src/Idris/Output.hs:177) prettyDocumentedIst (src/Idris/Output.hs:347) printUndefinedNames (src/Idris/Output.hs:341) pshow (src/Idris/Output.hs:47) renderExternal (src/Idris/Output.hs:400) sendHighlighting (src/Idris/Output.hs:364) sendParserHighlighting (src/Idris/Output.hs:356) OutputDoc (src/Idris/Output.hs:52) Message (src/Idris/Output.hs:54) 84% ( 16 / 19) in 'Idris.Parser.Stack' Missing documentation for: ParseError (src/Idris/Parser/Stack.hs:66) Mark (src/Idris/Parser/Stack.hs:106) restore (src/Idris/Parser/Stack.hs:115) Warning: '|||' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '@' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'p' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'abstract' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 78% ( 48 / 61) in 'Idris.Parser.Helpers' Missing documentation for: parseErrorDoc (src/Idris/Parser/Helpers.hs:105) someSpace (src/Idris/Parser/Helpers.hs:108) char (src/Idris/Parser/Helpers.hs:281) symbol (src/Idris/Parser/Helpers.hs:291) string (src/Idris/Parser/Helpers.hs:284) token (src/Idris/Parser/Helpers.hs:111) identifier (src/Idris/Parser/Helpers.hs:308) accessibility (src/Idris/Parser/Helpers.hs:535) parserWarning (src/Idris/Parser/Helpers.hs:139) clearParserWarnings (src/Idris/Parser/Helpers.hs:124) reportParserWarnings (src/Idris/Parser/Helpers.hs:128) highlight (src/Idris/Parser/Helpers.hs:114) indentGt (src/Idris/Parser/Helpers.hs:515) Warning: '()' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'prefix' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 75% ( 12 / 16) in 'Idris.Parser.Ops' Missing documentation for: opChars (src/Idris/Parser/Ops.hs:225) operatorLetter (src/Idris/Parser/Ops.hs:228) commentMarkers (src/Idris/Parser/Ops.hs:231) invalidOperators (src/Idris/Parser/Ops.hs:234) 15% ( 2 / 13) in 'Idris.Error' Missing documentation for: getErrSpan (src/Idris/Error.hs:88) idrisCatch (src/Idris/Error.hs:50) ierror (src/Idris/Error.hs:67) ifail (src/Idris/Error.hs:64) iucheck (src/Idris/Error.hs:30) report (src/Idris/Error.hs:45) setAndReport (src/Idris/Error.hs:54) showErr (src/Idris/Error.hs:41) tclift (src/Idris/Error.hs:70) tcliftAt (src/Idris/Error.hs:76) tctry (src/Idris/Error.hs:82) Warning: 'Inf' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 62% ( 5 / 8) in 'Idris.Termination' Missing documentation for: checkDeclTotality (src/Idris/Termination.hs:217) checkSizeChange (src/Idris/Termination.hs:483) verifyTotality (src/Idris/Termination.hs:229) 75% ( 3 / 4) in 'Idris.Providers' Missing documentation for: Provided (src/Idris/Providers.hs:33) 15% ( 2 / 13) in 'Idris.Imports' Missing documentation for: IFileType (src/Idris/Imports.hs:25) findIBC (src/Idris/Imports.hs:110) findImport (src/Idris/Imports.hs:91) findInPath (src/Idris/Imports.hs:122) findPkgIndex (src/Idris/Imports.hs:128) ibcPathNoFallback (src/Idris/Imports.hs:88) installedPackages (src/Idris/Imports.hs:134) PkgName (src/Idris/Imports.hs:34) pkgName (src/Idris/Imports.hs:47) unPkgName (src/Idris/Imports.hs:36) unInitializedPkgName (src/Idris/Imports.hs:44) 50% ( 1 / 2) in 'Idris.REPL.Commands' Missing documentation for: Module header Warning: 'iPKG' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 3 / 3) in 'Idris.Package.Common' 100% ( 2 / 2) in 'Idris.Directives' 44% ( 4 / 9) in 'Idris.IBC' Missing documentation for: loadIBC (src/Idris/IBC.hs:125) writeIBC (src/Idris/IBC.hs:239) hasValidIBCVersion (src/Idris/IBC.hs:116) getIBCHash (src/Idris/IBC.hs:149) getImportHashes (src/Idris/IBC.hs:157) 100% ( 3 / 3) in 'Idris.Erasure' 21% ( 10 / 46) in 'Idris.Elab.Utils' Missing documentation for: recheckC (src/Idris/Elab/Utils.hs:34) recheckC_borrowing (src/Idris/Elab/Utils.hs:36) checkDeprecated (src/Idris/Elab/Utils.hs:58) checkFragile (src/Idris/Elab/Utils.hs:69) iderr (src/Idris/Elab/Utils.hs:82) checkDef (src/Idris/Elab/Utils.hs:85) checkAddDef (src/Idris/Elab/Utils.hs:91) elabCaseBlock (src/Idris/Elab/Utils.hs:121) decorateid (src/Idris/Elab/Utils.hs:174) pbinds (src/Idris/Elab/Utils.hs:186) pbty (src/Idris/Elab/Utils.hs:201) getPBtys (src/Idris/Elab/Utils.hs:204) psolve (src/Idris/Elab/Utils.hs:208) pvars (src/Idris/Elab/Utils.hs:211) getFixedInType (src/Idris/Elab/Utils.hs:217) getFlexInType (src/Idris/Elab/Utils.hs:237) getTCinj (src/Idris/Elab/Utils.hs:266) getTCParamsInType (src/Idris/Elab/Utils.hs:280) paramNames (src/Idris/Elab/Utils.hs:284) getLinearUsed (src/Idris/Elab/Utils.hs:294) getUniqueUsed (src/Idris/Elab/Utils.hs:327) getStaticNames (src/Idris/Elab/Utils.hs:356) getStatics (src/Idris/Elab/Utils.hs:370) mkStatic (src/Idris/Elab/Utils.hs:376) mkStaticTy (src/Idris/Elab/Utils.hs:381) checkVisibility (src/Idris/Elab/Utils.hs:388) displayWarnings (src/Idris/Elab/Utils.hs:480) propagateParams (src/Idris/Elab/Utils.hs:492) liftPats (src/Idris/Elab/Utils.hs:547) isEmpty (src/Idris/Elab/Utils.hs:585) hasEmptyPat (src/Idris/Elab/Utils.hs:610) findLinear (src/Idris/Elab/Utils.hs:620) setLinear (src/Idris/Elab/Utils.hs:653) linearArg (src/Idris/Elab/Utils.hs:659) pruneByType (src/Idris/Elab/Utils.hs:666) isPlausible (src/Idris/Elab/Utils.hs:803) 66% ( 2 / 3) in 'Idris.Elab.Rewrite' Missing documentation for: elabRewrite (src/Idris/Elab/Rewrite.hs:23) 22% ( 2 / 9) in 'Idris.Docs' Missing documentation for: pprintDocs (src/Idris/Docs.hs:151) pprintConstDocs (src/Idris/Docs.hs:412) pprintTypeDoc (src/Idris/Docs.hs:425) FunDoc (src/Idris/Docs.hs:53) FunDoc' (src/Idris/Docs.hs:47) Docs (src/Idris/Docs.hs:75) Docs' (src/Idris/Docs.hs:55) Warning: 'docs' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 2 / 2) in 'Idris.IdrisDoc' 50% ( 1 / 2) in 'Idris.DataOpts' Missing documentation for: applyOpts (src/Idris/DataOpts.hs:16) 33% ( 1 / 3) in 'Idris.DSL' Missing documentation for: debindApp (src/Idris/DSL.hs:19) desugar (src/Idris/DSL.hs:30) Warning: 'proof' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '?' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'implementation' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Refl' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Void' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '%' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'with' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'mkForeign' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '<==' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'record' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'rewrite' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '==>' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'by' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '->' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'auto' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Bits8' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Bits16' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Bits32' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Bits64' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'intro' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'intros' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'refine' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'mrefine' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'induction' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'equiv' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'focus' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'exact' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'applyTactic' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'reflect' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'fill' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'try' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'compute' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'trivial' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'solve' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'attack' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'term' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'undo' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'qed' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'abandon' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'q' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 76% ( 62 / 81) in 'Idris.Parser.Expr' Missing documentation for: tryFullExpr (src/Idris/Parser/Expr.hs:61) SynMatch (src/Idris/Parser/Expr.hs:132) extension (src/Idris/Parser/Expr.hs:135) updateSynMatch (src/Idris/Parser/Expr.hs:164) warnTacticDeprecation (src/Idris/Parser/Expr.hs:329) recordType (src/Idris/Parser/Expr.hs:798) let_binding (src/Idris/Parser/Expr.hs:969) explicitPi (src/Idris/Parser/Expr.hs:1035) autoImplicit (src/Idris/Parser/Expr.hs:1041) defaultImplicit (src/Idris/Parser/Expr.hs:1051) normalImplicit (src/Idris/Parser/Expr.hs:1063) constraintPi (src/Idris/Parser/Expr.hs:1077) implicitPi (src/Idris/Parser/Expr.hs:1085) unboundPi (src/Idris/Parser/Expr.hs:1090) unboundPiNoConstraint (src/Idris/Parser/Expr.hs:1098) pi (src/Idris/Parser/Expr.hs:1108) constraintList1 (src/Idris/Parser/Expr.hs:1144) do_alt (src/Idris/Parser/Expr.hs:1333) tactic (src/Idris/Parser/Expr.hs:1560) 75% ( 9 / 12) in 'Idris.Parser.Data' Missing documentation for: recordParameter (src/Idris/Parser/Data.hs:104) recordI (src/Idris/Parser/Data.hs:132) dataOpts (src/Idris/Parser/Data.hs:136) Warning: 'impossible' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'absurd' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 5 / 5) in 'Idris.Coverage' 29% ( 8 / 27) in 'Idris.Elab.Term' Missing documentation for: ElabMod src/Idris/TypeSearch.hs:248:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup AsymMods’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘S.Semigroup Score’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid (Sided a)’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid AsymMods’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’ 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid Score’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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/Parser.hs:47:1: warning: [-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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ e (src/Idris/Elab/Term.hs:42) ElabResult (src/Idris/Elab/Term.hs:46) ElabCtxt (src/Idris/Elab/Term.hs:206) initElabCtxt (src/Idris/Elab/Term.hs:214) goal_polymorphic (src/Idris/Elab/Term.hs:216) pruneAlt (src/Idris/Elab/Term.hs:1645) solveAuto (src/Idris/Elab/Term.hs:1678) solveAutos (src/Idris/Elab/Term.hs:1704) tcRecoverable (src/Idris/Elab/Term.hs:1711) trivial' (src/Idris/Elab/Term.hs:1718) trivialHoles' (src/Idris/Elab/Term.hs:1720) proofSearch' (src/Idris/Elab/Term.hs:1722) resolveTC' (src/Idris/Elab/Term.hs:1726) collectDeferred (src/Idris/Elab/Term.hs:1729) runElabAction (src/Idris/Elab/Term.hs:1757) runTac (src/Idris/Elab/Term.hs:2313) elaboratingArgErr (src/Idris/Elab/Term.hs:2561) withErrorReflection (src/Idris/Elab/Term.hs:2570) solveAll (src/Idris/Elab/Term.hs:2636) 50% ( 3 / 6) in 'Idris.Elab.Value' Missing documentation for: elabVal (src/Idris/Elab/Value.hs:71) elabDocTerms (src/Idris/Elab/Value.hs:78) elabREPL (src/Idris/Elab/Value.hs:116) 33% ( 2 / 6) in 'Idris.Elab.Type' Missing documentation for: buildType (src/Idris/Elab/Type.hs:33) elabType' (src/Idris/Elab/Type.hs:134) elabPostulate (src/Idris/Elab/Type.hs:235) elabExtern (src/Idris/Elab/Type.hs:246) 75% ( 3 / 4) in 'Idris.TypeSearch' Missing documentation for: searchByType (src/Idris/TypeSearch.hs:54) 50% ( 1 / 2) in 'Idris.Elab.Data' Missing documentation for: elabData (src/Idris/Elab/Data.hs:43) Warning: 'optional' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 2 / 2) in 'Idris.Elab.Record' 50% ( 1 / 2) in 'Idris.Elab.Interface' Missing documentation for: elabInterface (src/Idris/Elab/Interface.hs:33) 50% ( 1 / 2) in 'Idris.Elab.Transform' Missing documentation for: elabTransform (src/Idris/Elab/Transform.hs:26) 50% ( 1 / 2) in 'Idris.Elab.RunElab' Missing documentation for: elabRunElab (src/Idris/Elab/RunElab.hs:30) 50% ( 1 / 2) in 'Idris.Elab.Implementation' Missing documentation for: elabImplementation (src/Idris/Elab/Implementation.hs:34) Warning: 'static' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 60% ( 6 / 10) in 'Idris.Elab.Clause' Missing documentation for: forceWith (src/Idris/Elab/Clause.hs:360) checkPossibles (src/Idris/Elab/Clause.hs:600) findUnique (src/Idris/Elab/Clause.hs:626) mapRHSdecl (src/Idris/Elab/Clause.hs:1248) 50% ( 1 / 2) in 'Idris.Core.Execute' Missing documentation for: execute (src/Idris/Core/Execute.hs:171) 100% ( 2 / 2) in 'Idris.Elab.Provider' Warning: 'main' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 57% ( 4 / 7) in 'Idris.ElabDecls' Missing documentation for: elabDecl (src/Idris/ElabDecls.hs:147) elabDecl' (src/Idris/ElabDecls.hs:152) elabDecls (src/Idris/ElabDecls.hs:144) Warning: 'term' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'syntax' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'total' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'partial' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'covering' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '%' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'no_implicit' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'assert_total' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'error_handler' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'reflection' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'parameters' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'interface' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '?=' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'with' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '<==' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'C' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Java' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'JavaScript' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Node' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'LLVM' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'lib' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'link' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'flag' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'include' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'hide' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'freeze' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'thaw' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'access' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'logging' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'dynamic' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'error_handlers' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'language' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'deprecated' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'fragile' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'provide' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'proof' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '==>' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 75% ( 15 / 20) in 'Idris.Parser' Missing documentation for: ImportInfo (src/Idris/Parser.hs:112) clearParserWarnings (src/Idris/Parser/Helpers.hs:124) opChars (src/Idris/Parser/Ops.hs:225) ParseError (src/Idris/Parser/Stack.hs:66) parseErrorDoc (src/Idris/Parser/Helpers.hs:105) 20% ( 1 / 5) in 'Idris.REPL.Parser' Missing documentation for: parseCmd (src/Idris/REPL/Parser.hs:37) help (src/Idris/REPL/Parser.hs:55) allHelp (src/Idris/REPL/Parser.hs:59) setOptions (src/Idris/REPL/Parser.hs:45) 100% ( 3 / 3) in 'Idris.Completion' 50% ( 2 / 4) in 'Idris.Prover' Missing documentation for: showProof (src/Idris/Prover.hs:58) showRunElab (src/Idris/Prover.hs:66) 40% ( 2 / 5) in 'Idris.Chaser' Missing documentation for: buildTree (src/Idris/Chaser.hs:160) getImports (src/Idris/Chaser.hs:126) ModuleTree (src/Idris/Chaser.hs:31) Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'impossible' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 11% ( 1 / 9) in 'Idris.CaseSplit' Missing documentation for: splitOnLine (src/ src/IRTS/JavaScript/Codegen.hs:51:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical ‘(<>) = mappend’ definition detected in the instance declaration for ‘Semigroup CGStats’. 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: [-Wnoncanonical-monoid-instances] Noncanonical ‘mappend’ definition detected in the instance declaration for ‘Monoid CGStats’. ‘mappend’ will eventually be removed in favour of ‘(<>)’ 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 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... Idris/CaseSplit.hs:272) replaceSplits (src/Idris/CaseSplit.hs:282) getClause (src/Idris/CaseSplit.hs:384) getProofClause (src/Idris/CaseSplit.hs:440) mkWith (src/Idris/CaseSplit.hs:456) nameMissing (src/Idris/CaseSplit.hs:472) getUniq (src/Idris/CaseSplit.hs:356) nameRoot (src/Idris/CaseSplit.hs:364) 11% ( 1 / 9) in 'Idris.Interactive' Missing documentation for: caseSplitAt (src/Idris/Interactive.hs:38) addClauseFrom (src/Idris/Interactive.hs:53) addProofClauseFrom (src/Idris/Interactive.hs:89) addMissing (src/Idris/Interactive.hs:110) makeWith (src/Idris/Interactive.hs:161) makeCase (src/Idris/Interactive.hs:185) doProofSearch (src/Idris/Interactive.hs:222) makeLemma (src/Idris/Interactive.hs:320) 100% ( 3 / 3) in 'Idris.Apropos' 33% ( 1 / 3) in 'IRTS.Exports' Missing documentation for: findExports (src/IRTS/Exports.hs:20) getExpNames (src/IRTS/Exports.hs:26) 50% ( 2 / 4) in 'IRTS.JavaScript.Codegen' Missing documentation for: codegenJs (src/IRTS/JavaScript/Codegen.hs:131) CGConf (src/IRTS/JavaScript/Codegen.hs:67) 25% ( 1 / 4) in 'IRTS.CodegenJavaScript' Missing documentation for: codegenJavaScript (src/IRTS/CodegenJavaScript.hs:43) codegenNode (src/IRTS/CodegenJavaScript.hs:56) JSTarget (src/IRTS/CodegenJavaScript.hs:23) 50% ( 1 / 2) in 'IRTS.CodegenC' Missing documentation for: codegenC (src/IRTS/CodegenC.hs:31) 66% ( 2 / 3) in 'IRTS.Compiler' Missing documentation for: generate (src/IRTS/Compiler.hs:133) 16% ( 3 / 18) in 'Idris.Info' Missing documentation for: getIdrisDataDir (src/Idris/Info.hs:38) getIdrisCRTSDir (src/Idris/Info.hs:41) getIdrisJSRTSDir (src/Idris/Info.hs:44) getIdrisLibDir (src/Idris/Info.hs:50) getIdrisDocDir (src/Idris/Info.hs:47) getIdrisFlagsLib (src/Idris/Info.hs:53) getIdrisFlagsInc (src/Idris/Info.hs:56) getIdrisFlagsEnv (src/Idris/Info.hs:59) getIdrisCC (src/Idris/Info.hs:62) getIdrisVersion (src/Idris/Info.hs:65) getIdrisVersionNoGit (src/Idris/Info.hs:69) getIdrisHistoryFile (src/Idris/Info.hs:82) getIdrisInstalledPackages (src/Idris/Info.hs:87) getIdrisLoggingCategories (src/Idris/Info.hs:90) getIdrisDataFileByName (src/Idris/Info.hs:93) 20% ( 1 / 5) in 'Idris.ModeCommon' Missing documentation for: banner (src/Idris/ModeCommon.hs:167) defaultPort (src/Idris/ModeCommon.hs:35) loadInputs (src/Idris/ModeCommon.hs:38) warranty (src/Idris/ModeCommon.hs:176) 62% ( 5 / 8) in 'Idris.REPL' Missing documentation for: process (src/Idris/REPL.hs:837) replSettings (src/Idris/REPL.hs:1583) proofs (src/Idris/REPL.hs:823) 83% ( 5 / 6) in 'Idris.Main' Missing documentation for: loadInputs (src/Idris/ModeCommon.hs:38) 4% ( 1 / 21) in 'Idris.Info.Show' Missing documentation for: Module header showIdrisCRTSDir (src/Idris/Info/Show.hs:7) showExitIdrisCRTSDir (src/Idris/Info/Show.hs:12) showIdrisJSRTSDir (src/Idris/Info/Show.hs:17) showExitIdrisJSRTSDir (src/Idris/Info/Show.hs:22) showIdrisFlagsLibs (src/Idris/Info/Show.hs:27) showExitIdrisFlagsLibs (src/Idris/Info/Show.hs:32) showIdrisDataDir (src/Idris/Info/Show.hs:37) showExitIdrisDataDir (src/Idris/Info/Show.hs:42) showIdrisLibDir (src/Idris/Info/Show.hs:47) showExitIdrisLibDir (src/Idris/Info/Show.hs:52) showIdrisDocDir (src/Idris/Info/Show.hs:57) showExitIdrisDocDir (src/Idris/Info/Show.hs:62) showIdrisFlagsInc (src/Idris/Info/Show.hs:67) showExitIdrisFlagsInc (src/Idris/Info/Show.hs:72) showExitIdrisInstalledPackages (src/Idris/Info/Show.hs:83) showIdrisLoggingCategories (src/Idris/Info/Show.hs:88) showExitIdrisLoggingCategories (src/Idris/Info/Show.hs:93) showIdrisInfo (src/Idris/Info/Show.hs:98) showExitIdrisInfo (src/Idris/Info/Show.hs:140) 14% ( 2 / 14) in 'Idris.CmdOptions' Missing documentation for: opt (src/Idris/Options.hs:290) getClient (src/Idris/Options.hs:280) getPkg (src/Idris/Options.hs:197) getPkgCheck (src/Idris/Options.hs:210) getPkgClean (src/Idris/Options.hs:202) getPkgREPL (src/Idris/Options.hs:206) getPkgTest (src/Idris/Options.hs:222) getPort (src/Idris/Options.hs:285) getIBCSubDir (src/Idris/Options.hs:181) pureArgParser (src/Idris/CmdOptions.hs:79) execArgParserPure (src/Idris/CmdOptions.hs:76) runArgParser (src/Idris/CmdOptions.hs:36) Warning: 'iPKG' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 16% ( 2 / 12) in 'Idris.Package.Parser' Missing documentation for: PParser (src/Idris/Package/Parser.hs:32) parseDesc (src/Idris/Package/Parser.hs:34) pPkg (src/Idris/Package/Parser.hs:50) pPkgName (src/Idris/Package/Parser.hs:61) textUntilEol (src/Idris/Package/Parser.hs:104) clause (src/Idris/Package/Parser.hs:107) commaSep (src/Idris/Package/Parser.hs:111) pOptions (src/Idris/Package/Parser.hs:114) libIdentifier (src/Idris/Package/Parser.hs:122) pClause (src/Idris/Package/Parser.hs:125) 56% ( 17 / 30) in 'Idris.Package' Missing documentation for: getPkgDesc (src/Idris/Package.hs:52) auditPackage (src/Idris/Package.hs:311) buildMods (src/Idris/Package.hs:353) testLib (src/Idris/Package.hs:359) rmIBC (src/Idris/Package.hs:375) rmIdx (src/Idris/Package.hs:378) rmExe (src/Idris/Package.hs:383) toIBCFile (src/Idris/Package.hs:389) installIBC (src/Idris/Package.hs:392) installIdx (src/Idris/Package.hs:404) installObj (src/Idris/Package.hs:413) mkDirCmd (src/Idris/Package.hs:424) inPkgDir (src/Idris/Package.hs:427) Warning: IRTS.JavaScript.AST: could not find link destinations for: - Data.Text.Internal.Text - GHC.Types.Int - GHC.Types.Bool - GHC.Num.Integer.Integer - GHC.Types.Double - GHC.Base.String - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= Warning: Idris.Colours: could not find link destinations for: - GHC.Maybe.Maybe - System.Console.ANSI.Types.Color - GHC.Types.Bool - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Types.Type - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Types.True - GHC.Generics.:*: - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Just - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 - GHC.Enum.Bounded - GHC.Enum.minBound - GHC.Enum.maxBound - GHC.Enum.Enum - GHC.Enum.succ - GHC.Enum.pred - GHC.Enum.toEnum - GHC.Enum.fromEnum - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.IO.Handle.Types.Handle - GHC.Types.IO Warning: Idris.Help: could not find link destinations for: - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList Warning: IRTS.System: could not find link destinations for: - GHC.Base.String - GHC.Types.IO - GHC.IO.FilePath - GHC.Types.Char - Data.Version.Version - Paths_idris.getDataDir Warning: Util.DynamicLinker: could not find link destinations for: - GHC.Base.String - GHC.Ptr.FunPtr - System.Posix.DynamicLinker.Prim.DL - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.IO.FilePath - GHC.Types.IO - GHC.Maybe.Maybe Warning: Idris.Core.TT: could not find link destinations for: - GHC.Base.Functor - GHC.Types.Type - GHC.Base.fmap - GHC.Base.<$ - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - GHC.Types.Int - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.U1 - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Nothing - GHC.Types.Symbol - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 - Data.Foldable.Foldable - Data.Foldable.fold - GHC.Base.Monoid - Data.Foldable.foldMap - Data.Foldable.foldMap' - Data.Foldable.foldr - Data.Foldable.foldr' - Data.Foldable.foldl - Data.Foldable.foldl' - Data.Foldable.foldr1 - Data.Foldable.foldl1 - Data.Foldable.toList - Data.Foldable.null - Data.Foldable.length - Data.Foldable.elem - Data.Foldable.maximum - Data.Foldable.minimum - Data.Foldable.sum - GHC.Num.Num - Data.Foldable.product - Data.Traversable.Traversable - Data.Traversable.traverse - GHC.Base.Applicative - Data.Traversable.sequenceA - Data.Traversable.mapM - Data.Traversable.sequence - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - GHC.Types.True - GHC.Generics.:*: - GHC.Maybe.Just - GHC.Generics.SourceStrict - GHC.Generics.DecidedStrict - GHC.Num.Integer.Integer - GHC.Types.Double - GHC.Types.Char - GHC.Word.Word8 - GHC.Word.Word16 - GHC.Word.Word32 - GHC.Word.Word64 - Data.Map.Internal.Map - GHC.Base.mempty - GHC.Base.mappend - GHC.Base.mconcat - GHC.Base.Semigroup - GHC.Base.<> - GHC.Base.sconcat - GHC.Base.NonEmpty - GHC.Base.stimes - GHC.Real.Integral - Data.Text.Internal.Text - GHC.Enum.Enum - GHC.Enum.succ - GHC.Enum.pred - GHC.Enum.toEnum - GHC.Enum.fromEnum - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.IO.FilePath - Control.Monad.Fail.MonadFail - Control.Monad.Fail.fail - GHC.Base.Alternative - GHC.Base.empty - GHC.Base.<|> - GHC.Base.some - GHC.Base.many - GHC.Base.pure - GHC.Base.<*> - GHC.Base.liftA2 - GHC.Base.*> - GHC.Base.<* - GHC.Base.>>= - GHC.Base.>> - GHC.Base.return - GHC.Base.mzero - GHC.Base.mplus - Text.PrettyPrint.Annotated.Leijen.Doc - Data.Set.Internal.Set Warning: Idris.Unlit: could not find link destinations for: - GHC.IO.FilePath - GHC.Base.String Warning: Idris.Docstrings: could not find link destinations for: - Cheapskate.Types.Options - Idris.Docstrings.Blocks - Data.Foldable.Foldable - GHC.Types.Type - Data.Foldable.fold - GHC.Base.Monoid - Data.Foldable.foldMap - Data.Foldable.foldMap' - Data.Foldable.foldr - Data.Foldable.foldr' - Data.Foldable.foldl - Data.Foldable.foldl' - Data.Foldable.foldr1 - Data.Foldable.foldl1 - Data.Foldable.toList - Data.Foldable.null - GHC.Types.Bool - Data.Foldable.length - GHC.Types.Int - Data.Foldable.elem - GHC.Classes.Eq - Data.Foldable.maximum - GHC.Classes.Ord - Data.Foldable.minimum - Data.Foldable.sum - GHC.Num.Num - Data.Foldable.product - Data.Traversable.Traversable - Data.Traversable.traverse - GHC.Base.Applicative - Data.Traversable.sequenceA - Data.Traversable.mapM - GHC.Base.Monad - Data.Traversable.sequence - GHC.Base.Functor - GHC.Base.fmap - GHC.Base.<$ - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - Control.DeepSeq.NFData - Control.DeepSeq.rnf - Idris.Docstrings.Inlines - Cheapskate.Types.ListType - Cheapskate.Types.CodeAttr - Data.Text.Internal.Text - Text.PrettyPrint.Annotated.Leijen.Doc - Text.Blaze.Html.Html - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.U1 - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Nothing - GHC.Maybe.Maybe - GHC.Types.Symbol - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 Warning: Idris.Core.Constraints: could not find link destinations for: - Data.Set.Internal.Set Warning: Idris.Core.CaseTree: could not find link destinations for: - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Base.Functor - GHC.Types.Type - GHC.Base.fmap - GHC.Base.<$ - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.:*: - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Nothing - GHC.Maybe.Maybe - GHC.Types.Symbol - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 - GHC.Generics.SourceStrict - GHC.Generics.DecidedStrict - GHC.Generics.U1 - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - Idris.Core.CaseTree.prune Warning: Idris.Core.Evaluate: could not find link destinations for: - GHC.Types.Bool - GHC.Types.Int - Control.Monad.Trans.State.Lazy.StateT - GHC.Maybe.Maybe - Data.Either.Either - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Types.Type - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.:*: - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Nothing - GHC.Types.Symbol - GHC.Generics.NoSourceUnpackedness - GHC.Generics.SourceStrict - GHC.Generics.DecidedStrict - GHC.Generics.Rec0 - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Types.True - GHC.Maybe.Just - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Generics.U1 - Idris.Core.Evaluate.Eval - Idris.Core.Evaluate.EvalState Warning: Idris.Core.WHNF: could not find link destinations for: - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList Warning: Idris.Core.Unify: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Types.Bool - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= Warning: Idris.Core.Typecheck: could not find link destinations for: - Control.Monad.Trans.State.Lazy.StateT - GHC.Types.Bool - GHC.Base.String - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= Warning: Idris.Core.ProofTerm: could not find link destinations for: - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Types.Bool - GHC.Classes.Eq - GHC.Maybe.Maybe - Control.Monad.Trans.State.Strict.StateT Warning: Idris.Core.DeepSeq: could not find link destinations for: - Control.DeepSeq.NFData - Control.DeepSeq.rnf Warning: Idris.Core.Binary: could not find link destinations for: - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList Warning: Idris.IdeMode: could not find link destinations for: - GHC.Base.String - Data.Either.Either - GHC.Num.Integer.Integer - GHC.Types.Int - GHC.Types.Bool - GHC.Maybe.Maybe - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - GHC.IO.Handle.Types.Handle - GHC.Types.IO Warning: IRTS.Lang: could not find link destinations for: - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Types.Type - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Nothing - GHC.Types.Symbol - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 - GHC.Generics.:*: - GHC.Generics.U1 - GHC.Base.Functor - GHC.Base.fmap - GHC.Base.<$ - Data.Map.Internal.Map - Control.Monad.Trans.State.Lazy.State - Data.Foldable.Foldable Warning: Idris.Primitives: could not find link destinations for: - GHC.Types.Int - GHC.Maybe.Maybe Warning: IRTS.JavaScript.Specialize: could not find link destinations for: - GHC.Types.Int - GHC.Maybe.Maybe - IRTS.JavaScript.Specialize.SSig - GHC.Base.String Warning: IRTS.JavaScript.PrimOp: could not find link destinations for: - GHC.Types.Bool - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - Data.Map.Internal.Map Warning: IRTS.JavaScript.Name: could not find link destinations for: - Data.Text.Internal.Text - GHC.Types.Int - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min Warning: IRTS.JavaScript.LangTransforms: could not find link destinations for: - Data.Map.Internal.Map - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - GHC.Types.Int - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo Warning: IRTS.Defunctionalise: could not find link destinations for: - GHC.Types.Bool - GHC.Types.Int - GHC.Maybe.Maybe - GHC.Base.String - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - Control.Monad.Trans.State.Lazy.State - GHC.Classes.max Warning: IRTS.Simplified: could not find link destinations for: - GHC.Types.Int - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Types.Bool - GHC.Maybe.Maybe - IRTS.Simplified.bindExprs Warning: IRTS.Inliner: could not find link destinations for: - GHC.Maybe.Maybe Warning: IRTS.CodegenCommon: could not find link destinations for: - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Types.Type - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.U1 - GHC.IO.FilePath - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - GHC.Types.IO Warning: Idris.Options: could not find link destinations for: - GHC.Base.String - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Types.Type - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.:+: - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Generics.:*: - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Nothing - GHC.Maybe.Maybe - GHC.Types.Symbol - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 - GHC.Generics.U1 - GHC.Read.Read - GHC.Read.readsPrec - Text.ParserCombinators.ReadP.ReadS - GHC.Read.readList - GHC.Read.readPrec - Text.ParserCombinators.ReadPrec.ReadPrec - GHC.Read.readListPrec - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.IO.FilePath - Network.Socket.Types.PortNumber Warning: IRTS.Bytecode: could not find link destinations for: - GHC.Types.Int - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Maybe.Maybe Warning: IRTS.Portable: could not find link destinations for: - GHC.IO.Handle.Types.Handle - GHC.Types.IO - Data.Aeson.Types.ToJSON.ToJSON - Data.Aeson.Types.ToJSON.toJSON - Data.Aeson.Types.Internal.Value - Data.Aeson.Types.ToJSON.toEncoding - Data.Aeson.Encoding.Internal.Encoding - Data.Aeson.Types.ToJSON.toJSONList - Data.Aeson.Types.ToJSON.toEncodingList Warning: IRTS.DumpBC: could not find link destinations for: - GHC.Types.Int - GHC.Base.String - GHC.Show.Show - GHC.Types.IO Warning: Idris.Core.ProofState: could not find link destinations for: - GHC.Types.Int - GHC.Maybe.Maybe - GHC.Base.String - GHC.Types.Bool - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - GHC.Classes.Eq - Data.Foldable.Foldable Warning: Idris.Core.Elaborate: could not find link destinations for: - GHC.Base.String - GHC.Maybe.Maybe - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - Control.Monad.Trans.State.Strict.StateT - GHC.Types.Bool - GHC.Types.Char Warning: Idris.AbsSyntaxTree: could not find link destinations for: - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Maybe.Maybe - GHC.IO.FilePath - GHC.Generics.Generic - GHC.Generics.from - GHC.Generics.Rep - GHC.Generics.to - GHC.Types.Type - Control.DeepSeq.NFData - Control.DeepSeq.rnf - GHC.Generics.D1 - GHC.Generics.MetaData - GHC.Types.False - GHC.Generics.C1 - GHC.Generics.MetaCons - GHC.Generics.PrefixI - GHC.Types.True - GHC.Generics.:*: - GHC.Generics.S1 - GHC.Generics.MetaSel - GHC.Maybe.Just - GHC.Generics.NoSourceUnpackedness - GHC.Generics.NoSourceStrictness - GHC.Generics.DecidedLazy - GHC.Generics.Rec0 - GHC.IO.Handle.Types.Handle - GHC.Num.Integer.Integer - Data.Binary.Class.Binary - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - GHC.Generics.:+: - GHC.Generics.U1 - Data.Set.Internal.Set - Data.Map.Internal.Map - Data.Text.Internal.Text - GHC.Maybe.Nothing - GHC.Types.Symbol - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.Except.ExceptT - GHC.Types.IO - Data.Either.Either - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - GHC.Base.Functor - GHC.Base.fmap - GHC.Base.<$ - Data.Foldable.Foldable - Data.Foldable.fold - GHC.Base.Monoid - Data.Foldable.foldMap - Data.Foldable.foldMap' - Data.Foldable.foldr - Data.Foldable.foldr' - Data.Foldable.foldl - Data.Foldable.foldl' - Data.Foldable.foldr1 - Data.Foldable.foldl1 - Data.Foldable.toList - Data.Foldable.null - Data.Foldable.length - Data.Foldable.elem - Data.Foldable.maximum - Data.Foldable.minimum - Data.Foldable.sum - GHC.Num.Num - Data.Foldable.product - Data.Traversable.Traversable - Data.Traversable.traverse - GHC.Base.Applicative - Data.Traversable.sequenceA - Data.Traversable.mapM - Data.Traversable.sequence - Text.PrettyPrint.Annotated.Leijen.Doc Warning: Idris.DeepSeq: could not find link destinations for: - Control.DeepSeq.NFData - Control.DeepSeq.rnf - Network.Socket.Types.PortNumber Warning: Idris.ASTUtils: could not find link destinations for: - Control.Category.Category - GHC.Types.Type - Control.Category.id - Control.Category.. - GHC.Types.Int - GHC.Maybe.Maybe - Control.Monad.State.Class.MonadState - GHC.Types.Bool Warning: Util.ScreenSize: could not find link destinations for: - GHC.Types.IO - GHC.Types.Int Warning: Util.System: could not find link destinations for: - GHC.Base.String - GHC.Types.IO - GHC.IO.FilePath - GHC.IO.Handle.Types.Handle - GHC.IO.Exception.IOError - GHC.Types.Bool - Data.Text.Internal.Text - GHC.Types.True - GHC.Types.False Warning: Idris.AbsSyntax: could not find link destinations for: - GHC.Base.Applicative - GHC.Types.Type - GHC.Base.pure - GHC.Base.<*> - GHC.Base.liftA2 - GHC.Base.*> - GHC.Base.<* - GHC.Base.Functor - GHC.Base.fmap - GHC.Base.<$ - GHC.Base.Monad - GHC.Base.>>= - GHC.Base.>> - GHC.Base.return - GHC.Types.Bool - GHC.Types.IO - Text.PrettyPrint.Annotated.Leijen.Doc - GHC.Base.String - GHC.Types.Int - GHC.IO.FilePath - Data.Either.Either - GHC.Maybe.Maybe - GHC.IO.Handle.Types.Handle - Data.Text.Internal.Text Warning: Idris.Transforms: could not find link destinations for: - Data.Either.Either Warning: Idris.REPL.Browse: could not find link destinations for: - GHC.Base.String Warning: Idris.Elab.Quasiquote: could not find link destinations for: - GHC.Types.Int Warning: Idris.Delaborate: could not find link destinations for: - Text.PrettyPrint.Annotated.Leijen.Doc - GHC.Base.String - GHC.Types.Bool Warning: Idris.Reflection: could not find link destinations for: - Idris.Reflection.RPlicity - Idris.Reflection.RErasure - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Idris.Reflection.RDatatype - GHC.Maybe.Maybe - GHC.Types.Bool - Data.Either.Either Warning: Idris.ProofSearch: could not find link destinations for: - GHC.Types.Int - GHC.Types.Bool - GHC.Maybe.Maybe - Idris.ProofSearch.findImplementations Warning: Idris.PartialEval: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Types.Int - Data.Either.Either - Idris.PartialEval.PEDecl - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= Warning: Idris.Output: could not find link destinations for: - GHC.Base.String - GHC.Types.Bool - Text.PrettyPrint.Annotated.Leijen.Doc - Text.PrettyPrint.Annotated.Leijen.SimpleDoc - GHC.Maybe.Maybe - GHC.Types.Int - Data.Set.Internal.Set - GHC.IO.FilePath Warning: Idris.Parser.Stack: could not find link destinations for: - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.Writer.Strict.WriterT - Text.Megaparsec.Parsec - Data.Void.Void - GHC.Base.String - Control.Monad.Fail.MonadFail - Text.Megaparsec.Class.MonadParsec - Control.Monad.Writer.Class.MonadWriter - Data.Either.Either - GHC.Maybe.Maybe - Text.Megaparsec.State.State Warning: Idris.Parser.Helpers: could not find link destinations for: - Text.PrettyPrint.ANSI.Leijen.Internal.Doc - GHC.Types.Char - GHC.Types.Bool - GHC.Base.String - GHC.Num.Integer.Integer - GHC.Types.Double - Control.Monad.State.Class.MonadState - GHC.Maybe.Maybe Warning: Idris.Parser.Ops: could not find link destinations for: - Control.Monad.Combinators.Expr.Operator - Control.Monad.State.Class.MonadState - GHC.Base.. - GHC.Types.Int - GHC.Base.String - GHC.Types.Char Warning: Idris.Error: could not find link destinations for: - GHC.Base.String - GHC.IO.Exception.IOError Warning: Idris.Providers: could not find link destinations for: - GHC.Base.Functor - GHC.Types.Type - GHC.Base.fmap - GHC.Base.<$ - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= Warning: Idris.Imports: could not find link destinations for: - GHC.IO.FilePath - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Maybe.Maybe - GHC.Types.IO - Data.Either.Either Warning: Idris.REPL.Commands: could not find link destinations for: - Data.Either.Either - GHC.IO.FilePath - GHC.Maybe.Maybe - GHC.Types.Int - GHC.Base.String - GHC.Types.Bool Warning: Idris.Package.Common: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Base.String - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList Warning: Idris.IBC: could not find link destinations for: - GHC.Types.Bool - GHC.IO.FilePath - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - Data.Binary.Class.Binary - Cheapskate.Types.CodeAttr - Data.Binary.Class.put - Data.Binary.Put.Put - Data.Binary.Class.get - Data.Binary.Get.Internal.Get - Data.Binary.Class.putList - Cheapskate.Types.ListType - Cheapskate.Types.NumWrapper - Cheapskate.Types.Options Warning: Idris.Erasure: could not find link destinations for: - GHC.Types.Int Warning: Idris.Elab.Utils: could not find link destinations for: - GHC.Base.String - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.Except.ExceptT - GHC.Types.IO - GHC.Types.Bool - GHC.Types.Int - GHC.Maybe.Maybe - Data.Foldable.Foldable - GHC.Classes.Eq Warning: Idris.Elab.Rewrite: could not find link destinations for: - GHC.Maybe.Maybe Warning: Idris.Docs: could not find link destinations for: - Text.PrettyPrint.Annotated.Leijen.Doc - GHC.Base.String - GHC.Maybe.Maybe - GHC.Base.Functor - GHC.Types.Type - GHC.Base.fmap - GHC.Base.<$ Warning: Idris.IdrisDoc: could not find link destinations for: - GHC.IO.FilePath - GHC.Types.IO - Data.Either.Either - GHC.Base.String Warning: Idris.DataOpts: could not find link destinations for: - Idris.DataOpts.Optimisable Warning: Idris.Parser.Expr: could not find link destinations for: - GHC.Base.String - Data.Either.Either - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - GHC.Maybe.Maybe - GHC.Base.. - Data.OldList.\\ - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.Writer.Strict.WriterT - Text.Megaparsec.Parsec - Data.Void.Void - Control.Monad.Fail.MonadFail - Text.Megaparsec.Class.MonadParsec - Control.Monad.Writer.Class.MonadWriter - GHC.Num.Integer.Integer - GHC.Types.Char - GHC.Types.Double - Control.Monad.State.Class.state Warning: Idris.Parser.Data: could not find link destinations for: - Data.Either.Either - GHC.Base.String Warning: Idris.Coverage: could not find link destinations for: - GHC.Types.Bool Warning: Idris.Elab.Term: could not find link destinations for: - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Types.Int - GHC.Maybe.Maybe - Data.Set.Internal.Set - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.State.Strict.State - GHC.Base.String Warning: Idris.Elab.Value: could not find link destinations for: - GHC.Types.Bool - Data.Either.Either Warning: Idris.Elab.Type: could not find link destinations for: - GHC.Types.Int - Data.Either.Either - GHC.Types.Bool Warning: Idris.TypeSearch: could not find link destinations for: - Idris.TypeSearch.Score - GHC.Types.Int - GHC.Types.True - GHC.Types.False Warning: Idris.Elab.Data: could not find link destinations for: - Data.Either.Either Warning: Idris.Elab.Record: could not find link destinations for: - Data.Either.Either - GHC.Maybe.Maybe Warning: Idris.Elab.Interface: could not find link destinations for: - Data.Either.Either - GHC.Maybe.Maybe Warning: Idris.Elab.Transform: could not find link destinations for: - GHC.Types.Bool Warning: Idris.Elab.RunElab: could not find link destinations for: - GHC.Base.String Warning: Idris.Elab.Implementation: could not find link destinations for: - Data.Either.Either - GHC.Maybe.Maybe Warning: Idris.Elab.Clause: could not find link destinations for: - GHC.Types.Bool - GHC.Maybe.Maybe - GHC.Types.Int - Data.Either.Either Warning: Idris.Elab.Provider: could not find link destinations for: - Data.Either.Either Warning: Idris.ElabDecls: could not find link destinations for: - Control.Monad.Trans.State.Strict.StateT - Control.Monad.Trans.Except.ExceptT - GHC.Types.IO Warning: Idris.Parser: could not find link destinations for: - GHC.Types.Bool - GHC.IO.FilePath - GHC.Maybe.Maybe - GHC.Base.String - Data.Text.Internal.Text - Idris.Parser.addSyntax - Text.PrettyPrint.ANSI.Leijen.Internal.Doc - GHC.Types.Int - Control.Monad.State.Class.MonadState - Data.Either.Either - Idris.Parser.pattern - Idris.Parser.postulate - Idris.Parser.mutual - Idris.Parser.namespace - Idris.Parser.implementation - Idris.Parser.transform Warning: Idris.REPL.Parser: could not find link destinations for: - GHC.Base.String - Data.Either.Either Warning: Idris.Completion: could not find link destinations for: - System.Console.Haskeline.Completion.CompletionFunc - GHC.Base.String Warning: Idris.Prover: could not find link destinations for: - GHC.Types.Bool - GHC.Base.String Warning: Idris.Chaser: could not find link destinations for: - GHC.IO.FilePath - GHC.Types.Bool - Data.Time.Clock.Internal.UTCTime.UTCTime - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList Warning: Idris.CaseSplit: could not find link destinations for: - GHC.Types.Int - GHC.IO.FilePath - GHC.Types.Bool - GHC.Base.String - GHC.Show.Show - GHC.Num.Num - GHC.Types.Char - GHC.Types.False Warning: Idris.Interactive: could not find link destinations for: - GHC.IO.FilePath - GHC.Types.Bool - GHC.Types.Int - GHC.Maybe.Maybe Warning: Idris.Apropos: could not find link destinations for: - Data.Text.Internal.Text - GHC.Base.String Warning: IRTS.JavaScript.Codegen: could not find link destinations for: - Data.Text.Internal.Text - GHC.Base.String - GHC.Types.Bool - Data.Set.Internal.Set - GHC.Base.Monoid - GHC.Base.mempty - GHC.Base.mappend - GHC.Base.mconcat - GHC.Base.Semigroup - GHC.Base.<> - GHC.Base.sconcat - GHC.Base.NonEmpty - GHC.Base.stimes - GHC.Real.Integral Warning: IRTS.CodegenJavaScript: could not find link destinations for: - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= Warning: IRTS.Compiler: could not find link destinations for: - GHC.IO.FilePath - GHC.Maybe.Maybe - GHC.Types.IO Warning: Idris.Info: could not find link destinations for: - GHC.Types.IO - GHC.Base.String - GHC.Types.Char - Data.Version.Version - GHC.IO.FilePath Warning: Idris.ModeCommon: could not find link destinations for: - GHC.Types.Char - Network.Socket.Types.PortNumber - GHC.IO.FilePath - GHC.Maybe.Maybe - GHC.Types.Int Warning: Idris.REPL: could not find link destinations for: - GHC.Types.Bool - GHC.IO.FilePath - Network.Socket.Types.PortNumber - GHC.Maybe.Maybe - GHC.Base.String - GHC.Types.IO - System.Console.Haskeline.InputT.Settings - System.Console.Haskeline.InputT.InputT Warning: Idris.Main: could not find link destinations for: - GHC.Types.IO - GHC.Maybe.Maybe - Network.Socket.Types.PortNumber - GHC.Base.String - GHC.IO.FilePath - GHC.Types.Int Warning: Idris.Info.Show: could not find link destinations for: - GHC.Types.IO Warning: Idris.CmdOptions: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Base.String - GHC.Types.Bool - Options.Applicative.Types.ParserResult - GHC.Types.IO Warning: Idris.Package.Parser: could not find link destinations for: - GHC.IO.FilePath - GHC.Types.IO - GHC.Base.String Warning: Idris.Package: could not find link destinations for: - GHC.IO.FilePath - GHC.Types.IO - GHC.Types.Bool - GHC.IO.Exception.ExitCode - GHC.Base.String - GHC.Maybe.Maybe - GHC.Types.Char - Data.Either.Either Documentation created: dist/doc/html/idris/index.html, dist/doc/html/idris/idris.txt Preprocessing executable 'idris' for idris-1.3.4.. Preprocessing executable 'idris-codegen-javascript' for idris-1.3.4.. Preprocessing executable 'idris-codegen-c' for idris-1.3.4.. Preprocessing executable 'idris-codegen-node' for idris-1.3.4.. + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.07CNg0 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 ++ dirname /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -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 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup copy --destdir=/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 Installing library in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/idris-1.3.4 Installing executable idris in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Warning: Executable installed in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Installing executable idris-codegen-javascript in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Warning: Executable installed in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Installing executable idris-codegen-c in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Warning: Executable installed in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Installing executable idris-codegen-node in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Warning: Executable installed in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin Installing libraries in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4 make: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs' make -C prelude install make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/prelude' ../../dist/build/idris/idris --install prelude.ipkg Installing Builtins.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude Installing Decidable/Equality.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Decidable Installing IO.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude Installing Language/Reflection.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Language Installing Language/Reflection/Elab.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Language/Reflection Installing Language/Reflection/Errors.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Language/Reflection Installing Prelude.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude Installing Prelude/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Basics.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Bool.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Cast.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Chars.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Doubles.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Either.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/File.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Foldable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Functor.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Interactive.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Interfaces.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/List.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Maybe.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Pairs.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Providers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Show.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Stream.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Strings.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Traversable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/Uninhabited.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing Prelude/WellFounded.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude/Prelude Installing 00prelude-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/prelude ../../dist/build/idris/idris --installdoc prelude.ipkg Attempting to install IdrisDocs for prelude in: /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/docs/prelude make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/prelude' make -C base install make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/base' ../../dist/build/idris/idris --install base.ipkg Installing Control/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control Installing Control/Catchable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control Installing Control/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control Installing Control/IOExcept.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control Installing Control/Isomorphism.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control Installing Control/Monad/Identity.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control/Monad Installing Control/Monad/Reader.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control/Monad Installing Control/Monad/RWS.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control/Monad Installing Control/Monad/State.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control/Monad Installing Control/Monad/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control/Monad Installing Control/Monad/Writer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Control/Monad Installing Data/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Buffer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Complex.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Erased.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/HVect.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/IORef.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/List.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/List/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/List Installing Data/List/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/List Installing Data/Mod2.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Morphisms.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Nat/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/Nat Installing Data/Primitives/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/Primitives Installing Data/So.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/String.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/String/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/String Installing Data/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data Installing Data/Vect/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/Vect Installing Data/Vect/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Data/Vect Installing Debug/Error.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Debug Installing Debug/Trace.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Debug Installing Language/Reflection/Utils.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Language/Reflection Installing Syntax/PreorderReasoning.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/Syntax Installing System.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base Installing System/Concurrency/Channels.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/System/Concurrency Installing System/Concurrency/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/System/Concurrency Installing System/Info.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base/System Installing 00base-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/base ../../dist/build/idris/idris --installdoc base.ipkg Attempting to install IdrisDocs for base in: /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/docs/base Warning: Ignoring empty or non-existing namespace 'Control.Category' Warning: Ignoring empty or non-existing namespace 'Control.Monad.Trans' Warning: Ignoring empty or non-existing namespace 'Data.Nat.Views' Warning: Ignoring empty or non-existing namespace 'Data.Primitives.Views' Warning: Ignoring empty or non-existing namespace 'Data.So' Warning: Ignoring empty or non-existing namespace 'Syntax.PreorderReasoning' Warning: Ignoring empty or non-existing namespace 'System.Concurrency.Raw' make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/base' make -C contrib install make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/contrib' ../../dist/build/idris/idris --install contrib.ipkg Installing CFFI.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib Installing CFFI/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/CFFI Installing CFFI/Types.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/CFFI Installing Control/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control Installing Control/Algebra/Lattice.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Algebra Installing Control/Algebra/Laws.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Algebra Installing Control/Algebra/NumericImplementations.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Algebra Installing Control/Algebra/VectorSpace.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Algebra Installing Control/Delayed.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control Installing Control/Isomorphism/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism Installing Control/Isomorphism/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism Installing Control/Isomorphism/Primitives.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism Installing Control/Isomorphism/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism Installing Control/Monad/Syntax.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/Monad Installing Control/Partial.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control Installing Control/Pipeline.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control Installing Control/ST.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control Installing Control/ST/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/ST Installing Control/ST/ImplicitCall.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/ST Installing Control/ST/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/ST Installing Control/ST/File.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Control/ST Installing Data/Bool/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Bool Installing Data/Bool/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Bool Installing Data/BoundedList.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Chain.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/CoList.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Combinators/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Combinators Installing Data/Combinators/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Combinators Installing Data/Fin/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Fin Installing Data/Fuel.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Fun.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Hash.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Heap.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/IOArray.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/List/Zipper.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/List Installing Data/List/Reverse.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/List Installing Data/Matrix.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Matrix/Algebraic.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Matrix Installing Data/Matrix/Numeric.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Matrix Installing Data/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Nat/Ack.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Nat Installing Data/Nat/Fact.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Nat Installing Data/Nat/Fib.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Nat Installing Data/Nat/Parity.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Nat Installing Data/Nat/DivMod.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Nat Installing Data/Nat/DivMod/IteratedSubtraction.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod Installing Data/Pairs/Implicit.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Pairs Installing Data/PosNat.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Rel.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Sign.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/SortedBag.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/SortedMap.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/SortedSet.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Storable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Data/Stream/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/Stream Installing Data/String/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data/String Installing Data/ZZ.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Data Installing Decidable/Decidable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Decidable Installing Decidable/Order.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Decidable Installing Interfaces/Correlative.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Interfaces Installing Interfaces/Verified.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Interfaces Installing Interfaces/Proposition.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Interfaces Installing Language/JSON.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language Installing Language/JSON/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON Installing Language/JSON/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON Installing Language/JSON/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON Installing Language/JSON/String.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON Installing Language/JSON/String/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON/String Installing Language/JSON/String/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON/String Installing Language/JSON/String/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON/String Installing Language/JSON/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Language/JSON Installing Network/Cgi.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Network Installing Network/Socket.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Network Installing Network/Socket/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Network/Socket Installing Network/Socket/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Network/Socket Installing System/Concurrency/Process.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/System/Concurrency Installing Test/Unit/Display.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Test/Unit Installing Test/Unit/Runners.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Test/Unit Installing Test/Unit/Generic.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Test/Unit Installing Test/Unit/Assertions.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Test/Unit Installing Test/Unit.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Test Installing Text/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text Installing Text/Lexer/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text/Lexer Installing Text/Literate.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text Installing Text/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text Installing Text/Parser/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text/Parser Installing Text/PrettyPrint/WL/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL Installing Text/PrettyPrint/WL/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL Installing Text/PrettyPrint/WL/Characters.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL Installing Text/PrettyPrint/WL.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint Installing Text/Quantity.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text Installing Text/Token.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib/Text Installing 00contrib-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/contrib ../../dist/build/idris/idris --installdoc contrib.ipkg Attempting to install IdrisDocs for contrib in: /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/docs/contrib Warning: Ignoring empty or non-existing namespace 'CFFI' Warning: Ignoring empty or non-existing namespace 'Data.Bool.Extra' Warning: Ignoring empty or non-existing namespace 'Data.Combinators.Arrow' Warning: Ignoring empty or non-existing namespace 'Data.Heap' Warning: Ignoring empty or non-existing namespace 'Data.Nat.Ack' Warning: Ignoring empty or non-existing namespace 'Data.Sign' Warning: Ignoring empty or non-existing namespace 'Data.SortedMap' Warning: Ignoring empty or non-existing namespace 'Data.ZZ' Warning: Ignoring empty or non-existing namespace 'Interfaces.Verified' Warning: Ignoring empty or non-existing namespace 'Language.JSON.Lexer' Warning: Ignoring empty or non-existing namespace 'Language.JSON.Parser' Warning: Ignoring empty or non-existing namespace 'Language.JSON.String' Warning: Ignoring empty or non-existing namespace 'Language.JSON.String.Lexer' Warning: Ignoring empty or non-existing namespace 'Language.JSON.String.Parser' Warning: Ignoring empty or non-existing namespace 'Language.JSON.String.Tokens' Warning: Ignoring empty or non-existing namespace 'Language.JSON.Tokens' Warning: Ignoring empty or non-existing namespace 'Network.Socket.Raw' Warning: Ignoring empty or non-existing namespace 'Test.Unit.Runners' Warning: Ignoring empty or non-existing namespace 'Test.Unit' Warning: Ignoring empty or non-existing namespace 'Text.Lexer' Warning: Ignoring empty or non-existing namespace 'Text.Parser' Warning: Ignoring empty or non-existing namespace 'Text.Parser.Core' Warning: Ignoring empty or non-existing namespace 'Text.PrettyPrint.WL.Core' Warning: Ignoring empty or non-existing namespace 'Text.PrettyPrint.WL.Combinators' Warning: Ignoring empty or non-existing namespace 'Text.PrettyPrint.WL.Characters' Warning: Ignoring empty or non-existing namespace 'Text.PrettyPrint.WL' make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/contrib' make -C effects install make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/effects' ../../dist/build/idris/idris --install effects.ipkg Installing Effects.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects Installing Effect/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/File.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Logging/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect/Logging Installing Effect/Logging/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect/Logging Installing Effect/Logging/Level.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect/Logging Installing Effect/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Perf.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Select.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/State.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/StdIO.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/System.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing Effect/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects/Effect Installing 00effects-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/effects ../../dist/build/idris/idris --installdoc effects.ipkg Attempting to install IdrisDocs for effects in: /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/docs/effects Warning: Ignoring empty or non-existing namespace 'Effect.Default' make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/effects' make -C pruviloj install make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/pruviloj' ../../dist/build/idris/idris --install pruviloj.ipkg Installing Pruviloj.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj Installing Pruviloj/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj Installing Pruviloj/Derive/DecEq.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive Installing Pruviloj/Derive/Eliminators.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive Installing Pruviloj/Disjoint.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj Installing Pruviloj/Induction.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj Installing Pruviloj/Injective.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj Installing Pruviloj/Internals.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj Installing Pruviloj/Internals/TyConInfo.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals Installing Pruviloj/Renamers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj Installing 00pruviloj-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/libs/pruviloj ../../dist/build/idris/idris --installdoc pruviloj.ipkg Attempting to install IdrisDocs for pruviloj in: /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/docs/pruviloj Warning: Ignoring empty or non-existing namespace 'Pruviloj' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Core' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Derive.Eliminators' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Disjoint' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Induction' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Injective' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Internals' Warning: Ignoring empty or non-existing namespace 'Pruviloj.Renamers' make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/pruviloj' make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs' Installing run time system in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/rts make: Entering directory '/builddir/build/BUILD/idris-1.3.4/rts' mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/rts install libidris_rts.a idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_bitstring.h idris_opts.h idris_stats.h idris_stdfgn.h idris_net.h idris_buffer.h idris_utf8.h getline.h mini-gmp.h /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/rts make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/rts' Copying man page to /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/man/man1 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup register --gen-pkg-config + '[' -d /usr/lib64/ghc-9.4.5/lib ']' + subsubdir=/lib + '[' -d idris-1.3.4.conf ']' + install -D --mode=0644 idris-1.3.4.conf /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/package.conf.d/idris-1.3.4.conf + '[' -d /usr/lib64/ghc-9.4.5/lib ']' + subsubdir=/lib + '[' '!' -f /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/package.conf.d/idris-1.3.4.conf ']' + rm -f ghc-idris.files ghc-idris-doc.files + touch ghc-idris.files ghc-idris-doc.files + for i in /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5${subsubdir}/libHSidris-1.3.4-*ghc9.4.5.so + '[' -x /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/libHSidris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.so ']' + echo /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/libHSidris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.so + pkgdir=/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/idris-1.3.4 + '[' -d /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/idris-1.3.4 ']' + find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/idris-1.3.4 -type d -fprintf ghc-idris-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-idris-prof.files -o -fprint ghc-idris-devel.files + ls /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/package.conf.d/idris-1.3.4.conf + haddock_dir=/usr/share/doc/ghc/html/libraries/idris-1.3.4 + '[' -d /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/ghc/html/libraries/idris-1.3.4 ']' + echo /usr/share/doc/ghc/html/libraries/idris-1.3.4 + for i in ghc-idris.files ghc-idris-devel.files ghc-idris-doc.files ghc-idris-prof.files + '[' -f ghc-idris.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64!!g' ghc-idris.files + for i in ghc-idris.files ghc-idris-devel.files ghc-idris-doc.files ghc-idris-prof.files + '[' -f ghc-idris-devel.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64!!g' ghc-idris-devel.files + for i in ghc-idris.files ghc-idris-devel.files ghc-idris-doc.files ghc-idris-prof.files + '[' -f ghc-idris-doc.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64!!g' ghc-idris-doc.files + for i in ghc-idris.files ghc-idris-devel.files ghc-idris-doc.files ghc-idris-prof.files + '[' -f ghc-idris-prof.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64!!g' ghc-idris-prof.files + echo 'deleting rpaths:' deleting rpaths: + type chrpath ++ find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print + for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) + '[' -x /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/libHSidris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.so ']' ++ chrpath /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/libHSidris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.so ++ sed -e 's@^/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64/ghc-9.4.5/lib/libHSidris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.4.5/lib/riscv64-linux-ghc-9.4.5:/usr/lib64/ghc-9.4.5/lib + case "$rpath" in + for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) + '[' -x /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-c ']' ++ chrpath /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-c ++ sed -e 's@^/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-c: R.*PATH=@@' + rpath='/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-c: no rpath or runpath tag found.' + case "$rpath" in + for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) + '[' -x /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-node ']' ++ chrpath /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-node ++ sed -e 's@^/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-node: R.*PATH=@@' + rpath='/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-node: no rpath or runpath tag found.' + case "$rpath" in + for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) + '[' -x /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris ']' ++ chrpath /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris ++ sed -e 's@^/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris: R.*PATH=@@' + rpath='/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris: no rpath or runpath tag found.' + case "$rpath" in + for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) + '[' -x /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-javascript ']' ++ chrpath /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-javascript ++ sed -e 's@^/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-javascript: R.*PATH=@@' + rpath='/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-javascript: no rpath or runpath tag found.' + case "$rpath" in + mv /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/idris /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/idris-common + mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/bash-completion/completions/ + /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris --bash-completion-script idris + sed s/filenames/default/ + /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-c --bash-completion-script idris-codegen-c + sed s/filenames/default/ + /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-javascript --bash-completion-script idris-codegen-javascript + sed s/filenames/default/ + /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/bin/idris-codegen-node --bash-completion-script idris-codegen-node + sed s/filenames/default/ + mv /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/rts/libidris_rts.a /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/lib64 + chmod +r -R /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/idris-1.3.4/docs + mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-manual + cp -p idris-tutorial.pdf /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-manual/ + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs *** WARNING: ./usr/share/idris-1.3.4/rts/idris_heap.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_stdfgn.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_opts.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_gmp.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_rts.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_stats.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_buffer.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_bitstring.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_utf8.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_net.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/getline.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/mini-gmp.h is executable but has no shebang, removing executable bit *** WARNING: ./usr/share/idris-1.3.4/rts/idris_gc.h is executable but has no shebang, removing executable bit + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j32 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: idris-1.3.4-14.fc40.riscv64 Provides: idris = 1.3.4-14.fc40 idris(riscv-64) = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libffi.so.8()(64bit) libffi.so.8(LIBFFI_BASE_8.0)(64bit) libffi.so.8(LIBFFI_CLOSURE_8.0)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libtinfo.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: idris-common-1.3.4-14.fc40.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.sxxCgz + umask 022 + cd /builddir/build/BUILD + cd idris-1.3.4 + DOCDIR=/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-common + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-common + cp -pr /builddir/build/BUILD/idris-1.3.4/CHANGELOG.md /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-common + cp -pr /builddir/build/BUILD/idris-1.3.4/CONTRIBUTING.md /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-common + cp -pr /builddir/build/BUILD/idris-1.3.4/CONTRIBUTORS /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-common + cp -pr /builddir/build/BUILD/idris-1.3.4/README.md /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/doc/idris-common + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.1AyL2X + umask 022 + cd /builddir/build/BUILD + cd idris-1.3.4 + LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/idris-common + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/idris-common + cp -pr /builddir/build/BUILD/idris-1.3.4/LICENSE /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/idris-common + RPM_EC=0 ++ jobs -p + exit 0 Provides: idris-common = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: idris-static-1.3.4-14.fc40.riscv64 Provides: idris-static = 1.3.4-14.fc40 idris-static(riscv-64) = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ghc-idris-1.3.4-14.fc40.riscv64 Provides: ghc-idris = 1.3.4-14.fc40 ghc-idris(riscv-64) = 1.3.4-14.fc40 libHSidris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx-ghc9.4.5.so()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libHSOneTuple-0.4.1.1-Fgk8ylTtnzLBSBvZAI1OoV-ghc9.4.5.so()(64bit) libHSQuickCheck-2.14.3-6dq2izV8oSq1BobaDA598X-ghc9.4.5.so()(64bit) libHSStateVar-1.2.2-GlWluWgK8kgE7IUHzo2idN-ghc9.4.5.so()(64bit) libHSaeson-2.1.2.1-L27SCB17d9ICZwbFcHLL4z-ghc9.4.5.so()(64bit) libHSannotated-wl-pprint-0.7.0-AZIdHwhO7gY9nR82IJfl4n-ghc9.4.5.so()(64bit) libHSansi-terminal-0.11.5-5x0MoHxm5r6DDoyv5djCW3-ghc9.4.5.so()(64bit) libHSansi-terminal-types-0.11.5-9ffXWswmNhoANlpnF2SnhR-ghc9.4.5.so()(64bit) libHSansi-wl-pprint-0.6.9-1uNId4TIZRh7T7KEIBVXZI-ghc9.4.5.so()(64bit) libHSarray-0.5.4.0-ghc9.4.5.so()(64bit) libHSassoc-1.1-H3gdf0Ue1d5sn9822dJ4G-ghc9.4.5.so()(64bit) libHSasync-2.2.4-Is3H7ZPNMkM5reIoCaqYrF-ghc9.4.5.so()(64bit) libHSattoparsec-0.14.4-1rgNxdaX2hcAlnLLYxTxu4-ghc9.4.5.so()(64bit) libHSattoparsec-0.14.4-K6WkGQxU67DICICjfpE0Kf-attoparsec-internal-ghc9.4.5.so()(64bit) libHSbase-4.17.1.0-ghc9.4.5.so()(64bit) libHSbase-compat-0.12.3-EzIEO7DrtWn73MXq9N0DKk-ghc9.4.5.so()(64bit) libHSbase-compat-batteries-0.12.3-EvvecFThiaEAGWq5U5Tpi9-ghc9.4.5.so()(64bit) libHSbase-orphans-0.9.0-9apYLvrFDmLG6M4gvFHbpN-ghc9.4.5.so()(64bit) libHSbase64-bytestring-1.2.1.0-8KbzJpmSQbYKTeew1rv0hh-ghc9.4.5.so()(64bit) libHSbifunctors-5.5.15-6nVSldbcYfb1Hx6EfFS3QB-ghc9.4.5.so()(64bit) libHSbinary-0.8.9.1-ghc9.4.5.so()(64bit) libHSblaze-builder-0.4.2.2-1GcRIc7N7YHId5Q5gRvlvW-ghc9.4.5.so()(64bit) libHSblaze-html-0.9.1.2-F1ShA3OLDj8LAxxWvTmpnF-ghc9.4.5.so()(64bit) libHSblaze-markup-0.8.2.8-6cH83iI2Nxu34RWsoJqO7m-ghc9.4.5.so()(64bit) libHSbytestring-0.11.4.0-ghc9.4.5.so()(64bit) libHScase-insensitive-1.2.1.0-AumZoR4Lds63HJj8OQwHY3-ghc9.4.5.so()(64bit) libHScheapskate-0.1.1.2-82EocsM41Rc20gzyGNyTBa-ghc9.4.5.so()(64bit) libHScode-page-0.2.1-DXkPgctk3OAKMpgAjUBS3D-ghc9.4.5.so()(64bit) libHScolour-2.3.6-7jQe2xj5Lsa5MbX38iH7Ln-ghc9.4.5.so()(64bit) libHScomonad-5.0.8-FA2TFGr0sUX2CXTeetXIjJ-ghc9.4.5.so()(64bit) libHScontainers-0.6.7-ghc9.4.5.so()(64bit) libHScontravariant-1.5.5-K71YSUvfKnA5wfNaE05Lao-ghc9.4.5.so()(64bit) libHScss-text-0.1.3.0-HULTbaYJuyh7i3gmY5qcHS-ghc9.4.5.so()(64bit) libHSdata-default-0.7.1.1-JPWOgkHC05bEP4GKfTBTHA-ghc9.4.5.so()(64bit) libHSdata-default-class-0.1.2.0-2LD1I8dZmn7BW4dkzEwdGZ-ghc9.4.5.so()(64bit) libHSdata-default-instances-containers-0.0.1-GsTPO88BTeU5gVKxrRffFz-ghc9.4.5.so()(64bit) libHSdata-default-instances-dlist-0.0.1-DrMcxeYn4qvEqmFRUYCht7-ghc9.4.5.so()(64bit) libHSdata-default-instances-old-locale-0.0.1-7AZu0A9Np87C6EgyuU2uGo-ghc9.4.5.so()(64bit) libHSdata-fix-0.3.2-LdyR2jsAdh33KJZuVTGWPw-ghc9.4.5.so()(64bit) libHSdeepseq-1.4.8.0-ghc9.4.5.so()(64bit) libHSdigest-0.0.1.7-CCCN8814sFy3HuiyT8t94G-ghc9.4.5.so()(64bit) libHSdirectory-1.3.7.1-ghc9.4.5.so()(64bit) libHSdistributive-0.6.2.1-1BZ9uzs8FJL3Ql0Nb5N15f-ghc9.4.5.so()(64bit) libHSdlist-1.0-IFuzLQmoMUfAx3b8iqx3U0-ghc9.4.5.so()(64bit) libHSexceptions-0.10.5-ghc9.4.5.so()(64bit) libHSfilepath-1.4.2.2-ghc9.4.5.so()(64bit) libHSfingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia-ghc9.4.5.so()(64bit) libHSfoldable1-classes-compat-0.1-JP9wXcYYGsT10VsvIV9rpl-ghc9.4.5.so()(64bit) libHSfsnotify-0.4.1.0-7swnmx7iZbKKRqnsaKx4x-ghc9.4.5.so()(64bit) libHSgenerically-0.1.1-L3QdfHIOuV28cUChwEJCH9-ghc9.4.5.so()(64bit) libHSghc-bignum-1.3-ghc9.4.5.so()(64bit) libHSghc-boot-th-9.4.5-ghc9.4.5.so()(64bit) libHSghc-prim-0.9.0-ghc9.4.5.so()(64bit) libHShashable-1.4.2.0-FFBRhuY0w4YLmuLEs5uQAt-ghc9.4.5.so()(64bit) libHShaskeline-0.8.2-ghc9.4.5.so()(64bit) libHShinotify-0.4.1-I3bscEskqqoGclvvgG59SP-ghc9.4.5.so()(64bit) libHSieee754-0.8.0-olCvBtsHxm9A5Ifxktz8b-ghc9.4.5.so()(64bit) libHSindexed-traversable-0.1.2.1-1XiSi5jKFt6BqKufaNXxBs-ghc9.4.5.so()(64bit) libHSindexed-traversable-instances-0.1.1.2-FygVB8lg04g7si54bMCK2n-ghc9.4.5.so()(64bit) libHSinteger-logarithms-1.0.3.1-Hm9v2fsfG1DA5soPSLssZu-ghc9.4.5.so()(64bit) libHSlibffi-0.2.1-AIntMoDLCYlBYo2yz2gkjx-ghc9.4.5.so()(64bit) libHSmegaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n-ghc9.4.5.so()(64bit) libHSmonad-control-1.0.3.1-BYqzcvKwqu0JXtGfwLhW6q-ghc9.4.5.so()(64bit) libHSmtl-2.2.2-ghc9.4.5.so()(64bit) libHSnetwork-3.1.4.0-FvtFepOtuCUH79FCWyNxIc-ghc9.4.5.so()(64bit) libHSnetwork-uri-2.6.4.2-KIauiZMmmKDG5uAtLy8d29-ghc9.4.5.so()(64bit) libHSold-locale-1.0.0.7-B5o2Qz0CVVSCB1XGw7OfzR-ghc9.4.5.so()(64bit) libHSoptparse-applicative-0.17.1.0-15K5oaZj8pgCwvckoHPRS9-ghc9.4.5.so()(64bit) libHSparsec-3.1.16.1-ghc9.4.5.so()(64bit) libHSparser-combinators-1.3.0-69OkkuibEVDB76y6u8xJBt-ghc9.4.5.so()(64bit) libHSpretty-1.1.3.6-ghc9.4.5.so()(64bit) libHSprimitive-0.8.0.0-9akshChOwtr20iwuM0c3WJ-ghc9.4.5.so()(64bit) libHSprocess-1.6.16.0-ghc9.4.5.so()(64bit) libHSrandom-1.2.1.1-I0wUgAAbf0g3qHR3e8uT0o-ghc9.4.5.so()(64bit) libHSregex-base-0.94.0.2-8EhYuxSr6UD5zE7cP6wrkq-ghc9.4.5.so()(64bit) libHSregex-tdfa-1.3.2.1-IjrqGmQfrKa7qAUI2VJCmV-ghc9.4.5.so()(64bit) libHSsafe-0.3.19-3Ab0OpSRliCKMhc0t4Nhds-ghc9.4.5.so()(64bit) libHSsafe-exceptions-0.1.7.4-8XVKrMBchTjCLhdcvBwBNb-ghc9.4.5.so()(64bit) libHSscientific-0.3.7.0-6Dx8mxA4OUsLpkNxWfBzuf-ghc9.4.5.so()(64bit) libHSsemialign-1.3-62CCXIMeDFUEayGNnIlUOw-ghc9.4.5.so()(64bit) libHSsemigroupoids-5.3.7-EwVAefNzd7V4YfDIPx08VG-ghc9.4.5.so()(64bit) libHSsplit-0.2.3.5-u3oGLAiW7JJbxIffWSCWf-ghc9.4.5.so()(64bit) libHSsplitmix-0.1.0.4-7e8CibdlMRLAGh7KO5VlFe-ghc9.4.5.so()(64bit) libHSstm-2.5.1.0-ghc9.4.5.so()(64bit) libHSstrict-0.5-BMGWBclA5sg312fCUlbuTw-ghc9.4.5.so()(64bit) libHSsyb-0.7.2.3-J0Qw7O8gTR0DSXObDhEt8i-ghc9.4.5.so()(64bit) libHStagged-0.8.7-CYOhX22Df3PFW5V1S0dOJa-ghc9.4.5.so()(64bit) libHStagsoup-0.14.8-Bj0lb0XTb3mH4YdYRpRiSC-ghc9.4.5.so()(64bit) libHStemplate-haskell-2.19.0.0-ghc9.4.5.so()(64bit) libHSterminal-size-0.3.4-1tPFLsRvnmSGNryq4PMCAd-ghc9.4.5.so()(64bit) libHSterminfo-0.4.1.5-ghc9.4.5.so()(64bit) libHStext-2.0.2-ghc9.4.5.so()(64bit) libHStext-short-0.1.5-37ufcWml74m8KLARIWoAPe-ghc9.4.5.so()(64bit) libHSth-abstraction-0.4.5.0-8bY5lBPMorfFW3yG6gFNZT-ghc9.4.5.so()(64bit) libHSth-compat-0.1.4-HWhpnglnI5D64krk2ZBbxh-ghc9.4.5.so()(64bit) libHSthese-1.2-3gvRWs9hjHpLbWG1JfTveA-ghc9.4.5.so()(64bit) libHStime-1.12.2-ghc9.4.5.so()(64bit) libHStime-compat-1.9.6.1-8Cae3qDcmKjD7K7ztRFEOq-ghc9.4.5.so()(64bit) libHStransformers-0.5.6.2-ghc9.4.5.so()(64bit) libHStransformers-base-0.4.6-IYemkF4CogK2gtyDXbEIHa-ghc9.4.5.so()(64bit) libHStransformers-compat-0.7.2-7jAnhjvxTABIymoNGHTOwd-ghc9.4.5.so()(64bit) libHSuniplate-1.6.13-3GboCmnxCZ4BmbYwVaL4sN-ghc9.4.5.so()(64bit) libHSunix-2.7.3-ghc9.4.5.so()(64bit) libHSunix-compat-0.7-1AOXuUotwOtNQ9bjxKdMG-ghc9.4.5.so()(64bit) libHSunordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E-ghc9.4.5.so()(64bit) libHSutf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u-ghc9.4.5.so()(64bit) libHSuuid-types-1.0.5-LsoYQ81hhMAHUqibNrLXkM-ghc9.4.5.so()(64bit) libHSvector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr-ghc9.4.5.so()(64bit) libHSvector-binary-instances-0.2.5.2-Fa5Hv9FNE6t7kOmbQFmCab-ghc9.4.5.so()(64bit) libHSvector-stream-0.1.0.0-C5Yyq3DPEhXAQSqkM8V92s-ghc9.4.5.so()(64bit) libHSwitherable-0.4.2-1PEaCFJkbyYIFotYA3j6vg-ghc9.4.5.so()(64bit) libHSxss-sanitize-0.3.7.2-LOQadmjQNh3FIp0n9VmJlG-ghc9.4.5.so()(64bit) libHSzip-archive-0.4.3-JxrQKAPaYuyBRYLYnvXG3y-ghc9.4.5.so()(64bit) libHSzlib-0.6.3.0-BAWUEienEPJI6tqKZ6w5vO-ghc9.4.5.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libtinfo.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: ghc-idris-devel-1.3.4-14.fc40.riscv64 Provides: ghc-devel(idris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx) ghc-idris-devel = 1.3.4-14.fc40 ghc-idris-devel(riscv-64) = 1.3.4-14.fc40 ghc-idris-static = 1.3.4-14.fc40 ghc-idris-static(riscv-64) = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ghc-devel(aeson-2.1.2.1-L27SCB17d9ICZwbFcHLL4z) ghc-devel(annotated-wl-pprint-0.7.0-AZIdHwhO7gY9nR82IJfl4n) ghc-devel(ansi-terminal-0.11.5-5x0MoHxm5r6DDoyv5djCW3) ghc-devel(ansi-wl-pprint-0.6.9-1uNId4TIZRh7T7KEIBVXZI) ghc-devel(array-0.5.4.0) ghc-devel(async-2.2.4-Is3H7ZPNMkM5reIoCaqYrF) ghc-devel(base-4.17.1.0) ghc-devel(base64-bytestring-1.2.1.0-8KbzJpmSQbYKTeew1rv0hh) ghc-devel(binary-0.8.9.1) ghc-devel(blaze-html-0.9.1.2-F1ShA3OLDj8LAxxWvTmpnF) ghc-devel(blaze-markup-0.8.2.8-6cH83iI2Nxu34RWsoJqO7m) ghc-devel(bytestring-0.11.4.0) ghc-devel(cheapskate-0.1.1.2-82EocsM41Rc20gzyGNyTBa) ghc-devel(code-page-0.2.1-DXkPgctk3OAKMpgAjUBS3D) ghc-devel(containers-0.6.7) ghc-devel(deepseq-1.4.8.0) ghc-devel(directory-1.3.7.1) ghc-devel(filepath-1.4.2.2) ghc-devel(fingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia) ghc-devel(fsnotify-0.4.1.0-7swnmx7iZbKKRqnsaKx4x) ghc-devel(haskeline-0.8.2) ghc-devel(ieee754-0.8.0-olCvBtsHxm9A5Ifxktz8b) ghc-devel(libffi-0.2.1-AIntMoDLCYlBYo2yz2gkjx) ghc-devel(megaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n) ghc-devel(mtl-2.2.2) ghc-devel(network-3.1.4.0-FvtFepOtuCUH79FCWyNxIc) ghc-devel(optparse-applicative-0.17.1.0-15K5oaZj8pgCwvckoHPRS9) ghc-devel(parser-combinators-1.3.0-69OkkuibEVDB76y6u8xJBt) ghc-devel(pretty-1.1.3.6) ghc-devel(process-1.6.16.0) ghc-devel(regex-tdfa-1.3.2.1-IjrqGmQfrKa7qAUI2VJCmV) ghc-devel(safe-0.3.19-3Ab0OpSRliCKMhc0t4Nhds) ghc-devel(split-0.2.3.5-u3oGLAiW7JJbxIffWSCWf) ghc-devel(terminal-size-0.3.4-1tPFLsRvnmSGNryq4PMCAd) ghc-devel(text-2.0.2) ghc-devel(time-1.12.2) ghc-devel(transformers-0.5.6.2) ghc-devel(uniplate-1.6.13-3GboCmnxCZ4BmbYwVaL4sN) ghc-devel(unix-2.7.3) ghc-devel(unordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E) ghc-devel(utf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u) ghc-devel(vector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr) ghc-devel(vector-binary-instances-0.2.5.2-Fa5Hv9FNE6t7kOmbQFmCab) ghc-devel(zip-archive-0.4.3-JxrQKAPaYuyBRYLYnvXG3y) Processing files: idris-docs-1.3.4-14.fc40.noarch Provides: idris-docs = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: idris-manual-1.3.4-14.fc40.noarch Provides: idris-manual = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ghc-idris-doc-1.3.4-14.fc40.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.juUUCi + umask 022 + cd /builddir/build/BUILD + cd idris-1.3.4 + LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/ghc-idris-doc + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/ghc-idris-doc + cp -pr /builddir/build/BUILD/idris-1.3.4/LICENSE /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64/usr/share/licenses/ghc-idris-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: ghc-idris-doc = 1.3.4-14.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ghc-idris-prof-1.3.4-14.fc40.riscv64 Provides: ghc-idris-prof = 1.3.4-14.fc40 ghc-idris-prof(riscv-64) = 1.3.4-14.fc40 ghc-prof(idris-1.3.4-DPcoTvgWSFUI0cdoV8dtVx) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ghc-prof(aeson-2.1.2.1-L27SCB17d9ICZwbFcHLL4z) ghc-prof(annotated-wl-pprint-0.7.0-AZIdHwhO7gY9nR82IJfl4n) ghc-prof(ansi-terminal-0.11.5-5x0MoHxm5r6DDoyv5djCW3) ghc-prof(ansi-wl-pprint-0.6.9-1uNId4TIZRh7T7KEIBVXZI) ghc-prof(array-0.5.4.0) ghc-prof(async-2.2.4-Is3H7ZPNMkM5reIoCaqYrF) ghc-prof(base-4.17.1.0) ghc-prof(base64-bytestring-1.2.1.0-8KbzJpmSQbYKTeew1rv0hh) ghc-prof(binary-0.8.9.1) ghc-prof(blaze-html-0.9.1.2-F1ShA3OLDj8LAxxWvTmpnF) ghc-prof(blaze-markup-0.8.2.8-6cH83iI2Nxu34RWsoJqO7m) ghc-prof(bytestring-0.11.4.0) ghc-prof(cheapskate-0.1.1.2-82EocsM41Rc20gzyGNyTBa) ghc-prof(code-page-0.2.1-DXkPgctk3OAKMpgAjUBS3D) ghc-prof(containers-0.6.7) ghc-prof(deepseq-1.4.8.0) ghc-prof(directory-1.3.7.1) ghc-prof(filepath-1.4.2.2) ghc-prof(fingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia) ghc-prof(fsnotify-0.4.1.0-7swnmx7iZbKKRqnsaKx4x) ghc-prof(haskeline-0.8.2) ghc-prof(ieee754-0.8.0-olCvBtsHxm9A5Ifxktz8b) ghc-prof(libffi-0.2.1-AIntMoDLCYlBYo2yz2gkjx) ghc-prof(megaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n) ghc-prof(mtl-2.2.2) ghc-prof(network-3.1.4.0-FvtFepOtuCUH79FCWyNxIc) ghc-prof(optparse-applicative-0.17.1.0-15K5oaZj8pgCwvckoHPRS9) ghc-prof(parser-combinators-1.3.0-69OkkuibEVDB76y6u8xJBt) ghc-prof(pretty-1.1.3.6) ghc-prof(process-1.6.16.0) ghc-prof(regex-tdfa-1.3.2.1-IjrqGmQfrKa7qAUI2VJCmV) ghc-prof(safe-0.3.19-3Ab0OpSRliCKMhc0t4Nhds) ghc-prof(split-0.2.3.5-u3oGLAiW7JJbxIffWSCWf) ghc-prof(terminal-size-0.3.4-1tPFLsRvnmSGNryq4PMCAd) ghc-prof(text-2.0.2) ghc-prof(time-1.12.2) ghc-prof(transformers-0.5.6.2) ghc-prof(uniplate-1.6.13-3GboCmnxCZ4BmbYwVaL4sN) ghc-prof(unix-2.7.3) ghc-prof(unordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E) ghc-prof(utf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u) ghc-prof(vector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr) ghc-prof(vector-binary-instances-0.2.5.2-Fa5Hv9FNE6t7kOmbQFmCab) ghc-prof(zip-archive-0.4.3-JxrQKAPaYuyBRYLYnvXG3y) Supplements: (ghc-idris-devel and ghc-prof) Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/idris-1.3.4-14.fc40.riscv64 Wrote: /builddir/build/RPMS/idris-manual-1.3.4-14.fc40.noarch.rpm Wrote: /builddir/build/RPMS/idris-static-1.3.4-14.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/idris-common-1.3.4-14.fc40.noarch.rpm Wrote: /builddir/build/RPMS/idris-docs-1.3.4-14.fc40.noarch.rpm Wrote: /builddir/build/RPMS/ghc-idris-1.3.4-14.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/ghc-idris-doc-1.3.4-14.fc40.noarch.rpm Wrote: /builddir/build/RPMS/ghc-idris-devel-1.3.4-14.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/idris-1.3.4-14.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/ghc-idris-prof-1.3.4-14.fc40.riscv64.rpm Child return code was: 0