Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target i686 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/fedora-rawhide-i686-1671969873.363220/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fa685a05990>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pzeaoljg:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--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=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pzeaoljg:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--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', '042f136b39f04c06b26b5737e063a9d0', '-D', '/var/lib/mock/fedora-rawhide-i686-1671969873.363220/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pzeaoljg:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target i686 --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: i686
Building for target i686
setting SOURCE_DATE_EPOCH=1658361600
Wrote: /builddir/build/SRPMS/idris-1.3.4-5.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target i686 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/fedora-rawhide-i686-1671969873.363220/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fa685a05990>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pzeaoljg:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--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=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pzeaoljg:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--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', 'df9163a999ca47a9ad7b7a2e4ad2c385', '-D', '/var/lib/mock/fedora-rawhide-i686-1671969873.363220/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pzeaoljg:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target i686 --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: i686
Building for target i686
setting SOURCE_DATE_EPOCH=1658361600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.x1wmsV
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf idris-1.3.4
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/idris-1.3.4.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd idris-1.3.4
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ cabal-tweak-dep-ver network '< 3.1.2' '< 3.2'
+ 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.T8Q0T5
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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/lib:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd idris-1.3.4
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4/dist/build
++ ls
++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f CHANGELOG.md -a -x CHANGELOG.md ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f CONTRIBUTORS -a -x CONTRIBUTORS ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f README.md -a -x README.md ']'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -x Setup ']'
+ ghc --make -package Cabal -no-user-package-db -dynamic Setup
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking Setup ...
+ LANG=C.utf8
+ ./Setup --version
Cabal library version 3.2.1.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection
++ 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/lib --docdir=/usr/share/licenses/idris '--libsubdir=$compiler/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib --global '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-m32 -optc-march=i686 -optc-mtune=generic -optc-msse2 -optc-mfpmath=sse -optc-mstackrealign -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-protection  -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' -p --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
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
[ 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
[ 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
[ 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
[ 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
src/Idris/IBC.hs:257:32: warning: [-Woverflowed-literals]
    Literal 4294967295 is out of the Int range -2147483648..2147483647
    |
257 | qhash hash [] = abs hash `mod` 0xffffffff
    |                                ^^^^^^^^^^
[ 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
[ 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
[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:
    -auto-all is deprecated: Use -fprof-auto instead
on the commandline: warning:
    -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
[ 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
[ 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
[ 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
[ 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
src/Idris/IBC.hs:257:32: warning: [-Woverflowed-literals]
    Literal 4294967295 is out of the Int range -2147483648..2147483647
    |
257 | qhash hash [] = abs hash `mod` 0xffffffff
    |                                ^^^^^^^^^^
[ 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
[ 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
[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-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
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
Linking dist/build/idris-codegen-c/idris-codegen-c ...
Preprocessing executable 'idris' for idris-1.3.4..
Building executable 'idris' for idris-1.3.4..
[1 of 1] Compiling Main
Linking dist/build/idris/idris ...
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
Linking dist/build/idris-codegen-node/idris-codegen-node ...
Building libraries...
make: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs'
make -C prelude build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/prelude'
../../dist/build/idris/idris --build prelude.ipkg
Type checking ./Builtins.idr
Type checking ./Prelude/Uninhabited.idr
Type checking ./Prelude/Algebra.idr
Type checking ./Prelude/Bool.idr
Type checking ./Prelude/Basics.idr
Type checking ./Prelude/Interfaces.idr
Type checking ./Prelude/Foldable.idr
Type checking ./Prelude/Cast.idr
Type checking ./Prelude/Maybe.idr
Type checking ./Prelude/Nat.idr
Type checking ./Prelude/Functor.idr
Type checking ./Prelude/List.idr
Type checking ./Prelude/Either.idr
Type checking ./Decidable/Equality.idr
Type checking ./IO.idr
Type checking ./Prelude/Applicative.idr
Type checking ./Prelude/Traversable.idr
Type checking ./Language/Reflection.idr
Type checking ./Language/Reflection/Errors.idr
Type checking ./Prelude/Monad.idr
Type checking ./Language/Reflection/Elab.idr
Type checking ./Prelude/WellFounded.idr
Type checking ./Prelude/Doubles.idr
Type checking ./Prelude/Chars.idr
Type checking ./Prelude/Strings.idr
Type checking ./Prelude/Bits.idr
Type checking ./Prelude/Show.idr
Type checking ./Prelude/File.idr
Type checking ./Prelude/Interactive.idr
Type checking ./Prelude/Providers.idr
Type checking ./Prelude/Stream.idr
Type checking ./Prelude/Pairs.idr
Type checking ./Prelude.idr
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/prelude'
make -C base build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/base'
../../dist/build/idris/idris --build base.ipkg
Type checking ./Data/Morphisms.idr
Type checking ./Control/Category.idr
Type checking ./Control/Arrow.idr
Type checking ./Control/Monad/Trans.idr
Type checking ./Control/Monad/Identity.idr
Type checking ./Control/Monad/Reader.idr
Type checking ./Control/Monad/Writer.idr
Type checking ./Control/Monad/State.idr
Type checking ./Control/Monad/RWS.idr
Type checking ./Control/IOExcept.idr
Type checking ./Control/Catchable.idr
Type checking ./Data/Fin.idr
Type checking ./Syntax/PreorderReasoning.idr
Type checking ./Control/Isomorphism.idr
Type checking ./Data/Bits.idr
Type checking ./Data/Buffer.idr
Type checking ./Data/Complex.idr
Type checking ./Data/Erased.idr
Type checking ./Data/Vect.idr
Type checking ./Data/HVect.idr
Type checking ./Data/IORef.idr
Type checking ./Data/List.idr
Type checking ./Data/List/Quantifiers.idr
Type checking ./Data/Nat/Views.idr
Type checking ./Data/List/Views.idr
Type checking ./Data/Mod2.idr
Type checking ./Data/Primitives/Views.idr
Type checking ./Data/So.idr
Type checking ./Data/String.idr
Type checking ./Data/String/Views.idr
Type checking ./Data/Vect/Quantifiers.idr
Type checking ./Data/Vect/Views.idr
Type checking ./System.idr
Type checking ./Debug/Error.idr
Type checking ./Debug/Trace.idr
Type checking ./Language/Reflection/Utils.idr
Type checking ./System/Concurrency/Raw.idr
Type checking ./System/Concurrency/Channels.idr
Type checking ./System/Info.idr
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/base'
make -C contrib build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/contrib'
../../dist/build/idris/idris --build contrib.ipkg
Type checking ./CFFI/Types.idr
Type checking ./CFFI/Memory.idr
Type checking ./CFFI.idr
Type checking ./Control/Algebra.idr
Type checking ./Data/Heap.idr
Type checking ./Control/Algebra/Lattice.idr
Type checking ./Data/Bool/Extra.idr
Type checking ./Data/Sign.idr
Type checking ./Data/ZZ.idr
Type checking ./Control/Algebra/VectorSpace.idr
Type checking ./Control/Algebra/NumericImplementations.idr
Type checking ./Interfaces/Verified.idr
Type checking ./Control/Algebra/Laws.idr
Type checking ./Control/Delayed.idr
Type checking ./Control/Isomorphism/Extra.idr
Type checking ./Control/Isomorphism/Fin.idr
Type checking ./Control/Isomorphism/Primitives.idr
Type checking ./Control/Isomorphism/Vect.idr
Type checking ./Control/Monad/Syntax.idr
Type checking ./Control/Partial.idr
Type checking ./Control/Pipeline.idr
Type checking ./Data/Fuel.idr
Type checking ./Control/ST.idr
Type checking ./Control/ST/Exception.idr
Type checking ./Control/ST/ImplicitCall.idr
Type checking ./Control/ST/Random.idr
Type checking ./Control/ST/File.idr
Type checking ./Data/Bool/Algebra.idr
Type checking ./Data/BoundedList.idr
Type checking ./Data/Chain.idr
Type checking ./Data/CoList.idr
Type checking ./Data/Combinators.idr
Type checking ./Data/Combinators/Applicative.idr
Type checking ./Data/Combinators/Arrow.idr
Type checking ./Data/Fin/Extra.idr
Type checking ./Data/Fun.idr
Type checking ./Data/Hash.idr
Type checking ./Data/IOArray.idr
Type checking ./Data/List/Zipper.idr
Type checking ./Data/List/Reverse.idr
Type checking ./Data/Matrix.idr
Type checking ./Data/Matrix/Algebraic.idr
Type checking ./Data/Matrix/Numeric.idr
Type checking ./Data/Nat.idr
Type checking ./Data/Nat/Ack.idr
Type checking ./Data/Nat/Fact.idr
Type checking ./Data/Nat/Fib.idr
Type checking ./Data/Nat/Parity.idr
Type checking ./Data/Nat/DivMod.idr
Type checking ./Data/Nat/DivMod/IteratedSubtraction.idr
Type checking ./Data/Pairs/Implicit.idr
Type checking ./Data/PosNat.idr
Type checking ./Data/Rel.idr
Type checking ./Data/SortedMap.idr
Type checking ./Data/SortedBag.idr
Type checking ./Data/SortedSet.idr
Type checking ./Data/Storable.idr
Type checking ./Data/Stream/Extra.idr
Type checking ./Data/String/Extra.idr
Type checking ./Decidable/Decidable.idr
Type checking ./Decidable/Order.idr
Type checking ./Interfaces/Correlative.idr
Type checking ./Interfaces/Proposition.idr
Type checking ./Language/JSON/Data.idr
Type checking ./Text/Token.idr
Type checking ./Text/Quantity.idr
Type checking ./Text/Lexer/Core.idr
Type checking ./Text/Lexer.idr
Type checking ./Language/JSON/String/Tokens.idr
Type checking ./Text/Parser/Core.idr
Type checking ./Text/Parser.idr
Type checking ./Language/JSON/String/Parser.idr
Type checking ./Language/JSON/String/Lexer.idr
Type checking ./Language/JSON/String.idr
Type checking ./Language/JSON/Tokens.idr
Type checking ./Language/JSON/Parser.idr
Type checking ./Language/JSON/Lexer.idr
Type checking ./Language/JSON.idr
Type checking ./Network/Cgi.idr
Type checking ./Network/Socket/Data.idr
Type checking ./Network/Socket/Raw.idr
Type checking ./Network/Socket.idr
Type checking ./System/Concurrency/Process.idr
Type checking ./Test/Unit/Display.idr
Type checking ./Test/Unit/Runners.idr
Type checking ./Text/PrettyPrint/WL/Core.idr
Type checking ./Text/PrettyPrint/WL/Characters.idr
Type checking ./Text/PrettyPrint/WL/Combinators.idr
Type checking ./Text/PrettyPrint/WL.idr
Type checking ./Test/Unit/Generic.idr
Type checking ./Test/Unit/Assertions.idr
Type checking ./Test/Unit.idr
Type checking ./Text/Literate.idr
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/contrib'
make -C effects build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/effects'
../../dist/build/idris/idris --build effects.ipkg
Type checking ./Effect/Default.idr
Type checking ./Effects.idr
Type checking ./Effect/Exception.idr
Type checking ./Effect/File.idr
Type checking ./Effect/Logging/Level.idr
Type checking ./Effect/Logging/Category.idr
Type checking ./Effect/Logging/Default.idr
Type checking ./Effect/Memory.idr
Type checking ./Effect/Monad.idr
Type checking ./Effect/Perf.idr
Type checking ./Effect/Random.idr
Type checking ./Effect/Select.idr
Type checking ./Effect/State.idr
Type checking ./Effect/StdIO.idr
Type checking ./Effect/System.idr
Type checking ./Effect/Trans.idr
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/effects'
make -C pruviloj build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.4/libs/pruviloj'
../../dist/build/idris/idris --build pruviloj.ipkg
Type checking ./Pruviloj/Renamers.idr
Type checking ./Pruviloj/Core.idr
Type checking ./Pruviloj/Internals.idr
Type checking ./Pruviloj/Injective.idr
Type checking ./Pruviloj/Internals/TyConInfo.idr
Type checking ./Pruviloj/Derive/Eliminators.idr
Type checking ./Pruviloj/Induction.idr
Type checking ./Pruviloj/Disjoint.idr
Type checking ./Pruviloj.idr
Type checking ./Pruviloj/Derive/DecEq.idr
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs/pruviloj'
make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/libs'
make: Entering directory '/builddir/build/BUILD/idris-1.3.4/rts'
gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"i686-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-LDWD1n4YUd65AxmDqFecax-ghc8.10.7.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: aeson-1.5.6.0,
annotated-wl-pprint-0.7.0, ansi-terminal-0.11.1, ansi-wl-pprint-0.6.9,
array-0.5.4.0, assoc-1.0.2, async-2.2.4, attoparsec-0.13.2.5, base-4.14.3.0,
base-compat-0.11.2, base-compat-batteries-0.11.2, base-orphans-0.8.6,
base64-bytestring-1.1.0.0, bifunctors-5.5.11, binary-0.8.8.0,
blaze-builder-0.4.2.2, blaze-html-0.9.1.2, blaze-markup-0.8.2.8,
bytestring-0.10.12.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, constraints-0.12,
containers-0.6.5.1, 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.4.0, digest-0.0.1.3, directory-1.3.6.0,
distributive-0.6.2.1, dlist-1.0, enclosed-exceptions-1.0.3, exceptions-0.10.4,
filepath-1.4.2.1, fingertree-0.1.5.0, fsnotify-0.3.0.1, ghc-boot-th-8.10.7,
ghc-prim-0.6.1, hashable-1.3.0.0, haskeline-0.8.2, hinotify-0.4.1,
ieee754-0.8.0, indexed-traversable-0.1.2, integer-gmp-1.0.3.0,
integer-logarithms-1.0.3.1, libffi-0.1, lifted-async-0.10.2,
lifted-base-0.2.3.12, megaparsec-9.0.1, monad-control-1.0.3.1, mtl-2.2.2,
network-3.1.2.7, network-uri-2.6.4.1, old-locale-1.0.0.7,
optparse-applicative-0.16.1.0, parsec-3.1.14.0, parser-combinators-1.2.1,
pretty-1.1.3.6, primitive-0.7.3.0, process-1.6.13.2, random-1.2.0,
regex-base-0.94.0.2, regex-tdfa-1.3.1.2, safe-0.3.19, scientific-0.3.7.0,
semigroups-0.19.2, shelly-1.9.0, split-0.2.3.4, splitmix-0.1.0.3, stm-2.5.0.1,
strict-0.4.0.1, syb-0.7.2.1, tagged-0.8.6.1, tagsoup-0.14.8,
template-haskell-2.16.0.0, terminal-size-0.3.2.1, terminfo-0.4.1.4,
text-1.2.4.1, th-abstraction-0.4.3.0, th-compat-0.1.3, these-1.1.1.1,
time-1.9.3, time-compat-1.9.5, transformers-0.5.6.2, transformers-base-0.4.6,
transformers-compat-0.6.6, type-equality-1, uniplate-1.6.13, unix-2.7.2.2,
unix-compat-0.5.4, unordered-containers-0.2.16.0, utf8-string-1.0.2,
uuid-types-1.0.5, vector-0.12.3.1, vector-binary-instances-0.2.5.2,
xss-sanitize-0.3.6, zip-archive-0.4.2.1, zlib-0.6.2.3
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
Haddock coverage:
   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:28)
  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:
    EvalApply (src/IRTS/Defunctionalise.hs:169)
    DDefs (src/IRTS/Defunctionalise.hs:61)
    DDecl (src/IRTS/Defunctionalise.hs:57)
    DAlt (src/IRTS/Defunctionalise.hs:52)
    DExp (src/IRTS/Defunctionalise.hs:36)
    defunctionalise (src/IRTS/Defunctionalise.hs:63)
    getFn (src/IRTS/Defunctionalise.hs:79)
    addApps (src/IRTS/Defunctionalise.hs:84)
    eEVAL (src/IRTS/Defunctionalise.hs:167)
    toCons (src/IRTS/Defunctionalise.hs:176)
    toConsA (src/IRTS/Defunctionalise.hs:188)
    mkApplyCase (src/IRTS/Defunctionalise.hs:199)
    mkEval (src/IRTS/Defunctionalise.hs:216)
    mkApply (src/IRTS/Defunctionalise.hs:225)
    mkApply2 (src/IRTS/Defunctionalise.hs:238)
    declare (src/IRTS/Defunctionalise.hs:258)
    genArgs (src/IRTS/Defunctionalise.hs:264)
    mkFnCon (src/IRTS/Defunctionalise.hs:266)
    mkUnderCon (src/IRTS/Defunctionalise.hs:267)
    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:
    Elab (src/Idris/Core/Elaborate.hs:34)
    Elab' (src/Idris/Core/Elaborate.hs:33)
    ElabState (src/Idris/Core/Elaborate.hs:30)
    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)
    getNameFrom (src/Idris/Core/Elaborate.hs:77)
    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)
    runElab (src/Idris/Core/Elaborate.hs:141)
    execElab (src/Idris/Core/Elaborate.hs:144)
    initElaborator (src/Idris/Core/Elaborate.hs:147)
    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)
    attack (src/Idris/Core/Elaborate.hs:364)
    claim (src/Idris/Core/Elaborate.hs:367)
    claimFn (src/Idris/Core/Elaborate.hs:370)
    unifyGoal (src/Idris/Core/Elaborate.hs:373)
    unifyTerms (src/Idris/Core/Elaborate.hs:376)
    exact (src/Idris/Core/Elaborate.hs:379)
    fill (src/Idris/Core/Elaborate.hs:382)
    match_fill (src/Idris/Core/Elaborate.hs:385)
    prep_fill (src/Idris/Core/Elaborate.hs:388)
    complete_fill (src/Idris/Core/Elaborate.hs:391)
    solve (src/Idris/Core/Elaborate.hs:394)
    start_unify (src/Idris/Core/Elaborate.hs:397)
    end_unify (src/Idris/Core/Elaborate.hs:400)
    unify_all (src/Idris/Core/Elaborate.hs:404)
    regret (src/Idris/Core/Elaborate.hs:407)
    compute (src/Idris/Core/Elaborate.hs:410)
    computeLet (src/Idris/Core/Elaborate.hs:413)
    simplify (src/Idris/Core/Elaborate.hs:416)
    whnf_compute (src/Idris/Core/Elaborate.hs:419)
    whnf_compute_args (src/Idris/Core/Elaborate.hs:422)
    eval_in (src/Idris/Core/Elaborate.hs:425)
    check_in (src/Idris/Core/Elaborate.hs:428)
    intro (src/Idris/Core/Elaborate.hs:431)
    introTy (src/Idris/Core/Elaborate.hs:434)
    forAll (src/Idris/Core/Elaborate.hs:437)
    letbind (src/Idris/Core/Elaborate.hs:440)
    expandLet (src/Idris/Core/Elaborate.hs:443)
    rewrite (src/Idris/Core/Elaborate.hs:446)
    equiv (src/Idris/Core/Elaborate.hs:449)
    patbind (src/Idris/Core/Elaborate.hs:474)
    focus (src/Idris/Core/Elaborate.hs:477)
    movelast (src/Idris/Core/Elaborate.hs:480)
    dotterm (src/Idris/Core/Elaborate.hs:483)
    get_dotterm (src/Idris/Core/Elaborate.hs:507)
    matchProblems (src/Idris/Core/Elaborate.hs:518)
    unifyProblems (src/Idris/Core/Elaborate.hs:521)
    defer (src/Idris/Core/Elaborate.hs:524)
    deferType (src/Idris/Core/Elaborate.hs:530)
    implementationArg (src/Idris/Core/Elaborate.hs:533)
    autoArg (src/Idris/Core/Elaborate.hs:536)
    setinj (src/Idris/Core/Elaborate.hs:539)
    proofstate (src/Idris/Core/Elaborate.hs:542)
    reorder_claims (src/Idris/Core/Elaborate.hs:545)
    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)
    infer_app (src/Idris/Core/Elaborate.hs:744)
    dep_app (src/Idris/Core/Elaborate.hs:777)
    arg (src/Idris/Core/Elaborate.hs:822)
    no_errors (src/Idris/Core/Elaborate.hs:829)
    try (src/Idris/Core/Elaborate.hs:854)
    handleError (src/Idris/Core/Elaborate.hs:857)
    try' (src/Idris/Core/Elaborate.hs:870)
    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)
    prunStateT (src/Idris/Core/Elaborate.hs:955)
    debugElaborator (src/Idris/Core/Elaborate.hs:981)
    qshow (src/Idris/Core/Elaborate.hs:994)
    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)
    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)
    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)
    isTyInferred (src/Idris/AbsSyntax.hs:347)
    getCGAllNames (src/Idris/AbsSyntax.hs:376)
    addCGAllNames (src/Idris/AbsSyntax.hs:381)
    allNames (src/Idris/AbsSyntax.hs:387)
    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)
    addIBC (src/Idris/AbsSyntax.hs:562)
    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)
    getIState (src/Idris/AbsSyntax.hs:627)
    putIState (src/Idris/AbsSyntax.hs:630)
    updateIState (src/Idris/AbsSyntax.hs:633)
    withContext (src/Idris/AbsSyntax.hs:637)
    withContext_ (src/Idris/AbsSyntax.hs:644)
    getName (src/Idris/AbsSyntax.hs:656)
    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)
    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)
    typeDescription (src/Idris/AbsSyntax.hs:816)
    type1Doc (src/Idris/AbsSyntax.hs:820)
    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)
    targetTriple (src/Idris/AbsSyntax.hs:1032)
    setTargetCPU (src/Idris/AbsSyntax.hs:1036)
    targetCPU (src/Idris/AbsSyntax.hs:1042)
    verbose (src/Idris/AbsSyntax.hs:1046)
    setVerbose (src/Idris/AbsSyntax.hs:1055)
    iReport (src/Idris/AbsSyntax.hs:1062)
    typeInType (src/Idris/AbsSyntax.hs:1072)
    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)
    colourise (src/Idris/AbsSyntax.hs:1143)
    setColourise (src/Idris/AbsSyntax.hs:1147)
    impShow (src/Idris/AbsSyntax.hs:1151)
    setImpShow (src/Idris/AbsSyntax.hs:1155)
    setColour (src/Idris/AbsSyntax.hs:1161)
    logLvl (src/Idris/AbsSyntax.hs:1174)
    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)
    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)
    addUsingConstraints (src/Idris/AbsSyntax.hs:1563)
    getUnboundImplicits (src/Idris/AbsSyntax.hs:1645)
    implicit (src/Idris/AbsSyntax.hs:1687)
    implicit' (src/Idris/AbsSyntax.hs:1690)
    addImplBound (src/Idris/AbsSyntax.hs:1831)
    addImplBoundInf (src/Idris/AbsSyntax.hs:1834)
    addImpl' (src/Idris/AbsSyntax.hs:1847)
    aiFn (src/Idris/AbsSyntax.hs:1978)
    expArg (src/Idris/AbsSyntax.hs:2123)
    stripLinear (src/Idris/AbsSyntax.hs:2129)
    mkPApp (src/Idris/AbsSyntax.hs:2231)
    toEither (src/Idris/AbsSyntax.hs:2280)
    matchClause' (src/Idris/AbsSyntax.hs:2289)
    substMatches (src/Idris/AbsSyntax.hs:2398)
    substMatch (src/Idris/AbsSyntax.hs:2406)
    substMatchShadow (src/Idris/AbsSyntax.hs:2409)
    substMatchesShadow (src/Idris/AbsSyntax.hs:2412)
    shadow (src/Idris/AbsSyntax.hs:2443)
  33% (  1 /  3) in 'Id
src/Idris/IBC.hs:257:32: warning: [-Woverflowed-literals]
    Literal 4294967295 is out of the Int range -2147483648..2147483647
    |
257 | qhash hash [] = abs hash `mod` 0xffffffff
    |                                ^^^^^^^^^^
ris.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: '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:
    ElabMode (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/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.Integer.Type.Integer
	- GHC.Types.Double
	- GHC.Base.String
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Classes./=
	- 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
Warning: Idris.Colours: could not find link destinations for:
	- GHC.Maybe.Maybe
	- System.Console.ANSI.Types.Color
	- GHC.Types.Bool
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Classes./=
	- 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.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
Warning: Util.DynamicLinker: could not find link destinations for:
	- GHC.Base.String
	- GHC.Ptr.FunPtr
	- System.Posix.DynamicLinker.Prim.DL
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- Control.DeepSeq.NFData
	- Control.DeepSeq.rnf
	- 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.<$
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- 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.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Generics.Generic
	- GHC.Generics.from
	- GHC.Generics.Rep
	- GHC.Generics.to
	- Control.DeepSeq.NFData
	- Control.DeepSeq.rnf
	- 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.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.Integer.Type.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.Semigroup
	- GHC.Base.<>
	- GHC.Base.sconcat
	- GHC.Base.NonEmpty
	- GHC.Base.stimes
	- GHC.Real.Integral
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- 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
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.return
	- Control.Monad.Fail.MonadFail
	- Control.Monad.Fail.fail
	- GHC.Base.pure
	- GHC.Base.<*>
	- GHC.Base.liftA2
	- GHC.Base.*>
	- GHC.Base.<*
	- GHC.Base.Alternative
	- GHC.Base.empty
	- GHC.Base.<|>
	- GHC.Base.some
	- GHC.Base.many
	- 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
	- GHC.Base.Functor
	- GHC.Types.Type
	- 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
	- 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.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Generics.Generic
	- GHC.Generics.from
	- GHC.Generics.Rep
	- GHC.Generics.to
	- 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
	- 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.Generic
	- GHC.Generics.from
	- GHC.Generics.Rep
	- GHC.Generics.to
	- Control.DeepSeq.NFData
	- Control.DeepSeq.rnf
	- 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.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
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- GHC.Generics.Generic
	- GHC.Generics.from
	- GHC.Generics.Rep
	- GHC.Generics.to
	- GHC.Types.Type
	- 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
	- 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.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.Classes.Eq
	- GHC.Classes.==
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
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.Integer.Type.Integer
	- GHC.Types.Int
	- GHC.Types.Bool
	- GHC.Maybe.Maybe
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.IO.Handle.Types.Handle
	- GHC.Types.IO
Warning: IRTS.Lang: could not find link destinations for:
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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
	- 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.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.Int
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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.Maybe.Maybe
	- Control.Monad.Trans.State.Lazy.State
	- GHC.Classes.max
Warning: IRTS.Simplified: could not find link destinations for:
	- GHC.Types.Int
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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.Bool
	- GHC.Maybe.Maybe
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.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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.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.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Generics.Generic
	- GHC.Generics.from
	- GHC.Generics.Rep
	- GHC.Generics.to
	- GHC.Types.Type
	- 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.Maybe.Maybe
	- GHC.Types.Symbol
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.NoSourceStrictness
	- GHC.Generics.DecidedLazy
	- GHC.Generics.Rec0
	- GHC.Generics.U1
	- GHC.Classes.Ord
	- GHC.Classes.compare
	- GHC.Types.Ordering
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.>=
	- GHC.Classes.max
	- GHC.Classes.min
	- GHC.Read.Read
	- GHC.Read.readsPrec
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Read.readList
	- GHC.Read.readPrec
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.Read.readListPrec
	- GHC.IO.FilePath
	- Network.Socket.Types.PortNumber
Warning: IRTS.Bytecode: could not find link destinations for:
	- GHC.Types.Int
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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.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:
	- Control.Monad.Trans.State.Strict.StateT
	- GHC.Base.String
	- GHC.Maybe.Maybe
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Types.Bool
	- GHC.Types.Char
Warning: Idris.AbsSyntaxTree: could not find link destinations for:
	- GHC.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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.Integer.Type.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
Warning: Idris.AbsSyntax: could not find link destinations for:
	- GHC.Base.Monad
	- GHC.Types.Type
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.return
	- GHC.Base.Functor
	- GHC.Base.fmap
	- GHC.Base.<$
	- GHC.Base.Applicative
	- GHC.Base.pure
	- GHC.Base.<*>
	- GHC.Base.liftA2
	- GHC.Base.*>
	- GHC.Base.<*
	- GHC.IO.FilePath
	- GHC.Base.String
	- Data.Either.Either
	- GHC.Maybe.Maybe
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Types.IO
	- Text.PrettyPrint.Annotated.Leijen.Doc
	- 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.Types.Char
	- 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.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
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.Integer.Type.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.Classes.Eq
	- GHC.Classes.==
	- GHC.Types.Bool
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
Warning: Idris.Imports: could not find link destinations for:
	- GHC.IO.FilePath
	- 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.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- GHC.Show.ShowS
	- GHC.Show.show
	- GHC.Base.String
	- GHC.Show.showList
	- 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.Classes.Eq
	- GHC.Classes.==
	- GHC.Classes./=
	- GHC.Show.Show
	- GHC.Show.showsPrec
	- GHC.Types.Int
	- 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
	- Cheapskate.Types.CodeAttr
	- 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.Integer.Type.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
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
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
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.Semigroup
	- GHC.Base.<>
	- GHC.Base.sconcat
	- GHC.Base.NonEmpty
	- GHC.Base.stimes
	- GHC.Real.Integral
	- GHC.Base.Monoid
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
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-codegen-javascript' for idris-1.3.4..
Preprocessing executable 'idris-codegen-c' for idris-1.3.4..
Preprocessing executable 'idris' 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.gH3zUL
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386
++ dirname /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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/lib:
+ 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-5.fc38.i386
Installing library in /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/ghc-8.10.7/idris-1.3.4
Installing executable idris-codegen-javascript in /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Installing executable idris-codegen-c in /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Installing executable idris in /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Installing executable idris-codegen-node in /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin
Installing libraries in /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude
Installing Decidable/Equality.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Decidable
Installing IO.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude
Installing Language/Reflection.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Language
Installing Language/Reflection/Elab.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Language/Reflection
Installing Language/Reflection/Errors.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Language/Reflection
Installing Prelude.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude
Installing Prelude/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Basics.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Bool.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Cast.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Chars.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Doubles.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Either.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/File.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Foldable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Functor.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Interactive.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Interfaces.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/List.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Maybe.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Pairs.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Providers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Show.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Stream.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Strings.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Traversable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Uninhabited.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/WellFounded.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/prelude/Prelude
Installing 00prelude-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control
Installing Control/Catchable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control
Installing Control/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control
Installing Control/IOExcept.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control
Installing Control/Isomorphism.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control
Installing Control/Monad/Identity.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control/Monad
Installing Control/Monad/Reader.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control/Monad
Installing Control/Monad/RWS.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control/Monad
Installing Control/Monad/State.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control/Monad
Installing Control/Monad/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control/Monad
Installing Control/Monad/Writer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Control/Monad
Installing Data/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Buffer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Complex.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Erased.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/HVect.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/IORef.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/List.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/List/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/List
Installing Data/List/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/List
Installing Data/Mod2.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Morphisms.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Nat/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/Nat
Installing Data/Primitives/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/Primitives
Installing Data/So.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/String.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/String/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/String
Installing Data/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data
Installing Data/Vect/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/Vect
Installing Data/Vect/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Data/Vect
Installing Debug/Error.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Debug
Installing Debug/Trace.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Debug
Installing Language/Reflection/Utils.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Language/Reflection
Installing Syntax/PreorderReasoning.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/Syntax
Installing System.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base
Installing System/Concurrency/Channels.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/System/Concurrency
Installing System/Concurrency/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/System/Concurrency
Installing System/Info.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/base/System
Installing 00base-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib
Installing CFFI/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/CFFI
Installing CFFI/Types.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/CFFI
Installing Control/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control
Installing Control/Algebra/Lattice.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Algebra
Installing Control/Algebra/Laws.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Algebra
Installing Control/Algebra/NumericImplementations.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Algebra
Installing Control/Algebra/VectorSpace.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Algebra
Installing Control/Delayed.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control
Installing Control/Isomorphism/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Primitives.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism
Installing Control/Monad/Syntax.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/Monad
Installing Control/Partial.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control
Installing Control/Pipeline.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control
Installing Control/ST.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control
Installing Control/ST/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/ST
Installing Control/ST/ImplicitCall.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/ST
Installing Control/ST/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/ST
Installing Control/ST/File.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Control/ST
Installing Data/Bool/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Bool
Installing Data/Bool/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Bool
Installing Data/BoundedList.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Chain.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/CoList.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Combinators/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Combinators
Installing Data/Combinators/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Combinators
Installing Data/Fin/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Fin
Installing Data/Fuel.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Fun.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Hash.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Heap.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/IOArray.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/List/Zipper.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/List
Installing Data/List/Reverse.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/List
Installing Data/Matrix.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Matrix/Algebraic.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Matrix
Installing Data/Matrix/Numeric.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Matrix
Installing Data/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Nat/Ack.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Nat
Installing Data/Nat/Fact.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Nat
Installing Data/Nat/Fib.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Nat
Installing Data/Nat/Parity.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Nat
Installing Data/Nat/DivMod.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Nat
Installing Data/Nat/DivMod/IteratedSubtraction.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod
Installing Data/Pairs/Implicit.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Pairs
Installing Data/PosNat.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Rel.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Sign.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/SortedBag.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/SortedMap.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/SortedSet.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Storable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Data/Stream/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/Stream
Installing Data/String/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data/String
Installing Data/ZZ.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Data
Installing Decidable/Decidable.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Decidable
Installing Decidable/Order.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Decidable
Installing Interfaces/Correlative.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Interfaces
Installing Interfaces/Verified.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Interfaces
Installing Interfaces/Proposition.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Interfaces
Installing Language/JSON.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language
Installing Language/JSON/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language/JSON
Installing Language/JSON/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language/JSON
Installing Language/JSON/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language/JSON
Installing Language/JSON/String.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language/JSON
Installing Language/JSON/String/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language/JSON/String
Installing Language/JSON/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Language/JSON
Installing Network/Cgi.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Network
Installing Network/Socket.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Network
Installing Network/Socket/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Network/Socket
Installing Network/Socket/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Network/Socket
Installing System/Concurrency/Process.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/System/Concurrency
Installing Test/Unit/Display.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Test/Unit
Installing Test/Unit/Runners.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Test/Unit
Installing Test/Unit/Generic.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Test/Unit
Installing Test/Unit/Assertions.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Test/Unit
Installing Test/Unit.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Test
Installing Text/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text
Installing Text/Lexer/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text/Lexer
Installing Text/Literate.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text
Installing Text/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text
Installing Text/Parser/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text/Parser
Installing Text/PrettyPrint/WL/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint
Installing Text/Quantity.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text
Installing Text/Token.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/contrib/Text
Installing 00contrib-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/effects
Installing Effect/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/File.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Logging/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect/Logging
Installing Effect/Logging/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect/Logging
Installing Effect/Logging/Level.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect/Logging
Installing Effect/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Perf.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Select.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/State.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/StdIO.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/System.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing Effect/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/effects/Effect
Installing 00effects-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj
Installing Pruviloj/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj
Installing Pruviloj/Derive/DecEq.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive
Installing Pruviloj/Derive/Eliminators.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive
Installing Pruviloj/Disjoint.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj
Installing Pruviloj/Induction.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj
Installing Pruviloj/Injective.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj
Installing Pruviloj/Internals.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj
Installing Pruviloj/Internals/TyConInfo.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals
Installing Pruviloj/Renamers.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj
Installing 00pruviloj-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/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-5.fc38.i386/usr/share/man/man1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d idris-1.3.4.conf ']'
+ install -D --mode=0644 idris-1.3.4.conf /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/ghc-8.10.7/package.conf.d/idris-1.3.4.conf
++ ls /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/ghc-8.10.7/package.conf.d/idris-1.3.4.conf
+ '[' -z /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/ghc-8.10.7/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-5.fc38.i386/usr/lib/libHSidris-1.3.4-*ghc8.10.7.so
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/libHSidris-1.3.4-LDWD1n4YUd65AxmDqFecax-ghc8.10.7.so ']'
+ echo /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/libHSidris-1.3.4-LDWD1n4YUd65AxmDqFecax-ghc8.10.7.so
+ pkgdir=/usr/lib/ghc-8.10.7/idris-1.3.4
+ '[' -d /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/ghc-8.10.7/idris-1.3.4 ']'
+ find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/ghc-8.10.7/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-5.fc38.i386/usr/lib/ghc-8.10.7/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-5.fc38.i386/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-5.fc38.i386!!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-5.fc38.i386!!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-5.fc38.i386!!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-5.fc38.i386!!g' ghc-idris-prof.files
+ echo 'running ghc_delete_rpaths:'
running ghc_delete_rpaths:
+ type chrpath
++ find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-node ']'
+ chrpath -d /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-node
+ for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris ']'
+ chrpath -d /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris
+ for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-c ']'
+ chrpath -d /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-c
+ for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-javascript ']'
+ chrpath -d /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-javascript
+ for i in $(find /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/libHSidris-1.3.4-LDWD1n4YUd65AxmDqFecax-ghc8.10.7.so ']'
+ chrpath -d /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib/libHSidris-1.3.4-LDWD1n4YUd65AxmDqFecax-ghc8.10.7.so
+ mv /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/idris /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/idris-common
+ mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/bash-completion/completions/
+ /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris --bash-completion-script idris
+ sed s/filenames/default/
+ /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-c --bash-completion-script idris-codegen-c
+ sed s/filenames/default/
+ /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-javascript --bash-completion-script idris-codegen-javascript
+ sed s/filenames/default/
+ /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/bin/idris-codegen-node --bash-completion-script idris-codegen-node
+ sed s/filenames/default/
+ mv /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/rts/libidris_rts.a /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/lib
+ chmod +r -R /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/idris-1.3.4/docs
+ mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-manual
+ cp -p idris-tutorial.pdf /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/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/mini-gmp.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/idris_utf8.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_net.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_stats.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_bitstring.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_gc.h is executable but has no shebang, removing executable bit
*** 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_rts.h is executable but has no shebang, removing executable bit
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: idris-1.3.4-5.fc38.i686
Provides: idris = 1.3.4-5.fc38 idris(x86-32) = 1.3.4-5.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.2) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.10) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.15) libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.2) libc.so.6(GLIBC_2.28) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.2) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.32) libc.so.6(GLIBC_2.33) libc.so.6(GLIBC_2.34) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.6) libc.so.6(GLIBC_2.7) libc.so.6(GLIBC_2.8) libffi.so.8 libffi.so.8(LIBFFI_BASE_8.0) libffi.so.8(LIBFFI_CLOSURE_8.0) libgmp.so.10 libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.27) libm.so.6(GLIBC_2.29) libtinfo.so.6 libz.so.1 rtld(GNU_HASH)
Processing files: idris-common-1.3.4-5.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ak0TTS
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.4
+ DOCDIR=/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-common
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-common
+ cp -pr CHANGELOG.md /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-common
+ cp -pr CONTRIBUTING.md /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-common
+ cp -pr CONTRIBUTORS /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-common
+ cp -pr README.md /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/doc/idris-common
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.rX4LoQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.4
+ LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/idris-common
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/idris-common
+ cp -pr LICENSE /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/idris-common
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: idris-common = 1.3.4-5.fc38
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-5.fc38.i686
Provides: idris-static = 1.3.4-5.fc38 idris-static(x86-32) = 1.3.4-5.fc38
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-5.fc38.i686
Provides: ghc-idris = 1.3.4-5.fc38 ghc-idris(x86-32) = 1.3.4-5.fc38 libHSidris-1.3.4-LDWD1n4YUd65AxmDqFecax-ghc8.10.7.so
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libHSaeson-1.5.6.0-gBocWxSv2gI3yy25Sudqw-ghc8.10.7.so libHSannotated-wl-pprint-0.7.0-JuPOh9Y91Ag6aZ777EImXK-ghc8.10.7.so libHSansi-terminal-0.11.1-ueTKNpi6eZ9WH8Zhvi3SP-ghc8.10.7.so libHSansi-wl-pprint-0.6.9-KPvzO8mT1BIBMa1zg4208-ghc8.10.7.so libHSarray-0.5.4.0-ghc8.10.7.so libHSassoc-1.0.2-DlFj5btkCuHEvzs3TGk8rg-ghc8.10.7.so libHSasync-2.2.4-ESduOyIMaQuAwwnNeo6WQh-ghc8.10.7.so libHSattoparsec-0.13.2.5-4CNkT6xNlI9Gc8gs7Z5Bf8-ghc8.10.7.so libHSbase-4.14.3.0-ghc8.10.7.so libHSbase-compat-0.11.2-64avUlpGAIHCFD33W605el-ghc8.10.7.so libHSbase-compat-batteries-0.11.2-JdaPm3zwkpxKYNUZOUIpY0-ghc8.10.7.so libHSbase-orphans-0.8.6-8jdORGUoOgxDxHbvgXV8Fx-ghc8.10.7.so libHSbase64-bytestring-1.1.0.0-HDz0kgl0nD2AMCL7uo2RNp-ghc8.10.7.so libHSbifunctors-5.5.11-2mt06i80omZ6vW2zUZn5Ka-ghc8.10.7.so libHSbinary-0.8.8.0-ghc8.10.7.so libHSblaze-builder-0.4.2.2-9YgzN2pqYG4eorbcqWPzo-ghc8.10.7.so libHSblaze-html-0.9.1.2-DF3eL85BuM282GkOoBmEJy-ghc8.10.7.so libHSblaze-markup-0.8.2.8-9vgQQvanetSGq1hPLXsX6r-ghc8.10.7.so libHSbytestring-0.10.12.0-ghc8.10.7.so libHScase-insensitive-1.2.1.0-51WlkjMEvws6TSmNvUDxej-ghc8.10.7.so libHScheapskate-0.1.1.2-6rtG4qRX5kGKka1lO4IiPQ-ghc8.10.7.so libHScode-page-0.2.1-5RaytB9dNWmC7DLyfztswJ-ghc8.10.7.so libHScolour-2.3.6-2cl6zeh1tuv4LM4jVThjAx-ghc8.10.7.so libHScomonad-5.0.8-14XNTVkXFg430uWHShFyQ9-ghc8.10.7.so libHSconstraints-0.12-6CWoGBIrYTD7EOIRsaORCs-ghc8.10.7.so libHScontainers-0.6.5.1-ghc8.10.7.so libHScss-text-0.1.3.0-IBPj5jlx1Z085EGhlJH5AX-ghc8.10.7.so libHSdata-default-0.7.1.1-35ZseyoEFAn6iK6XydylJT-ghc8.10.7.so libHSdata-default-class-0.1.2.0-4OJAKciMHbRGHw1F8M9yGO-ghc8.10.7.so libHSdata-default-instances-containers-0.0.1-9wZyBKTvvgt9uCcnvacByj-ghc8.10.7.so libHSdata-default-instances-dlist-0.0.1-FH9DeE0Hzhq1Gdwcl2bRgR-ghc8.10.7.so libHSdata-default-instances-old-locale-0.0.1-7TyKZqwxsVt5wEA26i3Q11-ghc8.10.7.so libHSdata-fix-0.3.2-8nSdN9gmH9UFhK32hk3taL-ghc8.10.7.so libHSdeepseq-1.4.4.0-ghc8.10.7.so libHSdigest-0.0.1.3-OoLc4cKWm4yD7flRyKiK-ghc8.10.7.so libHSdirectory-1.3.6.0-ghc8.10.7.so libHSdistributive-0.6.2.1-KVxKCEEvBG6hEp8usIJcE-ghc8.10.7.so libHSdlist-1.0-2omNVtOWka4BbJoRvWOiUZ-ghc8.10.7.so libHSenclosed-exceptions-1.0.3-FqLKsN9xSmy9QRAJWcc8rN-ghc8.10.7.so libHSexceptions-0.10.4-ghc8.10.7.so libHSfilepath-1.4.2.1-ghc8.10.7.so libHSfingertree-0.1.5.0-9rC7ZsLgw7G1xI3Y5mn8pM-ghc8.10.7.so libHSfsnotify-0.3.0.1-EXTFGCsTAhe7bqwFEEEKom-ghc8.10.7.so libHSghc-boot-th-8.10.7-ghc8.10.7.so libHSghc-prim-0.6.1-ghc8.10.7.so libHShashable-1.3.0.0-DKy9JIeMjEpEMnRxDSJKj1-ghc8.10.7.so libHShaskeline-0.8.2-ghc8.10.7.so libHShinotify-0.4.1-Ju5Y5ZCrBf04draXDua9ha-ghc8.10.7.so libHSieee754-0.8.0-4hOKlbaI0Me5Tv0tYFm8LR-ghc8.10.7.so libHSindexed-traversable-0.1.2-Eo535BQju5EJMNNLLeinJ3-ghc8.10.7.so libHSinteger-gmp-1.0.3.0-ghc8.10.7.so libHSinteger-logarithms-1.0.3.1-xsL5hmMYGlG65gkrXlNN-ghc8.10.7.so libHSlibffi-0.1-9TWOHMZSoWzH0kgWVwcgFP-ghc8.10.7.so libHSlifted-async-0.10.2-LTOHInRIEyGFrXhVWBffIt-ghc8.10.7.so libHSlifted-base-0.2.3.12-8NwGOLgKYXW50HLMkbkQKI-ghc8.10.7.so libHSmegaparsec-9.0.1-EMb78iWXVW56v6FbZK0Oft-ghc8.10.7.so libHSmonad-control-1.0.3.1-LrGfkL6iyDEDwF0SaydS20-ghc8.10.7.so libHSmtl-2.2.2-ghc8.10.7.so libHSnetwork-3.1.2.7-Ej7C9eZsuTEBnZvIiWsgMl-ghc8.10.7.so libHSnetwork-uri-2.6.4.1-GLV1eLp8pleKfbAQctZUgh-ghc8.10.7.so libHSold-locale-1.0.0.7-Imy8BjOomMC1ZfvTA3Dz4y-ghc8.10.7.so libHSoptparse-applicative-0.16.1.0-43YOgSewnPMLEfjCjBD5LJ-ghc8.10.7.so libHSparsec-3.1.14.0-ghc8.10.7.so libHSparser-combinators-1.2.1-Aiu51aQogMI92jJApQ1WnH-ghc8.10.7.so libHSpretty-1.1.3.6-ghc8.10.7.so libHSprimitive-0.7.3.0-HMedJdQUTCQ79SiIUfisnA-ghc8.10.7.so libHSprocess-1.6.13.2-ghc8.10.7.so libHSrandom-1.2.0-KwELIRRPk7PAcyDfwXEvGo-ghc8.10.7.so libHSregex-base-0.94.0.2-2OpFmMNhSGJJuB8R53JCoN-ghc8.10.7.so libHSregex-tdfa-1.3.1.2-6TNnaPUqtDu2tNC0uJQ5MZ-ghc8.10.7.so libHSsafe-0.3.19-8luuMyFSOlL6dBNapMpYT1-ghc8.10.7.so libHSscientific-0.3.7.0-9Bte1MPl0IRAgeMv2NYBdP-ghc8.10.7.so libHSsemigroups-0.19.2-B42pS9MLVR4146tbQn2OdN-ghc8.10.7.so libHSshelly-1.9.0-3tFpGrN4IUH5eTqeocrn18-ghc8.10.7.so libHSsplit-0.2.3.4-IUvATEEGVazHDL4WYDj96v-ghc8.10.7.so libHSsplitmix-0.1.0.3-EyzgLNoP6DEInch8Jq19NJ-ghc8.10.7.so libHSstm-2.5.0.1-ghc8.10.7.so libHSstrict-0.4.0.1-HBxyMmbTWvEG941xvNhtfo-ghc8.10.7.so libHSsyb-0.7.2.1-8lo4SrTozT6GYOMzTH5Fgq-ghc8.10.7.so libHStagged-0.8.6.1-EiQY3za6Q5HE9cdvqupke2-ghc8.10.7.so libHStagsoup-0.14.8-HHQcgxYwq88Aoe93MiFduu-ghc8.10.7.so libHStemplate-haskell-2.16.0.0-ghc8.10.7.so libHSterminal-size-0.3.2.1-uQDnoAxQ6BAjNai4AQyGS-ghc8.10.7.so libHSterminfo-0.4.1.4-ghc8.10.7.so libHStext-1.2.4.1-ghc8.10.7.so libHSth-abstraction-0.4.3.0-FMje8SMcvo6Ej3bhfOvFnc-ghc8.10.7.so libHSth-compat-0.1.3-2wK61mJ2sHoIKjBQgi7PHA-ghc8.10.7.so libHSthese-1.1.1.1-ANC3DfyCOI87BdRIbykcno-ghc8.10.7.so libHStime-1.9.3-ghc8.10.7.so libHStime-compat-1.9.5-FhCJFiF8UpKAUAMoG79g1R-ghc8.10.7.so libHStransformers-0.5.6.2-ghc8.10.7.so libHStransformers-base-0.4.6-C9SUxDQa2PfLhNNhyyyvFC-ghc8.10.7.so libHStransformers-compat-0.6.6-9ADqfwGTALm8Nq2ZeUpa4p-ghc8.10.7.so libHStype-equality-1-Cz1XtPhQ9oP187QHwC5KWz-ghc8.10.7.so libHSuniplate-1.6.13-IAuUG1Lcx3x2CBAJkNNP1Q-ghc8.10.7.so libHSunix-2.7.2.2-ghc8.10.7.so libHSunix-compat-0.5.4-9pnwdSgqQ6VGBo7SYUv7AI-ghc8.10.7.so libHSunordered-containers-0.2.16.0-Dv4Rt1LQPww8MojiiwKOfx-ghc8.10.7.so libHSutf8-string-1.0.2-8YAqI3SiGe8GKwxImEgLZR-ghc8.10.7.so libHSuuid-types-1.0.5-7O7qBkSgwaQ6lmIxpY1HQv-ghc8.10.7.so libHSvector-0.12.3.1-4ZUkvMG0hba9AHoOHt8bPP-ghc8.10.7.so libHSvector-binary-instances-0.2.5.2-H5ZCTDRQMxKLHvSpGILeSL-ghc8.10.7.so libHSxss-sanitize-0.3.6-IbfbQdYmNGVEHR4FvTQ5t2-ghc8.10.7.so libHSzip-archive-0.4.2.1-Fd8l38xvOVl7uHEijrfCxa-ghc8.10.7.so libHSzlib-0.6.2.3-8t4IsYh0zXNAXwjEV3rJFO-ghc8.10.7.so libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1.3) libffi.so.8 libgmp.so.10 libm.so.6 libtinfo.so.6 libz.so.1 rtld(GNU_HASH)
Processing files: ghc-idris-devel-1.3.4-5.fc38.i686
Provides: ghc-devel(idris-1.3.4-LDWD1n4YUd65AxmDqFecax) ghc-idris-devel = 1.3.4-5.fc38 ghc-idris-devel(x86-32) = 1.3.4-5.fc38 ghc-idris-static = 1.3.4-5.fc38 ghc-idris-static(x86-32) = 1.3.4-5.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(aeson-1.5.6.0-gBocWxSv2gI3yy25Sudqw) ghc-devel(annotated-wl-pprint-0.7.0-JuPOh9Y91Ag6aZ777EImXK) ghc-devel(ansi-terminal-0.11.1-ueTKNpi6eZ9WH8Zhvi3SP) ghc-devel(ansi-wl-pprint-0.6.9-KPvzO8mT1BIBMa1zg4208) ghc-devel(array-0.5.4.0) ghc-devel(async-2.2.4-ESduOyIMaQuAwwnNeo6WQh) ghc-devel(base-4.14.3.0) ghc-devel(base64-bytestring-1.1.0.0-HDz0kgl0nD2AMCL7uo2RNp) ghc-devel(binary-0.8.8.0) ghc-devel(blaze-html-0.9.1.2-DF3eL85BuM282GkOoBmEJy) ghc-devel(blaze-markup-0.8.2.8-9vgQQvanetSGq1hPLXsX6r) ghc-devel(bytestring-0.10.12.0) ghc-devel(cheapskate-0.1.1.2-6rtG4qRX5kGKka1lO4IiPQ) ghc-devel(code-page-0.2.1-5RaytB9dNWmC7DLyfztswJ) ghc-devel(containers-0.6.5.1) ghc-devel(deepseq-1.4.4.0) ghc-devel(directory-1.3.6.0) ghc-devel(filepath-1.4.2.1) ghc-devel(fingertree-0.1.5.0-9rC7ZsLgw7G1xI3Y5mn8pM) ghc-devel(fsnotify-0.3.0.1-EXTFGCsTAhe7bqwFEEEKom) ghc-devel(haskeline-0.8.2) ghc-devel(ieee754-0.8.0-4hOKlbaI0Me5Tv0tYFm8LR) ghc-devel(libffi-0.1-9TWOHMZSoWzH0kgWVwcgFP) ghc-devel(megaparsec-9.0.1-EMb78iWXVW56v6FbZK0Oft) ghc-devel(mtl-2.2.2) ghc-devel(network-3.1.2.7-Ej7C9eZsuTEBnZvIiWsgMl) ghc-devel(optparse-applicative-0.16.1.0-43YOgSewnPMLEfjCjBD5LJ) ghc-devel(parser-combinators-1.2.1-Aiu51aQogMI92jJApQ1WnH) ghc-devel(pretty-1.1.3.6) ghc-devel(process-1.6.13.2) ghc-devel(regex-tdfa-1.3.1.2-6TNnaPUqtDu2tNC0uJQ5MZ) ghc-devel(safe-0.3.19-8luuMyFSOlL6dBNapMpYT1) ghc-devel(split-0.2.3.4-IUvATEEGVazHDL4WYDj96v) ghc-devel(terminal-size-0.3.2.1-uQDnoAxQ6BAjNai4AQyGS) ghc-devel(text-1.2.4.1) ghc-devel(time-1.9.3) ghc-devel(transformers-0.5.6.2) ghc-devel(uniplate-1.6.13-IAuUG1Lcx3x2CBAJkNNP1Q) ghc-devel(unix-2.7.2.2) ghc-devel(unordered-containers-0.2.16.0-Dv4Rt1LQPww8MojiiwKOfx) ghc-devel(utf8-string-1.0.2-8YAqI3SiGe8GKwxImEgLZR) ghc-devel(vector-0.12.3.1-4ZUkvMG0hba9AHoOHt8bPP) ghc-devel(vector-binary-instances-0.2.5.2-H5ZCTDRQMxKLHvSpGILeSL) ghc-devel(zip-archive-0.4.2.1-Fd8l38xvOVl7uHEijrfCxa)
Processing files: idris-docs-1.3.4-5.fc38.noarch
Provides: idris-docs = 1.3.4-5.fc38
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-5.fc38.noarch
Provides: idris-manual = 1.3.4-5.fc38
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-5.fc38.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.m1YGq2
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.4
+ LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/ghc-idris-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/ghc-idris-doc
+ cp -pr LICENSE /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386/usr/share/licenses/ghc-idris-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-idris-doc = 1.3.4-5.fc38
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-5.fc38.i686
Provides: ghc-idris-prof = 1.3.4-5.fc38 ghc-idris-prof(x86-32) = 1.3.4-5.fc38 ghc-prof(idris-1.3.4-LDWD1n4YUd65AxmDqFecax)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-prof(aeson-1.5.6.0-gBocWxSv2gI3yy25Sudqw) ghc-prof(annotated-wl-pprint-0.7.0-JuPOh9Y91Ag6aZ777EImXK) ghc-prof(ansi-terminal-0.11.1-ueTKNpi6eZ9WH8Zhvi3SP) ghc-prof(ansi-wl-pprint-0.6.9-KPvzO8mT1BIBMa1zg4208) ghc-prof(array-0.5.4.0) ghc-prof(async-2.2.4-ESduOyIMaQuAwwnNeo6WQh) ghc-prof(base-4.14.3.0) ghc-prof(base64-bytestring-1.1.0.0-HDz0kgl0nD2AMCL7uo2RNp) ghc-prof(binary-0.8.8.0) ghc-prof(blaze-html-0.9.1.2-DF3eL85BuM282GkOoBmEJy) ghc-prof(blaze-markup-0.8.2.8-9vgQQvanetSGq1hPLXsX6r) ghc-prof(bytestring-0.10.12.0) ghc-prof(cheapskate-0.1.1.2-6rtG4qRX5kGKka1lO4IiPQ) ghc-prof(code-page-0.2.1-5RaytB9dNWmC7DLyfztswJ) ghc-prof(containers-0.6.5.1) ghc-prof(deepseq-1.4.4.0) ghc-prof(directory-1.3.6.0) ghc-prof(filepath-1.4.2.1) ghc-prof(fingertree-0.1.5.0-9rC7ZsLgw7G1xI3Y5mn8pM) ghc-prof(fsnotify-0.3.0.1-EXTFGCsTAhe7bqwFEEEKom) ghc-prof(haskeline-0.8.2) ghc-prof(ieee754-0.8.0-4hOKlbaI0Me5Tv0tYFm8LR) ghc-prof(libffi-0.1-9TWOHMZSoWzH0kgWVwcgFP) ghc-prof(megaparsec-9.0.1-EMb78iWXVW56v6FbZK0Oft) ghc-prof(mtl-2.2.2) ghc-prof(network-3.1.2.7-Ej7C9eZsuTEBnZvIiWsgMl) ghc-prof(optparse-applicative-0.16.1.0-43YOgSewnPMLEfjCjBD5LJ) ghc-prof(parser-combinators-1.2.1-Aiu51aQogMI92jJApQ1WnH) ghc-prof(pretty-1.1.3.6) ghc-prof(process-1.6.13.2) ghc-prof(regex-tdfa-1.3.1.2-6TNnaPUqtDu2tNC0uJQ5MZ) ghc-prof(safe-0.3.19-8luuMyFSOlL6dBNapMpYT1) ghc-prof(split-0.2.3.4-IUvATEEGVazHDL4WYDj96v) ghc-prof(terminal-size-0.3.2.1-uQDnoAxQ6BAjNai4AQyGS) ghc-prof(text-1.2.4.1) ghc-prof(time-1.9.3) ghc-prof(transformers-0.5.6.2) ghc-prof(uniplate-1.6.13-IAuUG1Lcx3x2CBAJkNNP1Q) ghc-prof(unix-2.7.2.2) ghc-prof(unordered-containers-0.2.16.0-Dv4Rt1LQPww8MojiiwKOfx) ghc-prof(utf8-string-1.0.2-8YAqI3SiGe8GKwxImEgLZR) ghc-prof(vector-0.12.3.1-4ZUkvMG0hba9AHoOHt8bPP) ghc-prof(vector-binary-instances-0.2.5.2-H5ZCTDRQMxKLHvSpGILeSL) ghc-prof(zip-archive-0.4.2.1-Fd8l38xvOVl7uHEijrfCxa)
Supplements: (ghc-idris-devel and ghc-prof)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386
Wrote: /builddir/build/RPMS/ghc-idris-prof-1.3.4-5.fc38.i686.rpm
Wrote: /builddir/build/RPMS/idris-1.3.4-5.fc38.i686.rpm
Wrote: /builddir/build/RPMS/ghc-idris-devel-1.3.4-5.fc38.i686.rpm
Wrote: /builddir/build/RPMS/ghc-idris-1.3.4-5.fc38.i686.rpm
Wrote: /builddir/build/RPMS/idris-docs-1.3.4-5.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/idris-common-1.3.4-5.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/idris-static-1.3.4-5.fc38.i686.rpm
Wrote: /builddir/build/RPMS/idris-manual-1.3.4-5.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-idris-doc-1.3.4-5.fc38.noarch.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.AYHy71
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/idris-1.3.4-5.fc38.i386
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.pnO8y2
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf idris-1.3.4 idris-1.3.4.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0