Trying to link to FFI .dylib on OSX
Getting the warning:
WARNING: Cannot load './../target/x86_64-apple-darwin/lib/libidrisfs-ba8d5852-0.0.dylib' at compile time because Idris was compiled without libffi support.
Followed instructions at https://github.com/idris-lang/Idris-dev/wiki/Idris-on-OS-X-using-Homebrew
Then running: cabal install idris -f ffi --reinstall
Log:
Resolving dependencies...
In order, the following will be installed:
idris-0.9.12 +ffi (reinstall)
[1 of 1] Compiling Main ( /var/folders/_t/g72k9vzd30b5svvyd1nxpwp40000gn/T/idris-0.9.12-15994/idris-0.9.12/Setup.hs, /var/folders/_t/g72k9vzd30b5svvyd1nxpwp40000gn/T/idris-0.9.12-15994/idris-0.9.12/dist/setup/Main.o )
Linking /var/folders/_t/g72k9vzd30b5svvyd1nxpwp40000gn/T/idris-0.9.12-15994/idris-0.9.12/dist/setup/setup ...
Configuring idris-0.9.12...
rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o mini-gmp.o idris_stdfgn.o idris_net.o libidris_rts.a
Generating dist/build/autogen/Version_idris.hs for release
Building idris-0.9.12...
Preprocessing library idris-0.9.12...
[ 1 of 78] Compiling IRTS.Java.Pom ( src/IRTS/Java/Pom.hs, dist/build/IRTS/Java/Pom.o )
[ 2 of 78] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.o )
[ 3 of 78] Compiling Version_idris ( src/Version_idris.hs, dist/build/Version_idris.o )
[ 4 of 78] Compiling Util.Zlib ( src/Util/Zlib.hs, dist/build/Util/Zlib.o )
[ 5 of 78] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.o )
[ 6 of 78] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o )
[ 7 of 78] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o )
[ 8 of 78] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.o )
[ 9 of 78] Compiling Idris.Core.TC ( src/Idris/Core/TC.hs, dist/build/Idris/Core/TC.o )
[10 of 78] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.o )
[11 of 78] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.o )
[12 of 78] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o )
[13 of 78] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.o )
[14 of 78] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o )
[15 of 78] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o )
[16 of 78] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o )
[17 of 78] Compiling Idris.IdeSlave ( src/Idris/IdeSlave.hs, dist/build/Idris/IdeSlave.o )
[18 of 78] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o )
[19 of 78] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o )
[20 of 78] Compiling IRTS.Java.JTypes ( src/IRTS/Java/JTypes.hs, dist/build/IRTS/Java/JTypes.o )
[21 of 78] Compiling IRTS.Java.ASTBuilding ( src/IRTS/Java/ASTBuilding.hs, dist/build/IRTS/Java/ASTBuilding.o )
[22 of 78] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o )
[23 of 78] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o )
[24 of 78] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o )
[25 of 78] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o )
[26 of 78] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o )
[27 of 78] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o )
[28 of 78] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o )
[29 of 78] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o )
[30 of 78] Compiling Util.LLVMStubs ( src/Util/LLVMStubs.hs, dist/build/Util/LLVMStubs.o )
[31 of 78] Compiling IRTS.BCImp ( src/IRTS/BCImp.hs, dist/build/IRTS/BCImp.o )
[32 of 78] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o )
[33 of 78] Compiling IRTS.Java.Mangling ( src/IRTS/Java/Mangling.hs, dist/build/IRTS/Java/Mangling.o )
[34 of 78] Compiling IRTS.CodegenJava ( src/IRTS/CodegenJava.hs, dist/build/IRTS/CodegenJava.o )
[35 of 78] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o )
[36 of 78] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o )
[37 of 78] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o )
[38 of 78] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o )
[39 of 78] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o )
[40 of 78] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o )
[41 of 78] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/Idris/Imports.o )
[42 of 78] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o )
[43 of 78] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o )
[44 of 78] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o )
[45 of 78] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o )
[46 of 78] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.o )
[47 of 78] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o )
[48 of 78] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o )
[49 of 78] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o )
[50 of 78] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o )
[51 of 78] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.o )
[52 of 78] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/Idris/Error.o )
[53 of 78] Compiling Idris.ParseHelpers ( src/Idris/ParseHelpers.hs, dist/build/Idris/ParseHelpers.o )
[54 of 78] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.o )
[55 of 78] Compiling Idris.ParseOps ( src/Idris/ParseOps.hs, dist/build/Idris/ParseOps.o )
[56 of 78] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.o )
[57 of 78] Compiling Idris.ParseExpr ( src/Idris/ParseExpr.hs, dist/build/Idris/ParseExpr.o )
[58 of 78] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/Idris/Docs.o )
[59 of 78] Compiling Idris.Providers ( src/Idris/Providers.hs, dist/build/Idris/Providers.o )
[60 of 78] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o )
[61 of 78] Compiling Idris.ParseData ( src/Idris/ParseData.hs, dist/build/Idris/ParseData.o )
[62 of 78] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.o )
[63 of 78] Compiling Idris.IBC ( src/Idris/IBC.hs, dist/build/Idris/IBC.o )
[64 of 78] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o )
[65 of 78] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.o )
[66 of 78] Compiling Idris.ElabTerm ( src/Idris/ElabTerm.hs, dist/build/Idris/ElabTerm.o )
[67 of 78] Compiling Idris.ElabDecls ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.o )
[68 of 78] Compiling Idris.Parser ( src/Idris/Parser.hs, dist/build/Idris/Parser.o )
[69 of 78] Compiling Idris.CaseSplit ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.o )
[70 of 78] Compiling Idris.Chaser ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.o )
[71 of 78] Compiling Idris.REPLParser ( src/Idris/REPLParser.hs, dist/build/Idris/REPLParser.o )
[72 of 78] Compiling Idris.Prover ( src/Idris/Prover.hs, dist/build/Idris/Prover.o )
[73 of 78] Compiling Idris.UnusedArgs ( src/Idris/UnusedArgs.hs, dist/build/Idris/UnusedArgs.o )
[74 of 78] Compiling IRTS.Compiler ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.o )
[75 of 78] Compiling Idris.REPL ( src/Idris/REPL.hs, dist/build/Idris/REPL.o )
[76 of 78] Compiling Pkg.PParser ( src/Pkg/PParser.hs, dist/build/Pkg/PParser.o )
[77 of 78] Compiling Pkg.Package ( src/Pkg/Package.hs, dist/build/Pkg/Package.o )
[78 of 78] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o )
[ 1 of 78] Compiling IRTS.Java.Pom ( src/IRTS/Java/Pom.hs, dist/build/IRTS/Java/Pom.p_o )
[ 2 of 78] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.p_o )
[ 3 of 78] Compiling Version_idris ( src/Version_idris.hs, dist/build/Version_idris.p_o )
[ 4 of 78] Compiling Util.Zlib ( src/Util/Zlib.hs, dist/build/Util/Zlib.p_o )
[ 5 of 78] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.p_o )
[ 6 of 78] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.p_o )
[ 7 of 78] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.p_o )
[ 8 of 78] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.p_o )
[ 9 of 78] Compiling Idris.Core.TC ( src/Idris/Core/TC.hs, dist/build/Idris/Core/TC.p_o )
[10 of 78] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.p_o )
[11 of 78] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.p_o )
[12 of 78] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.p_o )
[13 of 78] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.p_o )
[14 of 78] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.p_o )
[15 of 78] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.p_o )
[16 of 78] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.p_o )
[17 of 78] Compiling Idris.IdeSlave ( src/Idris/IdeSlave.hs, dist/build/Idris/IdeSlave.p_o )
[18 of 78] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.p_o )
[19 of 78] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.p_o )
[20 of 78] Compiling IRTS.Java.JTypes ( src/IRTS/Java/JTypes.hs, dist/build/IRTS/Java/JTypes.p_o )
[21 of 78] Compiling IRTS.Java.ASTBuilding ( src/IRTS/Java/ASTBuilding.hs, dist/build/IRTS/Java/ASTBuilding.p_o )
[22 of 78] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.p_o )
[23 of 78] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.p_o )
[24 of 78] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.p_o )
[25 of 78] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.p_o )
[26 of 78] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.p_o )
[27 of 78] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.p_o )
[28 of 78] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.p_o )
[29 of 78] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.p_o )
[30 of 78] Compiling Util.LLVMStubs ( src/Util/LLVMStubs.hs, dist/build/Util/LLVMStubs.p_o )
[31 of 78] Compiling IRTS.BCImp ( src/IRTS/BCImp.hs, dist/build/IRTS/BCImp.p_o )
[32 of 78] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.p_o )
[33 of 78] Compiling IRTS.Java.Mangling ( src/IRTS/Java/Mangling.hs, dist/build/IRTS/Java/Mangling.p_o )
[34 of 78] Compiling IRTS.CodegenJava ( src/IRTS/CodegenJava.hs, dist/build/IRTS/CodegenJava.p_o )
[35 of 78] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.p_o )
[36 of 78] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.p_o )
[37 of 78] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.p_o )
[38 of 78] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.p_o )
[39 of 78] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.p_o )
[40 of 78] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.p_o )
[41 of 78] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/Idris/Imports.p_o )
[42 of 78] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.p_o )
[43 of 78] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.p_o )
[44 of 78] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.p_o )
[45 of 78] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.p_o )
[46 of 78] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.p_o )
[47 of 78] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.p_o )
[48 of 78] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.p_o )
[49 of 78] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.p_o )
[50 of 78] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.p_o )
[51 of 78] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.p_o )
[52 of 78] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/Idris/Error.p_o )
[53 of 78] Compiling Idris.ParseHelpers ( src/Idris/ParseHelpers.hs, dist/build/Idris/ParseHelpers.p_o )
[54 of 78] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.p_o )
[55 of 78] Compiling Idris.ParseOps ( src/Idris/ParseOps.hs, dist/build/Idris/ParseOps.p_o )
[56 of 78] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.p_o )
[57 of 78] Compiling Idris.ParseExpr ( src/Idris/ParseExpr.hs, dist/build/Idris/ParseExpr.p_o )
[58 of 78] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/Idris/Docs.p_o )
[59 of 78] Compiling Idris.Providers ( src/Idris/Providers.hs, dist/build/Idris/Providers.p_o )
[60 of 78] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.p_o )
[61 of 78] Compiling Idris.ParseData ( src/Idris/ParseData.hs, dist/build/Idris/ParseData.p_o )
[62 of 78] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.p_o )
[63 of 78] Compiling Idris.IBC ( src/Idris/IBC.hs, dist/build/Idris/IBC.p_o )
[64 of 78] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.p_o )
[65 of 78] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.p_o )
[66 of 78] Compiling Idris.ElabTerm ( src/Idris/ElabTerm.hs, dist/build/Idris/ElabTerm.p_o )
[67 of 78] Compiling Idris.ElabDecls ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.p_o )
[68 of 78] Compiling Idris.Parser ( src/Idris/Parser.hs, dist/build/Idris/Parser.p_o )
[69 of 78] Compiling Idris.CaseSplit ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.p_o )
[70 of 78] Compiling Idris.Chaser ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.p_o )
[71 of 78] Compiling Idris.REPLParser ( src/Idris/REPLParser.hs, dist/build/Idris/REPLParser.p_o )
[72 of 78] Compiling Idris.Prover ( src/Idris/Prover.hs, dist/build/Idris/Prover.p_o )
[73 of 78] Compiling Idris.UnusedArgs ( src/Idris/UnusedArgs.hs, dist/build/Idris/UnusedArgs.p_o )
[74 of 78] Compiling IRTS.Compiler ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.p_o )
[75 of 78] Compiling Idris.REPL ( src/Idris/REPL.hs, dist/build/Idris/REPL.p_o )
[76 of 78] Compiling Pkg.PParser ( src/Pkg/PParser.hs, dist/build/Pkg/PParser.p_o )
[77 of 78] Compiling Pkg.Package ( src/Pkg/Package.hs, dist/build/Pkg/Package.p_o )
[78 of 78] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.p_o )
In-place registering idris-0.9.12...
Preprocessing executable 'idris' for idris-0.9.12...
[1 of 2] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/idris/idris-tmp/Paths_idris.o )
[2 of 2] Compiling Main ( main/Main.hs, dist/build/idris/idris-tmp/Main.o )
Linking dist/build/idris/idris ...
Building libraries...
/Library/Developer/CommandLineTools/usr/bin/make -C prelude build
../../dist/build/idris/idris --build prelude.ipkg
Type checking ./Builtins.idr
Type checking ./Prelude/Algebra.idr
Type checking ./Prelude/Bool.idr
Type checking ./Prelude/Basics.idr
Type checking ./Prelude/Classes.idr
Type checking ./Prelude/Foldable.idr
Type checking ./Prelude/Cast.idr
Type checking ./Prelude/Maybe.idr
Type checking ./Prelude/Uninhabited.idr
Type checking ./Prelude/Nat.idr
Type checking ./Prelude/Functor.idr
Type checking ./Prelude/List.idr
Type checking ./Prelude/Either.idr
Type checking ./Prelude/Fin.idr
Type checking ./Prelude/Vect.idr
Type checking ./Decidable/Equality.idr
Type checking ./Prelude/Stream.idr
Type checking ./Prelude/Chars.idr
Type checking ./Prelude/Strings.idr
Type checking ./Prelude/Bits.idr
Type checking ./Prelude/Applicative.idr
Type checking ./Prelude/Traversable.idr
Type checking ./Prelude/Monad.idr
Type checking ./IO.idr
Type checking ./Prelude.idr
/Library/Developer/CommandLineTools/usr/bin/make -C base build
../../dist/build/idris/idris --build base.ipkg
Type checking ./System.idr
Type checking ./Network/Cgi.idr
Type checking ./Network/Socket.idr
Type checking ./Debug/Trace.idr
Type checking ./System/Concurrency/Raw.idr
Type checking ./System/Concurrency/Process.idr
Type checking ./Data/Fun.idr
Type checking ./Data/Rel.idr
Type checking ./Decidable/Decidable.idr
Type checking ./Decidable/Order.idr
Type checking ./Providers.idr
Type checking ./Language/Reflection.idr
Type checking ./Language/Reflection/Errors.idr
Type checking ./Language/Reflection/Utils.idr
Type checking ./Syntax/PreorderReasoning.idr
Type checking ./Data/Morphisms.idr
Type checking ./Data/Bits.idr
Type checking ./Data/Mod2.idr
Type checking ./Data/Sign.idr
Type checking ./Data/ZZ.idr
Type checking ./Data/SortedMap.idr
Type checking ./Data/SortedSet.idr
Type checking ./Data/BoundedList.idr
Type checking ./Data/Vect.idr
Type checking ./Data/HVect.idr
Type checking ./Data/Vect/Quantifiers.idr
Type checking ./Data/Floats.idr
Type checking ./Data/Complex.idr
Type checking ./Data/Heap.idr
Type checking ./Data/Buffer.idr
Type checking ./Control/Isomorphism.idr
Type checking ./Control/Isomorphism/Primitives.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/Category.idr
Type checking ./Control/Arrow.idr
Type checking ./Control/IOExcept.idr
Type checking ./Control/Catchable.idr
/Library/Developer/CommandLineTools/usr/bin/make -C effects 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/State.idr
Type checking ./Effect/Random.idr
Type checking ./Effect/StdIO.idr
Type checking ./Effect/Select.idr
Type checking ./Effect/Memory.idr
Type checking ./Effect/System.idr
/Library/Developer/CommandLineTools/usr/bin/make -C oldeffects build
../../dist/build/idris/idris --build oldeffects.ipkg
Type checking ./Effects.idr
Type checking ./Effect/Exception.idr
Type checking ./Effect/File.idr
Type checking ./Effect/State.idr
Type checking ./Effect/Random.idr
Type checking ./Effect/StdIO.idr
Type checking ./Effect/Select.idr
Type checking ./Effect/Memory.idr
Type checking ./Effect/Monad.idr
/Library/Developer/CommandLineTools/usr/bin/make -C javascript build
../../dist/build/idris/idris --build javascript.ipkg
Type checking ./JavaScript.idr
Type checking ./JavaScript/JSON.idr
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_rts.o idris_rts.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_heap.o idris_heap.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_gc.o idris_gc.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_gmp.o idris_gmp.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_bitstring.o idris_bitstring.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_opts.o idris_opts.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_stats.o idris_stats.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o mini-gmp.o mini-gmp.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_stdfgn.o idris_stdfgn.c
cc -fPIC -O2 -Wall -I/usr/local/include -c -o idris_net.o idris_net.c
ar r libidris_rts.a idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o mini-gmp.o idris_stdfgn.o idris_net.o
ranlib libidris_rts.a
Running Haddock for idris-0.9.12...
Preprocessing library idris-0.9.12...
Haddock coverage:
0% ( 0 / 2) in 'IRTS.Java.Pom'
0% ( 0 / 2) in 'Util.Net'
0% ( 0 / 2) in 'Version_idris'
0% ( 0 / 2) in 'Util.Zlib'
25% ( 1 / 4) in 'Idris.Help'
0% ( 0 / 2) in 'Util.ScreenSize'
0% ( 0 / 7) in 'Paths_idris'
14% ( 2 / 14) in 'Idris.Colours'
0% ( 0 / 2) in 'Idris.Core.TC'
0% ( 0 / 5) in 'Util.System'
0% ( 0 / 8) in 'IRTS.System'
20% ( 1 / 5) in 'Util.DynamicLinker'
20% ( 1 / 5) in 'Util.Pretty'
41% ( 47 /114) in 'Idris.Core.TT'
0% ( 0 / 22) in 'IRTS.Lang'
100% ( 9 / 9) in 'Idris.Docstrings'
Warning: Idris.IdeSlave: toSExp is exported separately but will be documented under SExpable. Consider exporting it together with its parent(s) for code clarity.
0% ( 0 / 8) in 'Idris.IdeSlave'
0% ( 0 / 2) in 'Idris.Unlit'
4% ( 1 / 23) in 'IRTS.Defunctionalise'
0% ( 0 / 43) in 'IRTS.Java.JTypes'
0% ( 0 / 23) in 'IRTS.Java.ASTBuilding'
0% ( 0 / 4) in 'IRTS.Inliner'
0% ( 0 / 13) in 'Idris.Core.CaseTree'
0% ( 0 / 1) in 'Idris.Core.DeepSeq'
23% ( 12 / 52) in 'Idris.Core.Evaluate'
0% ( 0 / 9) in 'Idris.Core.Typecheck'
100% ( 2 / 2) in 'Idris.Core.Constraints'
0% ( 0 / 14) in 'IRTS.Simplified'
0% ( 0 / 6) in 'IRTS.CodegenCommon'
0% ( 0 / 4) in 'Util.LLVMStubs'
0% ( 0 / 5) in 'IRTS.BCImp'
0% ( 0 / 14) in 'IRTS.Bytecode'
0% ( 0 / 8) in 'IRTS.Java.Mangling'
0% ( 0 / 2) in 'IRTS.CodegenJava'
0% ( 0 / 9) in 'IRTS.DumpBC'
0% ( 0 / 6) in 'Idris.Core.Unify'
0% ( 0 / 13) in 'Idris.Core.ProofState'
6% ( 6 /107) in 'Idris.Core.Elaborate'
15% ( 19 /130) in 'Idris.AbsSyntaxTree'
4% ( 7 /157) in 'Idris.AbsSyntax'
0% ( 0 / 9) in 'Idris.Imports'
0% ( 0 / 2) in 'Idris.ErrReverse'
0% ( 0 / 3) in 'Idris.Inliner'
0% ( 0 / 2) in 'IRTS.CodegenC'
0% ( 0 / 4) in 'IRTS.CodegenJavaScript'
0% ( 0 / 11) in 'Idris.DataOpts'
50% ( 1 / 2) in 'Idris.DeepSeq'
0% ( 0 / 3) in 'Idris.Primitives'
20% ( 1 / 5) in 'Idris.Apropos'
0% ( 0 / 8) in 'Idris.Delaborate'
20% ( 4 / 20) in 'Idris.Output'
0% ( 0 / 11) in 'Idris.Error'
85% ( 64 / 75) in 'Idris.ParseHelpers'
100% ( 3 / 3) in 'Idris.Completion'
90% ( 9 / 10) in 'Idris.ParseOps'
0% ( 0 / 7) in 'Idris.DSL'
91% ( 48 / 53) in 'Idris.ParseExpr'
0% ( 0 / 11) in 'Idris.Docs'
50% ( 2 / 4) in 'Idris.Providers'
0% ( 0 / 7) in 'Idris.PartialEval'
80% ( 8 / 10) in 'Idris.ParseData'
0% ( 0 / 2) in 'Idris.Core.Execute'
0% ( 0 / 45) in 'Idris.IBC'
0% ( 0 / 29) in 'Idris.Coverage'
0% ( 0 / 3) in 'Idris.ProofSearch'
17% ( 9 / 54) in 'Idris.ElabTerm'
12% ( 5 / 43) in 'Idris.ElabDecls'
96% ( 51 / 53) in 'Idris.Parser'
0% ( 0 / 9) in 'Idris.CaseSplit'
0% ( 0 / 4) in 'Idris.Chaser'
0% ( 0 / 2) in 'Idris.REPLParser'
0% ( 0 / 11) in 'Idris.Prover'
0% ( 0 / 5) in 'Idris.UnusedArgs'
0% ( 0 / 17) in 'IRTS.Compiler'
18% ( 10 / 57) in 'Idris.REPL'
0% ( 0 / 7) in 'Pkg.PParser'
60% ( 12 / 20) in 'Pkg.Package'
0% ( 0 / 9) in 'Idris.Transforms'
Warning: Idris.Core.TT: could not find link destinations for:
Util.Pretty.Pretty
Warning: Idris.Core.Evaluate: could not find link destinations for:
Idris.Core.Evaluate.Eval Idris.Core.Evaluate.EvalState
Warning: Pkg.Package: could not find link destinations for:
Pkg.PParser.PkgDesc
Documentation created: dist/doc/html/idris/index.html
Preprocessing executable 'idris' for idris-0.9.12...
Installing library in
/Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/lib
Installing executable(s) in
/Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/bin
Registering idris-0.9.12...
Installing libraries in /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share
/Library/Developer/CommandLineTools/usr/bin/make -C prelude install
../../dist/build/idris/idris --install prelude.ipkg
Installing Builtins.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude
Installing Prelude.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude
Installing IO.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude
Installing Prelude/Algebra.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Basics.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Bool.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Cast.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Classes.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Nat.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Fin.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/List.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Maybe.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Monad.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Applicative.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Either.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Vect.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Strings.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Chars.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Functor.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Foldable.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Traversable.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Bits.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Stream.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Prelude/Uninhabited.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Prelude
Installing Decidable/Equality.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude/Decidable
/Library/Developer/CommandLineTools/usr/bin/make -C base install
../../dist/build/idris/idris --install base.ipkg
Installing System.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base
Installing Network/Cgi.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Network
Installing Network/Socket.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Network
Installing Debug/Trace.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Debug
Installing System/Concurrency/Raw.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/System/Concurrency
Installing System/Concurrency/Process.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/System/Concurrency
Installing Decidable/Decidable.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Decidable
Installing Decidable/Order.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Decidable
Installing Providers.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base
Installing Language/Reflection.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Language
Installing Language/Reflection/Utils.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Language/Reflection
Installing Language/Reflection/Errors.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Language/Reflection
Installing Syntax/PreorderReasoning.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Syntax
Installing Data/Morphisms.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Bits.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Mod2.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/ZZ.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Sign.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/SortedMap.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/SortedSet.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/BoundedList.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Vect.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/HVect.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Vect/Quantifiers.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data/Vect
Installing Data/Floats.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Complex.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Heap.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Fun.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Rel.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Data/Buffer.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Data
Installing Control/Isomorphism.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control
Installing Control/Isomorphism/Primitives.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control/Isomorphism
Installing Control/Monad/Identity.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control/Monad
Installing Control/Monad/RWS.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control/Monad
Installing Control/Monad/State.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control/Monad
Installing Control/Monad/Writer.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control/Monad
Installing Control/Monad/Reader.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control/Monad
Installing Control/Category.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control
Installing Control/Arrow.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control
Installing Control/Catchable.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control
Installing Control/IOExcept.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base/Control
/Library/Developer/CommandLineTools/usr/bin/make -C effects install
../../dist/build/idris/idris --install effects.ipkg
Installing Effects.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects
Installing Effect/Default.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/Exception.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/File.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/State.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/Random.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/StdIO.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/Select.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/Memory.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
Installing Effect/System.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/effects/Effect
/Library/Developer/CommandLineTools/usr/bin/make -C oldeffects install
../../dist/build/idris/idris --install oldeffects.ipkg
Installing Effects.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects
Installing Effect/Exception.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/File.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/State.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/Random.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/StdIO.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/Select.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/Memory.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
Installing Effect/Monad.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/oldeffects/Effect
/Library/Developer/CommandLineTools/usr/bin/make -C javascript install
../../dist/build/idris/idris --install javascript.ipkg
Installing JavaScript.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/javascript
Installing JavaScript/JSON.ibc to /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/javascript/JavaScript
Installing run time system in /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/rts
mkdir -p /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/rts
install libidris_rts.a idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_bitstring.h idris_opts.h idris_stats.h mini-gmp.h idris_stdfgn.h idris_net.h /Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/rts
Installed idris-0.9.12
Updating documentation index /Users/sven/Library/Haskell/doc/index.html