+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb4/work.log + su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb4/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 ===> Building for idris-1.3.4nb4 Preprocessing library for idris-1.3.4.. Building library for idris-1.3.4.. [ 1 of 115] Compiling BuildFlags_idris ( dist/build/autogen/BuildFlags_idris.hs, dist/build/BuildFlags_idris.o ) [ 2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o ) [ 3 of 115] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.o ) [ 4 of 115] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.o ) [ 5 of 115] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o ) [ 6 of 115] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.o ) [ 7 of 115] Compiling Tools_idris ( dist/build/autogen/Tools_idris.hs, dist/build/Tools_idris.o ) [ 8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o ) [ 9 of 115] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.o ) [ 10 of 115] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.o ) [ 11 of 115] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o ) 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 ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o ) [ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o ) [ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o ) [ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o ) 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 ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o ) [ 17 of 115] Compiling Idris.Core.WHNF ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.o ) [ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o ) [ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o ) [ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o ) [ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o ) [ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o ) [ 23 of 115] Compiling Idris.IdeMode ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.o ) [ 24 of 115] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o ) [ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o ) [ 26 of 115] Compiling IRTS.LangOpts ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o ) [ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, dist/build/IRTS/JavaScript/Specialize.o ) [ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, dist/build/IRTS/JavaScript/PrimOp.o ) [ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, dist/build/IRTS/JavaScript/Name.o ) [ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, dist/build/IRTS/JavaScript/LangTransforms.o ) [ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o ) [ 32 of 115] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o ) [ 33 of 115] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o ) [ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o ) [ 35 of 115] Compiling Idris.Options ( src/Idris/Options.hs, dist/build/Idris/Options.o ) [ 36 of 115] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o ) [ 37 of 115] Compiling IRTS.Portable ( src/IRTS/Portable.hs, dist/build/IRTS/Portable.o ) [ 38 of 115] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o ) [ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o ) [ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o ) [ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o ) [ 42 of 115] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o ) [ 43 of 115] Compiling Idris.ASTUtils ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o ) [ 44 of 115] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o ) [ 45 of 115] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.o ) [ 46 of 115] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o ) 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 ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.o ) [ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o ) [ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, dist/build/Idris/REPL/Browse.o ) [ 50 of 115] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o ) [ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o ) [ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.o ) [ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.o ) [ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o ) 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 ( src/Idris/Reflection.hs, dist/build/Idris/Reflection.o ) [ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.o ) [ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o ) [ 58 of 115] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.o ) [ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, dist/build/Idris/Parser/Stack.o ) [ 60 of 115] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, dist/build/Idris/Parser/Helpers.o ) [ 61 of 115] Compiling Idris.Parser.Ops ( src/Idris/Parser/Ops.hs, dist/build/Idris/Parser/Ops.o ) [ 62 of 115] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/Idris/Error.o ) [ 63 of 115] Compiling Idris.Termination ( src/Idris/Termination.hs, dist/build/Idris/Termination.o ) [ 64 of 115] Compiling Idris.Providers ( src/Idris/Providers.hs, dist/build/Idris/Providers.o ) [ 65 of 115] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/Idris/Imports.o ) [ 66 of 115] Compiling Idris.REPL.Commands ( src/Idris/REPL/Commands.hs, dist/build/Idris/REPL/Commands.o ) [ 67 of 115] Compiling Idris.Package.Common ( src/Idris/Package/Common.hs, dist/build/Idris/Package/Common.o ) [ 68 of 115] Compiling Idris.Directives ( src/Idris/Directives.hs, dist/build/Idris/Directives.o ) [ 69 of 115] Compiling Idris.IBC ( src/Idris/IBC.hs, dist/build/Idris/IBC.o ) [ 70 of 115] Compiling Idris.Erasure ( src/Idris/Erasure.hs, dist/build/Idris/Erasure.o ) [ 71 of 115] Compiling Idris.Elab.Utils ( src/Idris/Elab/Utils.hs, dist/build/Idris/Elab/Utils.o ) [ 72 of 115] Compiling Idris.Elab.Rewrite ( src/Idris/Elab/Rewrite.hs, dist/build/Idris/Elab/Rewrite.o ) [ 73 of 115] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/Idris/Docs.o ) [ 74 of 115] Compiling Idris.IdrisDoc ( src/Idris/IdrisDoc.hs, dist/build/Idris/IdrisDoc.o ) [ 75 of 115] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.o ) [ 76 of 115] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.o ) [ 77 of 115] Compiling Idris.Parser.Expr ( src/Idris/Parser/Expr.hs, dist/build/Idris/Parser/Expr.o ) [ 78 of 115] Compiling Idris.Parser.Data ( src/Idris/Parser/Data.hs, dist/build/Idris/Parser/Data.o ) [ 79 of 115] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o ) [ 80 of 115] Compiling Idris.Elab.Term ( src/Idris/Elab/Term.hs, dist/build/Idris/Elab/Term.o ) [ 81 of 115] Compiling Idris.Elab.Value ( src/Idris/Elab/Value.hs, dist/build/Idris/Elab/Value.o ) [ 82 of 115] Compiling Idris.Elab.Type ( src/Idris/Elab/Type.hs, dist/build/Idris/Elab/Type.o ) [ 83 of 115] Compiling Idris.TypeSearch ( src/Idris/TypeSearch.hs, dist/build/Idris/TypeSearch.o ) 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') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 84 of 115] Compiling Idris.Elab.Data ( src/Idris/Elab/Data.hs, dist/build/Idris/Elab/Data.o ) [ 85 of 115] Compiling Idris.Elab.Record ( src/Idris/Elab/Record.hs, dist/build/Idris/Elab/Record.o ) [ 86 of 115] Compiling Idris.Elab.Interface ( src/Idris/Elab/Interface.hs, dist/build/Idris/Elab/Interface.o ) [ 87 of 115] Compiling Idris.Elab.Transform ( src/Idris/Elab/Transform.hs, dist/build/Idris/Elab/Transform.o ) [ 88 of 115] Compiling Idris.Elab.RunElab ( src/Idris/Elab/RunElab.hs, dist/build/Idris/Elab/RunElab.o ) [ 89 of 115] Compiling Idris.Elab.Implementation ( src/Idris/Elab/Implementation.hs, dist/build/Idris/Elab/Implementation.o ) [ 90 of 115] Compiling Idris.Elab.Clause ( src/Idris/Elab/Clause.hs, dist/build/Idris/Elab/Clause.o ) [ 91 of 115] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.o ) [ 92 of 115] Compiling Idris.Elab.Provider ( src/Idris/Elab/Provider.hs, dist/build/Idris/Elab/Provider.o ) src/Idris/Elab/Provider.hs:80:16: warning: [-Woverlapping-patterns] Pattern match is redundant In a case alternative: Provide tm | otherwise -> ... | 80 | | otherwise -> | ^^^^^^^^^ [ 93 of 115] Compiling Idris.ElabDecls ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.o ) [ 94 of 115] Compiling Idris.Parser ( src/Idris/Parser.hs, dist/build/Idris/Parser.o ) 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 ( src/Idris/REPL/Parser.hs, dist/build/Idris/REPL/Parser.o ) [ 96 of 115] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.o ) [ 97 of 115] Compiling Idris.Prover ( src/Idris/Prover.hs, dist/build/Idris/Prover.o ) [ 98 of 115] Compiling Idris.Chaser ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.o ) [ 99 of 115] Compiling Idris.CaseSplit ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.o ) [100 of 115] Compiling Idris.Interactive ( src/Idris/Interactive.hs, dist/build/Idris/Interactive.o ) [101 of 115] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o ) [102 of 115] Compiling IRTS.Exports ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.o ) [103 of 115] Compiling IRTS.JavaScript.Codegen ( src/IRTS/JavaScript/Codegen.hs, dist/build/IRTS/JavaScript/Codegen.o ) 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 ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o ) [105 of 115] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o ) [106 of 115] Compiling IRTS.Compiler ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.o ) [107 of 115] Compiling Version_idris ( dist/build/autogen/Version_idris.hs, dist/build/Version_idris.o ) [108 of 115] Compiling Idris.Info ( src/Idris/Info.hs, dist/build/Idris/Info.o ) [109 of 115] Compiling Idris.ModeCommon ( src/Idris/ModeCommon.hs, dist/build/Idris/ModeCommon.o ) [110 of 115] Compiling Idris.REPL ( src/Idris/REPL.hs, dist/build/Idris/REPL.o ) [111 of 115] Compiling Idris.Main ( src/Idris/Main.hs, dist/build/Idris/Main.o ) [112 of 115] Compiling Idris.Info.Show ( src/Idris/Info/Show.hs, dist/build/Idris/Info/Show.o ) [113 of 115] Compiling Idris.CmdOptions ( src/Idris/CmdOptions.hs, dist/build/Idris/CmdOptions.o ) [114 of 115] Compiling Idris.Package.Parser ( src/Idris/Package/Parser.hs, dist/build/Idris/Package/Parser.o ) [115 of 115] Compiling Idris.Package ( src/Idris/Package.hs, dist/build/Idris/Package.o ) 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 ( codegen/idris-codegen-node/Main.hs, dist/build/idris-codegen-node/idris-codegen-node-tmp/Main.o ) [2 of 2] Compiling Paths_idris ( dist/build/idris-codegen-node/autogen/Paths_idris.hs, dist/build/idris-codegen-node/idris-codegen-node-tmp/Paths_idris.o ) Linking dist/build/idris-codegen-node/idris-codegen-node ... 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 ( codegen/idris-codegen-c/Main.hs, dist/build/idris-codegen-c/idris-codegen-c-tmp/Main.o ) [2 of 2] Compiling Paths_idris ( dist/build/idris-codegen-c/autogen/Paths_idris.hs, dist/build/idris-codegen-c/idris-codegen-c-tmp/Paths_idris.o ) Linking dist/build/idris-codegen-c/idris-codegen-c ... Preprocessing executable 'idris' for idris-1.3.4.. Building executable 'idris' for idris-1.3.4.. [1 of 1] Compiling Main ( main/Main.hs, dist/build/idris/idris-tmp/Main.o ) Linking dist/build/idris/idris ... Preprocessing executable 'idris-codegen-javascript' for idris-1.3.4.. Building executable 'idris-codegen-javascript' for idris-1.3.4.. [1 of 2] Compiling Main ( codegen/idris-codegen-javascript/Main.hs, dist/build/idris-codegen-javascript/idris-codegen-javascript-tmp/Main.o ) [2 of 2] Compiling Paths_idris ( dist/build/idris-codegen-javascript/autogen/Paths_idris.hs, dist/build/idris-codegen-javascript/idris-codegen-javascript-tmp/Paths_idris.o ) Linking dist/build/idris-codegen-javascript/idris-codegen-javascript ... Building libraries... gmake: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs' /opt/pkg/bin/gmake -C prelude build gmake[1]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/prelude' /usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../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 gmake[1]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/prelude' /opt/pkg/bin/gmake -C base build gmake[1]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/base' /usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../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 gmake[1]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/base' /opt/pkg/bin/gmake -C contrib build gmake[1]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/contrib' /usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../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 gmake[1]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/contrib' /opt/pkg/bin/gmake -C effects build gmake[1]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/effects' /usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../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 gmake[1]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/effects' /opt/pkg/bin/gmake -C pruviloj build gmake[1]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/pruviloj' /usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../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 gmake[1]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/pruviloj' gmake: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs' gmake: Entering directory '/home/pbulk/build/lang/idris/work/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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 -pipe -fno-aggressive-loop-optimizations -pipe -fno-aggressive-loop-optimizations -D_FORTIFY_SOURCE=2 -I/opt/pkg/include -I/opt/pkg/include/ncurses -I/usr/local/include -DIDRIS_GMP -DIDRIS_TARGET_OS="\"unix\"" -DIDRIS_TARGET_TRIPLE="\"x86_64-sun-solaris2.11\"" -fPIC -I/opt/pkg/include -I/opt/pkg/include/ncurses -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 gmake: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/rts' Preprocessing library for idris-1.3.4.. Running Haddock on library for idris-1.3.4.. 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:81) getIdrisDataDir (src/IRTS/System.hs:37) getIdrisLibDir (src/IRTS/System.hs:88) getIdrisDocDir (src/IRTS/System.hs:90) getIdrisCRTSDir (src/IRTS/System.hs:96) getIdrisJSRTSDir (src/IRTS/System.hs:92) getIncFlags (src/IRTS/System.hs:100) getEnvFlags (src/IRTS/System.hs:67) version (dist/build/autogen/Paths_idris.hs:31) 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: 'normalised' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 38% ( 53 /137) in 'Idris.Core.TT' Missing documentation for: AppStatus (src/Idris/Core/TT.hs:983) ArithTy (src/Idris/Core/TT.hs:681) Const (src/Idris/Core/TT.hs:697) ConstraintFC (src/Idris/Core/TT.hs:945) DataOpts (src/Idris/Core/TT.hs:1107) Datatype (src/Idris/Core/TT.hs:1095) Env (src/Idris/Core/TT.hs:1532) EnvTT (src/Idris/Core/TT.hs:1083) Err (src/Idris/Core/TT.hs:313) ImplicitInfo (src/Idris/Core/TT.hs:827) IntTy (src/Idris/Core/TT.hs:672) NameType (src/Idris/Core/TT.hs:961) NativeTy (src/Idris/Core/TT.hs:663) Provenance (src/Idris/Core/TT.hs:242) Raw (src/Idris/Core/TT.hs:804) RigCount (src/Idris/Core/TT.hs:1058) SpecialName (src/Idris/Core/TT.hs:496) TC (src/Idris/Core/TT.hs:315) Term (src/Idris/Core/TT.hs:1529) TermSize (src/Idris/Core/TT.hs:1012) Type (src/Idris/Core/TT.hs:1530) TypeInfo (src/Idris/Core/TT.hs:1109) UCs (src/Idris/Core/TT.hs:959) Universe (src/Idris/Core/TT.hs:796) addAlist (src/Idris/Core/TT.hs:659) addBinder (src/Idris/Core/TT.hs:1196) addDef (src/Idris/Core/TT.hs:604) allTTNames (src/Idris/Core/TT.hs:1735) caseName (src/Idris/Core/TT.hs:487) deleteDefExact (src/Idris/Core/TT.hs:646) discard (src/Idris/Core/TT.hs:441) emptyContext (src/Idris/Core/TT.hs:579) fmapMB (src/Idris/Core/TT.hs:900) forgetEnv (src/Idris/Core/TT.hs:1418) getRetTy (src/Idris/Core/TT.hs:1469) implicitable (src/Idris/Core/TT.hs:593) internalNS (src/Idris/Core/TT.hs:922) intTyName (src/Idris/Core/TT.hs:675) isTypeConst (src/Idris/Core/TT.hs:730) lookupCtxt (src/Idris/Core/TT.hs:640) lookupCtxtExact (src/Idris/Core/TT.hs:643) mapCtxt (src/Idris/Core/TT.hs:581) nativeTyWidth (src/Idris/Core/TT.hs:691) nextName (src/Idris/Core/TT.hs:1507) nsroot (src/Idris/Core/TT.hs:600) pEraseType (src/Idris/Core/TT.hs:1234) pmap (src/Idris/Core/TT.hs:449) pprintTTClause (src/Idris/Core/TT.hs:1835) prettyEnv (src/Idris/Core/TT.hs:1573) psubst (src/Idris/Core/TT.hs:1282) raw_apply (src/Idris/Core/TT.hs:911) raw_unapply (src/Idris/Core/TT.hs:915) refsIn (src/Idris/Core/TT.hs:1726) safeForget (src/Idris/Core/TT.hs:1415) safeForgetEnv (src/Idris/Core/TT.hs:1424) showCG (src/Idris/Core/TT.hs:550) showEnv (src/Idris/Core/TT.hs:1569) showEnvDbg (src/Idris/Core/TT.hs:1571) showSep (src/Idris/Core/TT.hs:444) sImplementationN (src/Idris/Core/TT.hs:509) sMN (src/Idris/Core/TT.hs:484) sNS (src/Idris/Core/TT.hs:481) str (src/Idris/Core/TT.hs:468) sUN (src/Idris/Core/TT.hs:478) tfail (src/Idris/Core/TT.hs:438) thead (src/Idris/Core/TT.hs:474) tnull (src/Idris/Core/TT.hs:471) toAlist (src/Idris/Core/TT.hs:655) traceWhen (src/Idris/Core/TT.hs:451) txt (src/Idris/Core/TT.hs:465) uniqueBinders (src/Idris/Core/TT.hs:1497) uniqueName (src/Idris/Core/TT.hs:1489) uniqueNameFrom (src/Idris/Core/TT.hs:1483) uniqueNameSet (src/Idris/Core/TT.hs:1493) unList (src/Idris/Core/TT.hs:1383) updateDef (src/Idris/Core/TT.hs:649) rigPlus (src/Idris/Core/TT.hs:1061) rigMult (src/Idris/Core/TT.hs:1072) fstEnv (src/Idris/Core/TT.hs:1085) rigEnv (src/Idris/Core/TT.hs:1086) sndEnv (src/Idris/Core/TT.hs:1087) lookupBinder (src/Idris/Core/TT.hs:1092) envBinders (src/Idris/Core/TT.hs:1089) envZero (src/Idris/Core/TT.hs:1090) 50% ( 1 / 2) in 'Idris.Unlit' Missing documentation for: unlit (src/Idris/Unlit.hs:14) 87% ( 14 / 16) in 'Idris.Docstrings' Missing documentation for: Inline (src/Idris/Docstrings.hs:69) renderHtml (src/Idris/Docstrings.hs:243) 100% ( 2 / 2) in 'Idris.Core.Constraints' 10% ( 2 / 19) in 'Idris.Core.CaseTree' Missing documentation for: CaseDef (src/Idris/Core/CaseTree.hs:41) SC (src/Idris/Core/CaseTree.hs:57) SC' (src/Idris/Core/CaseTree.hs:44) CaseAlt (src/Idris/Core/CaseTree.hs:69) CaseAlt' (src/Idris/Core/CaseTree.hs:59) ErasureInfo (src/Idris/Core/CaseTree.hs:239) Phase (src/Idris/Core/CaseTree.hs:245) CaseTree (src/Idris/Core/CaseTree.hs:101) CaseType (src/Idris/Core/CaseTree.hs:54) simpleCase (src/Idris/Core/CaseTree.hs:253) small (src/Idris/Core/CaseTree.hs:122) namesUsed (src/Idris/Core/CaseTree.hs:127) findCalls' (src/Idris/Core/CaseTree.hs:154) findUsedArgs (src/Idris/Core/CaseTree.hs:209) substSC (src/Idris/Core/CaseTree.hs:824) substAlt (src/Idris/Core/CaseTree.hs:833) mkForce (src/Idris/Core/CaseTree.hs:844) 28% ( 23 / 82) in 'Idris.Core.Evaluate' Missing documentation for: normalise (src/Idris/Core/Evaluate.hs:124) normaliseTrace (src/Idris/Core/Evaluate.hs:127) toValue (src/Idris/Core/Evaluate.hs:132) quoteTerm (src/Idris/Core/Evaluate.hs:136) specialise (src/Idris/Core/Evaluate.hs:141) convEq (src/Idris/Core/Evaluate.hs:613) convEq' (src/Idris/Core/Evaluate.hs:611) CaseInfo (src/Idris/Core/Evaluate.hs:746) CaseDefs (src/Idris/Core/Evaluate.hs:740) Accessibility (src/Idris/Core/Evaluate.hs:785) Injectivity (src/Idris/Core/Evaluate.hs:794) TTDecl (src/Idris/Core/Evaluate.hs:852) MetaInformation (src/Idris/Core/Evaluate.hs:838) next_tvar (src/Idris/Core/Evaluate.hs:848) addToCtxt (src/Idris/Core/Evaluate.hs:868) setAccess (src/Idris/Core/Evaluate.hs:874) setInjective (src/Idris/Core/Evaluate.hs:880) setTotal (src/Idris/Core/Evaluate.hs:886) setRigCount (src/Idris/Core/Evaluate.hs:892) setMetaInformation (src/Idris/Core/Evaluate.hs:898) addCtxtDef (src/Idris/Core/Evaluate.hs:904) addTyDecl (src/Idris/Core/Evaluate.hs:909) addDatatype (src/Idris/Core/Evaluate.hs:915) addCasedef (src/Idris/Core/Evaluate.hs:933) simplifyCasedef (src/Idris/Core/Evaluate.hs:970) addOperator (src/Idris/Core/Evaluate.hs:1026) lookupNames (src/Idris/Core/Evaluate.hs:1035) lookupP (src/Idris/Core/Evaluate.hs:1131) lookupP_all (src/Idris/Core/Evaluate.hs:1134) lookupDef (src/Idris/Core/Evaluate.hs:1155) lookupNameDef (src/Idris/Core/Evaluate.hs:1158) lookupDefExact (src/Idris/Core/Evaluate.hs:1152) lookupDefAcc (src/Idris/Core/Evaluate.hs:1163) lookupDefAccExact (src/Idris/Core/Evaluate.hs:1177) lookupVal (src/Idris/Core/Evaluate.hs:1241) mapDefCtxt (src/Idris/Core/Evaluate.hs:858) tcReducible (src/Idris/Core/Evaluate.hs:1227) lookupTotalAccessibility (src/Idris/Core/Evaluate.hs:1171) lookupTotal (src/Idris/Core/Evaluate.hs:1185) lookupTotalExact (src/Idris/Core/Evaluate.hs:1189) lookupInjectiveExact (src/Idris/Core/Evaluate.hs:1201) lookupRigCount (src/Idris/Core/Evaluate.hs:1193) lookupRigCountExact (src/Idris/Core/Evaluate.hs:1197) lookupNameTotal (src/Idris/Core/Evaluate.hs:1237) lookupMetaInformation (src/Idris/Core/Evaluate.hs:1233) lookupTyEnv (src/Idris/Core/Evaluate.hs:1249) isTCDict (src/Idris/Core/Evaluate.hs:1104) isTConName (src/Idris/Core/Evaluate.hs:1075) isConName (src/Idris/Core/Evaluate.hs:1072) isFnName (src/Idris/Core/Evaluate.hs:1096) conGuarded (src/Idris/Core/Evaluate.hs:1114) Quote (src/Idris/Core/Evaluate.hs:568) initEval (src/Idris/Core/Evaluate.hs:61) uniqueBindersCtxt (src/Idris/Core/Evaluate.hs:1263) definitions (src/Idris/Core/Evaluate.hs:849) visibleDefinitions (src/Idris/Core/Evaluate.hs:1123) isUniverse (src/Idris/Core/Evaluate.hs:602) linearCheck (src/Idris/Core/Evaluate.hs:1206) linearCheckArg (src/Idris/Core/Evaluate.hs:1216) 75% ( 3 / 4) in 'Idris.Core.WHNF' Missing documentation for: WEnv (src/Idris/Core/WHNF.hs:21) 14% ( 1 / 7) in 'Idris.Core.Unify' Missing documentation for: match_unify (src/Idris/Core/Unify.hs:68) unify (src/Idris/Core/Unify.hs:248) Fails (src/Idris/Core/Unify.hs:40) FailContext (src/Idris/Core/Unify.hs:34) FailAt (src/Idris/Core/Unify.hs:31) unrecoverable (src/Idris/Core/Unify.hs:44) 7% ( 1 / 13) in 'Idris.Core.Typecheck' Missing documentation for: convertsC (src/Idris/Core/Typecheck.hs:24) converts (src/Idris/Core/Typecheck.hs:37) isHole (src/Idris/Core/Typecheck.hs:49) errEnv (src/Idris/Core/Typecheck.hs:52) isType (src/Idris/Core/Typecheck.hs:54) convType (src/Idris/Core/Typecheck.hs:59) recheck (src/Idris/Core/Typecheck.hs:67) recheck_borrowing (src/Idris/Core/Typecheck.hs:70) check (src/Idris/Core/Typecheck.hs:81) check' (src/Idris/Core/Typecheck.hs:86) UniqueUse (src/Idris/Core/Typecheck.hs:315) checkUnique (src/Idris/Core/Typecheck.hs:323) 29% ( 5 / 17) in 'Idris.Core.ProofTerm' Missing documentation for: ProofTerm (src/Idris/Core/ProofTerm.hs:98) Goal (src/Idris/Core/ProofTerm.hs:124) mkProofTerm (src/Idris/Core/ProofTerm.hs:128) getProofTerm (src/Idris/Core/ProofTerm.hs:131) resetProofTerm (src/Idris/Core/ProofTerm.hs:134) updateSolved (src/Idris/Core/ProofTerm.hs:271) bound_in (src/Idris/Core/ProofTerm.hs:353) bound_in_term (src/Idris/Core/ProofTerm.hs:356) Hole (src/Idris/Core/ProofTerm.hs:106) RunTactic' (src/Idris/Core/ProofTerm.hs:105) goal (src/Idris/Core/ProofTerm.hs:285) atHole (src/Idris/Core/ProofTerm.hs:307) 100% ( 2 / 2) in 'Idris.Core.DeepSeq' 100% ( 1 / 1) in 'Idris.Core.Binary' 14% ( 2 / 14) in 'Idris.IdeMode' Missing documentation for: parseMessage (src/Idris/IdeMode.hs:321) convSExp (src/Idris/IdeMode.hs:330) WhatDocs (src/Idris/IdeMode.hs:236) IdeModeCommand (src/Idris/IdeMode.hs:238) sexpToCommand (src/Idris/IdeMode.hs:267) toSExp (src/Idris/IdeMode.hs:59) SExp (src/Idris/IdeMode.hs:43) SExpable (src/Idris/IdeMode.hs:58) Opt (src/Idris/IdeMode.hs:234) getLen (src/Idris/IdeMode.hs:37) getNChar (src/Idris/IdeMode.hs:32) sExpToString (src/Idris/IdeMode.hs:50) 3% ( 1 / 32) in 'IRTS.Lang' Missing documentation for: Endianness (src/IRTS/Lang.hs:23) LVar (src/IRTS/Lang.hs:25) LExp (src/IRTS/Lang.hs:30) FDesc (src/IRTS/Lang.hs:50) Export (src/IRTS/Lang.hs:57) ExportIFace (src/IRTS/Lang.hs:64) PrimFn (src/IRTS/Lang.hs:72) FCallType (src/IRTS/Lang.hs:104) FType (src/IRTS/Lang.hs:107) LAlt' (src/IRTS/Lang.hs:119) LAlt (src/IRTS/Lang.hs:124) LDecl (src/IRTS/Lang.hs:126) LDefs (src/IRTS/Lang.hs:130) LOpt (src/IRTS/Lang.hs:132) addTags (src/IRTS/Lang.hs:135) LiftState (src/IRTS/Lang.hs:144) setBaseName (src/IRTS/Lang.hs:149) lname (src/IRTS/Lang.hs:154) getNextName (src/IRTS/Lang.hs:158) renameArgs (src/IRTS/Lang.hs:167) addFn (src/IRTS/Lang.hs:173) makeFn (src/IRTS/Lang.hs:178) liftAll (src/IRTS/Lang.hs:191) liftDef (src/IRTS/Lang.hs:196) lift (src/IRTS/Lang.hs:203) allocUnique (src/IRTS/Lang.hs:255) usedArg (src/IRTS/Lang.hs:318) usedIn (src/IRTS/Lang.hs:321) lsubst (src/IRTS/Lang.hs:342) rename (src/IRTS/Lang.hs:366) occName (src/IRTS/Lang.hs:459) 33% ( 1 / 3) in 'Idris.Primitives' Missing documentation for: primitives (src/Idris/Primitives.hs:37) Prim (src/Idris/Primitives.hs:21) 50% ( 1 / 2) in 'IRTS.LangOpts' Missing documentation for: inlineAll (src/IRTS/LangOpts.hs:18) 14% ( 1 / 7) in 'IRTS.JavaScript.Specialize' Missing documentation for: SCtor (src/IRTS/JavaScript/Specialize.hs:41) STest (src/IRTS/JavaScript/Specialize.hs:43) SProj (src/IRTS/JavaScript/Specialize.hs:45) specialCased (src/IRTS/JavaScript/Specialize.hs:77) specialCall (src/IRTS/JavaScript/Specialize.hs:108) qualifyN (src/IRTS/JavaScript/Specialize.hs:37) 16% ( 1 / 6) in 'IRTS.JavaScript.PrimOp' Missing documentation for: PrimF (src/IRTS/JavaScript/PrimOp.hs:26) PrimDec (src/IRTS/JavaScript/PrimOp.hs:27) JsPrimTy (src/IRTS/JavaScript/PrimOp.hs:24) primDB (src/IRTS/JavaScript/PrimOp.hs:29) jsPrimCoerce (src/IRTS/JavaScript/PrimOp.hs:244) 11% ( 1 / 9) in 'IRTS.JavaScript.Name' Missing documentation for: jsName (src/IRTS/JavaScript/Name.hs:35) jsNameGenerated (src/IRTS/JavaScript/Name.hs:39) Partial (src/IRTS/JavaScript/Name.hs:42) jsNamePartial (src/IRTS/JavaScript/Name.hs:44) jsTailCallOptimName (src/IRTS/JavaScript/Name.hs:47) HiddenClass (src/IRTS/JavaScript/Name.hs:51) jsNameHiddenClass (src/IRTS/JavaScript/Name.hs:53) dataPartName (src/IRTS/JavaScript/Name.hs:56) 33% ( 1 / 3) in 'IRTS.JavaScript.LangTransforms' Missing documentation for: removeDeadCode (src/IRTS/JavaScript/LangTransforms.hs:82) globlToCon (src/IRTS/JavaScript/LangTransforms.hs:90) 12% ( 3 / 24) in 'IRTS.Defunctionalise' Missing documentation for: EvalApply (src/IRTS/Defunctionalise.hs:169) DDefs (src/IRTS/Defunctionalise.hs:61) DDecl (src/IRTS/Defunctionalise.hs:57) DAlt (src/IRTS/Defunctionalise.hs:52) DExp (src/IRTS/Defunctionalise.hs:36) defunctionalise (src/IRTS/Defunctionalise.hs:63) getFn (src/IRTS/Defunctionalise.hs:79) addApps (src/IRTS/Defunctionalise.hs:84) eEVAL (src/IRTS/Defunctionalise.hs:167) toCons (src/IRTS/Defunctionalise.hs:176) toConsA (src/IRTS/Defunctionalise.hs:188) mkApplyCase (src/IRTS/Defunctionalise.hs:199) mkEval (src/IRTS/Defunctionalise.hs:216) mkApply (src/IRTS/Defunctionalise.hs:225) mkApply2 (src/IRTS/Defunctionalise.hs:238) declare (src/IRTS/Defunctionalise.hs:258) genArgs (src/IRTS/Defunctionalise.hs:264) mkFnCon (src/IRTS/Defunctionalise.hs:266) mkUnderCon (src/IRTS/Defunctionalise.hs:267) groupsOf (src/IRTS/Defunctionalise.hs:308) dumpDefuns (src/IRTS/Defunctionalise.hs:320) 20% ( 1 / 5) in 'IRTS.Simplified' Missing documentation for: simplifyDefs (src/IRTS/Simplified.hs:120) SDecl (src/IRTS/Simplified.hs:40) SExp (src/IRTS/Simplified.hs:17) SAlt (src/IRTS/Simplified.hs:35) 25% ( 1 / 4) in 'IRTS.Inliner' Missing documentation for: inline (src/IRTS/Inliner.hs:13) inl (src/IRTS/Inliner.hs:18) evalD (src/IRTS/Inliner.hs:25) 40% ( 2 / 5) in 'IRTS.CodegenCommon' Missing documentation for: DbgLevel (src/IRTS/CodegenCommon.hs:18) OutputType (src/IRTS/CodegenCommon.hs:19) CodeGenerator (src/IRTS/CodegenCommon.hs:46) 9% ( 4 / 43) in 'Idris.Options' Missing documentation for: Codegen (src/Idris/Options.hs:105) HowMuchDocs (src/Idris/Options.hs:124) IRFormat (src/Idris/Options.hs:115) LanguageExt (src/Idris/Options.hs:110) Opt (src/Idris/Options.hs:25) Optimisation (src/Idris/Options.hs:128) OutputFmt (src/Idris/Options.hs:126) REPLPort (src/Idris/Options.hs:101) codegenCats (src/Idris/Options.hs:150) elabCats (src/Idris/Options.hs:156) getBC (src/Idris/Options.hs:173) getClient (src/Idris/Options.hs:280) getCodegen (src/Idris/Options.hs:227) getCodegenArgs (src/Idris/Options.hs:231) getColour (src/Idris/Options.hs:276) getConsoleWidth (src/Idris/Options.hs:235) getEvalExpr (src/Idris/Options.hs:247) getExecScript (src/Idris/Options.hs:239) getFile (src/Idris/Options.hs:169) getIBCSubDir (src/Idris/Options.hs:181) getImportDir (src/Idris/Options.hs:185) getLanguageExt (src/Idris/Options.hs:255) getOptLevel (src/Idris/Options.hs:267) getOptimisation (src/Idris/Options.hs:271) getOutput (src/Idris/Options.hs:177) getOutputTy (src/Idris/Options.hs:251) getPkg (src/Idris/Options.hs:197) getPkgCheck (src/Idris/Options.hs:210) getPkgClean (src/Idris/Options.hs:202) getPkgDir (src/Idris/Options.hs:193) getPkgIndex (src/Idris/Options.hs:243) getPkgREPL (src/Idris/Options.hs:206) getPkgTest (src/Idris/Options.hs:222) getPort (src/Idris/Options.hs:285) getSourceDir (src/Idris/Options.hs:189) loggingCatsStr (src/Idris/Options.hs:159) opt (src/Idris/Options.hs:290) parserCats (src/Idris/Options.hs:153) strLogCat (src/Idris/Options.hs:142) 7% ( 1 / 14) in 'IRTS.Bytecode' Missing documentation for: Reg (src/IRTS/Bytecode.hs:30) BC (src/IRTS/Bytecode.hs:33) toBC (src/IRTS/Bytecode.hs:115) clean (src/IRTS/Bytecode.hs:121) bc (src/IRTS/Bytecode.hs:124) isConst (src/IRTS/Bytecode.hs:164) moveReg (src/IRTS/Bytecode.hs:169) assign (src/IRTS/Bytecode.hs:172) conCase (src/IRTS/Bytecode.hs:175) constCase (src/IRTS/Bytecode.hs:178) caseAlt (src/IRTS/Bytecode.hs:181) constAlt (src/IRTS/Bytecode.hs:185) defaultAlt (src/IRTS/Bytecode.hs:189) 50% ( 1 / 2) in 'IRTS.Portable' Missing documentation for: writePortable (src/IRTS/Portable.hs:33) 11% ( 1 / 9) in 'IRTS.DumpBC' Missing documentation for: interMap (src/IRTS/DumpBC.hs:16) indent (src/IRTS/DumpBC.hs:19) serializeReg (src/IRTS/DumpBC.hs:22) serializeCase (src/IRTS/DumpBC.hs:27) serializeDefault (src/IRTS/DumpBC.hs:31) serializeBC (src/IRTS/DumpBC.hs:35) serialize (src/IRTS/DumpBC.hs:76) dumpBC (src/IRTS/DumpBC.hs:84) Warning: 'auto' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 7% ( 1 / 14) in 'Idris.Core.ProofState' Missing documentation for: ProofState (src/Idris/Core/ProofState.hs:38) newProof (src/Idris/Core/ProofState.hs:323) envAtFocus (src/Idris/Core/ProofState.hs:342) goalAtFocus (src/Idris/Core/ProofState.hs:348) Tactic (src/Idris/Core/ProofState.hs:70) Goal (src/Idris/Core/ProofTerm.hs:124) processTactic (src/Idris/Core/ProofState.hs:944) nowElaboratingPS (src/Idris/Core/ProofState.hs:288) doneElaboratingAppPS (src/Idris/Core/ProofState.hs:296) doneElaboratingArgPS (src/Idris/Core/ProofState.hs:301) dropGiven (src/Idris/Core/ProofState.hs:807) keepGiven (src/Idris/Core/ProofState.hs:817) getProvenance (src/Idris/Core/ProofState.hs:859) 19% ( 26 /131) in 'Idris.Core.Elaborate' Missing documentation for: Elab (src/Idris/Core/Elaborate.hs:34) Elab' (src/Idris/Core/Elaborate.hs:33) ElabState (src/Idris/Core/Elaborate.hs:30) proof (src/Idris/Core/Elaborate.hs:36) proofFail (src/Idris/Core/Elaborate.hs:41) explicit (src/Idris/Core/Elaborate.hs:48) addPSname (src/Idris/Core/Elaborate.hs:56) getPSnames (src/Idris/Core/Elaborate.hs:63) saveState (src/Idris/Core/Elaborate.hs:67) loadState (src/Idris/Core/Elaborate.hs:71) getNameFrom (src/Idris/Core/Elaborate.hs:77) setNextName (src/Idris/Core/Elaborate.hs:91) initNextNameFrom (src/Idris/Core/Elaborate.hs:97) errAt (src/Idris/Core/Elaborate.hs:121) erunAux (src/Idris/Core/Elaborate.hs:125) erun (src/Idris/Core/Elaborate.hs:137) runElab (src/Idris/Core/Elaborate.hs:141) execElab (src/Idris/Core/Elaborate.hs:144) initElaborator (src/Idris/Core/Elaborate.hs:147) elaborate (src/Idris/Core/Elaborate.hs:156) getUnifyLog (src/Idris/Core/Elaborate.hs:177) updatePS (src/Idris/Core/Elaborate.hs:188) now_elaborating (src/Idris/Core/Elaborate.hs:192) done_elaborating_app (src/Idris/Core/Elaborate.hs:194) done_elaborating_arg (src/Idris/Core/Elaborate.hs:196) elaborating_app (src/Idris/Core/Elaborate.hs:198) get_datatypes (src/Idris/Core/Elaborate.hs:217) set_datatypes (src/Idris/Core/Elaborate.hs:221) get_global_nextname (src/Idris/Core/Elaborate.hs:225) set_global_nextname (src/Idris/Core/Elaborate.hs:229) get_inj (src/Idris/Core/Elaborate.hs:249) get_holes (src/Idris/Core/Elaborate.hs:253) get_usedns (src/Idris/Core/Elaborate.hs:257) get_probs (src/Idris/Core/Elaborate.hs:264) is_guess (src/Idris/Core/Elaborate.hs:281) get_type_val (src/Idris/Core/Elaborate.hs:303) checkInjective (src/Idris/Core/Elaborate.hs:314) unique_hole' (src/Idris/Core/Elaborate.hs:340) elog (src/Idris/Core/Elaborate.hs:354) getLog (src/Idris/Core/Elaborate.hs:358) attack (src/Idris/Core/Elaborate.hs:364) claim (src/Idris/Core/Elaborate.hs:367) claimFn (src/Idris/Core/Elaborate.hs:370) unifyGoal (src/Idris/Core/Elaborate.hs:373) unifyTerms (src/Idris/Core/Elaborate.hs:376) exact (src/Idris/Core/Elaborate.hs:379) fill (src/Idris/Core/Elaborate.hs:382) match_fill (src/Idris/Core/Elaborate.hs:385) prep_fill (src/Idris/Core/Elaborate.hs:388) complete_fill (src/Idris/Core/Elaborate.hs:391) solve (src/Idris/Core/Elaborate.hs:394) start_unify (src/Idris/Core/Elaborate.hs:397) end_unify (src/Idris/Core/Elaborate.hs:400) unify_all (src/Idris/Core/Elaborate.hs:404) regret (src/Idris/Core/Elaborate.hs:407) compute (src/Idris/Core/Elaborate.hs:410) computeLet (src/Idris/Core/Elaborate.hs:413) simplify (src/Idris/Core/Elaborate.hs:416) whnf_compute (src/Idris/Core/Elaborate.hs:419) whnf_compute_args (src/Idris/Core/Elaborate.hs:422) eval_in (src/Idris/Core/Elaborate.hs:425) check_in (src/Idris/Core/Elaborate.hs:428) intro (src/Idris/Core/Elaborate.hs:431) introTy (src/Idris/Core/Elaborate.hs:434) forAll (src/Idris/Core/Elaborate.hs:437) letbind (src/Idris/Core/Elaborate.hs:440) expandLet (src/Idris/Core/Elaborate.hs:443) rewrite (src/Idris/Core/Elaborate.hs:446) equiv (src/Idris/Core/Elaborate.hs:449) patbind (src/Idris/Core/Elaborate.hs:474) focus (src/Idris/Core/Elaborate.hs:477) movelast (src/Idris/Core/Elaborate.hs:480) dotterm (src/Idris/Core/Elaborate.hs:483) get_dotterm (src/Idris/Core/Elaborate.hs:507) matchProblems (src/Idris/Core/Elaborate.hs:518) unifyProblems (src/Idris/Core/Elaborate.hs:521) defer (src/Idris/Core/Elaborate.hs:524) deferType (src/Idris/Core/Elaborate.hs:530) implementationArg (src/Idris/Core/Elaborate.hs:533) autoArg (src/Idris/Core/Elaborate.hs:536) setinj (src/Idris/Core/Elaborate.hs:539) proofstate (src/Idris/Core/Elaborate.hs:542) reorder_claims (src/Idris/Core/Elaborate.hs:545) qed (src/Idris/Core/Elaborate.hs:548) undo (src/Idris/Core/Elaborate.hs:553) apply' (src/Idris/Core/Elaborate.hs:626) apply2 (src/Idris/Core/Elaborate.hs:662) apply_elab (src/Idris/Core/Elaborate.hs:678) checkPiGoal (src/Idris/Core/Elaborate.hs:720) simple_app (src/Idris/Core/Elaborate.hs:739) infer_app (src/Idris/Core/Elaborate.hs:744) dep_app (src/Idris/Core/Elaborate.hs:777) arg (src/Idris/Core/Elaborate.hs:822) no_errors (src/Idris/Core/Elaborate.hs:829) try (src/Idris/Core/Elaborate.hs:854) handleError (src/Idris/Core/Elaborate.hs:857) try' (src/Idris/Core/Elaborate.hs:870) tryCatch (src/Idris/Core/Elaborate.hs:897) tryWhen (src/Idris/Core/Elaborate.hs:912) tryAll (src/Idris/Core/Elaborate.hs:918) tryAll' (src/Idris/Core/Elaborate.hs:921) prunStateT (src/Idris/Core/Elaborate.hs:955) debugElaborator (src/Idris/Core/Elaborate.hs:981) qshow (src/Idris/Core/Elaborate.hs:994) dumpprobs (src/Idris/Core/Elaborate.hs:997) Warning: 'with' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 24% ( 41 /166) in 'Idris.AbsSyntaxTree' Missing documentation for: ElabWhat (src/Idris/AbsSyntaxTree.hs:54) toplevel (src/Idris/AbsSyntaxTree.hs:78) toplevelWith (src/Idris/AbsSyntaxTree.hs:81) eInfoNames (src/Idris/AbsSyntaxTree.hs:84) IOption (src/Idris/AbsSyntaxTree.hs:87) defaultOpts (src/Idris/AbsSyntaxTree.hs:117) PPOption (src/Idris/AbsSyntaxTree.hs:147) defaultOptimise (src/Idris/AbsSyntaxTree.hs:157) SizeChange (src/Idris/AbsSyntaxTree.hs:318) SCGEntry (src/Idris/AbsSyntaxTree.hs:324) UsageReason (src/Idris/AbsSyntaxTree.hs:325) CGInfo (src/Idris/AbsSyntaxTree.hs:327) primDefs (src/Idris/AbsSyntaxTree.hs:337) IBCWrite (src/Idris/AbsSyntaxTree.hs:347) initialInteractiveOpts (src/Idris/AbsSyntaxTree.hs:398) catchError (src/Idris/AbsSyntaxTree.hs:428) throwError (src/Idris/AbsSyntaxTree.hs:431) ElabShellCmd (src/Idris/AbsSyntaxTree.hs:439) Fixity (src/Idris/AbsSyntaxTree.hs:455) FixDecl (src/Idris/AbsSyntaxTree.hs:470) Plicity (src/Idris/AbsSyntaxTree.hs:491) is_scoped (src/Idris/AbsSyntaxTree.hs:518) impl (src/Idris/AbsSyntaxTree.hs:523) impl_gen (src/Idris/AbsSyntaxTree.hs:526) forall_imp (src/Idris/AbsSyntaxTree.hs:530) forall_constraint (src/Idris/AbsSyntaxTree.hs:532) expl (src/Idris/AbsSyntaxTree.hs:535) expl_param (src/Idris/AbsSyntaxTree.hs:537) expl_linear (src/Idris/AbsSyntaxTree.hs:539) constraint (src/Idris/AbsSyntaxTree.hs:542) tacimpl (src/Idris/AbsSyntaxTree.hs:545) FnOpt (src/Idris/AbsSyntaxTree.hs:548) FnOpts (src/Idris/AbsSyntaxTree.hs:574) inlinable (src/Idris/AbsSyntaxTree.hs:576) dictionary (src/Idris/AbsSyntaxTree.hs:579) ProvideWhat (src/Idris/AbsSyntaxTree.hs:588) initEState (src/Idris/AbsSyntaxTree.hs:719) ElabD (src/Idris/AbsSyntaxTree.hs:722) highlightSource (src/Idris/AbsSyntaxTree.hs:724) PDecl (src/Idris/AbsSyntaxTree.hs:779) PData (src/Idris/AbsSyntaxTree.hs:780) PClause (src/Idris/AbsSyntaxTree.hs:781) tldeclared (src/Idris/AbsSyntaxTree.hs:881) defined (src/Idris/AbsSyntaxTree.hs:900) updateN (src/Idris/AbsSyntaxTree.hs:924) updateNs (src/Idris/AbsSyntaxTree.hs:928) PunInfo (src/Idris/AbsSyntaxTree.hs:934) PAltType (src/Idris/AbsSyntaxTree.hs:1005) mapPT (src/Idris/AbsSyntaxTree.hs:1071) PTactic' (src/Idris/AbsSyntaxTree.hs:1097) PTactic (src/Idris/AbsSyntaxTree.hs:1164) PDo' (src/Idris/AbsSyntaxTree.hs:1166) PDo (src/Idris/AbsSyntaxTree.hs:1185) PArg' (src/Idris/AbsSyntaxTree.hs:1191) ArgOpt (src/Idris/AbsSyntaxTree.hs:1215) pimp (src/Idris/AbsSyntaxTree.hs:1231) pexp (src/Idris/AbsSyntaxTree.hs:1232) pconst (src/Idris/AbsSyntaxTree.hs:1233) ptacimp (src/Idris/AbsSyntaxTree.hs:1234) PArg (src/Idris/AbsSyntaxTree.hs:1236) InterfaceInfo (src/Idris/AbsSyntaxTree.hs:1300) RecordInfo (src/Idris/AbsSyntaxTree.hs:1316) TIData (src/Idris/AbsSyntaxTree.hs:1324) OptInfo (src/Idris/AbsSyntaxTree.hs:1335) DSL (src/Idris/AbsSyntaxTree.hs:1360) SynContext (src/Idris/AbsSyntaxTree.hs:1362) Syntax (src/Idris/AbsSyntaxTree.hs:1370) syntaxNames (src/Idris/AbsSyntaxTree.hs:1374) syntaxSymbols (src/Idris/AbsSyntaxTree.hs:1382) SSymbol (src/Idris/AbsSyntaxTree.hs:1389) SyntaxRules (src/Idris/AbsSyntaxTree.hs:1401) emptySyntaxRules (src/Idris/AbsSyntaxTree.hs:1404) updateSyntaxRules (src/Idris/AbsSyntaxTree.hs:1407) initDSL (src/Idris/AbsSyntaxTree.hs:1442) Using (src/Idris/AbsSyntaxTree.hs:1453) SyntaxInfo (src/Idris/AbsSyntaxTree.hs:1460) defaultSyntax (src/Idris/AbsSyntaxTree.hs:1483) expandNS (src/Idris/AbsSyntaxTree.hs:1485) bi (src/Idris/AbsSyntaxTree.hs:1494) primfc (src/Idris/AbsSyntaxTree.hs:1495) inferTy (src/Idris/AbsSyntaxTree.hs:1497) inferCon (src/Idris/AbsSyntaxTree.hs:1498) inferDecl (src/Idris/AbsSyntaxTree.hs:1499) inferOpts (src/Idris/AbsSyntaxTree.hs:1504) infTerm (src/Idris/AbsSyntaxTree.hs:1506) infP (src/Idris/AbsSyntaxTree.hs:1507) getInferTerm (src/Idris/AbsSyntaxTree.hs:1509) getInferType (src/Idris/AbsSyntaxTree.hs:1509) primNames (src/Idris/AbsSyntaxTree.hs:1524) unitTy (src/Idris/AbsSyntaxTree.hs:1526) unitCon (src/Idris/AbsSyntaxTree.hs:1527) falseDoc (src/Idris/AbsSyntaxTree.hs:1529) falseTy (src/Idris/AbsSyntaxTree.hs:1534) pairTy (src/Idris/AbsSyntaxTree.hs:1536) pairCon (src/Idris/AbsSyntaxTree.hs:1537) upairTy (src/Idris/AbsSyntaxTree.hs:1539) upairCon (src/Idris/AbsSyntaxTree.hs:1540) eqTy (src/Idris/AbsSyntaxTree.hs:1542) eqCon (src/Idris/AbsSyntaxTree.hs:1543) eqDoc (src/Idris/AbsSyntaxTree.hs:1544) eqDecl (src/Idris/AbsSyntaxTree.hs:1556) eqParamDoc (src/Idris/AbsSyntaxTree.hs:1573) eqOpts (src/Idris/AbsSyntaxTree.hs:1578) sigmaTy (src/Idris/AbsSyntaxTree.hs:1587) sigmaCon (src/Idris/AbsSyntaxTree.hs:1588) piBind (src/Idris/AbsSyntaxTree.hs:1590) piBindp (src/Idris/AbsSyntaxTree.hs:1593) isPostulateName (src/Idris/AbsSyntaxTree.hs:1657) showCImp (src/Idris/AbsSyntaxTree.hs:2125) showDImp (src/Idris/AbsSyntaxTree.hs:2140) showDecls (src/Idris/AbsSyntaxTree.hs:2145) showDeclImp (src/Idris/AbsSyntaxTree.hs:2148) getImps (src/Idris/AbsSyntaxTree.hs:2164) getExps (src/Idris/AbsSyntaxTree.hs:2169) getShowArgs (src/Idris/AbsSyntaxTree.hs:2174) getConsts (src/Idris/AbsSyntaxTree.hs:2182) getAll (src/Idris/AbsSyntaxTree.hs:2187) showTm (src/Idris/AbsSyntaxTree.hs:2219) getPArity (src/Idris/AbsSyntaxTree.hs:2268) allNamesIn (src/Idris/AbsSyntaxTree.hs:2274) boundNamesIn (src/Idris/AbsSyntaxTree.hs:2324) implicitNamesIn (src/Idris/AbsSyntaxTree.hs:2359) namesIn (src/Idris/AbsSyntaxTree.hs:2419) usedNamesIn (src/Idris/AbsSyntaxTree.hs:2457) getErasureInfo (src/Idris/AbsSyntaxTree.hs:2491) 100% ( 2 / 2) in 'Idris.DeepSeq' 52% ( 9 / 17) in 'Idris.ASTUtils' Missing documentation for: Field (src/Idris/ASTUtils.hs:59) cg_usedpos (src/Idris/ASTUtils.hs:139) fgetState (src/Idris/ASTUtils.hs:71) fmodifyState (src/Idris/ASTUtils.hs:77) fputState (src/Idris/ASTUtils.hs:74) known_interfaces (src/Idris/ASTUtils.hs:156) opt_detaggable (src/Idris/ASTUtils.hs:124) opt_forceable (src/Idris/ASTUtils.hs:127) 50% ( 1 / 2) in 'Util.ScreenSize' Missing documentation for: getScreenWidth (src/Util/ScreenSize.hs:12) 46% ( 6 / 13) in 'Util.System' Missing documentation for: withTempdir (src/Util/System.hs:107) rmFile (src/Util/System.hs:119) catchIO (src/Util/System.hs:48) isDarwin (src/Util/System.hs:54) isWindows (src/Util/System.hs:51) setupBundledCC (src/Util/System.hs:130) isATTY (src/Util/System.hs:87) Warning: 'static' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 14% ( 32 /220) in 'Idris.AbsSyntax' Missing documentation for: EitherErr (src/Idris/AbsSyntax.hs:2268) getContext (src/Idris/AbsSyntax.hs:48) forCodegen (src/Idris/AbsSyntax.hs:51) getObjectFiles (src/Idris/AbsSyntax.hs:58) addObjectFile (src/Idris/AbsSyntax.hs:61) getLibs (src/Idris/AbsSyntax.hs:64) addLib (src/Idris/AbsSyntax.hs:67) getFlags (src/Idris/AbsSyntax.hs:70) addFlag (src/Idris/AbsSyntax.hs:73) addDyLib (src/Idris/AbsSyntax.hs:76) getAutoImports (src/Idris 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 | ^^^^^^^^^^^^^^^^ /AbsSyntax.hs:96) addAutoImport (src/Idris/AbsSyntax.hs:100) addDefinedName (src/Idris/AbsSyntax.hs:106) getDefinedNames (src/Idris/AbsSyntax.hs:110) addTT (src/Idris/AbsSyntax.hs:114) dumpTT (src/Idris/AbsSyntax.hs:124) addHdr (src/Idris/AbsSyntax.hs:133) addImported (src/Idris/AbsSyntax.hs:136) addLangExt (src/Idris/AbsSyntax.hs:141) dropLangExt (src/Idris/AbsSyntax.hs:147) addErasureUsage (src/Idris/AbsSyntax.hs:176) addExport (src/Idris/AbsSyntax.hs:180) addUsedName (src/Idris/AbsSyntax.hs:184) getErasureUsage (src/Idris/AbsSyntax.hs:196) getExports (src/Idris/AbsSyntax.hs:200) totcheck (src/Idris/AbsSyntax.hs:204) defer_totcheck (src/Idris/AbsSyntax.hs:207) clear_totcheck (src/Idris/AbsSyntax.hs:212) setFlags (src/Idris/AbsSyntax.hs:215) addFnOpt (src/Idris/AbsSyntax.hs:218) setFnInfo (src/Idris/AbsSyntax.hs:225) setAccessibility (src/Idris/AbsSyntax.hs:228) setTotality (src/Idris/AbsSyntax.hs:239) setInjectivity (src/Idris/AbsSyntax.hs:245) getTotality (src/Idris/AbsSyntax.hs:251) getCoercionsTo (src/Idris/AbsSyntax.hs:259) addToCG (src/Idris/AbsSyntax.hs:272) addCalls (src/Idris/AbsSyntax.hs:277) addTyInferred (src/Idris/AbsSyntax.hs:285) addTyInfConstraints (src/Idris/AbsSyntax.hs:291) isTyInferred (src/Idris/AbsSyntax.hs:347) getCGAllNames (src/Idris/AbsSyntax.hs:376) addCGAllNames (src/Idris/AbsSyntax.hs:381) allNames (src/Idris/AbsSyntax.hs:387) addCoercion (src/Idris/AbsSyntax.hs:400) addDocStr (src/Idris/AbsSyntax.hs:404) addNameHint (src/Idris/AbsSyntax.hs:409) getNameHints (src/Idris/AbsSyntax.hs:421) addDeprecated (src/Idris/AbsSyntax.hs:428) getDeprecated (src/Idris/AbsSyntax.hs:433) addFragile (src/Idris/AbsSyntax.hs:438) getFragile (src/Idris/AbsSyntax.hs:443) push_estack (src/Idris/AbsSyntax.hs:448) pop_estack (src/Idris/AbsSyntax.hs:453) setOpenImpl (src/Idris/AbsSyntax.hs:510) getOpenImpl (src/Idris/AbsSyntax.hs:514) addInterface (src/Idris/AbsSyntax.hs:518) updateIMethods (src/Idris/AbsSyntax.hs:527) addRecord (src/Idris/AbsSyntax.hs:541) addAutoHint (src/Idris/AbsSyntax.hs:545) getAutoHints (src/Idris/AbsSyntax.hs:556) addIBC (src/Idris/AbsSyntax.hs:562) clearIBC (src/Idris/AbsSyntax.hs:572) resetNameIdx (src/Idris/AbsSyntax.hs:576) addNameIdx' (src/Idris/AbsSyntax.hs:587) getSymbol (src/Idris/AbsSyntax.hs:595) getHdrs (src/Idris/AbsSyntax.hs:603) getImported (src/Idris/AbsSyntax.hs:606) setErrSpan (src/Idris/AbsSyntax.hs:609) clearErr (src/Idris/AbsSyntax.hs:615) getSO (src/Idris/AbsSyntax.hs:619) setSO (src/Idris/AbsSyntax.hs:623) getIState (src/Idris/AbsSyntax.hs:627) putIState (src/Idris/AbsSyntax.hs:630) updateIState (src/Idris/AbsSyntax.hs:633) withContext (src/Idris/AbsSyntax.hs:637) withContext_ (src/Idris/AbsSyntax.hs:644) getName (src/Idris/AbsSyntax.hs:656) getInternalApp (src/Idris/AbsSyntax.hs:676) checkUndefined (src/Idris/AbsSyntax.hs:712) isUndefined (src/Idris/AbsSyntax.hs:720) setContext (src/Idris/AbsSyntax.hs:727) updateContext (src/Idris/AbsSyntax.hs:730) addConstraints (src/Idris/AbsSyntax.hs:733) addDeferred (src/Idris/AbsSyntax.hs:749) addDeferredTyCon (src/Idris/AbsSyntax.hs:750) solveDeferred (src/Idris/AbsSyntax.hs:780) getUndefined (src/Idris/AbsSyntax.hs:795) isMetavarName (src/Idris/AbsSyntax.hs:799) getWidth (src/Idris/AbsSyntax.hs:805) setWidth (src/Idris/AbsSyntax.hs:808) setDepth (src/Idris/AbsSyntax.hs:812) typeDescription (src/Idris/AbsSyntax.hs:816) type1Doc (src/Idris/AbsSyntax.hs:820) isetPrompt (src/Idris/AbsSyntax.hs:824) setLogLevel (src/Idris/AbsSyntax.hs:841) setLogCats (src/Idris/AbsSyntax.hs:847) setCmdLine (src/Idris/AbsSyntax.hs:854) getCmdLine (src/Idris/AbsSyntax.hs:859) getDumpHighlighting (src/Idris/AbsSyntax.hs:863) getDumpDefun (src/Idris/AbsSyntax.hs:868) getDumpCases (src/Idris/AbsSyntax.hs:875) logLevel (src/Idris/AbsSyntax.hs:882) setAutoImpls (src/Idris/AbsSyntax.hs:886) getAutoImpls (src/Idris/AbsSyntax.hs:892) setErrContext (src/Idris/AbsSyntax.hs:896) errContext (src/Idris/AbsSyntax.hs:902) getOptimise (src/Idris/AbsSyntax.hs:906) setOptimise (src/Idris/AbsSyntax.hs:910) addOptimise (src/Idris/AbsSyntax.hs:916) removeOptimise (src/Idris/AbsSyntax.hs:920) useREPL (src/Idris/AbsSyntax.hs:932) setREPL (src/Idris/AbsSyntax.hs:936) showOrigErr (src/Idris/AbsSyntax.hs:942) setShowOrigErr (src/Idris/AbsSyntax.hs:946) setAutoSolve (src/Idris/AbsSyntax.hs:952) setNoBanner (src/Idris/AbsSyntax.hs:958) getNoBanner (src/Idris/AbsSyntax.hs:964) setEvalTypes (src/Idris/AbsSyntax.hs:969) getDesugarNats (src/Idris/AbsSyntax.hs:975) setDesugarNats (src/Idris/AbsSyntax.hs:981) setQuiet (src/Idris/AbsSyntax.hs:987) getQuiet (src/Idris/AbsSyntax.hs:993) setCodegen (src/Idris/AbsSyntax.hs:998) codegen (src/Idris/AbsSyntax.hs:1004) setOutputTy (src/Idris/AbsSyntax.hs:1009) outputTy (src/Idris/AbsSyntax.hs:1015) setIdeMode (src/Idris/AbsSyntax.hs:1019) setTargetTriple (src/Idris/AbsSyntax.hs:1026) targetTriple (src/Idris/AbsSyntax.hs:1032) setTargetCPU (src/Idris/AbsSyntax.hs:1036) targetCPU (src/Idris/AbsSyntax.hs:1042) verbose (src/Idris/AbsSyntax.hs:1046) setVerbose (src/Idris/AbsSyntax.hs:1055) iReport (src/Idris/AbsSyntax.hs:1062) typeInType (src/Idris/AbsSyntax.hs:1072) setTypeInType (src/Idris/AbsSyntax.hs:1076) coverage (src/Idris/AbsSyntax.hs:1082) setCoverage (src/Idris/AbsSyntax.hs:1086) setIBCSubDir (src/Idris/AbsSyntax.hs:1092) valIBCSubDir (src/Idris/AbsSyntax.hs:1098) addImportDir (src/Idris/AbsSyntax.hs:1101) setImportDirs (src/Idris/AbsSyntax.hs:1107) allImportDirs (src/Idris/AbsSyntax.hs:1113) rankedImportDirs (src/Idris/AbsSyntax.hs:1121) addSourceDir (src/Idris/AbsSyntax.hs:1126) setSourceDirs (src/Idris/AbsSyntax.hs:1132) allSourceDirs (src/Idris/AbsSyntax.hs:1138) colourise (src/Idris/AbsSyntax.hs:1143) setColourise (src/Idris/AbsSyntax.hs:1147) impShow (src/Idris/AbsSyntax.hs:1151) setImpShow (src/Idris/AbsSyntax.hs:1155) setColour (src/Idris/AbsSyntax.hs:1161) logLvl (src/Idris/AbsSyntax.hs:1174) logCoverage (src/Idris/AbsSyntax.hs:1177) logErasure (src/Idris/AbsSyntax.hs:1180) logIBC (src/Idris/AbsSyntax.hs:1195) cmdOptType (src/Idris/AbsSyntax.hs:1223) noErrors (src/Idris/AbsSyntax.hs:1227) setTypeCase (src/Idris/AbsSyntax.hs:1233) getIndentWith (src/Idris/AbsSyntax.hs:1239) setIndentWith (src/Idris/AbsSyntax.hs:1244) getIndentClause (src/Idris/AbsSyntax.hs:1251) setIndentClause (src/Idris/AbsSyntax.hs:1256) expandParams (src/Idris/AbsSyntax.hs:1265) expandParamsD (src/Idris/AbsSyntax.hs:1361) mapsnd (src/Idris/AbsSyntax.hs:1462) expandImplementationScope (src/Idris/AbsSyntax.hs:1464) addStatics (src/Idris/AbsSyntax.hs:1477) addToUsing (src/Idris/AbsSyntax.hs:1553) addUsingConstraints (src/Idris/AbsSyntax.hs:1563) getUnboundImplicits (src/Idris/AbsSyntax.hs:1645) implicit (src/Idris/AbsSyntax.hs:1687) implicit' (src/Idris/AbsSyntax.hs:1690) addImplBound (src/Idris/AbsSyntax.hs:1831) addImplBoundInf (src/Idris/AbsSyntax.hs:1834) addImpl' (src/Idris/AbsSyntax.hs:1847) aiFn (src/Idris/AbsSyntax.hs:1978) expArg (src/Idris/AbsSyntax.hs:2123) stripLinear (src/Idris/AbsSyntax.hs:2129) mkPApp (src/Idris/AbsSyntax.hs:2231) toEither (src/Idris/AbsSyntax.hs:2280) matchClause' (src/Idris/AbsSyntax.hs:2289) substMatches (src/Idris/AbsSyntax.hs:2398) substMatch (src/Idris/AbsSyntax.hs:2406) substMatchShadow (src/Idris/AbsSyntax.hs:2409) substMatchesShadow (src/Idris/AbsSyntax.hs:2412) shadow (src/Idris/AbsSyntax.hs:2443) 33% ( 1 / 3) in 'Idris.WhoCalls' Missing documentation for: whoCalls (src/Idris/WhoCalls.hs:88) callsWho (src/Idris/WhoCalls.hs:95) 60% ( 3 / 5) in 'Idris.Transforms' Missing documentation for: transformPats (src/Idris/Transforms.hs:21) transformPatsWith (src/Idris/Transforms.hs:29) 100% ( 3 / 3) in 'Idris.REPL.Browse' 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: ElabMode (src/Idris/Elab/Term.hs:42) ElabResult (src/Idris/Elab/Term.hs:46) ElabCtxt (src/Idris/Elab/Term.hs 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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ :206) initElabCtxt (src/Idris/Elab/Term.hs:214) goal_polymorphic (src/Idris/Elab/Term.hs:216) pruneAlt (src/Idris/Elab/Term.hs:1645) solveAuto (src/Idris/Elab/Term.hs:1678) solveAutos (src/Idris/Elab/Term.hs:1704) tcRecoverable (src/Idris/Elab/Term.hs:1711) trivial' (src/Idris/Elab/Term.hs:1718) trivialHoles' (src/Idris/Elab/Term.hs:1720) proofSearch' (src/Idris/Elab/Term.hs:1722) resolveTC' (src/Idris/Elab/Term.hs:1726) collectDeferred (src/Idris/Elab/Term.hs:1729) runElabAction (src/Idris/Elab/Term.hs:1757) runTac (src/Idris/Elab/Term.hs:2313) elaboratingArgErr (src/Idris/Elab/Term.hs:2561) withErrorReflection (src/Idris/Elab/Term.hs:2570) solveAll (src/Idris/Elab/Term.hs:2636) 50% ( 3 / 6) in 'Idris.Elab.Value' Missing documentation for: elabVal (src/Idris/Elab/Value.hs:71) elabDocTerms (src/Idris/Elab/Value.hs:78) elabREPL (src/Idris/Elab/Value.hs:116) 33% ( 2 / 6) in 'Idris.Elab.Type' Missing documentation for: buildType (src/Idris/Elab/Type.hs:33) elabType' (src/Idris/Elab/Type.hs:134) elabPostulate (src/Idris/Elab/Type.hs:235) elabExtern (src/Idris/Elab/Type.hs:246) 75% ( 3 / 4) in 'Idris.TypeSearch' Missing documentation for: searchByType (src/Idris/TypeSearch.hs:54) 50% ( 1 / 2) in 'Idris.Elab.Data' Missing documentation for: elabData (src/Idris/Elab/Data.hs:43) Warning: 'optional' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 2 / 2) in 'Idris.Elab.Record' 50% ( 1 / 2) in 'Idris.Elab.Interface' Missing documentation for: elabInterface (src/Idris/Elab/Interface.hs:33) 50% ( 1 / 2) in 'Idris.Elab.Transform' Missing documentation for: elabTransform (src/Idris/Elab/Transform.hs:26) 50% ( 1 / 2) in 'Idris.Elab.RunElab' Missing documentation for: elabRunElab (src/Idris/Elab/RunElab.hs:30) 50% ( 1 / 2) in 'Idris.Elab.Implementation' Missing documentation for: elabImplementation (src/Idris/Elab/Implementation.hs:34) Warning: 'static' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 60% ( 6 / 10) in 'Idris.Elab.Clause' Missing documentation for: forceWith (src/Idris/Elab/Clause.hs:360) checkPossibles (src/Idris/Elab/Clause.hs:600) findUnique (src/Idris/Elab/Clause.hs:626) mapRHSdecl (src/Idris/Elab/Clause.hs:1248) 50% ( 1 / 2) in 'Idris.Core.Execute' Missing documentation for: execute (src/Idris/Core/Execute.hs:171) 100% ( 2 / 2) in 'Idris.Elab.Provider' Warning: 'main' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 57% ( 4 / 7) in 'Idris.ElabDecls' Missing documentation for: elabDecl (src/Idris/ElabDecls.hs:147) elabDecl' (src/Idris/ElabDecls.hs:152) elabDecls (src/Idris/ElabDecls.hs:144) Warning: 'term' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'syntax' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'total' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'partial' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'covering' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '%' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'no_implicit' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'assert_total' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'error_handler' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'reflection' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'parameters' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'interface' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '?=' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'with' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '<==' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'C' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Java' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'JavaScript' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Node' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'LLVM' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'lib' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'link' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'flag' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'include' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'hide' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'freeze' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'thaw' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'access' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'logging' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'dynamic' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'error_handlers' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'language' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'deprecated' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'fragile' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'provide' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'proof' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '==>' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 75% ( 15 / 20) in 'Idris.Parser' Missing documentation for: ImportInfo (src/Idris/Parser.hs:112) clearParserWarnings (src/Idris/Parser/Helpers.hs:124) opChars (src/Idris/Parser/Ops.hs:225) ParseError (src/Idris/Parser/Stack.hs:66) parseErrorDoc (src/Idris/Parser/Helpers.hs:105) 20% ( 1 / 5) in 'Idris.REPL.Parser' Missing documentation for: parseCmd (src/Idris/REPL/Parser.hs:37) help (src/Idris/REPL/Parser.hs:55) allHelp (src/Idris/REPL/Parser.hs:59) setOptions (src/Idris/REPL/Parser.hs:45) 100% ( 3 / 3) in 'Idris.Completion' 50% ( 2 / 4) in 'Idris.Prover' Missing documentation for: showProof (src/Idris/Prover.hs:58) showRunElab (src/Idris/Prover.hs:66) 40% ( 2 / 5) in 'Idris.Chaser' Missing documentation for: buildTree (src/Idris/Chaser.hs:160) getImports (src/Idris/Chaser.hs:126) ModuleTree (src/Idris/Chaser.hs:31) Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'impossible' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 11% ( 1 / 9) in 'Idris.CaseSplit' Missing documentation for: splitOnLine (src/Idris/CaseSplit.hs:272) replaceSplits (src/Idris/CaseSplit.hs:282) getClause (src/Idris/CaseSplit.hs: 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 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... 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.System: could not find link destinations for: - Paths_idris.getDataDir Warning: Idris.Docstrings: could not find link destinations for: - Idris.Docstrings.Blocks - Idris.Docstrings.Inlines Warning: Idris.Core.CaseTree: could not find link destinations for: - Idris.Core.CaseTree.prune Warning: Idris.Core.Evaluate: could not find link destinations for: - Idris.Core.Evaluate.Eval - Idris.Core.Evaluate.EvalState Warning: IRTS.JavaScript.Specialize: could not find link destinations for: - IRTS.JavaScript.Specialize.SSig Warning: IRTS.Simplified: could not find link destinations for: - IRTS.Simplified.bindExprs Warning: Idris.Reflection: could not find link destinations for: - Idris.Reflection.RPlicity - Idris.Reflection.RErasure - Idris.Reflection.RDatatype Warning: Idris.ProofSearch: could not find link destinations for: - Idris.ProofSearch.findImplementations Warning: Idris.PartialEval: could not find link destinations for: - Idris.PartialEval.PEDecl Warning: Idris.DataOpts: could not find link destinations for: - Idris.DataOpts.Optimisable Warning: Idris.TypeSearch: could not find link destinations for: - Idris.TypeSearch.Score Warning: Idris.Parser: could not find link destinations for: - Idris.Parser.addSyntax - Idris.Parser.pattern - Idris.Parser.postulate - Idris.Parser.mutual - Idris.Parser.namespace - Idris.Parser.implementation - Idris.Parser.transform Documentation created: dist/doc/html/idris/index.html Preprocessing executable 'idris-codegen-node' for idris-1.3.4.. Preprocessing executable 'idris-codegen-c' for idris-1.3.4.. Preprocessing executable 'idris' for idris-1.3.4.. Preprocessing executable 'idris-codegen-javascript' for idris-1.3.4..