Created
April 5, 2014 13:32
-
-
Save tpsinnem/9992007 to your computer and use it in GitHub Desktop.
Warnings and error in 'make test'
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Warnings and error in 'make test' on commit aa392335ed70c4b05259e1c120b854e7865a9bb7 | |
| $ make test | |
| cabal haddock --executables --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$pkg/latest/doc/html" --haddock-options="--title Idris" | |
| Running Haddock for idris-0.9.12... | |
| Running hscolour for idris-0.9.12... | |
| Preprocessing library idris-0.9.12... | |
| Preprocessing executable 'idris' for idris-0.9.12... | |
| Preprocessing library idris-0.9.12... | |
| Warning: The documentation for the following packages are not installed. No | |
| links will be generated to these packages: Cabal-1.18.0, aeson-0.7.0.2, | |
| annotated-wl-pprint-0.5.3, ansi-terminal-0.6, ansi-wl-pprint-0.6.6, | |
| attoparsec-0.11.2.1, bifunctors-4.1.1, blaze-builder-0.3.1.1, | |
| blaze-html-0.6.1.3, blaze-markup-0.5.1.5, cereal-0.3.5.2, charset-0.3.7, | |
| cheapskate-0.1.0.1, comonad-4.0.1, contravariant-0.4.4, cpphs-1.17.1, | |
| css-text-0.1.2.1, data-default-0.5.3, data-default-class-0.0.1, | |
| data-default-instances-base-0.0.1, data-default-instances-containers-0.0.1, | |
| data-default-instances-dlist-0.0.1, data-default-instances-old-locale-0.0.1, | |
| distributive-0.3.1, dlist-0.5, exceptions-0.5, fingertree-0.1.0.0, free-4.6.1, | |
| hashable-1.2.1.0, haskeline-0.7.0.3, keys-3.10, language-java-0.2.6, | |
| lens-4.1.2, mtl-2.1.2, nats-0.1.2, network-2.4.1.2, parallel-3.2.0.3, | |
| parsec-3.1.3, parsers-0.11, pointed-4.0, primitive-0.5.0.1, profunctors-4.0.3, | |
| reducers-3.10.2, reflection-1.3.2, scientific-0.2.0.2, semigroupoids-4.0.1, | |
| semigroups-0.11, split-0.2.2, stm-2.4.2, syb-0.4.1, tagged-0.7, | |
| tagsoup-0.13.1, terminfo-0.3.2.5, text-0.11.3.1, transformers-0.3.0.0, | |
| transformers-compat-0.1.1.1, trifecta-1.4.1, uniplate-1.6.12, | |
| unordered-containers-0.2.3.2, utf8-string-0.3.7, vector-0.10.0.1, | |
| vector-binary-instances-0.2.1.0, void-0.6.1, xml-1.3.13, xss-sanitize-0.3.5.2, | |
| zlib-0.5.4.1 | |
| 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 / 8) 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' | |
| Warning: idris-0.9.12:Util.Pretty: Could not find documentation for exported module: Text.PrettyPrint.Annotated.Leijen | |
| 0% ( 0 / 4) 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.Colours: could not find link destinations for: | |
| System.Console.ANSI.Common.Color | |
| Warning: Idris.Core.TC: could not find link destinations for: | |
| Control.Monad.Trans.Error.Error | |
| Warning: Idris.Core.TT: could not find link destinations for: | |
| Text.PrettyPrint.Annotated.Leijen.Doc Control.Monad.Trans.Error.Error Data.Text.Internal.Text Data.Vector.Unboxed.Base.Vector Util.Pretty.Pretty | |
| Warning: IRTS.Lang: could not find link destinations for: | |
| Control.Monad.Trans.State.Lazy.State | |
| Warning: Idris.Docstrings: could not find link destinations for: | |
| Cheapskate.Types.Doc Data.Text.Internal.Text Text.PrettyPrint.Annotated.Leijen.Doc | |
| Warning: IRTS.Defunctionalise: could not find link destinations for: | |
| Control.Monad.Trans.State.Lazy.State | |
| Warning: IRTS.Java.JTypes: could not find link destinations for: | |
| Language.Java.Syntax.Type Language.Java.Syntax.Ident Language.Java.Syntax.Exp Language.Java.Syntax.FormalParam | |
| Warning: IRTS.Java.ASTBuilding: could not find link destinations for: | |
| Language.Java.Syntax.Type Language.Java.Syntax.ClassType Language.Java.Syntax.RefType Language.Java.Syntax.Argument Language.Java.Syntax.Exp Language.Java.Syntax.Name Language.Java.Syntax.Ident Language.Java.Syntax.ArrayIndex Language.Java.Syntax.BlockStmt Language.Java.Syntax.Modifier Language.Java.Syntax.FormalParam Language.Java.Syntax.Block Language.Java.Syntax.Decl Language.Java.Syntax.VarInit | |
| Warning: Idris.Core.Evaluate: could not find link destinations for: | |
| Control.Monad.Trans.State.Lazy.StateT Idris.Core.Evaluate.Eval Idris.Core.Evaluate.EvalState | |
| Warning: Idris.Core.Typecheck: could not find link destinations for: | |
| Control.Monad.Trans.State.Lazy.StateT | |
| Warning: IRTS.Simplified: could not find link destinations for: | |
| Control.Monad.Trans.State.Lazy.State Control.Monad.Trans.State.Lazy.StateT Data.Functor.Identity.Identity Control.Monad.State.Class.MonadState | |
| Warning: IRTS.Java.Mangling: could not find link destinations for: | |
| Language.Java.Syntax.Ident Control.Monad.Error.Class.MonadError Language.Java.Syntax.Name | |
| Warning: Idris.Core.Elaborate: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT | |
| Warning: Idris.AbsSyntaxTree: could not find link destinations for: | |
| Data.Text.Internal.Text Text.Parser.Token.TokenParsing Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Error.ErrorT Text.PrettyPrint.Annotated.Leijen.Doc | |
| Warning: Idris.AbsSyntax: could not find link destinations for: | |
| Text.PrettyPrint.Annotated.Leijen.Doc Data.Text.Internal.Text | |
| Warning: Idris.DataOpts: could not find link destinations for: | |
| Data.Text.Internal.Text | |
| Warning: Idris.Apropos: could not find link destinations for: | |
| Data.Text.Internal.Text | |
| Warning: Idris.Delaborate: could not find link destinations for: | |
| Text.PrettyPrint.Annotated.Leijen.Doc | |
| Warning: Idris.Output: could not find link destinations for: | |
| Text.PrettyPrint.Annotated.Leijen.Doc Text.PrettyPrint.Annotated.Leijen.SimpleDoc | |
| Warning: Idris.ParseHelpers: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT Text.Trifecta.Parser.Parser Text.Trifecta.Combinators.DeltaParsing Text.Parser.Token.TokenParsing Text.Parser.Combinators.Parsing Text.Parser.Char.CharParsing Text.Parser.LookAhead.LookAheadParsing Text.Trifecta.Combinators.MarkParsing Text.Trifecta.Delta.Delta Text.Trifecta.Result.Result Text.Parser.Token.IdentifierStyle | |
| Warning: Idris.Completion: could not find link destinations for: | |
| System.Console.Haskeline.Completion.CompletionFunc | |
| Warning: Idris.ParseOps: could not find link destinations for: | |
| Text.Parser.Expression.OperatorTable Text.Parser.Expression.Assoc Text.Parser.Expression.Operator | |
| Warning: Idris.ParseExpr: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT Text.Parser.Combinators.try Control.Monad.State.Class.state | |
| Warning: Idris.Docs: could not find link destinations for: | |
| Text.PrettyPrint.Annotated.Leijen.Doc | |
| Warning: Idris.ElabTerm: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.State.Strict.State | |
| Warning: Idris.ElabDecls: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Error.ErrorT | |
| Warning: Idris.Parser: could not find link destinations for: | |
| Text.Trifecta.Result.Result Text.Trifecta.Delta.Delta Text.PrettyPrint.ANSI.Leijen.Doc | |
| Warning: Idris.CaseSplit: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Error.ErrorT | |
| Warning: Idris.REPLParser: could not find link destinations for: | |
| Text.Trifecta.Result.Result | |
| Warning: Idris.Prover: could not find link destinations for: | |
| System.Console.Haskeline.InputT.Settings System.Console.Haskeline.History.History | |
| Warning: IRTS.Compiler: could not find link destinations for: | |
| Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Error.ErrorT | |
| Warning: Idris.REPL: could not find link destinations for: | |
| System.Console.Haskeline.InputT.InputT System.Console.Haskeline.InputT.Settings Text.PrettyPrint.ANSI.Leijen.Doc | |
| Warning: Pkg.Package: could not find link destinations for: | |
| Pkg.PParser.PkgDesc | |
| Documentation created: dist/doc/html/idris/index.html, | |
| dist/doc/html/idris/idris.txt | |
| Preprocessing executable 'idris' for idris-0.9.12... | |
| setup: internal error when calculating transative package dependencies. | |
| Debug info: [] | |
| make: *** [doc] Error 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment