Mock Version: 2.9
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1611927805.282335/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 0x7f00b03d3070>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h83_ro_9:/etc/resolv.conf', '--bind=/dev/btrfs-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.h83_ro_9:/etc/resolv.conf', '--bind=/dev/btrfs-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', 'a205a85d64b9422ba0d8090a4594f8a7', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1611927805.282335/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h83_ro_9:/etc/resolv.conf', '--bind=/dev/btrfs-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 x86_64 --nodeps /builddir/build/SPECS/idris.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1595894400
Wrote: /builddir/build/SRPMS/idris-1.3.3-2.fc34.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1611927805.282335/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 0x7f00b03d3070>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h83_ro_9:/etc/resolv.conf', '--bind=/dev/btrfs-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.h83_ro_9:/etc/resolv.conf', '--bind=/dev/btrfs-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', '434523ad24a747818874216276b7eff7', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1611927805.282335/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h83_ro_9:/etc/resolv.conf', '--bind=/dev/btrfs-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 x86_64 --nodeps /builddir/build/SPECS/idris.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1595894400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.YgqO7f
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf idris-1.3.3
+ /usr/bin/gzip -dc /builddir/build/SOURCES/idris-1.3.3.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd idris-1.3.3
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ 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.jXAuJI
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.3
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.3/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.3/dist/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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   '
+ '[' -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.0.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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed
++ sed -e 's/ / -optl/g'
+ ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/idris '--libsubdir=$compiler/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64 --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-m64 -optc-mtune=generic -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-protection  -optl-Wl,-z,relro -optl-Wl,--as-needed' -p --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/idris-1.3.3 --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.3...
make: Entering directory '/builddir/build/BUILD/idris-1.3.3/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.3/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.3..
Building library for idris-1.3.3..
[  1 of 115] Compiling BuildFlags_idris ( dist/build/autogen/BuildFlags_idris.hs, dist/build/BuildFlags_idris.o )
[  2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o )
[  3 of 115] Compiling Idris.Colours    ( src/Idris/Colours.hs, dist/build/Idris/Colours.o )
[  4 of 115] Compiling Idris.Help       ( src/Idris/Help.hs, dist/build/Idris/Help.o )
[  5 of 115] Compiling Paths_idris      ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o )
[  6 of 115] Compiling IRTS.System      ( src/IRTS/System.hs, dist/build/IRTS/System.o )
[  7 of 115] Compiling Tools_idris      ( dist/build/autogen/Tools_idris.hs, dist/build/Tools_idris.o )
[  8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o )
[  9 of 115] Compiling Util.Net         ( src/Util/Net.hs, dist/build/Util/Net.o )
[ 10 of 115] Compiling Util.Pretty      ( src/Util/Pretty.hs, dist/build/Util/Pretty.o )
[ 11 of 115] Compiling Idris.Core.TT    ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o )
[ 12 of 115] Compiling Idris.Unlit      ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o )
[ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o )
[ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o )
[ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o )
[ 16 of 115] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o )
[ 17 of 115] Compiling Idris.Core.WHNF  ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.o )
[ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o )
[ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o )
[ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o )
[ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o )
[ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o )
[ 23 of 115] Compiling Idris.IdeMode    ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.o )
[ 24 of 115] Compiling IRTS.Lang        ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o )
[ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o )
[ 26 of 115] Compiling IRTS.LangOpts    ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o )
[ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, dist/build/IRTS/JavaScript/Specialize.o )
[ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, dist/build/IRTS/JavaScript/PrimOp.o )
[ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, dist/build/IRTS/JavaScript/Name.o )
[ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, dist/build/IRTS/JavaScript/LangTransforms.o )
[ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o )
[ 32 of 115] Compiling IRTS.Simplified  ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o )
[ 33 of 115] Compiling IRTS.Inliner     ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o )
[ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o )
[ 35 of 115] Compiling Idris.Options    ( src/Idris/Options.hs, dist/build/Idris/Options.o )
[ 36 of 115] Compiling IRTS.Bytecode    ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o )
[ 37 of 115] Compiling IRTS.Portable    ( src/IRTS/Portable.hs, dist/build/IRTS/Portable.o )
[ 38 of 115] Compiling IRTS.DumpBC      ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o )
[ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o )
[ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o )
[ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o )
[ 42 of 115] Compiling Idris.DeepSeq    ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o )
[ 43 of 115] Compiling Idris.ASTUtils   ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o )
[ 44 of 115] Compiling Util.ScreenSize  ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o )
[ 45 of 115] Compiling Util.System      ( src/Util/System.hs, dist/build/Util/System.o )
[ 46 of 115] Compiling Idris.AbsSyntax  ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o )
[ 47 of 115] Compiling Idris.WhoCalls   ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.o )
[ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o )
[ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, dist/build/Idris/REPL/Browse.o )
[ 50 of 115] Compiling Idris.Inliner    ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o )
[ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o )
[ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.o )
[ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.o )
[ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o )
[ 55 of 115] Compiling Idris.Reflection ( src/Idris/Reflection.hs, dist/build/Idris/Reflection.o )
[ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.o )
[ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o )
[ 58 of 115] Compiling Idris.Output     ( src/Idris/Output.hs, dist/build/Idris/Output.o )
[ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, dist/build/Idris/Parser/Stack.o )
[ 60 of 115] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, dist/build/Idris/Parser/Helpers.o )
[ 61 of 115] Compiling Idris.Parser.Ops ( src/Idris/Parser/Ops.hs, dist/build/Idris/Parser/Ops.o )
[ 62 of 115] Compiling Idris.Error      ( src/Idris/Error.hs, dist/build/Idris/Error.o )
[ 63 of 115] Compiling Idris.Termination ( src/Idris/Termination.hs, dist/build/Idris/Termination.o )
[ 64 of 115] Compiling Idris.Providers  ( src/Idris/Providers.hs, dist/build/Idris/Providers.o )
[ 65 of 115] Compiling Idris.Imports    ( src/Idris/Imports.hs, dist/build/Idris/Imports.o )
[ 66 of 115] Compiling Idris.REPL.Commands ( src/Idris/REPL/Commands.hs, dist/build/Idris/REPL/Commands.o )
[ 67 of 115] Compiling Idris.Package.Common ( src/Idris/Package/Common.hs, dist/build/Idris/Package/Common.o )
[ 68 of 115] Compiling Idris.Directives ( src/Idris/Directives.hs, dist/build/Idris/Directives.o )
[ 69 of 115] Compiling Idris.IBC        ( src/Idris/IBC.hs, dist/build/Idris/IBC.o )
[ 70 of 115] Compiling Idris.Erasure    ( src/Idris/Erasure.hs, dist/build/Idris/Erasure.o )
[ 71 of 115] Compiling Idris.Elab.Utils ( src/Idris/Elab/Utils.hs, dist/build/Idris/Elab/Utils.o )
[ 72 of 115] Compiling Idris.Elab.Rewrite ( src/Idris/Elab/Rewrite.hs, dist/build/Idris/Elab/Rewrite.o )
[ 73 of 115] Compiling Idris.Docs       ( src/Idris/Docs.hs, dist/build/Idris/Docs.o )
[ 74 of 115] Compiling Idris.IdrisDoc   ( src/Idris/IdrisDoc.hs, dist/build/Idris/IdrisDoc.o )
[ 75 of 115] Compiling Idris.DataOpts   ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.o )
[ 76 of 115] Compiling Idris.DSL        ( src/Idris/DSL.hs, dist/build/Idris/DSL.o )
[ 77 of 115] Compiling Idris.Parser.Expr ( src/Idris/Parser/Expr.hs, dist/build/Idris/Parser/Expr.o )
[ 78 of 115] Compiling Idris.Parser.Data ( src/Idris/Parser/Data.hs, dist/build/Idris/Parser/Data.o )
[ 79 of 115] Compiling Idris.Coverage   ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o )
[ 80 of 115] Compiling Idris.Elab.Term  ( src/Idris/Elab/Term.hs, dist/build/Idris/Elab/Term.o )
[ 81 of 115] Compiling Idris.Elab.Value ( src/Idris/Elab/Value.hs, dist/build/Idris/Elab/Value.o )
[ 82 of 115] Compiling Idris.Elab.Type  ( src/Idris/Elab/Type.hs, dist/build/Idris/Elab/Type.o )
[ 83 of 115] Compiling Idris.TypeSearch ( src/Idris/TypeSearch.hs, dist/build/Idris/TypeSearch.o )
[ 84 of 115] Compiling Idris.Elab.Data  ( src/Idris/Elab/Data.hs, dist/build/Idris/Elab/Data.o )
[ 85 of 115] Compiling Idris.Elab.Record ( src/Idris/Elab/Record.hs, dist/build/Idris/Elab/Record.o )
[ 86 of 115] Compiling Idris.Elab.Interface ( src/Idris/Elab/Interface.hs, dist/build/Idris/Elab/Interface.o )
[ 87 of 115] Compiling Idris.Elab.Transform ( src/Idris/Elab/Transform.hs, dist/build/Idris/Elab/Transform.o )
[ 88 of 115] Compiling Idris.Elab.RunElab ( src/Idris/Elab/RunElab.hs, dist/build/Idris/Elab/RunElab.o )
[ 89 of 115] Compiling Idris.Elab.Implementation ( src/Idris/Elab/Implementation.hs, dist/build/Idris/Elab/Implementation.o )
[ 90 of 115] Compiling Idris.Elab.Clause ( src/Idris/Elab/Clause.hs, dist/build/Idris/Elab/Clause.o )
[ 91 of 115] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.o )
[ 92 of 115] Compiling Idris.Elab.Provider ( src/Idris/Elab/Provider.hs, dist/build/Idris/Elab/Provider.o )
[ 93 of 115] Compiling Idris.ElabDecls  ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.o )
[ 94 of 115] Compiling Idris.Parser     ( src/Idris/Parser.hs, dist/build/Idris/Parser.o )
[ 95 of 115] Compiling Idris.REPL.Parser ( src/Idris/REPL/Parser.hs, dist/build/Idris/REPL/Parser.o )
[ 96 of 115] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.o )
[ 97 of 115] Compiling Idris.Prover     ( src/Idris/Prover.hs, dist/build/Idris/Prover.o )
[ 98 of 115] Compiling Idris.Chaser     ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.o )
[ 99 of 115] Compiling Idris.CaseSplit  ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.o )
[100 of 115] Compiling Idris.Interactive ( src/Idris/Interactive.hs, dist/build/Idris/Interactive.o )
[101 of 115] Compiling Idris.Apropos    ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o )
[102 of 115] Compiling IRTS.Exports     ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.o )
[103 of 115] Compiling IRTS.JavaScript.Codegen ( src/IRTS/JavaScript/Codegen.hs, dist/build/IRTS/JavaScript/Codegen.o )
[104 of 115] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o )
[105 of 115] Compiling IRTS.CodegenC    ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o )
[106 of 115] Compiling IRTS.Compiler    ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.o )
[107 of 115] Compiling Version_idris    ( dist/build/autogen/Version_idris.hs, dist/build/Version_idris.o )
[108 of 115] Compiling Idris.Info       ( src/Idris/Info.hs, dist/build/Idris/Info.o )
[109 of 115] Compiling Idris.ModeCommon ( src/Idris/ModeCommon.hs, dist/build/Idris/ModeCommon.o )
[110 of 115] Compiling Idris.REPL       ( src/Idris/REPL.hs, dist/build/Idris/REPL.o )
[111 of 115] Compiling Idris.Main       ( src/Idris/Main.hs, dist/build/Idris/Main.o )
[112 of 115] Compiling Idris.Info.Show  ( src/Idris/Info/Show.hs, dist/build/Idris/Info/Show.o )
[113 of 115] Compiling Idris.CmdOptions ( src/Idris/CmdOptions.hs, dist/build/Idris/CmdOptions.o )
[114 of 115] Compiling Idris.Package.Parser ( src/Idris/Package/Parser.hs, dist/build/Idris/Package/Parser.o )
[115 of 115] Compiling Idris.Package    ( src/Idris/Package.hs, dist/build/Idris/Package.o )
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 ( dist/build/autogen/BuildFlags_idris.hs, dist/build/BuildFlags_idris.p_o )
[  2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.p_o )
[  3 of 115] Compiling Idris.Colours    ( src/Idris/Colours.hs, dist/build/Idris/Colours.p_o )
[  4 of 115] Compiling Idris.Help       ( src/Idris/Help.hs, dist/build/Idris/Help.p_o )
[  5 of 115] Compiling Paths_idris      ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.p_o )
[  6 of 115] Compiling IRTS.System      ( src/IRTS/System.hs, dist/build/IRTS/System.p_o )
[  7 of 115] Compiling Tools_idris      ( dist/build/autogen/Tools_idris.hs, dist/build/Tools_idris.p_o )
[  8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.p_o )
[  9 of 115] Compiling Util.Net         ( src/Util/Net.hs, dist/build/Util/Net.p_o )
[ 10 of 115] Compiling Util.Pretty      ( src/Util/Pretty.hs, dist/build/Util/Pretty.p_o )
[ 11 of 115] Compiling Idris.Core.TT    ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.p_o )
[ 12 of 115] Compiling Idris.Unlit      ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.p_o )
[ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.p_o )
[ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.p_o )
[ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.p_o )
[ 16 of 115] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.p_o )
[ 17 of 115] Compiling Idris.Core.WHNF  ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.p_o )
[ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.p_o )
[ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.p_o )
[ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.p_o )
[ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.p_o )
[ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.p_o )
[ 23 of 115] Compiling Idris.IdeMode    ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.p_o )
[ 24 of 115] Compiling IRTS.Lang        ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.p_o )
[ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.p_o )
[ 26 of 115] Compiling IRTS.LangOpts    ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.p_o )
[ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, dist/build/IRTS/JavaScript/Specialize.p_o )
[ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, dist/build/IRTS/JavaScript/PrimOp.p_o )
[ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, dist/build/IRTS/JavaScript/Name.p_o )
[ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, dist/build/IRTS/JavaScript/LangTransforms.p_o )
[ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.p_o )
[ 32 of 115] Compiling IRTS.Simplified  ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.p_o )
[ 33 of 115] Compiling IRTS.Inliner     ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.p_o )
[ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.p_o )
[ 35 of 115] Compiling Idris.Options    ( src/Idris/Options.hs, dist/build/Idris/Options.p_o )
[ 36 of 115] Compiling IRTS.Bytecode    ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.p_o )
[ 37 of 115] Compiling IRTS.Portable    ( src/IRTS/Portable.hs, dist/build/IRTS/Portable.p_o )
[ 38 of 115] Compiling IRTS.DumpBC      ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.p_o )
[ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.p_o )
[ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.p_o )
[ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.p_o )
[ 42 of 115] Compiling Idris.DeepSeq    ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.p_o )
[ 43 of 115] Compiling Idris.ASTUtils   ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.p_o )
[ 44 of 115] Compiling Util.ScreenSize  ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.p_o )
[ 45 of 115] Compiling Util.System      ( src/Util/System.hs, dist/build/Util/System.p_o )
[ 46 of 115] Compiling Idris.AbsSyntax  ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.p_o )
[ 47 of 115] Compiling Idris.WhoCalls   ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.p_o )
[ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.p_o )
[ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, dist/build/Idris/REPL/Browse.p_o )
[ 50 of 115] Compiling Idris.Inliner    ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.p_o )
[ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.p_o )
[ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.p_o )
[ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.p_o )
[ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.p_o )
[ 55 of 115] Compiling Idris.Reflection ( src/Idris/Reflection.hs, dist/build/Idris/Reflection.p_o )
[ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.p_o )
[ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.p_o )
[ 58 of 115] Compiling Idris.Output     ( src/Idris/Output.hs, dist/build/Idris/Output.p_o )
[ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, dist/build/Idris/Parser/Stack.p_o )
[ 60 of 115] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, dist/build/Idris/Parser/Helpers.p_o )
[ 61 of 115] Compiling Idris.Parser.Ops ( src/Idris/Parser/Ops.hs, dist/build/Idris/Parser/Ops.p_o )
[ 62 of 115] Compiling Idris.Error      ( src/Idris/Error.hs, dist/build/Idris/Error.p_o )
[ 63 of 115] Compiling Idris.Termination ( src/Idris/Termination.hs, dist/build/Idris/Termination.p_o )
[ 64 of 115] Compiling Idris.Providers  ( src/Idris/Providers.hs, dist/build/Idris/Providers.p_o )
[ 65 of 115] Compiling Idris.Imports    ( src/Idris/Imports.hs, dist/build/Idris/Imports.p_o )
[ 66 of 115] Compiling Idris.REPL.Commands ( src/Idris/REPL/Commands.hs, dist/build/Idris/REPL/Commands.p_o )
[ 67 of 115] Compiling Idris.Package.Common ( src/Idris/Package/Common.hs, dist/build/Idris/Package/Common.p_o )
[ 68 of 115] Compiling Idris.Directives ( src/Idris/Directives.hs, dist/build/Idris/Directives.p_o )
[ 69 of 115] Compiling Idris.IBC        ( src/Idris/IBC.hs, dist/build/Idris/IBC.p_o )
[ 70 of 115] Compiling Idris.Erasure    ( src/Idris/Erasure.hs, dist/build/Idris/Erasure.p_o )
[ 71 of 115] Compiling Idris.Elab.Utils ( src/Idris/Elab/Utils.hs, dist/build/Idris/Elab/Utils.p_o )
[ 72 of 115] Compiling Idris.Elab.Rewrite ( src/Idris/Elab/Rewrite.hs, dist/build/Idris/Elab/Rewrite.p_o )
[ 73 of 115] Compiling Idris.Docs       ( src/Idris/Docs.hs, dist/build/Idris/Docs.p_o )
[ 74 of 115] Compiling Idris.IdrisDoc   ( src/Idris/IdrisDoc.hs, dist/build/Idris/IdrisDoc.p_o )
[ 75 of 115] Compiling Idris.DataOpts   ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.p_o )
[ 76 of 115] Compiling Idris.DSL        ( src/Idris/DSL.hs, dist/build/Idris/DSL.p_o )
[ 77 of 115] Compiling Idris.Parser.Expr ( src/Idris/Parser/Expr.hs, dist/build/Idris/Parser/Expr.p_o )
[ 78 of 115] Compiling Idris.Parser.Data ( src/Idris/Parser/Data.hs, dist/build/Idris/Parser/Data.p_o )
[ 79 of 115] Compiling Idris.Coverage   ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.p_o )
[ 80 of 115] Compiling Idris.Elab.Term  ( src/Idris/Elab/Term.hs, dist/build/Idris/Elab/Term.p_o )
[ 81 of 115] Compiling Idris.Elab.Value ( src/Idris/Elab/Value.hs, dist/build/Idris/Elab/Value.p_o )
[ 82 of 115] Compiling Idris.Elab.Type  ( src/Idris/Elab/Type.hs, dist/build/Idris/Elab/Type.p_o )
[ 83 of 115] Compiling Idris.TypeSearch ( src/Idris/TypeSearch.hs, dist/build/Idris/TypeSearch.p_o )
[ 84 of 115] Compiling Idris.Elab.Data  ( src/Idris/Elab/Data.hs, dist/build/Idris/Elab/Data.p_o )
[ 85 of 115] Compiling Idris.Elab.Record ( src/Idris/Elab/Record.hs, dist/build/Idris/Elab/Record.p_o )
[ 86 of 115] Compiling Idris.Elab.Interface ( src/Idris/Elab/Interface.hs, dist/build/Idris/Elab/Interface.p_o )
[ 87 of 115] Compiling Idris.Elab.Transform ( src/Idris/Elab/Transform.hs, dist/build/Idris/Elab/Transform.p_o )
[ 88 of 115] Compiling Idris.Elab.RunElab ( src/Idris/Elab/RunElab.hs, dist/build/Idris/Elab/RunElab.p_o )
[ 89 of 115] Compiling Idris.Elab.Implementation ( src/Idris/Elab/Implementation.hs, dist/build/Idris/Elab/Implementation.p_o )
[ 90 of 115] Compiling Idris.Elab.Clause ( src/Idris/Elab/Clause.hs, dist/build/Idris/Elab/Clause.p_o )
[ 91 of 115] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.p_o )
[ 92 of 115] Compiling Idris.Elab.Provider ( src/Idris/Elab/Provider.hs, dist/build/Idris/Elab/Provider.p_o )
[ 93 of 115] Compiling Idris.ElabDecls  ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.p_o )
[ 94 of 115] Compiling Idris.Parser     ( src/Idris/Parser.hs, dist/build/Idris/Parser.p_o )
[ 95 of 115] Compiling Idris.REPL.Parser ( src/Idris/REPL/Parser.hs, dist/build/Idris/REPL/Parser.p_o )
[ 96 of 115] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.p_o )
[ 97 of 115] Compiling Idris.Prover     ( src/Idris/Prover.hs, dist/build/Idris/Prover.p_o )
[ 98 of 115] Compiling Idris.Chaser     ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.p_o )
[ 99 of 115] Compiling Idris.CaseSplit  ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.p_o )
[100 of 115] Compiling Idris.Interactive ( src/Idris/Interactive.hs, dist/build/Idris/Interactive.p_o )
[101 of 115] Compiling Idris.Apropos    ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.p_o )
[102 of 115] Compiling IRTS.Exports     ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.p_o )
[103 of 115] Compiling IRTS.JavaScript.Codegen ( src/IRTS/JavaScript/Codegen.hs, dist/build/IRTS/JavaScript/Codegen.p_o )
[104 of 115] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.p_o )
[105 of 115] Compiling IRTS.CodegenC    ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.p_o )
[106 of 115] Compiling IRTS.Compiler    ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.p_o )
[107 of 115] Compiling Version_idris    ( dist/build/autogen/Version_idris.hs, dist/build/Version_idris.p_o )
[108 of 115] Compiling Idris.Info       ( src/Idris/Info.hs, dist/build/Idris/Info.p_o )
[109 of 115] Compiling Idris.ModeCommon ( src/Idris/ModeCommon.hs, dist/build/Idris/ModeCommon.p_o )
[110 of 115] Compiling Idris.REPL       ( src/Idris/REPL.hs, dist/build/Idris/REPL.p_o )
[111 of 115] Compiling Idris.Main       ( src/Idris/Main.hs, dist/build/Idris/Main.p_o )
[112 of 115] Compiling Idris.Info.Show  ( src/Idris/Info/Show.hs, dist/build/Idris/Info/Show.p_o )
[113 of 115] Compiling Idris.CmdOptions ( src/Idris/CmdOptions.hs, dist/build/Idris/CmdOptions.p_o )
[114 of 115] Compiling Idris.Package.Parser ( src/Idris/Package/Parser.hs, dist/build/Idris/Package/Parser.p_o )
[115 of 115] Compiling Idris.Package    ( src/Idris/Package.hs, dist/build/Idris/Package.p_o )
Preprocessing executable 'idris-codegen-node' for idris-1.3.3..
Building executable 'idris-codegen-node' for idris-1.3.3..
[1 of 2] Compiling Paths_idris      ( dist/build/idris-codegen-node/autogen/Paths_idris.hs, dist/build/idris-codegen-node/idris-codegen-node-tmp/Paths_idris.o )
[2 of 2] Compiling Main             ( codegen/idris-codegen-node/Main.hs, dist/build/idris-codegen-node/idris-codegen-node-tmp/Main.o )
Linking dist/build/idris-codegen-node/idris-codegen-node ...
Preprocessing executable 'idris-codegen-c' for idris-1.3.3..
Building executable 'idris-codegen-c' for idris-1.3.3..
[1 of 2] Compiling Main             ( codegen/idris-codegen-c/Main.hs, dist/build/idris-codegen-c/idris-codegen-c-tmp/Main.o )
[2 of 2] Compiling Paths_idris      ( dist/build/idris-codegen-c/autogen/Paths_idris.hs, dist/build/idris-codegen-c/idris-codegen-c-tmp/Paths_idris.o )
Linking dist/build/idris-codegen-c/idris-codegen-c ...
Preprocessing executable 'idris-codegen-javascript' for idris-1.3.3..
Building executable 'idris-codegen-javascript' for idris-1.3.3..
[1 of 2] Compiling Main             ( codegen/idris-codegen-javascript/Main.hs, dist/build/idris-codegen-javascript/idris-codegen-javascript-tmp/Main.o )
[2 of 2] Compiling Paths_idris      ( dist/build/idris-codegen-javascript/autogen/Paths_idris.hs, dist/build/idris-codegen-javascript/idris-codegen-javascript-tmp/Paths_idris.o )
Linking dist/build/idris-codegen-javascript/idris-codegen-javascript ...
Preprocessing executable 'idris' for idris-1.3.3..
Building executable 'idris' for idris-1.3.3..
[1 of 1] Compiling Main             ( main/Main.hs, dist/build/idris/idris-tmp/Main.o )
Linking dist/build/idris/idris ...
Building libraries...
make: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs'
make -C prelude build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/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.3/libs/prelude'
make -C base build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/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.3/libs/base'
make -C contrib build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/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.3/libs/contrib'
make -C effects build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/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.3/libs/effects'
make -C pruviloj build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/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.3/libs/pruviloj'
make: Leaving directory '/builddir/build/BUILD/idris-1.3.3/libs'
make: Entering directory '/builddir/build/BUILD/idris-1.3.3/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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-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.3/rts'
+ '[' -n dist/build/libHSidris-1.3.3-FGodWJpiOyB15B877p1bV2-ghc8.8.4.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for idris-1.3.3..
Running Haddock on library for idris-1.3.3..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: aeson-1.4.7.1,
annotated-wl-pprint-0.7.0, ansi-terminal-0.10.3, ansi-wl-pprint-0.6.9,
array-0.5.4.0, async-2.2.2, attoparsec-0.13.2.4, base-4.13.0.0,
base-compat-0.11.1, base-compat-batteries-0.11.1, base-orphans-0.8.2,
base64-bytestring-1.0.0.3, binary-0.8.7.0, blaze-builder-0.4.1.0,
blaze-html-0.9.1.2, blaze-markup-0.8.2.7, bytestring-0.10.10.1,
case-insensitive-1.2.1.0, cheapskate-0.1.1.2, code-page-0.2, colour-2.3.5,
constraints-0.11.2, containers-0.6.2.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, deepseq-1.4.4.0, digest-0.0.1.2,
directory-1.3.6.0, dlist-0.8.0.8, enclosed-exceptions-1.0.3,
exceptions-0.10.4, filepath-1.4.2.1, fingertree-0.1.4.2, fsnotify-0.3.0.1,
ghc-boot-th-8.8.4, ghc-prim-0.5.3, hashable-1.3.0.0, haskeline-0.7.5.0,
hinotify-0.4, ieee754-0.8.0, integer-gmp-1.0.2.0, integer-logarithms-1.0.3,
libffi-0.1, lifted-async-0.10.0.6, lifted-base-0.2.3.12, megaparsec-8.0.0,
monad-control-1.0.2.3, mtl-2.2.2, network-3.1.1.1, network-uri-2.6.3.0,
old-locale-1.0.0.7, optparse-applicative-0.15.1.0, parsec-3.1.14.0,
parser-combinators-1.2.1, pretty-1.1.3.6, primitive-0.7.0.1, process-1.6.9.0,
random-1.1, regex-base-0.94.0.0, regex-tdfa-1.3.1.0, safe-0.3.19,
scientific-0.3.6.2, semigroups-0.19.1, shelly-1.9.0, split-0.2.3.4,
stm-2.5.0.0, syb-0.7.1, tagged-0.8.6, tagsoup-0.14.8,
template-haskell-2.15.0.0, terminal-size-0.3.2.1, terminfo-0.4.1.4,
text-1.2.4.0, th-abstraction-0.3.2.0, time-1.9.3, time-compat-1.9.3,
transformers-0.5.6.2, transformers-base-0.4.5.2, transformers-compat-0.6.5,
type-equality-1, uniplate-1.6.12, unix-2.7.2.2, unix-compat-0.5.2,
unordered-containers-0.2.10.0, utf8-string-1.0.1.1, uuid-types-1.0.3,
vector-0.12.1.2, vector-binary-instances-0.2.5.1, xss-sanitize-0.3.6,
zip-archive-0.4.1, zlib-0.6.2.1
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)
  67% (  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:47)
    getCC (src/IRTS/System.hs:63)
    getLibFlags (src/IRTS/System.hs:93)
    getIdrisDataDir (src/IRTS/System.hs:38)
    getIdrisLibDir (src/IRTS/System.hs:100)
    getIdrisDocDir (src/IRTS/System.hs:102)
    getIdrisCRTSDir (src/IRTS/System.hs:108)
    getIdrisJSRTSDir (src/IRTS/System.hs:104)
    getIncFlags (src/IRTS/System.hs:112)
    getEnvFlags (src/IRTS/System.hs:72)
    version (dist/build/autogen/Paths_idris.hs:28)
  20% (  1 /  5) in 'Util.DynamicLinker'
  Missing documentation for:
    ForeignFun (src/Util/DynamicLinker.hs:58)
    DynamicLib (src/Util/DynamicLinker.hs:62)
    tryLoadLib (src/Util/DynamicLinker.hs:92)
    tryLoadFn (src/Util/DynamicLinker.hs:150)
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.
  39% ( 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)
  88% ( 14 / 16) in 'Idris.Docstrings'
  Missing documentation for:
    Inline (src/Idris/Docstrings.hs:71)
    renderHtml (src/Idris/Docstrings.hs:245)
 100% (  2 /  2) in 'Idris.Core.Constraints'
  11% (  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)
   8% (  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:21)
  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)
  17% (  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:39)
    newProof (src/Idris/Core/ProofState.hs:324)
    envAtFocus (src/Idris/Core/ProofState.hs:343)
    goalAtFocus (src/Idris/Core/ProofState.hs:349)
    Tactic (src/Idris/Core/ProofState.hs:71)
    Goal (src/Idris/Core/ProofTerm.hs:124)
    processTactic (src/Idris/Core/ProofState.hs:945)
    nowElaboratingPS (src/Idris/Core/ProofState.hs:289)
    doneElaboratingAppPS (src/Idris/Core/ProofState.hs:297)
    doneElaboratingArgPS (src/Idris/Core/ProofState.hs:302)
    dropGiven (src/Idris/Core/ProofState.hs:808)
    keepGiven (src/Idris/Core/ProofState.hs:818)
    getProvenance (src/Idris/Core/ProofState.hs:860)
  20% ( 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.
  25% ( 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'
  53% (  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.
  15% ( 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 'Idris.WhoCalls'
  Missing documentation for:
    whoCalls (src/Idris/WhoCalls.hs:88)
    callsWho (src/Idris/WhoCalls.hs:95)
  60% (  3 /  5) in 'Idris.Transforms'
  Missing documentation for:
    transformPats (src/Idris/Transforms.hs:21)
    transformPatsWith (src/Idris/Transforms.hs:29)
 100% (  3 /  3) in 'Idris.REPL.Browse'
  67% (  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'
  47% (  8 / 17) in 'Idris.Delaborate'
  Missing documentation for:
    annName (src/Idris/Delaborate.hs:679)
    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)
    pprintErr (src/Idris/Delaborate.hs:316)
  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:33)
    trivialHoles (src/Idris/ProofSearch.hs:36)
    proofSearch (src/Idris/ProofSearch.hs:122)
  64% (  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)
  19% (  5 / 27) in 'Idris.Output'
  Missing documentation for:
    clearHighlights (src/Idris/Output.hs:405)
    emitWarning (src/Idris/Output.hs:188)
    formatMessage (src/Idris/Output.hs:75)
    idemodePutSExp (src/Idris/Output.hs:324)
    iPrintError (src/Idris/Output.hs:309)
    iPrintResult (src/Idris/Output.hs:306)
    iPrintTermWithType (src/Idris/Output.hs:238)
    iputGoal (src/Idris/Output.hs:333)
    iputStr (src/Idris/Output.hs:318)
    iputStrLn (src/Idris/Output.hs:312)
    iRender (src/Idris/Output.hs:203)
    iRenderOutput (src/Idris/Output.hs:254)
    iRenderResult (src/Idris/Output.hs:266)
    iWarn (src/Idris/Output.hs:185)
    prettyDocumentedIst (src/Idris/Output.hs:355)
    printUndefinedNames (src/Idris/Output.hs:349)
    pshow (src/Idris/Output.hs:55)
    renderExternal (src/Idris/Output.hs:408)
    sendHighlighting (src/Idris/Output.hs:372)
    sendParserHighlighting (src/Idris/Output.hs:364)
    OutputDoc (src/Idris/Output.hs:60)
    Message (src/Idris/Output.hs:62)
  84% ( 16 / 19) in 'Idris.Parser.Stack'
  Missing documentation for:
    ParseError (src/Idris/Parser/Stack.hs:66)
    Mark (src/Idris/Parser/Stack.hs:102)
    restore (src/Idris/Parser/Stack.hs:111)
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.
  79% ( 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:26)
    findIBC (src/Idris/Imports.hs:111)
    findImport (src/Idris/Imports.hs:92)
    findInPath (src/Idris/Imports.hs:123)
    findPkgIndex (src/Idris/Imports.hs:129)
    ibcPathNoFallback (src/Idris/Imports.hs:89)
    installedPackages (src/Idris/Imports.hs:135)
    PkgName (src/Idris/Imports.hs:35)
    pkgName (src/Idris/Imports.hs:48)
    unPkgName (src/Idris/Imports.hs:37)
    unInitializedPkgName (src/Idris/Imports.hs:45)
  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'
  22% ( 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)
  67% (  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: '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.
  77% ( 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:105)
    recordI (src/Idris/Parser/Data.hs:133)
    dataOpts (src/Idris/Parser/Data.hs:137)
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'
  30% (  8 / 27) in 'Idris.Elab.Term'
  Missing documentation for:
    ElabMode (src/Idris/Elab/Term.hs:43)
    ElabResult (src/Idris/Elab/Term.hs:47)
    ElabCtxt (src/Idris/Elab/Term.hs:207)
    initElabCtxt (src/Idris/Elab/Term.hs:215)
    goal_polymorphic (src/Idris/Elab/Term.hs:217)
    pruneAlt (src/Idris/Elab/Term.hs:1646)
    solveAuto (src/Idris/Elab/Term.hs:1679)
    solveAutos (src/Idris/Elab/Term.hs:1705)
    tcRecoverable (src/Idris/Elab/Term.hs:1712)
    trivial' (src/Idris/Elab/Term.hs:1719)
    trivialHoles' (src/Idris/Elab/Term.hs:1721)
    proofSearch' (src/Idris/Elab/Term.hs:1723)
    resolveTC' (src/Idris/Elab/Term.hs:1727)
    collectDeferred (src/Idris/Elab/Term.hs:1730)
    runElabAction (src/Idris/Elab/Term.hs:1758)
    runTac (src/Idris/Elab/Term.hs:2314)
    elaboratingArgErr (src/Idris/Elab/Term.hs:2562)
    withErrorReflection (src/Idris/Elab/Term.hs:2571)
    solveAll (src/Idris/Elab/Term.hs:2637)
  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:56)
  50% (  1 /  2) in 'Idris.Elab.Data'
  Missing documentation for:
    elabData (src/Idris/Elab/Data.hs:48)
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:133)
    CGConf (src/IRTS/JavaScript/Codegen.hs:69)
  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)
  67% (  2 /  3) in 'IRTS.Compiler'
  Missing documentation for:
    generate (src/IRTS/Compiler.hs:134)
  17% (  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)
   5% (  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:80)
    execArgParserPure (src/Idris/CmdOptions.hs:77)
    runArgParser (src/Idris/CmdOptions.hs:37)
Warning: 'iPKG' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  17% (  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)
  57% ( 17 / 30) in 'Idris.Package'
  Missing documentation for:
    getPkgDesc (src/Idris/Package.hs:53)
    auditPackage (src/Idris/Package.hs:312)
    buildMods (src/Idris/Package.hs:354)
    testLib (src/Idris/Package.hs:360)
    rmIBC (src/Idris/Package.hs:376)
    rmIdx (src/Idris/Package.hs:379)
    rmExe (src/Idris/Package.hs:384)
    toIBCFile (src/Idris/Package.hs:390)
    installIBC (src/Idris/Package.hs:393)
    installIdx (src/Idris/Package.hs:405)
    installObj (src/Idris/Package.hs:414)
    mkDirCmd (src/Idris/Package.hs:425)
    inPkgDir (src/Idris/Package.hs:428)
Warning: IRTS.JavaScript.AST: could not find link destinations for:
    Text Int Bool Integer Double String Eq == /= Data gfoldl gunfold Constr toConstr dataTypeOf DataType dataCast1 Typeable Maybe dataCast2 gmapT gmapQl gmapQr gmapQ gmapQi gmapM Monad gmapMp MonadPlus gmapMo Show showsPrec ShowS show showList
Warning: Idris.Colours: could not find link destinations for:
    Maybe Color Bool Eq == /= Show showsPrec Int ShowS show String showList NFData rnf Generic from Rep to Type D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Bounded minBound maxBound Enum succ pred toEnum fromEnum enumFrom enumFromThen enumFromTo enumFromThenTo Handle IO
Warning: Idris.Help: could not find link destinations for:
    Show showsPrec Int ShowS show String showList
Warning: IRTS.System: could not find link destinations for:
    String IO FilePath Char Version getDataDir
Warning: Util.DynamicLinker: could not find link destinations for:
    String FunPtr DL Eq == Bool /= NFData rnf FilePath IO Maybe
Warning: Idris.Core.TT: could not find link destinations for:
    Functor Type fmap <$ Eq == Bool /= Data gfoldl gunfold Constr toConstr dataTypeOf DataType dataCast1 Typeable Maybe dataCast2 gmapT gmapQl gmapQr gmapQ gmapQi Int gmapM Monad gmapMp MonadPlus gmapMo Ord compare Ordering < <= > >= max min Show showsPrec ShowS show String showList Generic from Rep to NFData rnf ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList D1 MetaData False :+: C1 MetaCons PrefixI U1 S1 MetaSel Nothing Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Foldable fold Monoid foldMap foldMap' foldr foldr' foldl foldl' foldr1 foldl1 toList null length elem maximum minimum sum Num product Traversable traverse Applicative sequenceA mapM sequence Binary put Put get Get putList True :*: Just SourceStrict DecidedStrict Integer Double Char Word8 Word16 Word32 Word64 Map MonadException ExceptT controlIO RunIO IO Semigroup <> sconcat NonEmpty stimes Integral mempty mappend mconcat Text Enum succ pred toEnum fromEnum enumFrom enumFromThen enumFromTo enumFromThenTo FilePath >>= >> return MonadFail fail pure <*> liftA2 *> <* Alternative empty <|> some many mzero mplus Doc Set
Warning: Idris.Unlit: could not find link destinations for:
    FilePath String
Warning: Idris.Docstrings: could not find link destinations for:
    Options Blocks Functor Type fmap <$ Foldable fold Monoid foldMap foldMap' foldr foldr' foldl foldl' foldr1 foldl1 toList null Bool length Int elem Eq maximum Ord minimum sum Num product Traversable traverse Applicative sequenceA mapM Monad sequence Show showsPrec ShowS show String showList Generic from Rep to Binary put Put get Get putList NFData rnf Inlines ListType CodeAttr Text Doc Html D1 MetaData False :+: C1 MetaCons PrefixI U1 S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0
Warning: Idris.Core.Constraints: could not find link destinations for:
    Set
Warning: Idris.Core.CaseTree: could not find link destinations for:
    Show showsPrec Int ShowS show String showList Functor Type fmap <$ Binary put Put get Get putList Eq == Bool /= Ord compare Ordering < <= > >= max min Generic from Rep to NFData rnf ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 SourceStrict DecidedStrict U1 Data gfoldl gunfold Constr toConstr dataTypeOf DataType dataCast1 Typeable dataCast2 gmapT gmapQl gmapQr gmapQ gmapQi gmapM Monad gmapMp MonadPlus gmapMo prune
Warning: Idris.Core.Evaluate: could not find link destinations for:
    Bool Int StateT Maybe Either Show showsPrec ShowS show String showList Generic from Rep to Type Binary put Put get Get putList NFData rnf ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Symbol NoSourceUnpackedness SourceStrict DecidedStrict Rec0 NoSourceStrictness DecidedLazy True Just Eq == /= Ord compare Ordering < <= > >= max min U1 Eval EvalState
Warning: Idris.Core.WHNF: could not find link destinations for:
    Show showsPrec Int ShowS show String showList
Warning: Idris.Core.Unify: could not find link destinations for:
    Maybe Bool Eq == /= Show showsPrec Int ShowS show String showList
Warning: Idris.Core.Typecheck: could not find link destinations for:
    StateT Bool String Eq == /=
Warning: Idris.Core.ProofTerm: could not find link destinations for:
    Show showsPrec Int ShowS show String showList Bool Eq Maybe StateT
Warning: Idris.Core.DeepSeq: could not find link destinations for:
    NFData rnf
Warning: Idris.Core.Binary: could not find link destinations for:
    Binary put Put get Get putList
Warning: Idris.IdeMode: could not find link destinations for:
    String Either Integer Int Bool Maybe Eq == /= Show showsPrec ShowS show showList Handle IO
Warning: IRTS.Lang: could not find link destinations for:
    Eq == Bool /= Show showsPrec Int ShowS show String showList Data gfoldl gunfold Constr toConstr dataTypeOf DataType dataCast1 Typeable Maybe dataCast2 gmapT gmapQl gmapQr gmapQ gmapQi gmapM Monad gmapMp MonadPlus gmapMo ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList Ord compare Ordering < <= > >= max min Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI S1 MetaSel Nothing Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 :*: U1 Functor fmap <$ Map State Foldable
Warning: Idris.Primitives: could not find link destinations for:
    Int Maybe
Warning: IRTS.JavaScript.Specialize: could not find link destinations for:
    Int Maybe SSig String
Warning: IRTS.JavaScript.PrimOp: could not find link destinations for:
    Bool Eq == /= Ord compare Ordering < <= > >= max min Map
Warning: IRTS.JavaScript.Name: could not find link destinations for:
    Text Int Eq == Bool /= Ord compare Ordering < <= > >= max min
Warning: IRTS.JavaScript.LangTransforms: could not find link destinations for:
    Map Data gfoldl gunfold Constr toConstr dataTypeOf DataType dataCast1 Typeable Maybe dataCast2 gmapT gmapQl gmapQr gmapQ gmapQi Int gmapM Monad gmapMp MonadPlus gmapMo
Warning: IRTS.Defunctionalise: could not find link destinations for:
    Int Eq == Bool /= Show showsPrec ShowS show String showList ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList Maybe State max
Warning: IRTS.Simplified: could not find link destinations for:
    Int Show showsPrec ShowS show String showList ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList Bool Maybe bindExprs
Warning: IRTS.Inliner: could not find link destinations for:
    Maybe
Warning: IRTS.CodegenCommon: could not find link destinations for:
    Eq == Bool /= Show showsPrec Int ShowS show String showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI U1 FilePath ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList IO
Warning: Idris.Options: could not find link destinations for:
    String Eq == Bool /= Show showsPrec Int ShowS show showList Generic from Rep to Type Binary put Put get Get putList NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 U1 Ord compare Ordering < <= > >= max min Read readsPrec ReadS readList readPrec ReadPrec readListPrec FilePath PortNumber
Warning: IRTS.Bytecode: could not find link destinations for:
    Int Eq == Bool /= Show showsPrec ShowS show String showList ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList Maybe
Warning: IRTS.Portable: could not find link destinations for:
    Handle IO ToJSON toJSON Value toEncoding Encoding toJSONList toEncodingList
Warning: IRTS.DumpBC: could not find link destinations for:
    Int String Show IO
Warning: Idris.Core.ProofState: could not find link destinations for:
    Int Maybe String Bool Show showsPrec ShowS show showList Eq Foldable
Warning: Idris.Core.Elaborate: could not find link destinations for:
    StateT String Maybe Show showsPrec Int ShowS show showList Bool Char
Warning: Idris.AbsSyntaxTree: could not find link destinations for:
    Eq == Bool /= Show showsPrec Int ShowS show String showList Maybe FilePath Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Handle Integer Binary put Put get Get putList :+: U1 Set Map Text Nothing Symbol StateT ExceptT IO Either Ord compare Ordering < <= > >= max min Data gfoldl gunfold Constr toConstr dataTypeOf DataType dataCast1 Typeable dataCast2 gmapT gmapQl gmapQr gmapQ gmapQi gmapM Monad gmapMp MonadPlus gmapMo Functor fmap <$ Foldable fold Monoid foldMap foldMap' foldr foldr' foldl foldl' foldr1 foldl1 toList null length elem maximum minimum sum Num product Traversable traverse Applicative sequenceA mapM sequence Doc
Warning: Idris.DeepSeq: could not find link destinations for:
    NFData rnf PortNumber
Warning: Idris.ASTUtils: could not find link destinations for:
    Category Type id . Int Maybe MonadState Bool
Warning: Util.ScreenSize: could not find link destinations for:
    IO Int
Warning: Util.System: could not find link destinations for:
    String IO FilePath Handle IOError Bool Text True False
Warning: Idris.AbsSyntax: could not find link destinations for:
    Monad Type >>= >> return Functor fmap <$ Applicative pure <*> liftA2 *> <* FilePath String Either Maybe Bool Int IO Doc Handle Text
Warning: Idris.Transforms: could not find link destinations for:
    Either
Warning: Idris.REPL.Browse: could not find link destinations for:
    String
Warning: Idris.Elab.Quasiquote: could not find link destinations for:
    Int
Warning: Idris.Delaborate: could not find link destinations for:
    Doc Char Bool
Warning: Idris.Reflection: could not find link destinations for:
    RPlicity RErasure Show showsPrec Int ShowS show String showList RDatatype Maybe Bool Either
Warning: Idris.ProofSearch: could not find link destinations for:
    Int Bool Maybe findImplementations
Warning: Idris.PartialEval: could not find link destinations for:
    Maybe Int Either PEDecl Eq == Bool /= Show showsPrec ShowS show String showList
Warning: Idris.Output: could not find link destinations for:
    String Bool Doc SimpleDoc Maybe Int Set FilePath MonadException ExceptT Type controlIO RunIO IO
Warning: Idris.Parser.Stack: could not find link destinations for:
    StateT WriterT Parsec Void String MonadFail MonadParsec MonadWriter Either Maybe State
Warning: Idris.Parser.Helpers: could not find link destinations for:
    Doc Char Bool String Integer Double MonadState Maybe
Warning: Idris.Parser.Ops: could not find link destinations for:
    Operator MonadState . Int String Char
Warning: Idris.Error: could not find link destinations for:
    String IOError
Warning: Idris.Providers: could not find link destinations for:
    Functor Type fmap <$ Eq == Bool /= Show showsPrec Int ShowS show String showList
Warning: Idris.Imports: could not find link destinations for:
    FilePath Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show String showList Maybe IO Either
Warning: Idris.REPL.Commands: could not find link destinations for:
    Either FilePath Maybe Int String Bool
Warning: Idris.Package.Common: could not find link destinations for:
    Maybe String Show showsPrec Int ShowS show showList
Warning: Idris.IBC: could not find link destinations for:
    Bool FilePath Eq == /= Show showsPrec Int ShowS show String showList Binary put Put get Get putList CodeAttr ListType NumWrapper Options
Warning: Idris.Erasure: could not find link destinations for:
    Int
Warning: Idris.Elab.Utils: could not find link destinations for:
    String StateT ExceptT IO Bool Int Maybe Foldable Eq
Warning: Idris.Elab.Rewrite: could not find link destinations for:
    Maybe
Warning: Idris.Docs: could not find link destinations for:
    Doc String Maybe Functor Type fmap <$
Warning: Idris.IdrisDoc: could not find link destinations for:
    FilePath IO Either String
Warning: Idris.DataOpts: could not find link destinations for:
    Optimisable
Warning: Idris.Parser.Expr: could not find link destinations for:
    String Either Show showsPrec Int ShowS show showList Maybe . \\ StateT WriterT Parsec Void MonadFail MonadParsec MonadWriter Integer Char Double state
Warning: Idris.Parser.Data: could not find link destinations for:
    Either String
Warning: Idris.Coverage: could not find link destinations for:
    Bool
Warning: Idris.Elab.Term: could not find link destinations for:
    Eq == Bool /= Int Maybe Set StateT State String
Warning: Idris.Elab.Value: could not find link destinations for:
    Bool Either
Warning: Idris.Elab.Type: could not find link destinations for:
    Int Either Bool
Warning: Idris.TypeSearch: could not find link destinations for:
    Score Int True False
Warning: Idris.Elab.Data: could not find link destinations for:
    Either
Warning: Idris.Elab.Record: could not find link destinations for:
    Either Maybe
Warning: Idris.Elab.Interface: could not find link destinations for:
    Either Maybe
Warning: Idris.Elab.Transform: could not find link destinations for:
    Bool
Warning: Idris.Elab.RunElab: could not find link destinations for:
    String
Warning: Idris.Elab.Implementation: could not find link destinations for:
    Either Maybe
Warning: Idris.Elab.Clause: could not find link destinations for:
    Bool Maybe Int Either
Warning: Idris.Elab.Provider: could not find link destinations for:
    Either
Warning: Idris.ElabDecls: could not find link destinations for:
    StateT ExceptT IO
Warning: Idris.Parser: could not find link destinations for:
    Bool FilePath Maybe String Text addSyntax Doc Int MonadState Either pattern postulate mutual namespace implementation transform
Warning: Idris.REPL.Parser: could not find link destinations for:
    String Either
Warning: Idris.Completion: could not find link destinations for:
    CompletionFunc String
Warning: Idris.Prover: could not find link destinations for:
    Bool String
Warning: Idris.Chaser: could not find link destinations for:
    FilePath Bool UTCTime Show showsPrec Int ShowS show String showList
Warning: Idris.CaseSplit: could not find link destinations for:
    Int FilePath Bool String Show Num Char False
Warning: Idris.Interactive: could not find link destinations for:
    FilePath Bool Int Maybe
Warning: Idris.Apropos: could not find link destinations for:
    Text String
Warning: IRTS.JavaScript.Codegen: could not find link destinations for:
    Text String Bool Set Semigroup <> sconcat NonEmpty stimes Integral Monoid mempty mappend mconcat
Warning: IRTS.CodegenJavaScript: could not find link destinations for:
    Eq == Bool /=
Warning: IRTS.Compiler: could not find link destinations for:
    FilePath Maybe IO
Warning: Idris.Info: could not find link destinations for:
    IO String Char Version FilePath
Warning: Idris.ModeCommon: could not find link destinations for:
    Char PortNumber FilePath Maybe Int
Warning: Idris.REPL: could not find link destinations for:
    Bool FilePath PortNumber Maybe String IO Settings InputT
Warning: Idris.Main: could not find link destinations for:
    IO Maybe PortNumber String FilePath Int
Warning: Idris.Info.Show: could not find link destinations for:
    IO
Warning: Idris.CmdOptions: could not find link destinations for:
    Maybe String Bool ParserResult IO
Warning: Idris.Package.Parser: could not find link destinations for:
    FilePath IO String
Warning: Idris.Package: could not find link destinations for:
    FilePath IO Bool ExitCode String Maybe Char Either
Documentation created: dist/doc/html/idris/index.html,
dist/doc/html/idris/idris.txt
Preprocessing executable 'idris-codegen-node' for idris-1.3.3..
Preprocessing executable 'idris-codegen-c' for idris-1.3.3..
Preprocessing executable 'idris-codegen-javascript' for idris-1.3.3..
Preprocessing executable 'idris' for idris-1.3.3..
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.7ve90i
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64
++ dirname /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64
+ cd idris-1.3.3
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.3/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.3/dist/build
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64
Installing library in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/idris-1.3.3
Installing executable idris-codegen-node in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Installing executable idris-codegen-c in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Installing executable idris-codegen-javascript in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Installing executable idris in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Warning: Executable installed in
/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/bin
Installing libraries in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3
make: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs'
make -C prelude install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs/prelude'
../../dist/build/idris/idris --install prelude.ipkg
Installing Builtins.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude
Installing Decidable/Equality.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Decidable
Installing IO.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude
Installing Language/Reflection.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Language
Installing Language/Reflection/Elab.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Language/Reflection
Installing Language/Reflection/Errors.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Language/Reflection
Installing Prelude.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude
Installing Prelude/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Basics.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Bool.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Cast.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Chars.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Doubles.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Either.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/File.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Foldable.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Functor.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Interactive.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Interfaces.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/List.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Maybe.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Pairs.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Providers.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Show.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Stream.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Strings.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Traversable.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/Uninhabited.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing Prelude/WellFounded.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude/Prelude
Installing 00prelude-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/prelude
../../dist/build/idris/idris --installdoc prelude.ipkg
Attempting to install IdrisDocs for prelude in: /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/docs/prelude
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.3/libs/prelude'
make -C base install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs/base'
../../dist/build/idris/idris --install base.ipkg
Installing Control/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control
Installing Control/Catchable.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control
Installing Control/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control
Installing Control/IOExcept.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control
Installing Control/Isomorphism.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control
Installing Control/Monad/Identity.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control/Monad
Installing Control/Monad/Reader.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control/Monad
Installing Control/Monad/RWS.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control/Monad
Installing Control/Monad/State.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control/Monad
Installing Control/Monad/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control/Monad
Installing Control/Monad/Writer.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Control/Monad
Installing Data/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Buffer.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Complex.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Erased.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/HVect.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/IORef.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/List.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/List/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/List
Installing Data/List/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/List
Installing Data/Mod2.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Morphisms.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Nat/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/Nat
Installing Data/Primitives/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/Primitives
Installing Data/So.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/String.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/String/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/String
Installing Data/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data
Installing Data/Vect/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/Vect
Installing Data/Vect/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Data/Vect
Installing Debug/Error.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Debug
Installing Debug/Trace.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Debug
Installing Language/Reflection/Utils.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Language/Reflection
Installing Syntax/PreorderReasoning.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/Syntax
Installing System.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base
Installing System/Concurrency/Channels.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/System/Concurrency
Installing System/Concurrency/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/System/Concurrency
Installing System/Info.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base/System
Installing 00base-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/base
../../dist/build/idris/idris --installdoc base.ipkg
Attempting to install IdrisDocs for base in: /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/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.3/libs/base'
make -C contrib install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs/contrib'
../../dist/build/idris/idris --install contrib.ipkg
Installing CFFI.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib
Installing CFFI/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/CFFI
Installing CFFI/Types.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/CFFI
Installing Control/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control
Installing Control/Algebra/Lattice.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Algebra
Installing Control/Algebra/Laws.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Algebra
Installing Control/Algebra/NumericImplementations.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Algebra
Installing Control/Algebra/VectorSpace.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Algebra
Installing Control/Delayed.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control
Installing Control/Isomorphism/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Primitives.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Isomorphism
Installing Control/Monad/Syntax.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/Monad
Installing Control/Partial.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control
Installing Control/Pipeline.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control
Installing Control/ST.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control
Installing Control/ST/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/ST
Installing Control/ST/ImplicitCall.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/ST
Installing Control/ST/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/ST
Installing Control/ST/File.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Control/ST
Installing Data/Bool/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Bool
Installing Data/Bool/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Bool
Installing Data/BoundedList.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Chain.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/CoList.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Combinators/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Combinators
Installing Data/Combinators/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Combinators
Installing Data/Fin/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Fin
Installing Data/Fuel.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Fun.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Hash.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Heap.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/IOArray.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/List/Zipper.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/List
Installing Data/List/Reverse.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/List
Installing Data/Matrix.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Matrix/Algebraic.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Matrix
Installing Data/Matrix/Numeric.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Matrix
Installing Data/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Nat/Ack.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Nat
Installing Data/Nat/Fact.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Nat
Installing Data/Nat/Fib.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Nat
Installing Data/Nat/Parity.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Nat
Installing Data/Nat/DivMod.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Nat
Installing Data/Nat/DivMod/IteratedSubtraction.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Nat/DivMod
Installing Data/Pairs/Implicit.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Pairs
Installing Data/PosNat.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Rel.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Sign.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/SortedBag.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/SortedMap.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/SortedSet.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Storable.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Data/Stream/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/Stream
Installing Data/String/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data/String
Installing Data/ZZ.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Data
Installing Decidable/Decidable.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Decidable
Installing Decidable/Order.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Decidable
Installing Interfaces/Correlative.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Interfaces
Installing Interfaces/Verified.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Interfaces
Installing Interfaces/Proposition.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Interfaces
Installing Language/JSON.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language
Installing Language/JSON/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON
Installing Language/JSON/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON
Installing Language/JSON/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON
Installing Language/JSON/String.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON
Installing Language/JSON/String/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON/String
Installing Language/JSON/String/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON/String
Installing Language/JSON/String/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON/String
Installing Language/JSON/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Language/JSON
Installing Network/Cgi.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Network
Installing Network/Socket.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Network
Installing Network/Socket/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Network/Socket
Installing Network/Socket/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Network/Socket
Installing System/Concurrency/Process.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/System/Concurrency
Installing Test/Unit/Display.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Test/Unit
Installing Test/Unit/Runners.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Test/Unit
Installing Test/Unit/Generic.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Test/Unit
Installing Test/Unit/Assertions.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Test/Unit
Installing Test/Unit.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Test
Installing Text/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text
Installing Text/Lexer/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text/Lexer
Installing Text/Literate.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text
Installing Text/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text
Installing Text/Parser/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text/Parser
Installing Text/PrettyPrint/WL/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL/Characters.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text/PrettyPrint
Installing Text/Quantity.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text
Installing Text/Token.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib/Text
Installing 00contrib-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/contrib
../../dist/build/idris/idris --installdoc contrib.ipkg
Attempting to install IdrisDocs for contrib in: /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/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.3/libs/contrib'
make -C effects install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs/effects'
../../dist/build/idris/idris --install effects.ipkg
Installing Effects.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects
Installing Effect/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/File.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Logging/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect/Logging
Installing Effect/Logging/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect/Logging
Installing Effect/Logging/Level.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect/Logging
Installing Effect/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Perf.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Select.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/State.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/StdIO.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/System.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing Effect/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects/Effect
Installing 00effects-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/effects
../../dist/build/idris/idris --installdoc effects.ipkg
Attempting to install IdrisDocs for effects in: /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/docs/effects
Warning: Ignoring empty or non-existing namespace 'Effect.Default'
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.3/libs/effects'
make -C pruviloj install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.3/libs/pruviloj'
../../dist/build/idris/idris --install pruviloj.ipkg
Installing Pruviloj.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj
Installing Pruviloj/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj
Installing Pruviloj/Derive/DecEq.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj/Derive
Installing Pruviloj/Derive/Eliminators.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj/Derive
Installing Pruviloj/Disjoint.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj
Installing Pruviloj/Induction.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj
Installing Pruviloj/Injective.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj
Installing Pruviloj/Internals.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj
Installing Pruviloj/Internals/TyConInfo.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj/Internals
Installing Pruviloj/Renamers.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj/Pruviloj
Installing 00pruviloj-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/libs/pruviloj
../../dist/build/idris/idris --installdoc pruviloj.ipkg
Attempting to install IdrisDocs for pruviloj in: /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/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.3/libs/pruviloj'
make: Leaving directory '/builddir/build/BUILD/idris-1.3.3/libs'
Installing run time system in /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/rts
make: Entering directory '/builddir/build/BUILD/idris-1.3.3/rts'
mkdir -p /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/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.3-2.fc34.x86_64/usr/share/idris-1.3.3/rts
make: Leaving directory '/builddir/build/BUILD/idris-1.3.3/rts'
Copying man page to
/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/man/man1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d idris-1.3.3.conf ']'
+ install -D --mode=0644 idris-1.3.3.conf /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/package.conf.d/idris-1.3.3.conf
++ ls /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/package.conf.d/idris-1.3.3.conf
+ '[' -z /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/package.conf.d/idris-1.3.3.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.3-2.fc34.x86_64/usr/lib64/libHSidris-1.3.3-*ghc8.8.4.so
+ '[' -x /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/libHSidris-1.3.3-FGodWJpiOyB15B877p1bV2-ghc8.8.4.so ']'
+ echo /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/libHSidris-1.3.3-FGodWJpiOyB15B877p1bV2-ghc8.8.4.so
+ pkgdir=/usr/lib64/ghc-8.8.4/idris-1.3.3
+ '[' -d /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/idris-1.3.3 ']'
+ find /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/idris-1.3.3 -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.3-2.fc34.x86_64/usr/lib64/ghc-8.8.4/package.conf.d/idris-1.3.3.conf
+ '[' -d /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/ghc/html/libraries/idris-1.3.3 ']'
+ echo %dir /usr/share/doc/ghc
+ echo %dir /usr/share/doc/ghc/html
+ echo %dir /usr/share/doc/ghc/html/libraries
+ echo /usr/share/doc/ghc/html/libraries/idris-1.3.3
+ 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.3-2.fc34.x86_64!!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.3-2.fc34.x86_64!!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.3-2.fc34.x86_64!!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.3-2.fc34.x86_64!!g' ghc-idris-prof.files
+ mv /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/licenses/idris /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/licenses/idris-common
+ mv /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/rts/libidris_rts.a /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/lib64
+ chmod +r -R /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/idris-1.3.3/docs
+ mkdir -p /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-manual
+ cp -p idris-tutorial.pdf /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/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/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
*** WARNING: ./usr/share/idris-1.3.3/rts/mini-gmp.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/getline.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_utf8.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_buffer.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_net.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_stdfgn.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_stats.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_opts.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_bitstring.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_gmp.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_gc.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_heap.h is executable but has no shebang, removing executable bit
*** WARNING: ./usr/share/idris-1.3.3/rts/idris_rts.h is executable but has no shebang, removing executable bit
Processing files: idris-1.3.3-2.fc34.x86_64
Provides: idris = 1.3.3-2.fc34 idris(x86-64) = 1.3.3-2.fc34
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.8)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2.5)(64bit) libffi.so.6()(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.12)(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) libpthread.so.0(GLIBC_2.3.2)(64bit) libtinfo.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: idris-common-1.3.3-2.fc34.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.j3sLXB
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.3
+ DOCDIR=/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-common
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-common
+ cp -pr CHANGELOG.md /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-common
+ cp -pr CONTRIBUTING.md /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-common
+ cp -pr CONTRIBUTORS /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-common
+ cp -pr README.md /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/doc/idris-common
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.IOCoZv
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.3
+ LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/licenses/idris-common
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/licenses/idris-common
+ cp -pr LICENSE /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/licenses/idris-common
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: idris-common = 1.3.3-2.fc34
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.3-2.fc34.x86_64
Provides: idris-static = 1.3.3-2.fc34 idris-static(x86-64) = 1.3.3-2.fc34
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.3-2.fc34.x86_64
Provides: ghc-idris = 1.3.3-2.fc34 ghc-idris(x86-64) = 1.3.3-2.fc34 libHSidris-1.3.3-FGodWJpiOyB15B877p1bV2-ghc8.8.4.so()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libHSaeson-1.4.7.1-27FHg4BkJrm9lkk8tZZzUQ-ghc8.8.4.so()(64bit) libHSannotated-wl-pprint-0.7.0-GnwGLTLAoUz1b9IARtaRpM-ghc8.8.4.so()(64bit) libHSansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L-ghc8.8.4.so()(64bit) libHSansi-wl-pprint-0.6.9-IMPl3nY7gjEBk4zS4Qr6fs-ghc8.8.4.so()(64bit) libHSasync-2.2.2-2ULimDDdog9JcTMEroG8iG-ghc8.8.4.so()(64bit) libHSbase-4.13.0.0-ghc8.8.4.so()(64bit) libHSbase64-bytestring-1.0.0.3-6nNbupf0oNc9ekFOSwyfJw-ghc8.8.4.so()(64bit) libHSbinary-0.8.7.0-ghc8.8.4.so()(64bit) libHSblaze-html-0.9.1.2-Jai7hmGgoCjBZD0EPckdJe-ghc8.8.4.so()(64bit) libHSblaze-markup-0.8.2.7-9RZWs63f0KQGIJRQIjvtHQ-ghc8.8.4.so()(64bit) libHSbytestring-0.10.10.1-ghc8.8.4.so()(64bit) libHScheapskate-0.1.1.2-LfeppKfxdSsJuwha9hl93O-ghc8.8.4.so()(64bit) libHScode-page-0.2-3ZPLxXkH34R4zgabU0YisI-ghc8.8.4.so()(64bit) libHScontainers-0.6.2.1-ghc8.8.4.so()(64bit) libHSdeepseq-1.4.4.0-ghc8.8.4.so()(64bit) libHSdirectory-1.3.6.0-ghc8.8.4.so()(64bit) libHSfilepath-1.4.2.1-ghc8.8.4.so()(64bit) libHSfingertree-0.1.4.2-AcceahIMLXX3avs4HbXXk8-ghc8.8.4.so()(64bit) libHSfsnotify-0.3.0.1-9HxetPpM1bIH9khcp0m8lr-ghc8.8.4.so()(64bit) libHSghc-prim-0.5.3-ghc8.8.4.so()(64bit) libHShaskeline-0.7.5.0-ghc8.8.4.so()(64bit) libHSieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc-ghc8.8.4.so()(64bit) libHSinteger-gmp-1.0.2.0-ghc8.8.4.so()(64bit) libHSlibffi-0.1-LaxBOUgtxmx2MRq5rmTdUm-ghc8.8.4.so()(64bit) libHSmegaparsec-8.0.0-1olkTl373fHEi7MWFuDRN-ghc8.8.4.so()(64bit) libHSmtl-2.2.2-ghc8.8.4.so()(64bit) libHSnetwork-3.1.1.1-CtLURRWWFvn3QC3vC70cjB-ghc8.8.4.so()(64bit) libHSoptparse-applicative-0.15.1.0-Gc5RFoVAyYEEbyyyIsFg6f-ghc8.8.4.so()(64bit) libHSparser-combinators-1.2.1-KFbv2djhJYDIX4OK1EDf6j-ghc8.8.4.so()(64bit) libHSprocess-1.6.9.0-ghc8.8.4.so()(64bit) libHSregex-tdfa-1.3.1.0-BCp8ryNjhfV1am1pufVzzY-ghc8.8.4.so()(64bit) libHSscientific-0.3.6.2-3iE4kipzL1vRpFMF3BBSu-ghc8.8.4.so()(64bit) libHSsplit-0.2.3.4-KyPtAwfJzED2zEIheQpqQL-ghc8.8.4.so()(64bit) libHSterminal-size-0.3.2.1-Lp3EPz6AmPvE7uvVvixMVf-ghc8.8.4.so()(64bit) libHStext-1.2.4.0-ghc8.8.4.so()(64bit) libHStime-1.9.3-ghc8.8.4.so()(64bit) libHStransformers-0.5.6.2-ghc8.8.4.so()(64bit) libHSuniplate-1.6.12-DREoNe1QLer43eHfSRyO7Q-ghc8.8.4.so()(64bit) libHSunix-2.7.2.2-ghc8.8.4.so()(64bit) libHSunordered-containers-0.2.10.0-C5eTAtH5LKm2scoBCFkX6h-ghc8.8.4.so()(64bit) libHSutf8-string-1.0.1.1-K3Cc2i5eeGM49mkpXdBKoc-ghc8.8.4.so()(64bit) libHSvector-0.12.1.2-9VBjzXNvxb1HpDzhLcvAe5-ghc8.8.4.so()(64bit) libHSzip-archive-0.4.1-60Wzgr7Lw5F2dG6xAfmsrQ-ghc8.8.4.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) rtld(GNU_HASH)
Processing files: ghc-idris-devel-1.3.3-2.fc34.x86_64
Provides: ghc-devel(idris-1.3.3-FGodWJpiOyB15B877p1bV2) ghc-idris-devel = 1.3.3-2.fc34 ghc-idris-devel(x86-64) = 1.3.3-2.fc34 ghc-idris-static = 1.3.3-2.fc34 ghc-idris-static(x86-64) = 1.3.3-2.fc34
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(aeson-1.4.7.1-27FHg4BkJrm9lkk8tZZzUQ) ghc-devel(annotated-wl-pprint-0.7.0-GnwGLTLAoUz1b9IARtaRpM) ghc-devel(ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L) ghc-devel(ansi-wl-pprint-0.6.9-IMPl3nY7gjEBk4zS4Qr6fs) ghc-devel(array-0.5.4.0) ghc-devel(async-2.2.2-2ULimDDdog9JcTMEroG8iG) ghc-devel(base-4.13.0.0) ghc-devel(base64-bytestring-1.0.0.3-6nNbupf0oNc9ekFOSwyfJw) ghc-devel(binary-0.8.7.0) ghc-devel(blaze-html-0.9.1.2-Jai7hmGgoCjBZD0EPckdJe) ghc-devel(blaze-markup-0.8.2.7-9RZWs63f0KQGIJRQIjvtHQ) ghc-devel(bytestring-0.10.10.1) ghc-devel(cheapskate-0.1.1.2-LfeppKfxdSsJuwha9hl93O) ghc-devel(code-page-0.2-3ZPLxXkH34R4zgabU0YisI) ghc-devel(containers-0.6.2.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.4.2-AcceahIMLXX3avs4HbXXk8) ghc-devel(fsnotify-0.3.0.1-9HxetPpM1bIH9khcp0m8lr) ghc-devel(haskeline-0.7.5.0) ghc-devel(ieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc) ghc-devel(libffi-0.1-LaxBOUgtxmx2MRq5rmTdUm) ghc-devel(megaparsec-8.0.0-1olkTl373fHEi7MWFuDRN) ghc-devel(mtl-2.2.2) ghc-devel(network-3.1.1.1-CtLURRWWFvn3QC3vC70cjB) ghc-devel(optparse-applicative-0.15.1.0-Gc5RFoVAyYEEbyyyIsFg6f) ghc-devel(parser-combinators-1.2.1-KFbv2djhJYDIX4OK1EDf6j) ghc-devel(pretty-1.1.3.6) ghc-devel(process-1.6.9.0) ghc-devel(regex-tdfa-1.3.1.0-BCp8ryNjhfV1am1pufVzzY) ghc-devel(safe-0.3.19-LxDJURZu1921pHCEJqjvRE) ghc-devel(split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL) ghc-devel(terminal-size-0.3.2.1-Lp3EPz6AmPvE7uvVvixMVf) ghc-devel(text-1.2.4.0) ghc-devel(time-1.9.3) ghc-devel(transformers-0.5.6.2) ghc-devel(uniplate-1.6.12-DREoNe1QLer43eHfSRyO7Q) ghc-devel(unix-2.7.2.2) ghc-devel(unordered-containers-0.2.10.0-C5eTAtH5LKm2scoBCFkX6h) ghc-devel(utf8-string-1.0.1.1-K3Cc2i5eeGM49mkpXdBKoc) ghc-devel(vector-0.12.1.2-9VBjzXNvxb1HpDzhLcvAe5) ghc-devel(vector-binary-instances-0.2.5.1-1E2fLOgcHcjOtcjFpcLot) ghc-devel(zip-archive-0.4.1-60Wzgr7Lw5F2dG6xAfmsrQ)
Processing files: idris-docs-1.3.3-2.fc34.noarch
Provides: idris-docs = 1.3.3-2.fc34
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.3-2.fc34.noarch
Provides: idris-manual = 1.3.3-2.fc34
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.3-2.fc34.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.srM85R
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.3
+ LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/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.3-2.fc34.x86_64/usr/share/licenses/ghc-idris-doc
+ cp -pr LICENSE /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64/usr/share/licenses/ghc-idris-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-idris-doc = 1.3.3-2.fc34
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.3-2.fc34.x86_64
Provides: ghc-idris-prof = 1.3.3-2.fc34 ghc-idris-prof(x86-64) = 1.3.3-2.fc34 ghc-prof(idris-1.3.3-FGodWJpiOyB15B877p1bV2)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-prof(aeson-1.4.7.1-27FHg4BkJrm9lkk8tZZzUQ) ghc-prof(annotated-wl-pprint-0.7.0-GnwGLTLAoUz1b9IARtaRpM) ghc-prof(ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L) ghc-prof(ansi-wl-pprint-0.6.9-IMPl3nY7gjEBk4zS4Qr6fs) ghc-prof(array-0.5.4.0) ghc-prof(async-2.2.2-2ULimDDdog9JcTMEroG8iG) ghc-prof(base-4.13.0.0) ghc-prof(base64-bytestring-1.0.0.3-6nNbupf0oNc9ekFOSwyfJw) ghc-prof(binary-0.8.7.0) ghc-prof(blaze-html-0.9.1.2-Jai7hmGgoCjBZD0EPckdJe) ghc-prof(blaze-markup-0.8.2.7-9RZWs63f0KQGIJRQIjvtHQ) ghc-prof(bytestring-0.10.10.1) ghc-prof(cheapskate-0.1.1.2-LfeppKfxdSsJuwha9hl93O) ghc-prof(code-page-0.2-3ZPLxXkH34R4zgabU0YisI) ghc-prof(containers-0.6.2.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.4.2-AcceahIMLXX3avs4HbXXk8) ghc-prof(fsnotify-0.3.0.1-9HxetPpM1bIH9khcp0m8lr) ghc-prof(haskeline-0.7.5.0) ghc-prof(ieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc) ghc-prof(libffi-0.1-LaxBOUgtxmx2MRq5rmTdUm) ghc-prof(megaparsec-8.0.0-1olkTl373fHEi7MWFuDRN) ghc-prof(mtl-2.2.2) ghc-prof(network-3.1.1.1-CtLURRWWFvn3QC3vC70cjB) ghc-prof(optparse-applicative-0.15.1.0-Gc5RFoVAyYEEbyyyIsFg6f) ghc-prof(parser-combinators-1.2.1-KFbv2djhJYDIX4OK1EDf6j) ghc-prof(pretty-1.1.3.6) ghc-prof(process-1.6.9.0) ghc-prof(regex-tdfa-1.3.1.0-BCp8ryNjhfV1am1pufVzzY) ghc-prof(safe-0.3.19-LxDJURZu1921pHCEJqjvRE) ghc-prof(split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL) ghc-prof(terminal-size-0.3.2.1-Lp3EPz6AmPvE7uvVvixMVf) ghc-prof(text-1.2.4.0) ghc-prof(time-1.9.3) ghc-prof(transformers-0.5.6.2) ghc-prof(uniplate-1.6.12-DREoNe1QLer43eHfSRyO7Q) ghc-prof(unix-2.7.2.2) ghc-prof(unordered-containers-0.2.10.0-C5eTAtH5LKm2scoBCFkX6h) ghc-prof(utf8-string-1.0.1.1-K3Cc2i5eeGM49mkpXdBKoc) ghc-prof(vector-0.12.1.2-9VBjzXNvxb1HpDzhLcvAe5) ghc-prof(vector-binary-instances-0.2.5.1-1E2fLOgcHcjOtcjFpcLot) ghc-prof(zip-archive-0.4.1-60Wzgr7Lw5F2dG6xAfmsrQ)
Supplements: (ghc-idris-devel and ghc-prof)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64
Wrote: /builddir/build/RPMS/ghc-idris-prof-1.3.3-2.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/idris-1.3.3-2.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-idris-devel-1.3.3-2.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-idris-1.3.3-2.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/idris-docs-1.3.3-2.fc34.noarch.rpm
Wrote: /builddir/build/RPMS/idris-common-1.3.3-2.fc34.noarch.rpm
Wrote: /builddir/build/RPMS/idris-static-1.3.3-2.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/idris-manual-1.3.3-2.fc34.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-idris-doc-1.3.3-2.fc34.noarch.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.jlvd9T
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.3
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/idris-1.3.3-2.fc34.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0