Mock Version: 1.4.16
Mock Version: 1.4.16
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f31-ghc-17150016-1231580/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 0xffff963984a8>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --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'} and shell False
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1564012800
Wrote: /builddir/build/SRPMS/idris-1.3.2-1.fc31.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target aarch64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f31-ghc-17150016-1231580/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 0xffff963984a8>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target aarch64 --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'} and shell False
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1564012800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.xrT2xF
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf idris-1.3.2
+ /usr/bin/gzip -dc /builddir/build/SOURCES/idris-1.3.2.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd idris-1.3.2
+ /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
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ZInGxG
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.2
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.2/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.2/dist/build
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-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 -no-user-package-db -dynamic Setup
BUILDSTDERR: Setup.hs:225:3: warning: [-Wdeprecations]
BUILDSTDERR:     In the use of `preSDist'
BUILDSTDERR:     (imported from Distribution.Simple, but defined in Distribution.Simple.UserHooks):
BUILDSTDERR:     Deprecated: "SDist hooks violate the invariants of new-sdist. Use 'autogen-modules' and 'build-tool-depends' instead."
BUILDSTDERR:     |
BUILDSTDERR: 225 |   preSDist simpleUserHooks args flags
BUILDSTDERR:     |   ^^^^^^^^
BUILDSTDERR: Setup.hs:246:3: warning: [-Wdeprecations]
BUILDSTDERR:     In the use of `postSDist'
BUILDSTDERR:     (imported from Distribution.Simple, but defined in Distribution.Simple.UserHooks):
BUILDSTDERR:     Deprecated: "SDist hooks violate the invariants of new-sdist. Use 'autogen-modules' and 'build-tool-depends' instead."
BUILDSTDERR:     |
BUILDSTDERR: 246 |   postSDist simpleUserHooks args flags desc lbi
BUILDSTDERR:     |   ^^^^^^^^^
BUILDSTDERR: Setup.hs:356:6: warning: [-Wdeprecations]
BUILDSTDERR:     In the use of `preSDist'
BUILDSTDERR:     (imported from Distribution.Simple, but defined in Distribution.Simple.UserHooks):
BUILDSTDERR:     Deprecated: "SDist hooks violate the invariants of new-sdist. Use 'autogen-modules' and 'build-tool-depends' instead."
BUILDSTDERR:     |
BUILDSTDERR: 356 |    , preSDist = idrisPreSDist
BUILDSTDERR:     |      ^^^^^^^^
BUILDSTDERR: Setup.hs:357:6: warning: [-Wdeprecations]
BUILDSTDERR:     In the use of `sDistHook'
BUILDSTDERR:     (imported from Distribution.Simple, but defined in Distribution.Simple.UserHooks):
BUILDSTDERR:     Deprecated: "SDist hooks violate the invariants of new-sdist. Use 'autogen-modules' and 'build-tool-depends' instead."
BUILDSTDERR:     |
BUILDSTDERR: 357 |    , sDistHook = idrisSDist (sDistHook simpleUserHooks)
BUILDSTDERR:     |      ^^^^^^^^^
BUILDSTDERR: Setup.hs:357:30: warning: [-Wdeprecations]
BUILDSTDERR:     In the use of `sDistHook'
BUILDSTDERR:     (imported from Distribution.Simple, but defined in Distribution.Simple.UserHooks):
BUILDSTDERR:     Deprecated: "SDist hooks violate the invariants of new-sdist. Use 'autogen-modules' and 'build-tool-depends' instead."
BUILDSTDERR:     |
BUILDSTDERR: 357 |    , sDistHook = idrisSDist (sDistHook simpleUserHooks)
BUILDSTDERR:     |                              ^^^^^^^^^
BUILDSTDERR: Setup.hs:358:6: warning: [-Wdeprecations]
BUILDSTDERR:     In the use of `postSDist'
BUILDSTDERR:     (imported from Distribution.Simple, but defined in Distribution.Simple.UserHooks):
BUILDSTDERR:     Deprecated: "SDist hooks violate the invariants of new-sdist. Use 'autogen-modules' and 'build-tool-depends' instead."
BUILDSTDERR:     |
BUILDSTDERR: 358 |    , postSDist = idrisPostSDist
BUILDSTDERR:     |      ^^^^^^^^^
+ LANG=C.utf8
+ ./Setup --version
+ '[' -x Setup ']'
+ LANG=C.utf8
BUILDSTDERR: ++ echo ' -O2' -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection
BUILDSTDERR: ++ sed -e 's/ / -optc/g'
BUILDSTDERR: ++ echo ' -Wl,-z,relro' -Wl,--as-needed
BUILDSTDERR: ++ 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-g -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-fexceptions -optc-fstack-protector-strong -optc-grecord-gcc-switches -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection  -optl-Wl,-z,relro -optl-Wl,--as-needed' -p --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/idris-1.3.2 --global
BUILDSTDERR: Warning: idris.cabal:118:3: The field "manual" is specified more than once at
BUILDSTDERR: positions 118:3, 119:3
BUILDSTDERR: Warning: idris.cabal:112:3: The field "manual" is specified more than once at
BUILDSTDERR: positions 112:3, 113:3
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking Setup ...
Cabal library version 2.4.0.1
Configuring idris-1.3.2...
make: Entering directory '/builddir/build/BUILD/idris-1.3.2/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.2/rts'
Generating dist/build/autogen/BuildFlags_idris.hs
Generating dist/build/autogen/Version_idris.hs for prerelease PRE
Preprocessing library for idris-1.3.2..
Building library for idris-1.3.2..
[  1 of 115] Compiling BuildFlags_idris ( src/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      ( src/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 )
BUILDSTDERR: [ 76 of 115] Compiling Idris.DSL        ( src/Idris/
BUILDSTDERR: on the commandline: warning:
BUILDSTDERR:     -auto-all is deprecated: Use -fprof-auto instead
BUILDSTDERR: on the commandline: warning:
BUILDSTDERR:     -caf-all is deprecated: Use -fprof-cafs instead
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    ( src/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 )
[  1 of 115] Compiling BuildFlags_idris ( src/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      ( src/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    ( src/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-c' for idris-1.3.2..
Building executable 'idris-codegen-c' for idris-1.3.2..
[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' for idris-1.3.2..
Building executable 'idris' for idris-1.3.2..
[1 of 1] Compiling Main             ( main/Main.hs, dist/build/idris/idris-tmp/Main.o )
Linking dist/build/idris/idris ...
Preprocessing executable 'idris-codegen-javascript' for idris-1.3.2..
Building executable 'idris-codegen-javascript' for idris-1.3.2..
[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-codegen-node' for idris-1.3.2..
Building executable 'idris-codegen-node' for idris-1.3.2..
[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 ...
Building libraries...
make: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs'
make -C prelude build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/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.2/libs/prelude'
make -C base build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/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.2/libs/base'
make -C contrib build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/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/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/Extra.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/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.2/libs/contrib'
make -C effects build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/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.2/libs/effects'
make -C pruviloj build
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/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.2/libs/pruviloj'
make: Leaving directory '/builddir/build/BUILD/idris-1.3.2/libs'
make: Entering directory '/builddir/build/BUILD/idris-1.3.2/rts'
gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-redhat-linux\"" -fPIC   -c -o idris_net.o idris_net.c
BUILDSTDERR: gcc -O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-+ '[' -n dist/build/libHSidris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI-ghc8.6.5.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
BUILDSTDERR: Warning: The documentation for the following packages are not installed. No
BUILDSTDERR: links will be generated to these packages: aeson-1.4.2.0,
BUILDSTDERR: annotated-wl-pprint-0.7.0, ansi-terminal-0.8.2, ansi-wl-pprint-0.6.8.2,
BUILDSTDERR: array-0.5.3.0, async-2.2.2, attoparsec-0.13.2.2, base-4.12.0.0,
BUILDSTDERR: base-compat-0.10.5, base-orphans-0.8.1, base64-bytestring-1.0.0.2,
BUILDSTDERR: binary-0.8.6.0, blaze-builder-0.4.1.0, blaze-html-0.9.1.1,
BUILDSTDERR: blaze-markup-0.8.2.2, bytestring-0.10.8.2, case-insensitive-1.2.0.11,
BUILDSTDERR: cheapskate-0.1.1.1, code-page-0.2, colour-2.3.5, constraints-0.10.1,
BUILDSTDERR: containers-0.6.0.1, css-text-0.1.3.0, data-default-0.7.1.1,
BUILDSTDERR: data-default-class-0.1.2.0, data-default-instances-containers-0.0.1,
BUILDSTDERR: data-default-instances-dlist-0.0.1, data-default-instances-old-locale-0.0.1,
BUILDSTDERR: deepseq-1.4.4.0, digest-0.0.1.2, directory-1.3.3.0, dlist-0.8.0.6,
BUILDSTDERR: enclosed-exceptions-1.0.3, exceptions-0.10.2, filepath-1.4.2.1,
BUILDSTDERR: fingertree-0.1.4.2, fsnotify-0.3.0.1, ghc-boot-th-8.6.5, ghc-prim-0.5.3,
BUILDSTDERR: hashable-1.2.7.0, haskeline-0.7.4.3, hinotify-0.4, ieee754-0.8.0,
BUILDSTDERR: integer-gmp-1.0.2.0, integer-logarithms-1.0.3, libffi-0.1,
BUILDSTDERR: lifted-async-0.10.0.3, lifted-base-0.2.3.12, megaparsec-7.0.5,
BUILDSTDERR: monad-control-1.0.2.3, mtl-2.2.2, network-2.8.0.1, network-uri-2.6.1.0,
BUILDSTDERR: old-locale-1.0.0.7, optparse-applicative-0.14.3.0, parsec-3.1.13.0,
BUILDSTDERR: parser-combinators-1.0.3, pretty-1.1.3.6, primitive-0.6.4.0, process-1.6.5.0,
BUILDSTDERR: random-1.1, regex-base-0.93.2, regex-tdfa-1.2.3.2, safe-0.3.17,
BUILDSTDERR: scientific-0.3.6.2, semigroups-0.18.5, shelly-1.8.1, split-0.2.3.3,
BUILDSTDERR: stm-2.5.0.0, syb-0.7.1, system-fileio-0.3.16.4, system-filepath-0.4.14,
BUILDSTDERR: tagged-0.8.6, tagsoup-0.14.8, template-haskell-2.14.0.0,
BUILDSTDERR: terminal-size-0.3.2.1, terminfo-0.4.1.2, text-1.2.3.1,
BUILDSTDERR: th-abstraction-0.2.11.0, time-1.8.0.2, time-locale-compat-0.1.1.5,
BUILDSTDERR: transformers-0.5.6.2, transformers-base-0.4.5.2, transformers-compat-0.6.5,
BUILDSTDERR: uniplate-1.6.12, unix-2.7.2.2, unix-compat-0.5.1,
BUILDSTDERR: unordered-containers-0.2.10.0, utf8-string-1.0.1.1, uuid-types-1.0.3,
BUILDSTDERR: vector-0.12.0.3, vector-binary-instances-0.2.5.1, xss-sanitize-0.3.6,
BUILDSTDERR: zip-archive-0.4.1, zlib-0.6.2
BUILDSTDERR: Warning: --source-* options are ignored when --hyperlinked-source is enabled.
unwind-tables -fstack-clash-protection -I/usr/local/include  -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"aarch64-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.2/rts'
Preprocessing library for idris-1.3.2..
Running Haddock on library for idris-1.3.2..
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
    it anyway.
  39% ( 53 /137) in 'Idris.Core.TT'
  Missing documentation for:
    AppStatus (src/Idris/Core/TT.hs:977)
    ArithTy (src/Idris/Core/TT.hs:675)
    Const (src/Idris/Core/TT.hs:691)
    ConstraintFC (src/Idris/Core/TT.hs:939)
    DataOpts (src/Idris/Core/TT.hs:1101)
    Datatype (src/Idris/Core/TT.hs:1089)
    Env (src/Idris/Core/TT.hs:1526)
    EnvTT (src/Idris/Core/TT.hs:1077)
    Err (src/Idris/Core/TT.hs:312)
    ImplicitInfo (src/Idris/Core/TT.hs:821)
    IntTy (src/Idris/Core/TT.hs:666)
    NameType (src/Idris/Core/TT.hs:955)
    NativeTy (src/Idris/Core/TT.hs:657)
    Provenance (src/Idris/Core/TT.hs:241)
    Raw (src/Idris/Core/TT.hs:798)
    RigCount (src/Idris/Core/TT.hs:1052)
    SpecialName (src/Idris/Core/TT.hs:490)
    TC (src/Idris/Core/TT.hs:314)
    Term (src/Idris/Core/TT.hs:1523)
    TermSize (src/Idris/Core/TT.hs:1006)
    Type (src/Idris/Core/TT.hs:1524)
    TypeInfo (src/Idris/Core/TT.hs:1103)
    UCs (src/Idris/Core/TT.hs:953)
    Universe (src/Idris/Core/TT.hs:790)
    addAlist (src/Idris/Core/TT.hs:653)
    addBinder (src/Idris/Core/TT.hs:1190)
    addDef (src/Idris/Core/TT.hs:598)
    allTTNames (src/Idris/Core/TT.hs:1729)
    caseName (src/Idris/Core/TT.hs:481)
    deleteDefExact (src/Idris/Core/TT.hs:640)
    discard (src/Idris/Core/TT.hs:435)
    emptyContext (src/Idris/Core/TT.hs:573)
    fmapMB (src/Idris/Core/TT.hs:894)
    forgetEnv (src/Idris/Core/TT.hs:1412)
    getRetTy (src/Idris/Core/TT.hs:1463)
    implicitable (src/Idris/Core/TT.hs:587)
    internalNS (src/Idris/Core/TT.hs:916)
    intTyName (src/Idris/Core/TT.hs:669)
    isTypeConst (src/Idris/Core/TT.hs:724)
    lookupCtxt (src/Idris/Core/TT.hs:634)
    lookupCtxtExact (src/Idris/Core/TT.hs:637)
    mapCtxt (src/Idris/Core/TT.hs:575)
    nativeTyWidth (src/Idris/Core/TT.hs:685)
    nextName (src/Idris/Core/TT.hs:1501)
    nsroot (src/Idris/Core/TT.hs:594)
    pEraseType (src/Idris/Core/TT.hs:1228)
    pmap (src/Idris/Core/TT.hs:443)
    pprintTTClause (src/Idris/Core/TT.hs:1829)
    prettyEnv (src/Idris/Core/TT.hs:1567)
    psubst (src/Idris/Core/TT.hs:1276)
    raw_apply (src/Idris/Core/TT.hs:905)
    raw_unapply (src/Idris/Core/TT.hs:909)
    refsIn (src/Idris/Core/TT.hs:1720)
    safeForget (src/Idris/Core/TT.hs:1409)
    safeForgetEnv (src/Idris/Core/TT.hs:1418)
    showCG (src/Idris/Core/TT.hs:544)
    showEnv (src/Idris/Core/TT.hs:1563)
    showEnvDbg (src/Idris/Core/TT.hs:1565)
    showSep (src/Idris/Core/TT.hs:438)
    sImplementationN (src/Idris/Core/TT.hs:503)
    sMN (src/Idris/Core/TT.hs:478)
    sNS (src/Idris/Core/TT.hs:475)
    str (src/Idris/Core/TT.hs:462)
    sUN (src/Idris/Core/TT.hs:472)
    tfail (src/Idris/Core/TT.hs:432)
    thead (src/Idris/Core/TT.hs:468)
    tnull (src/Idris/Core/TT.hs:465)
    toAlist (src/Idris/Core/TT.hs:649)
    traceWhen (src/Idris/Core/TT.hs:445)
    txt (src/Idris/Core/TT.hs:459)
    uniqueBinders (src/Idris/Core/TT.hs:1491)
    uniqueName (src/Idris/Core/TT.hs:1483)
    uniqueNameFrom (src/Idris/Core/TT.hs:1477)
    uniqueNameSet (src/Idris/Core/TT.hs:1487)
    unList (src/Idris/Core/TT.hs:1377)
    updateDef (src/Idris/Core/TT.hs:643)
    rigPlus (src/Idris/Core/TT.hs:1055)
    rigMult (src/Idris/Core/TT.hs:1066)
    fstEnv (src/Idris/Core/TT.hs:1079)
    rigEnv (src/Idris/Core/TT.hs:1080)
    sndEnv (src/Idris/Core/TT.hs:1081)
    lookupBinder (src/Idris/Core/TT.hs:1086)
    envBinders (src/Idris/Core/TT.hs:1083)
    envZero (src/Idris/Core/TT.hs:1084)
  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:114)
    clean (src/IRTS/Bytecode.hs:120)
    bc (src/IRTS/Bytecode.hs:123)
    isConst (src/IRTS/Bytecode.hs:163)
    moveReg (src/IRTS/Bytecode.hs:168)
    assign (src/IRTS/Bytecode.hs:171)
    conCase (src/IRTS/Bytecode.hs:174)
    constCase (src/IRTS/Bytecode.hs:177)
    caseAlt (src/IRTS/Bytecode.hs:180)
    constAlt (src/IRTS/Bytecode.hs:184)
    defaultAlt (src/IRTS/Bytecode.hs:188)
  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:75)
    dumpBC (src/IRTS/DumpBC.hs:83)
Warning: 'auto' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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
    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
    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
    it anyway.
Warning: 'normal' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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:65)
    Mark (src/Idris/Parser/Stack.hs:91)
    restore (src/Idris/Parser/Stack.hs:97)
Warning: '|||' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'p' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'abstract' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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: 'prefix' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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
    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
    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
    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
    it anyway.
Warning: '?' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'implementation' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Refl' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Void' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '%' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'with' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'mkForeign' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '<==' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'record' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: ':' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'rewrite' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '==>' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'by' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'auto' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Bits8' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Bits16' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Bits32' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Bits64' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'intro' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'intros' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'refine' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'mrefine' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'induction' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'equiv' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'focus' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'exact' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'applyTactic' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'reflect' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'fill' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'try' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'compute' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'trivial' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'solve' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'attack' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'term' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'undo' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'qed' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'abandon' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'q' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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
    it anyway.
Warning: 'absurd' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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
    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
    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
    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
    it anyway.
Warning: 'syntax' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'total' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'partial' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'covering' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '%' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'no_implicit' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'assert_total' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'error_handler' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'reflection' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'parameters' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: ':' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'interface' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '?=' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'with' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '<==' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'C' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Java' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'JavaScript' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'Node' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'LLVM' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'lib' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'link' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'flag' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'include' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'hide' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'freeze' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'thaw' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'access' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'logging' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'dynamic' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'error_handlers' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'language' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'deprecated' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'fragile' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'provide' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: 'proof' is out of scope.
    If you qualify the identifier, haddock can try to link it
    it anyway.
Warning: '==>' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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:65)
    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
    it anyway.
Warning: 'impossible' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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:79)
    execArgParserPure (src/Idris/CmdOptions.hs:76)
    runArgParser (src/Idris/CmdOptions.hs:36)
Warning: 'iPKG' is out of scope.
    If you qualify the identifier, haddock can try to link it
    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 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 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 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 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 fail String Functor fmap <$ Applicative pure <*> liftA2 *> <* FilePath 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 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 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:
BUILDSTDERR:     Bool FilePath Maybe String Text addSyntax Doc In+ make user_doc_html
t 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-c' for idris-1.3.2..
Preprocessing executable 'idris' for idris-1.3.2..
Preprocessing executable 'idris-codegen-javascript' for idris-1.3.2..
Preprocessing executable 'idris-codegen-node' for idris-1.3.2..
make -C docs html
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/docs'
sphinx-build -b html -d _build/doctrees   . _build/html
Running Sphinx v2.1.2
making output directory... done
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 64 source files that are out of date
updating environment: 64 added, 0 changed, 0 removed
reading sources... [  1%] effects/conclusions
reading sources... [  3%] effects/depeff
reading sources... [  4%] effects/hangman
reading sources... [  6%] effects/impleff
reading sources... [  7%] effects/index
reading sources... [  9%] effects/introduction
reading sources... [ 10%] effects/simpleeff
reading sources... [ 12%] effects/state
reading sources... [ 14%] effects/summary
reading sources... [ 15%] faq/faq
reading sources... [ 17%] guides/index
reading sources... [ 18%] guides/theorem-prover
reading sources... [ 20%] guides/type-providers-ffi
reading sources... [ 21%] index
reading sources... [ 23%] proofs/definitional
reading sources... [ 25%] proofs/index
reading sources... [ 26%] proofs/inductive
reading sources... [ 28%] proofs/interactive
reading sources... [ 29%] proofs/interactiveOld
reading sources... [ 31%] proofs/patterns
reading sources... [ 32%] proofs/pluscomm
reading sources... [ 34%] proofs/propositional
reading sources... [ 35%] reference/codegen
reading sources... [ 37%] reference/compilation
reading sources... [ 39%] reference/documenting
reading sources... [ 40%] reference/elaborator-reflection
reading sources... [ 42%] reference/erasure
reading sources... [ 43%] reference/ffi
reading sources... [ 45%] reference/ide-protocol
reading sources... [ 46%] reference/index
reading sources... [ 48%] reference/internals
reading sources... [ 50%] reference/language-extensions
reading sources... [ 51%] reference/language-features
BUILDSTDERR: reading sources... /builddir/build/BUILD/idris-1.3.2/docs/proofs/interactive.rst:188: WARNING: Inline interpreted text or phrase reference start-string without end-string.
BUILDSTDERR: /builddir/build/BUILD/idris-1.3.2/docs/proofs/interactive.rst:294: WARNING: Footnote [#] is not referenced.
BUILDSTDERR: /builddir/build/BUILD/idris-1.3.2/docs/reference/ffi.rst:123: WARNING: Error in "code-block" directive:
BUILDSTDERR: maximum 1 argument(s) allowed, 7 supplied.
BUILDSTDERR: .. code-block:: idris
BUILDSTDERR:     %include C "mylib.h"
BUILDSTDERR:     %link C "mylib.o"
BUILDSTDERR: /builddir/build/BUILD/idris-1.3.2/docs/reference/ffi.rst:129: WARNING: Error in "code-block" directive:
BUILDSTDERR: maximum 1 argument(s) allowed, 8 supplied.
BUILDSTDERR: .. code-block:: shell
BUILDSTDERR:     DEFAULT: mylib.o main.idr
BUILDSTDERR:         idris main.idr -o executableFile
BUILDSTDERR:     clean:
BUILDSTDERR:         rm -f executableFile mylib.o main.ibc
[ 53%] reference/misc
reading sources... [ 54%] reference/packages
reading sources... [ 56%] reference/partial-evaluation
reading sources... [ 57%] reference/repl
reading sources... [ 59%] reference/semantic-highlighting
reading sources... [ 60%] reference/syntax-guide
reading sources... [ 62%] reference/syntax-reference
reading sources... [ 64%] reference/tactics
reading sources... [ 65%] reference/type-directed-search
reading sources... [ 67%] reference/uniqueness-types
reading sources... [ 68%] st/composing
reading sources... [ 70%] st/examples
reading sources... [ 71%] st/index
reading sources... [ 73%] st/introduction
reading sources... [ 75%] st/machines
reading sources... [ 76%] st/state
reading sources... [ 78%] tutorial/conclusions
reading sources... [ 79%] tutorial/index
reading sources... [ 81%] tutorial/interactive
reading sources... [ 82%] tutorial/interfaces
reading sources... [ 84%] tutorial/interp
reading sources... [ 85%] tutorial/introduction
reading sources... [ 87%] tutorial/miscellany
reading sources... [ 89%] tutorial/modules
reading sources... [ 90%] tutorial/packages
reading sources... [ 92%] tutorial/provisional
reading sources... [ 93%] tutorial/starting
reading sources... [ 95%] tutorial/syntax
reading sources... [ 96%] tutorial/theorems
reading sources... [ 98%] tutorial/typesfuns
reading sources... [100%] tutorial/views
looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
writing output... [  1%] effects/conclusions
writing output... [  3%] effects/depeff
writing output... [  4%] effects/hangman
writing output... [  6%] effects/impleff
writing output... [  7%] effects/index
writing output... [  9%] effects/introduction
writing output... [ 10%] effects/simpleeff
writing output... [ 12%] effects/state
writing output... [ 14%] effects/summary
writing output... [ 15%] faq/faq
writing output... [ 17%] guides/index
writing output... [ 18%] guides/theorem-prover
writing output... [ 20%] guides/type-providers-ffi
writing output... [ 21%] index
writing output... [ 23%] proofs/definitional
writing output... [ 25%] proofs/index
writing output... [ 26%] proofs/inductive
writing output... [ 28%] proofs/interactive
writing output... [ 29%] proofs/interactiveOld
writing output... [ 31%] proofs/patterns
writing output... [ 32%] proofs/pluscomm
writing output... [ 34%] proofs/propositional
writing output... [ 35%] reference/codegen
writing output... [ 37%] reference/compilation
writing output... [ 39%] reference/documenting
writing output... [ 40%] reference/elaborator-reflection
writing output... [ 42%] reference/erasure
writing output... [ 43%] reference/ffi
writing output... [ 45%] reference/ide-protocol
writing output... [ 46%] reference/index
writing output... [ 48%] reference/internals
writing output... [ 50%] reference/language-extensions
writing output... [ 51%] reference/language-features
writing output... [ 53%] reference/misc
writing output... [ 54%] reference/packages
writing output... [ 56%] reference/partial-evaluation
writing output... [ 57%] reference/repl
writing output... [ 59%] reference/semantic-highlighting
writing output... [ 60%] reference/syntax-guide
writing output... [ 62%] reference/syntax-reference
writing output... [ 64%] reference/tactics
writing output... [ 65%] reference/type-directed-search
writing output... [ 67%] reference/uniqueness-types
writing output... [ 68%] st/composing
writing output... [ 70%] st/examples
writing output... [ 71%] st/index
writing output... [ 73%] st/introduction
writing output... [ 75%] st/machines
writing output... [ 76%] st/state
writing output... [ 78%] tutorial/conclusions
writing output... [ 79%] tutorial/index
writing output... [ 81%] tutorial/interactive
writing output... [ 82%] tutorial/interfaces
writing output... [ 84%] tutorial/interp
writing output... [ 85%] tutorial/introduction
writing output... [ 87%] tutorial/miscellany
writing output... [ 89%] tutorial/modules
writing output... [ 90%] tutorial/packages
writing output... [ 92%] tutorial/provisional
BUILDSTDERR: writing /builddir/build/BUILD/idris-1.3.2/docs/reference/syntax-guide.rst:84: WARNING: Could not lex literal_block as "idris". Highlighting skipped.
BUILDSTDERR: /builddir/build/BUILD/idris-1.3.2/docs/tutorial/miscellany.rst:134: WARNING: Could not lex literal_block as "idris". Highlighting skipped.
BUILDSTDERR: /builddir/build/BUILD/idris-1.3.2/docs/tutorial/modules.rst:182: WARNING: Could not lex literal_block as "idris". Highlighting skipped.
BUILDSTDERR: WARNING: html_static_path entry '/builddir/build/BUILD/idris-1.3.2/docs/_static' does not exist
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
output... [ 93%] tutorial/starting
writing output... [ 95%] tutorial/syntax
writing output... [ 96%] tutorial/theorems
writing output... [ 98%] tutorial/typesfuns
writing output... [100%] tutorial/views
generating indices... genindex
writing additional pages... search
copying images... [ 25%] effects/../image/effects-tree.png
copying images... [ 50%] proofs/../image/plusReducesProof.png
copying images... [ 75%] st/../image/netstate.png
copying images... [100%] st/../image/login.png
copying static files... done
copying extra files... done
dumping search index in English (code: en) ... done
dumping object inventory... done
build succeeded, 8 warnings.
The HTML pages are in _build/html.
Build finished. The HTML pages are in _build/html.
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.2/docs'
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.PcjaDI
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64
+ cd idris-1.3.2
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.2/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.2/dist/build
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64
BUILDSTDERR: Warning: Executable installed in
BUILDSTDERR: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
BUILDSTDERR: Warning: Executable installed in
BUILDSTDERR: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
BUILDSTDERR: Warning: Executable installed in
BUILDSTDERR: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
BUILDSTDERR: Warning: Executable installed in
BUILDSTDERR: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
Installing library in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/idris-1.3.2
Installing executable idris-codegen-c in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
Installing executable idris in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
Installing executable idris-codegen-javascript in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
Installing executable idris-codegen-node in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/bin
Installing libraries in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2
make: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs'
make -C prelude install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs/prelude'
../../dist/build/idris/idris --install prelude.ipkg
Installing Builtins.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude
Installing Decidable/Equality.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Decidable
Installing IO.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude
Installing Language/Reflection.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Language
Installing Language/Reflection/Elab.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Language/Reflection
Installing Language/Reflection/Errors.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Language/Reflection
Installing Prelude.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude
Installing Prelude/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Basics.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Bool.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Cast.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Chars.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Doubles.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Either.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/File.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Foldable.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Functor.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Interactive.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Interfaces.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/List.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Maybe.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Pairs.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Providers.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Show.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Stream.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Strings.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Traversable.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/Uninhabited.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing Prelude/WellFounded.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude/Prelude
Installing 00prelude-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/prelude
../../dist/build/idris/idris --installdoc prelude.ipkg
Attempting to install IdrisDocs for prelude in: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/docs/prelude
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.2/libs/prelude'
make -C base install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs/base'
../../dist/build/idris/idris --install base.ipkg
Installing Control/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control
Installing Control/Catchable.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control
Installing Control/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control
Installing Control/IOExcept.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control
Installing Control/Isomorphism.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control
Installing Control/Monad/Identity.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control/Monad
Installing Control/Monad/Reader.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control/Monad
Installing Control/Monad/RWS.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control/Monad
Installing Control/Monad/State.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control/Monad
Installing Control/Monad/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control/Monad
Installing Control/Monad/Writer.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Control/Monad
Installing Data/Bits.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Buffer.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Complex.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Erased.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/HVect.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/IORef.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/List.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/List/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/List
Installing Data/List/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/List
Installing Data/Mod2.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Morphisms.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Nat/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/Nat
Installing Data/Primitives/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/Primitives
Installing Data/So.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/String.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/String/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/String
Installing Data/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data
Installing Data/Vect/Quantifiers.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/Vect
Installing Data/Vect/Views.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Data/Vect
Installing Debug/Error.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Debug
Installing Debug/Trace.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Debug
Installing Language/Reflection/Utils.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Language/Reflection
Installing Syntax/PreorderReasoning.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/Syntax
Installing System.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base
Installing System/Concurrency/Channels.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/System/Concurrency
Installing System/Concurrency/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/System/Concurrency
Installing System/Info.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base/System
Installing 00base-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/base
../../dist/build/idris/idris --installdoc base.ipkg
Attempting to install IdrisDocs for base in: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/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.2/libs/base'
make -C contrib install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs/contrib'
../../dist/build/idris/idris --install contrib.ipkg
Installing CFFI.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib
Installing CFFI/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/CFFI
Installing CFFI/Types.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/CFFI
Installing Control/Algebra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control
Installing Control/Algebra/Lattice.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Algebra
Installing Control/Algebra/Laws.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Algebra
Installing Control/Algebra/NumericImplementations.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Algebra
Installing Control/Algebra/VectorSpace.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Algebra
Installing Control/Delayed.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control
Installing Control/Isomorphism/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Fin.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Primitives.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Isomorphism
Installing Control/Isomorphism/Vect.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Isomorphism
Installing Control/Monad/Syntax.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/Monad
Installing Control/Partial.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control
Installing Control/Pipeline.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control
Installing Control/ST.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control
Installing Control/ST/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/ST
Installing Control/ST/ImplicitCall.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/ST
Installing Control/ST/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/ST
Installing Control/ST/File.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Control/ST
Installing Data/Bool/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Bool
Installing Data/BoundedList.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Chain.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/CoList.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Combinators/Applicative.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Combinators
Installing Data/Combinators/Arrow.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Combinators
Installing Data/Fin/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Fin
Installing Data/Fuel.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Fun.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Hash.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Heap.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/IOArray.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/List/Zipper.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/List
Installing Data/List/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/List
Installing Data/Matrix.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Matrix/Algebraic.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Matrix
Installing Data/Matrix/Numeric.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Matrix
Installing Data/Nat.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Nat/Parity.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Nat
Installing Data/Nat/DivMod.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Nat
Installing Data/Nat/DivMod/IteratedSubtraction.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Nat/DivMod
Installing Data/Pairs/Implicit.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Pairs
Installing Data/PosNat.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Rel.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Sign.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/SortedBag.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/SortedMap.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/SortedSet.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Storable.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Data/Stream/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/Stream
Installing Data/String/Extra.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data/String
Installing Data/ZZ.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Data
Installing Decidable/Decidable.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Decidable
Installing Decidable/Order.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Decidable
Installing Interfaces/Correlative.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Interfaces
Installing Interfaces/Verified.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Interfaces
Installing Interfaces/Proposition.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Interfaces
Installing Language/JSON.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language
Installing Language/JSON/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON
Installing Language/JSON/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON
Installing Language/JSON/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON
Installing Language/JSON/String.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON
Installing Language/JSON/String/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON/String
Installing Language/JSON/String/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON/String
Installing Language/JSON/String/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON/String
Installing Language/JSON/Tokens.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Language/JSON
Installing Network/Cgi.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Network
Installing Network/Socket.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Network
Installing Network/Socket/Data.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Network/Socket
Installing Network/Socket/Raw.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Network/Socket
Installing System/Concurrency/Process.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/System/Concurrency
Installing Test/Unit/Display.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Test/Unit
Installing Test/Unit/Runners.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Test/Unit
Installing Test/Unit/Generic.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Test/Unit
Installing Test/Unit/Assertions.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Test/Unit
Installing Test/Unit.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Test
Installing Text/Lexer.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text
Installing Text/Lexer/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text/Lexer
Installing Text/Literate.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text
Installing Text/Parser.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text
Installing Text/Parser/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text/Parser
Installing Text/PrettyPrint/WL/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL/Combinators.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL/Characters.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text/PrettyPrint/WL
Installing Text/PrettyPrint/WL.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text/PrettyPrint
Installing Text/Quantity.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text
Installing Text/Token.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib/Text
Installing 00contrib-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/contrib
../../dist/build/idris/idris --installdoc contrib.ipkg
Attempting to install IdrisDocs for contrib in: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/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.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.2/libs/contrib'
make -C effects install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs/effects'
../../dist/build/idris/idris --install effects.ipkg
Installing Effects.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects
Installing Effect/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Exception.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/File.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Logging/Category.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect/Logging
Installing Effect/Logging/Default.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect/Logging
Installing Effect/Logging/Level.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect/Logging
Installing Effect/Memory.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Monad.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Perf.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Random.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Select.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/State.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/StdIO.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/System.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing Effect/Trans.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects/Effect
Installing 00effects-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/effects
../../dist/build/idris/idris --installdoc effects.ipkg
Attempting to install IdrisDocs for effects in: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/docs/effects
Warning: Ignoring empty or non-existing namespace 'Effect.Default'
make[1]: Leaving directory '/builddir/build/BUILD/idris-1.3.2/libs/effects'
make -C pruviloj install
make[1]: Entering directory '/builddir/build/BUILD/idris-1.3.2/libs/pruviloj'
../../dist/build/idris/idris --install pruviloj.ipkg
BUILDSTDERR: Installing Pruviloj.ibc to /builddir+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d idris-1.3.2.conf ']'
+ install -D --mode=0644 idris-1.3.2.conf /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/package.conf.d/idris-1.3.2.conf
BUILDSTDERR: ++ ls /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/package.conf.d/idris-1.3.2.conf
+ '[' -z /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/package.conf.d/idris-1.3.2.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.2-1.fc31.aarch64/usr/lib64/libHSidris-1.3.2-*ghc8.6.5.so
+ echo /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/libHSidris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI-ghc8.6.5.so
+ pkgdir=/usr/lib64/ghc-8.6.5/idris-1.3.2
+ '[' -d /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/idris-1.3.2 ']'
+ find /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/idris-1.3.2 -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.2-1.fc31.aarch64/usr/lib64/ghc-8.6.5/package.conf.d/idris-1.3.2.conf
+ echo /usr/share/doc/ghc/html/libraries/idris-1.3.2
+ 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.2-1.fc31.aarch64!!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.2-1.fc31.aarch64!!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.2-1.fc31.aarch64!!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.2-1.fc31.aarch64!!g' ghc-idris-prof.files
+ mv /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/licenses/idris /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/licenses/idris-common
+ mv /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/rts/libidris_rts.a /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/lib64
+ chmod +r -R /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/docs
+ mkdir -p /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-manual
+ cp -r docs/_build/html/_images docs/_build/html/_sources docs/_build/html/_static docs/_build/html/effects docs/_build/html/faq docs/_build/html/genindex.html docs/_build/html/guides docs/_build/html/index.html docs/_build/html/objects.inv docs/_build/html/proofs docs/_build/html/reference docs/_build/html/search.html docs/_build/html/searchindex.js docs/_build/html/st docs/_build/html/tutorial /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-manual/
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/mini-gmp.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_stats.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_rts.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_stdfgn.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_heap.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_opts.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_gc.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_net.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_bitstring.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_utf8.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_gmp.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/idris_buffer.h is executable but has empty or no shebang, removing executable bit
BUILDSTDERR: *** WARNING: ./usr/share/idris-1.3.2/rts/getline.h is executable but has empty or no shebang, removing executable bit
/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj
Installing Pruviloj/Core.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj
Installing Pruviloj/Derive/DecEq.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj/Derive
Installing Pruviloj/Derive/Eliminators.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj/Derive
Installing Pruviloj/Disjoint.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj
Installing Pruviloj/Induction.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj
Installing Pruviloj/Injective.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj
Installing Pruviloj/Internals.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj
Installing Pruviloj/Internals/TyConInfo.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj/Internals
Installing Pruviloj/Renamers.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj/Pruviloj
Installing 00pruviloj-idx.ibc to /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/libs/pruviloj
../../dist/build/idris/idris --installdoc pruviloj.ipkg
Attempting to install IdrisDocs for pruviloj in: /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/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.2/libs/pruviloj'
make: Leaving directory '/builddir/build/BUILD/idris-1.3.2/libs'
Installing run time system in /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/rts
make: Entering directory '/builddir/build/BUILD/idris-1.3.2/rts'
mkdir -p /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/idris-1.3.2/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.2-1.fc31.aarch64/usr/share/idris-1.3.2/rts
make: Leaving directory '/builddir/build/BUILD/idris-1.3.2/rts'
Copying man page to
/builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/man/man1
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.60ZpzI
Processing files: idris-1.3.2-1.fc31.aarch64
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.2
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: idris = 1.3.2-1.fc31 idris(aarch-64) = 1.3.2-1.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.17)(64bit) libffi.so.6()(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.17)(64bit) libtinfo.so.6()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: idris-common-1.3.2-1.fc31.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.HOk68E
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.2
+ DOCDIR=/builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-common
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-common
+ cp -pr CHANGELOG.md /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-common
+ cp -pr CONTRIBUTING.md /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-common
+ cp -pr CONTRIBUTORS /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-common
+ cp -pr README.md /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/doc/idris-common
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.zuh8II
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.2
+ LICENSEDIR=/builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/licenses/idris-common
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/licenses/idris-common
+ cp -pr LICENSE /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64/usr/share/licenses/idris-common
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: idris-common = 1.3.2-1.fc31
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.2-1.fc31.aarch64
Provides: idris-static = 1.3.2-1.fc31 idris-static(aarch-64) = 1.3.2-1.fc31
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.2-1.fc31.aarch64
Provides: ghc-idris = 1.3.2-1.fc31 ghc-idris(aarch-64) = 1.3.2-1.fc31 libHSidris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI-ghc8.6.5.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.2.0-ARmcPxOExzpGnW3RrgDJ7K-ghc8.6.5.so()(64bit) libHSannotated-wl-pprint-0.7.0-DGkZQ2VEej1K9q8cmlJu7D-ghc8.6.5.so()(64bit) libHSansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58-ghc8.6.5.so()(64bit) libHSansi-wl-pprint-0.6.8.2-FavuR50rvZs3UXCXkBzL8N-ghc8.6.5.so()(64bit) libHSasync-2.2.2-izpvdmZWvvDzxTFdUgkXg-ghc8.6.5.so()(64bit) libHSbase-4.12.0.0-ghc8.6.5.so()(64bit) libHSbase64-bytestring-1.0.0.2-9zRsxWrEm5zGbLjNlDas-ghc8.6.5.so()(64bit) libHSbinary-0.8.6.0-ghc8.6.5.so()(64bit) libHSblaze-html-0.9.1.1-E0enfQtU1ZTDNQ8G8pIpJp-ghc8.6.5.so()(64bit) libHSblaze-markup-0.8.2.2-IwLwNWRUxfsEuYbkQ0Gv5Q-ghc8.6.5.so()(64bit) libHSbytestring-0.10.8.2-ghc8.6.5.so()(64bit) libHScheapskate-0.1.1.1-Kc6sQgkDLEVE45dOPuqB0L-ghc8.6.5.so()(64bit) libHScode-page-0.2-3TjNtc9lu3RJN6poyFdQXs-ghc8.6.5.so()(64bit) libHScontainers-0.6.0.1-ghc8.6.5.so()(64bit) libHSdeepseq-1.4.4.0-ghc8.6.5.so()(64bit) libHSdirectory-1.3.3.0-ghc8.6.5.so()(64bit) libHSfilepath-1.4.2.1-ghc8.6.5.so()(64bit) libHSfingertree-0.1.4.2-3y9RCeoabqFEsIFOGn6xXZ-ghc8.6.5.so()(64bit) libHSfsnotify-0.3.0.1-3l0tWtvnZmijxRVM4INGW-ghc8.6.5.so()(64bit) libHSghc-prim-0.5.3-ghc8.6.5.so()(64bit) libHShaskeline-0.7.4.3-ghc8.6.5.so()(64bit) libHSieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD-ghc8.6.5.so()(64bit) libHSinteger-gmp-1.0.2.0-ghc8.6.5.so()(64bit) libHSlibffi-0.1-B7BBBCt8Sd58IwpXe6mL8r-ghc8.6.5.so()(64bit) libHSmegaparsec-7.0.5-HXAgEiX4uzrDVUQIM5vDmn-ghc8.6.5.so()(64bit) libHSmtl-2.2.2-ghc8.6.5.so()(64bit) libHSnetwork-2.8.0.1-Hmt657UE3v349uYmvUXEvW-ghc8.6.5.so()(64bit) libHSoptparse-applicative-0.14.3.0-DPUC5foCXxdFasYzDNFLT4-ghc8.6.5.so()(64bit) libHSparser-combinators-1.0.3-1UTfcB7o30zCtW5Kb6a4SR-ghc8.6.5.so()(64bit) libHSprocess-1.6.5.0-ghc8.6.5.so()(64bit) libHSregex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ-ghc8.6.5.so()(64bit) libHSscientific-0.3.6.2-Jh87LYpjAZH3EhMJkXeu1S-ghc8.6.5.so()(64bit) libHSsplit-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc-ghc8.6.5.so()(64bit) libHSterminal-size-0.3.2.1-Hh6hFaOyLfiJ6x0AenX2yY-ghc8.6.5.so()(64bit) libHStext-1.2.3.1-ghc8.6.5.so()(64bit) libHStime-1.8.0.2-ghc8.6.5.so()(64bit) libHStransformers-0.5.6.2-ghc8.6.5.so()(64bit) libHSuniplate-1.6.12-Dv7wj50u93mBdwYXyT04BE-ghc8.6.5.so()(64bit) libHSunix-2.7.2.2-ghc8.6.5.so()(64bit) libHSunordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w-ghc8.6.5.so()(64bit) libHSutf8-string-1.0.1.1-Geq8jdOv4Q3LkcQoEOWDVv-ghc8.6.5.so()(64bit) libHSvector-0.12.0.3-2LEYu9M2i7lERDtz76XG3n-ghc8.6.5.so()(64bit) libHSzip-archive-0.4.1-9OcPKyu7a861C95kzDYqN7-ghc8.6.5.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) rtld(GNU_HASH)
Processing files: ghc-idris-devel-1.3.2-1.fc31.aarch64
Provides: ghc-devel(idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI) ghc-idris-devel = 1.3.2-1.fc31 ghc-idris-devel(aarch-64) = 1.3.2-1.fc31 ghc-idris-static = 1.3.2-1.fc31 ghc-idris-static(aarch-64) = 1.3.2-1.fc31
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.2.0-ARmcPxOExzpGnW3RrgDJ7K) ghc-devel(annotated-wl-pprint-0.7.0-DGkZQ2VEej1K9q8cmlJu7D) ghc-devel(ansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58) ghc-devel(ansi-wl-pprint-0.6.8.2-FavuR50rvZs3UXCXkBzL8N) ghc-devel(array-0.5.3.0) ghc-devel(async-2.2.2-izpvdmZWvvDzxTFdUgkXg) ghc-devel(base-4.12.0.0) ghc-devel(base64-bytestring-1.0.0.2-9zRsxWrEm5zGbLjNlDas) ghc-devel(binary-0.8.6.0) ghc-devel(blaze-html-0.9.1.1-E0enfQtU1ZTDNQ8G8pIpJp) ghc-devel(blaze-markup-0.8.2.2-IwLwNWRUxfsEuYbkQ0Gv5Q) ghc-devel(bytestring-0.10.8.2) ghc-devel(cheapskate-0.1.1.1-Kc6sQgkDLEVE45dOPuqB0L) ghc-devel(code-page-0.2-3TjNtc9lu3RJN6poyFdQXs) ghc-devel(containers-0.6.0.1) ghc-devel(deepseq-1.4.4.0) ghc-devel(directory-1.3.3.0) ghc-devel(filepath-1.4.2.1) ghc-devel(fingertree-0.1.4.2-3y9RCeoabqFEsIFOGn6xXZ) ghc-devel(fsnotify-0.3.0.1-3l0tWtvnZmijxRVM4INGW) ghc-devel(haskeline-0.7.4.3) ghc-devel(ieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD) ghc-devel(libffi-0.1-B7BBBCt8Sd58IwpXe6mL8r) ghc-devel(megaparsec-7.0.5-HXAgEiX4uzrDVUQIM5vDmn) ghc-devel(mtl-2.2.2) ghc-devel(network-2.8.0.1-Hmt657UE3v349uYmvUXEvW) ghc-devel(optparse-applicative-0.14.3.0-DPUC5foCXxdFasYzDNFLT4) ghc-devel(parser-combinators-1.0.3-1UTfcB7o30zCtW5Kb6a4SR) ghc-devel(pretty-1.1.3.6) ghc-devel(process-1.6.5.0) ghc-devel(regex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ) ghc-devel(safe-0.3.17-43oyx4B630gDZMbTh3Ttji) ghc-devel(split-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc) ghc-devel(terminal-size-0.3.2.1-Hh6hFaOyLfiJ6x0AenX2yY) ghc-devel(text-1.2.3.1) ghc-devel(time-1.8.0.2) ghc-devel(transformers-0.5.6.2) ghc-devel(uniplate-1.6.12-Dv7wj50u93mBdwYXyT04BE) ghc-devel(unix-2.7.2.2) ghc-devel(unordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w) ghc-devel(utf8-string-1.0.1.1-Geq8jdOv4Q3LkcQoEOWDVv) ghc-devel(vector-0.12.0.3-2LEYu9M2i7lERDtz76XG3n) ghc-devel(vector-binary-instances-0.2.5.1-Dz95yg9LO4QICxc7gaTUaF) ghc-devel(zip-archive-0.4.1-9OcPKyu7a861C95kzDYqN7)
Processing files: idris-docs-1.3.2-1.fc31.noarch
Provides: idris-docs = 1.3.2-1.fc31
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.2-1.fc31.noarch
Provides: idris-manual = 1.3.2-1.fc31
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.2-1.fc31.aarch64
Provides: ghc-idris-doc = 1.3.2-1.fc31 ghc-idris-doc(aarch-64) = 1.3.2-1.fc31
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.2-1.fc31.aarch64
Provides: ghc-idris-prof = 1.3.2-1.fc31 ghc-idris-prof(aarch-64) = 1.3.2-1.fc31 ghc-prof(idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI)
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.2.0-ARmcPxOExzpGnW3RrgDJ7K) ghc-prof(annotated-wl-pprint-0.7.0-DGkZQ2VEej1K9q8cmlJu7D) ghc-prof(ansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58) ghc-prof(ansi-wl-pprint-0.6.8.2-FavuR50rvZs3UXCXkBzL8N) ghc-prof(array-0.5.3.0) ghc-prof(async-2.2.2-izpvdmZWvvDzxTFdUgkXg) ghc-prof(base-4.12.0.0) ghc-prof(base64-bytestring-1.0.0.2-9zRsxWrEm5zGbLjNlDas) ghc-prof(binary-0.8.6.0) ghc-prof(blaze-html-0.9.1.1-E0enfQtU1ZTDNQ8G8pIpJp) ghc-prof(blaze-markup-0.8.2.2-IwLwNWRUxfsEuYbkQ0Gv5Q) ghc-prof(bytestring-0.10.8.2) ghc-prof(cheapskate-0.1.1.1-Kc6sQgkDLEVE45dOPuqB0L) ghc-prof(code-page-0.2-3TjNtc9lu3RJN6poyFdQXs) ghc-prof(containers-0.6.0.1) ghc-prof(deepseq-1.4.4.0) ghc-prof(directory-1.3.3.0) ghc-prof(filepath-1.4.2.1) ghc-prof(fingertree-0.1.4.2-3y9RCeoabqFEsIFOGn6xXZ) ghc-prof(fsnotify-0.3.0.1-3l0tWtvnZmijxRVM4INGW) ghc-prof(haskeline-0.7.4.3) ghc-prof(ieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD) ghc-prof(libffi-0.1-B7BBBCt8Sd58IwpXe6mL8r) ghc-prof(megaparsec-7.0.5-HXAgEiX4uzrDVUQIM5vDmn) ghc-prof(mtl-2.2.2) ghc-prof(network-2.8.0.1-Hmt657UE3v349uYmvUXEvW) ghc-prof(optparse-applicative-0.14.3.0-DPUC5foCXxdFasYzDNFLT4) ghc-prof(parser-combinators-1.0.3-1UTfcB7o30zCtW5Kb6a4SR) ghc-prof(pretty-1.1.3.6) ghc-prof(process-1.6.5.0) ghc-prof(regex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ) ghc-prof(safe-0.3.17-43oyx4B630gDZMbTh3Ttji) ghc-prof(split-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc) ghc-prof(terminal-size-0.3.2.1-Hh6hFaOyLfiJ6x0AenX2yY) ghc-prof(text-1.2.3.1) ghc-prof(time-1.8.0.2) ghc-prof(transformers-0.5.6.2) ghc-prof(uniplate-1.6.12-Dv7wj50u93mBdwYXyT04BE) ghc-prof(unix-2.7.2.2) ghc-prof(unordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w) ghc-prof(utf8-string-1.0.1.1-Geq8jdOv4Q3LkcQoEOWDVv) ghc-prof(vector-0.12.0.3-2LEYu9M2i7lERDtz76XG3n) ghc-prof(vector-binary-instances-0.2.5.1-Dz95yg9LO4QICxc7gaTUaF) ghc-prof(zip-archive-0.4.1-9OcPKyu7a861C95kzDYqN7)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64
Wrote: /builddir/build/RPMS/idris-static-1.3.2-1.fc31.aarch64.rpm
Wrote: /builddir/build/RPMS/idris-common-1.3.2-1.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/idris-docs-1.3.2-1.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/idris-manual-1.3.2-1.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-idris-1.3.2-1.fc31.aarch64.rpm
Wrote: /builddir/build/RPMS/ghc-idris-doc-1.3.2-1.fc31.aarch64.rpm
Wrote: /builddir/build/RPMS/ghc-idris-devel-1.3.2-1.fc31.aarch64.rpm
Wrote: /builddir/build/RPMS/ghc-idris-prof-1.3.2-1.fc31.aarch64.rpm
Wrote: /builddir/build/RPMS/idris-1.3.2-1.fc31.aarch64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.98ByLI
+ umask 022
+ cd /builddir/build/BUILD
+ cd idris-1.3.2
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/idris-1.3.2-1.fc31.aarch64
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0