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