gistfile1.txt

Preprocessing library for idris-1.3.1..
Building library for idris-1.3.1..
[  1 of 115] Compiling BuildFlags_idris ( src/BuildFlags_idris.hs, dist/build/BuildFlags_idris.o )
[  2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o )
[  3 of 115] Compiling Idris.Colours    ( src/Idris/Colours.hs, dist/build/Idris/Colours.o )
[  4 of 115] Compiling Idris.Help       ( src/Idris/Help.hs, dist/build/Idris/Help.o )
[  5 of 115] Compiling Paths_idris      ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o )
[  6 of 115] Compiling IRTS.System      ( src/IRTS/System.hs, dist/build/IRTS/System.o )
[  7 of 115] Compiling Tools_idris      ( src/Tools_idris.hs, dist/build/Tools_idris.o )
[  8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o )
[  9 of 115] Compiling Util.Net         ( src/Util/Net.hs, dist/build/Util/Net.o )
[ 10 of 115] Compiling Util.Pretty      ( src/Util/Pretty.hs, dist/build/Util/Pretty.o )
[ 11 of 115] Compiling Idris.Core.TT    ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o )
[ 12 of 115] Compiling Idris.Unlit      ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o )
[ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o )
[ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o )
[ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o )
[ 16 of 115] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o )
[ 17 of 115] Compiling Idris.Core.WHNF  ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.o )
[ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o )
[ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o )
[ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o )
[ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o )
[ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o )
[ 23 of 115] Compiling Idris.IdeMode    ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.o )
[ 24 of 115] Compiling IRTS.Lang        ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o )
[ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o )
[ 26 of 115] Compiling IRTS.LangOpts    ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o )
[ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, dist/build/IRTS/JavaScript/Specialize.o )
[ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, dist/build/IRTS/JavaScript/PrimOp.o )
[ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, dist/build/IRTS/JavaScript/Name.o )
[ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, dist/build/IRTS/JavaScript/LangTransforms.o )
[ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o )
[ 32 of 115] Compiling IRTS.Simplified  ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o )
[ 33 of 115] Compiling IRTS.Inliner     ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o )
[ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o )
[ 35 of 115] Compiling Idris.Options    ( src/Idris/Options.hs, dist/build/Idris/Options.o )
[ 36 of 115] Compiling IRTS.Bytecode    ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o )
[ 37 of 115] Compiling IRTS.Portable    ( src/IRTS/Portable.hs, dist/build/IRTS/Portable.o )
[ 38 of 115] Compiling IRTS.DumpBC      ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o )
[ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o )
[ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o )
[ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o )
[ 42 of 115] Compiling Idris.DeepSeq    ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o )
[ 43 of 115] Compiling Idris.ASTUtils   ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o )
[ 44 of 115] Compiling Util.ScreenSize  ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o )
[ 45 of 115] Compiling Util.System      ( src/Util/System.hs, dist/build/Util/System.o )
[ 46 of 115] Compiling Idris.AbsSyntax  ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o )
[ 47 of 115] Compiling Idris.WhoCalls   ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.o )
[ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o )
[ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, dist/build/Idris/REPL/Browse.o )
[ 50 of 115] Compiling Idris.Inliner    ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o )
[ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o )
[ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.o )
[ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.o )
[ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o )
[ 55 of 115] Compiling Idris.Reflection ( src/Idris/Reflection.hs, dist/build/Idris/Reflection.o )
[ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.o )
[ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o )
[ 58 of 115] Compiling Idris.Output     ( src/Idris/Output.hs, dist/build/Idris/Output.o )
[ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, dist/build/Idris/Parser/Stack.o )

src/Idris/Parser/Stack.hs:70:29: error:
    Not in scope: ‘P.errorPos’
    Module ‘Text.Megaparsec’ does not export ‘errorPos’.
   |
70 |       (pos NonEmpty.:| _) = P.errorPos err
   |                             ^^^^^^^^^^

src/Idris/Parser/Stack.hs:76:34: error:
    Not in scope: ‘P.parseErrorPretty'’
    Perhaps you meant one of these:
      ‘P.parseErrorPretty’ (imported from Text.Megaparsec),
      ‘P.parseErrorTextPretty’ (imported from Text.Megaparsec)
    Module ‘Text.Megaparsec’ does not export ‘parseErrorPretty'’.
   |
76 | prettyError (ParseError s err) = P.parseErrorPretty' s err
   |                                  ^^^^^^^^^^^^^^^^^^^

src/Idris/Parser/Stack.hs:107:30: error:
    Not in scope: ‘P.getPosition’
    Module ‘Text.Megaparsec’ does not export ‘getPosition’.
    |
107 | getFC = sourcePositionFC <$> P.getPosition
    |                              ^^^^^^^^^^^^^
[ 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 )
[ 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 )
[ 79 of 115] Compiling Idris.Coverage   ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o )
[ 80 of 115] Compiling Idris.Elab.Term  ( src/Idris/Elab/Term.hs, dist/build/Idris/Elab/Term.o )
[ 81 of 115] Compiling Idris.Elab.Value ( src/Idris/Elab/Value.hs, dist/build/Idris/Elab/Value.o )
[ 82 of 115] Compiling Idris.Elab.Type  ( src/Idris/Elab/Type.hs, dist/build/Idris/Elab/Type.o )
[ 83 of 115] Compiling Idris.TypeSearch ( src/Idris/TypeSearch.hs, dist/build/Idris/TypeSearch.o )
[ 84 of 115] Compiling Idris.Elab.Data  ( src/Idris/Elab/Data.hs, dist/build/Idris/Elab/Data.o )
[ 85 of 115] Compiling Idris.Elab.Record ( src/Idris/Elab/Record.hs, dist/build/Idris/Elab/Record.o )
[ 86 of 115] Compiling Idris.Elab.Interface ( src/Idris/Elab/Interface.hs, dist/build/Idris/Elab/Interface.o )
[ 87 of 115] Compiling Idris.Elab.Transform ( src/Idris/Elab/Transform.hs, dist/build/Idris/Elab/Transform.o )
[ 88 of 115] Compiling Idris.Elab.RunElab ( src/Idris/Elab/RunElab.hs, dist/build/Idris/Elab/RunElab.o )
[ 89 of 115] Compiling Idris.Elab.Implementation ( src/Idris/Elab/Implementation.hs, dist/build/Idris/Elab/Implementation.o )
[ 90 of 115] Compiling Idris.Elab.Clause ( src/Idris/Elab/Clause.hs, dist/build/Idris/Elab/Clause.o )
[ 91 of 115] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.o )
[ 92 of 115] Compiling Idris.Elab.Provider ( src/Idris/Elab/Provider.hs, dist/build/Idris/Elab/Provider.o )
[ 93 of 115] Compiling Idris.ElabDecls  ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.o )
[101 of 115] Compiling Idris.Apropos    ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o )
[102 of 115] Compiling IRTS.Exports     ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.o )
[103 of 115] Compiling IRTS.JavaScript.Codegen ( src/IRTS/JavaScript/Codegen.hs, dist/build/IRTS/JavaScript/Codegen.o )
[104 of 115] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o )
[105 of 115] Compiling IRTS.CodegenC    ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o )
[106 of 115] Compiling IRTS.Compiler    ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.o )
[107 of 115] Compiling Version_idris    ( src/Version_idris.hs, dist/build/Version_idris.o )
[108 of 115] Compiling Idris.Info       ( src/Idris/Info.hs, dist/build/Idris/Info.o )
[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 )
builder for '/nix/store/0kjlwnnrpg3j65daapxp4pahqwp9i74g-idris-1.3.1.drv' failed with exit code 1
cannot build derivation '/nix/store/7vp5c1sd4lkms4shwx2cl90j8gj2ynnf-idris-1.3.1.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/69w39x5d7jpcvlsjhnbx6lzxxnywi03k-idris-1.3.1.drv': 1 dependencies couldn't be built
error: build of '/nix/store/69w39x5d7jpcvlsjhnbx6lzxxnywi03k-idris-1.3.1.drv' failed