Build #1 for ddc-core-eval-0.4.1.1
| Package | ddc-core-eval-0.4.1.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.3.0.0, mtl-2.1.2, deepseq-1.3.0.1, ddc-core-0.4.1.1, ddc-base-0.4.1.1, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring wl-pprint-1.1...
Building wl-pprint-1.1...
Preprocessing library wl-pprint-1.1...
[1 of 1] Compiling Text.PrettyPrint.Leijen ( Text/PrettyPrint/Leijen.hs, dist/build/Text/PrettyPrint/Leijen.o )
In-place registering wl-pprint-1.1...
Running Haddock for wl-pprint-1.1...
Running hscolour for wl-pprint-1.1...
Preprocessing library wl-pprint-1.1...
Preprocessing library wl-pprint-1.1...
Haddock coverage:
96% ( 85 / 89) in 'Text.PrettyPrint.Leijen'
Documentation created: dist/doc/html/wl-pprint/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/wl-pprint-1.1
Registering wl-pprint-1.1...
Installed wl-pprint-1.1
Configuring ddc-base-0.4.1.1...
Building ddc-base-0.4.1.1...
Preprocessing library ddc-base-0.4.1.1...
[1 of 7] Compiling DDC.Data.ListUtils ( DDC/Data/ListUtils.hs, dist/build/DDC/Data/ListUtils.o )
[2 of 7] Compiling DDC.Data.Canned ( DDC/Data/Canned.hs, dist/build/DDC/Data/Canned.o )
[3 of 7] Compiling DDC.Control.Monad.Check ( DDC/Control/Monad/Check.hs, dist/build/DDC/Control/Monad/Check.o )
[4 of 7] Compiling DDC.Base.Pretty ( DDC/Base/Pretty.hs, dist/build/DDC/Base/Pretty.o )
[5 of 7] Compiling DDC.Data.SourcePos ( DDC/Data/SourcePos.hs, dist/build/DDC/Data/SourcePos.o )
[6 of 7] Compiling DDC.Data.Token ( DDC/Data/Token.hs, dist/build/DDC/Data/Token.o )
[7 of 7] Compiling DDC.Base.Parser ( DDC/Base/Parser.hs, dist/build/DDC/Base/Parser.o )
In-place registering ddc-base-0.4.1.1...
Running Haddock for ddc-base-0.4.1.1...
Running hscolour for ddc-base-0.4.1.1...
Preprocessing library ddc-base-0.4.1.1...
Preprocessing library ddc-base-0.4.1.1...
Haddock coverage:
100% ( 7 / 7) in 'DDC.Data.ListUtils'
50% ( 1 / 2) in 'DDC.Data.Canned'
100% ( 7 / 7) in 'DDC.Control.Monad.Check'
91% ( 10 / 11) in 'DDC.Base.Pretty'
50% ( 1 / 2) in 'DDC.Data.SourcePos'
80% ( 4 / 5) in 'DDC.Data.Token'
Warning: DDC.Base.Parser: We do not support associated types in instances yet. These instances are affected:
DDC.Base.Pretty.Pretty Text.Parsec.Error.ParseError, DDC.Base.Pretty.Pretty Text.Parsec.Error.Message
100% ( 12 / 12) in 'DDC.Base.Parser'
Documentation created: dist/doc/html/ddc-base/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ddc-base-0.4.1.1
Registering ddc-base-0.4.1.1...
Installed ddc-base-0.4.1.1
Configuring ddc-core-0.4.1.1...
Building ddc-core-0.4.1.1...
Preprocessing library ddc-core-0.4.1.1...
[ 1 of 105] Compiling DDC.Type.Exp.Base ( DDC/Type/Exp/Base.hs, dist/build/DDC/Type/Exp/Base.o )
[ 2 of 105] Compiling DDC.Type.Exp.NFData ( DDC/Type/Exp/NFData.hs, dist/build/DDC/Type/Exp/NFData.o )
[ 3 of 105] Compiling DDC.Core.Fragment.Feature ( DDC/Core/Fragment/Feature.hs, dist/build/DDC/Core/Fragment/Feature.o )
[ 4 of 105] Compiling DDC.Type.Exp ( DDC/Type/Exp.hs, dist/build/DDC/Type/Exp.o )
[ 5 of 105] Compiling DDC.Type.Sum ( DDC/Type/Sum.hs, dist/build/DDC/Type/Sum.o )
[ 6 of 105] Compiling DDC.Type.Compounds ( DDC/Type/Compounds.hs, dist/build/DDC/Type/Compounds.o )
[ 7 of 105] Compiling DDC.Core.Exp.DaCon ( DDC/Core/Exp/DaCon.hs, dist/build/DDC/Core/Exp/DaCon.o )
[ 8 of 105] Compiling DDC.Core.Exp.Pat ( DDC/Core/Exp/Pat.hs, dist/build/DDC/Core/Exp/Pat.o )
[ 9 of 105] Compiling DDC.Core.Exp.WiCon ( DDC/Core/Exp/WiCon.hs, dist/build/DDC/Core/Exp/WiCon.o )
[ 10 of 105] Compiling DDC.Core.Exp.Simple ( DDC/Core/Exp/Simple.hs, dist/build/DDC/Core/Exp/Simple.o )
[ 11 of 105] Compiling DDC.Core.Compounds.Simple ( DDC/Core/Compounds/Simple.hs, dist/build/DDC/Core/Compounds/Simple.o )
[ 12 of 105] Compiling DDC.Core.Exp.Annot ( DDC/Core/Exp/Annot.hs, dist/build/DDC/Core/Exp/Annot.o )
[ 13 of 105] Compiling DDC.Core.Exp ( DDC/Core/Exp.hs, dist/build/DDC/Core/Exp.o )
[ 14 of 105] Compiling DDC.Core.Compounds.Annot ( DDC/Core/Compounds/Annot.hs, dist/build/DDC/Core/Compounds/Annot.o )
[ 15 of 105] Compiling DDC.Core.Compounds ( DDC/Core/Compounds.hs, dist/build/DDC/Core/Compounds.o )
[ 16 of 105] Compiling DDC.Core.Transform.LiftX ( DDC/Core/Transform/LiftX.hs, dist/build/DDC/Core/Transform/LiftX.o )
[ 17 of 105] Compiling DDC.Core.Transform.MapT ( DDC/Core/Transform/MapT.hs, dist/build/DDC/Core/Transform/MapT.o )
[ 18 of 105] Compiling DDC.Core.Transform.Annotate ( DDC/Core/Transform/Annotate.hs, dist/build/DDC/Core/Transform/Annotate.o )
[ 19 of 105] Compiling DDC.Core.Transform.Deannotate ( DDC/Core/Transform/Deannotate.hs, dist/build/DDC/Core/Transform/Deannotate.o )
[ 20 of 105] Compiling DDC.Type.Transform.LiftT ( DDC/Type/Transform/LiftT.hs, dist/build/DDC/Type/Transform/LiftT.o )
[ 21 of 105] Compiling DDC.Core.Transform.LiftT ( DDC/Core/Transform/LiftT.hs, dist/build/DDC/Core/Transform/LiftT.o )
[ 22 of 105] Compiling DDC.Type.Transform.Rename ( DDC/Type/Transform/Rename.hs, dist/build/DDC/Type/Transform/Rename.o )
[ 23 of 105] Compiling DDC.Core.Transform.Rename ( DDC/Core/Transform/Rename.hs, dist/build/DDC/Core/Transform/Rename.o )
[ 24 of 105] Compiling DDC.Type.Env ( DDC/Type/Env.hs, dist/build/DDC/Type/Env.o )
[ 25 of 105] Compiling DDC.Type.Universe ( DDC/Type/Universe.hs, dist/build/DDC/Type/Universe.o )
[ 26 of 105] Compiling DDC.Type.DataDef ( DDC/Type/DataDef.hs, dist/build/DDC/Type/DataDef.o )
[ 27 of 105] Compiling DDC.Core.Module ( DDC/Core/Module.hs, dist/build/DDC/Core/Module.o )
[ 28 of 105] Compiling DDC.Core.Transform.Reannotate ( DDC/Core/Transform/Reannotate.hs, dist/build/DDC/Core/Transform/Reannotate.o )
[ 29 of 105] Compiling DDC.Type.Transform.SpreadT ( DDC/Type/Transform/SpreadT.hs, dist/build/DDC/Type/Transform/SpreadT.o )
[ 30 of 105] Compiling DDC.Core.Transform.SpreadX ( DDC/Core/Transform/SpreadX.hs, dist/build/DDC/Core/Transform/SpreadX.o )
[ 31 of 105] Compiling DDC.Core.Fragment.Profile ( DDC/Core/Fragment/Profile.hs, dist/build/DDC/Core/Fragment/Profile.o )
[ 32 of 105] Compiling DDC.Type.Predicates ( DDC/Type/Predicates.hs, dist/build/DDC/Type/Predicates.o )
[ 33 of 105] Compiling DDC.Core.Predicates ( DDC/Core/Predicates.hs, dist/build/DDC/Core/Predicates.o )
[ 34 of 105] Compiling DDC.Type.Pretty ( DDC/Type/Pretty.hs, dist/build/DDC/Type/Pretty.o )
[ 35 of 105] Compiling DDC.Core.Pretty ( DDC/Core/Pretty.hs, dist/build/DDC/Core/Pretty.o )
[ 36 of 105] Compiling DDC.Core.Lexer.Tokens ( DDC/Core/Lexer/Tokens.hs, dist/build/DDC/Core/Lexer/Tokens.o )
[ 37 of 105] Compiling DDC.Core.Lexer.Names ( DDC/Core/Lexer/Names.hs, dist/build/DDC/Core/Lexer/Names.o )
[ 38 of 105] Compiling DDC.Core.Lexer.Offside ( DDC/Core/Lexer/Offside.hs, dist/build/DDC/Core/Lexer/Offside.o )
[ 39 of 105] Compiling DDC.Core.Lexer.Comments ( DDC/Core/Lexer/Comments.hs, dist/build/DDC/Core/Lexer/Comments.o )
[ 40 of 105] Compiling DDC.Core.Lexer ( DDC/Core/Lexer.hs, dist/build/DDC/Core/Lexer.o )
[ 41 of 105] Compiling DDC.Core.Parser.Base ( DDC/Core/Parser/Base.hs, dist/build/DDC/Core/Parser/Base.o )
[ 42 of 105] Compiling DDC.Core.Fragment.Error ( DDC/Core/Fragment/Error.hs, dist/build/DDC/Core/Fragment/Error.o )
[ 43 of 105] Compiling DDC.Core.Fragment.Compliance ( DDC/Core/Fragment/Compliance.hs, dist/build/DDC/Core/Fragment/Compliance.o )
[ 44 of 105] Compiling DDC.Core.Fragment ( DDC/Core/Fragment.hs, dist/build/DDC/Core/Fragment.o )
[ 45 of 105] Compiling DDC.Core.Parser.Context ( DDC/Core/Parser/Context.hs, dist/build/DDC/Core/Parser/Context.o )
[ 46 of 105] Compiling DDC.Core.Parser.Type ( DDC/Core/Parser/Type.hs, dist/build/DDC/Core/Parser/Type.o )
[ 47 of 105] Compiling DDC.Core.Parser.Witness ( DDC/Core/Parser/Witness.hs, dist/build/DDC/Core/Parser/Witness.o )
[ 48 of 105] Compiling DDC.Core.Parser.Param ( DDC/Core/Parser/Param.hs, dist/build/DDC/Core/Parser/Param.o )
[ 49 of 105] Compiling DDC.Core.Parser.Exp ( DDC/Core/Parser/Exp.hs, dist/build/DDC/Core/Parser/Exp.o )
[ 50 of 105] Compiling DDC.Core.Parser.Module ( DDC/Core/Parser/Module.hs, dist/build/DDC/Core/Parser/Module.o )
[ 51 of 105] Compiling DDC.Core.Parser ( DDC/Core/Parser.hs, dist/build/DDC/Core/Parser.o )
[ 52 of 105] Compiling DDC.Type.Check.Config ( DDC/Type/Check/Config.hs, dist/build/DDC/Type/Check/Config.o )
[ 53 of 105] Compiling DDC.Type.Check.CheckCon ( DDC/Type/Check/CheckCon.hs, dist/build/DDC/Type/Check/CheckCon.o )
[ 54 of 105] Compiling DDC.Type.Bind ( DDC/Type/Bind.hs, dist/build/DDC/Type/Bind.o )
[ 55 of 105] Compiling DDC.Type.Check.Context ( DDC/Type/Check/Context.hs, dist/build/DDC/Type/Check/Context.o )
[ 56 of 105] Compiling DDC.Type.Check.Error ( DDC/Type/Check/Error.hs, dist/build/DDC/Type/Check/Error.o )
[ 57 of 105] Compiling DDC.Type.Check.ErrorMessage ( DDC/Type/Check/ErrorMessage.hs, dist/build/DDC/Type/Check/ErrorMessage.o )
[ 58 of 105] Compiling DDC.Type.Collect.FreeT ( DDC/Type/Collect/FreeT.hs, dist/build/DDC/Type/Collect/FreeT.o )
[ 59 of 105] Compiling DDC.Type.Collect ( DDC/Type/Collect.hs, dist/build/DDC/Type/Collect.o )
[ 60 of 105] Compiling DDC.Core.Collect.Free ( DDC/Core/Collect/Free.hs, dist/build/DDC/Core/Collect/Free.o )
[ 61 of 105] Compiling DDC.Core.Collect.Free.Simple ( DDC/Core/Collect/Free/Simple.hs, dist/build/DDC/Core/Collect/Free/Simple.o )
[ 62 of 105] Compiling DDC.Type.Transform.Trim ( DDC/Type/Transform/Trim.hs, dist/build/DDC/Type/Transform/Trim.o )
[ 63 of 105] Compiling DDC.Type.Transform.Crush ( DDC/Type/Transform/Crush.hs, dist/build/DDC/Type/Transform/Crush.o )
[ 64 of 105] Compiling DDC.Type.Transform.SubstituteT ( DDC/Type/Transform/SubstituteT.hs, dist/build/DDC/Type/Transform/SubstituteT.o )
[ 65 of 105] Compiling DDC.Type.Transform.Instantiate ( DDC/Type/Transform/Instantiate.hs, dist/build/DDC/Type/Transform/Instantiate.o )
[ 66 of 105] Compiling DDC.Core.Collect.Support ( DDC/Core/Collect/Support.hs, dist/build/DDC/Core/Collect/Support.o )
[ 67 of 105] Compiling DDC.Core.Collect ( DDC/Core/Collect.hs, dist/build/DDC/Core/Collect.o )
[ 68 of 105] Compiling DDC.Core.Transform.SubstituteTX ( DDC/Core/Transform/SubstituteTX.hs, dist/build/DDC/Core/Transform/SubstituteTX.o )
[ 69 of 105] Compiling DDC.Core.Transform.SubstituteWX ( DDC/Core/Transform/SubstituteWX.hs, dist/build/DDC/Core/Transform/SubstituteWX.o )
[ 70 of 105] Compiling DDC.Core.Transform.SubstituteXX ( DDC/Core/Transform/SubstituteXX.hs, dist/build/DDC/Core/Transform/SubstituteXX.o )
[ 71 of 105] Compiling DDC.Core.Transform.Trim ( DDC/Core/Transform/Trim.hs, dist/build/DDC/Core/Transform/Trim.o )
[ 72 of 105] Compiling DDC.Type.Equiv ( DDC/Type/Equiv.hs, dist/build/DDC/Type/Equiv.o )
[ 73 of 105] Compiling DDC.Type.Check.Data ( DDC/Type/Check/Data.hs, dist/build/DDC/Type/Check/Data.o )
[ 74 of 105] Compiling DDC.Type.Subsumes ( DDC/Type/Subsumes.hs, dist/build/DDC/Type/Subsumes.o )
[ 75 of 105] Compiling DDC.Core.Check.TaggedClosure ( DDC/Core/Check/TaggedClosure.hs, dist/build/DDC/Core/Check/TaggedClosure.o )
[ 76 of 105] Compiling DDC.Type.Check.Base ( DDC/Type/Check/Base.hs, dist/build/DDC/Type/Check/Base.o )
[ 77 of 105] Compiling DDC.Type.Check.Judge.Eq ( DDC/Type/Check/Judge/Eq.hs, dist/build/DDC/Type/Check/Judge/Eq.o )
[ 78 of 105] Compiling DDC.Type.Check.Judge.Kind ( DDC/Type/Check/Judge/Kind.hs, dist/build/DDC/Type/Check/Judge/Kind.o )
[ 79 of 105] Compiling DDC.Type.Check ( DDC/Type/Check.hs, dist/build/DDC/Type/Check.o )
[ 80 of 105] Compiling DDC.Core.Check.Error ( DDC/Core/Check/Error.hs, dist/build/DDC/Core/Check/Error.o )
[ 81 of 105] Compiling DDC.Core.Check.ErrorMessage ( DDC/Core/Check/ErrorMessage.hs, dist/build/DDC/Core/Check/ErrorMessage.o )
[ 82 of 105] Compiling DDC.Core.Check.Base ( DDC/Core/Check/Base.hs, dist/build/DDC/Core/Check/Base.o )
[ 83 of 105] Compiling DDC.Core.Check.Judge.Inst ( DDC/Core/Check/Judge/Inst.hs, dist/build/DDC/Core/Check/Judge/Inst.o )
[ 84 of 105] Compiling DDC.Core.Check.Judge.Eq ( DDC/Core/Check/Judge/Eq.hs, dist/build/DDC/Core/Check/Judge/Eq.o )
[ 85 of 105] Compiling DDC.Core.Annot.AnT ( DDC/Core/Annot/AnT.hs, dist/build/DDC/Core/Annot/AnT.o )
[ 86 of 105] Compiling DDC.Core.Annot.AnTEC ( DDC/Core/Annot/AnTEC.hs, dist/build/DDC/Core/Annot/AnTEC.o )
[ 87 of 105] Compiling DDC.Core.Check.Judge.Sub ( DDC/Core/Check/Judge/Sub.hs, dist/build/DDC/Core/Check/Judge/Sub.o )
[ 88 of 105] Compiling DDC.Core.Check.Witness ( DDC/Core/Check/Witness.hs, dist/build/DDC/Core/Check/Witness.o )
[ 89 of 105] Compiling DDC.Core.Check.Judge.Type.Base ( DDC/Core/Check/Judge/Type/Base.hs, dist/build/DDC/Core/Check/Judge/Type/Base.o )
[ 90 of 105] Compiling DDC.Core.Check.Judge.Type.Sub ( DDC/Core/Check/Judge/Type/Sub.hs, dist/build/DDC/Core/Check/Judge/Type/Sub.o )
[ 91 of 105] Compiling DDC.Core.Check.Judge.Type.AppT ( DDC/Core/Check/Judge/Type/AppT.hs, dist/build/DDC/Core/Check/Judge/Type/AppT.o )
[ 92 of 105] Compiling DDC.Core.Check.Judge.Type.AppX ( DDC/Core/Check/Judge/Type/AppX.hs, dist/build/DDC/Core/Check/Judge/Type/AppX.o )
[ 93 of 105] Compiling DDC.Core.Check.Judge.Type.Case ( DDC/Core/Check/Judge/Type/Case.hs, dist/build/DDC/Core/Check/Judge/Type/Case.o )
[ 94 of 105] Compiling DDC.Core.Check.Judge.Type.Cast ( DDC/Core/Check/Judge/Type/Cast.hs, dist/build/DDC/Core/Check/Judge/Type/Cast.o )
[ 95 of 105] Compiling DDC.Core.Check.Judge.Type.DaCon ( DDC/Core/Check/Judge/Type/DaCon.hs, dist/build/DDC/Core/Check/Judge/Type/DaCon.o )
[ 96 of 105] Compiling DDC.Core.Check.Judge.Type.LamT ( DDC/Core/Check/Judge/Type/LamT.hs, dist/build/DDC/Core/Check/Judge/Type/LamT.o )
[ 97 of 105] Compiling DDC.Core.Check.Judge.Type.LamX ( DDC/Core/Check/Judge/Type/LamX.hs, dist/build/DDC/Core/Check/Judge/Type/LamX.o )
[ 98 of 105] Compiling DDC.Core.Check.Judge.Type.Let ( DDC/Core/Check/Judge/Type/Let.hs, dist/build/DDC/Core/Check/Judge/Type/Let.o )
[ 99 of 105] Compiling DDC.Core.Check.Judge.Type.LetPrivate ( DDC/Core/Check/Judge/Type/LetPrivate.hs, dist/build/DDC/Core/Check/Judge/Type/LetPrivate.o )
[100 of 105] Compiling DDC.Core.Check.Judge.Type.VarCon ( DDC/Core/Check/Judge/Type/VarCon.hs, dist/build/DDC/Core/Check/Judge/Type/VarCon.o )
[101 of 105] Compiling DDC.Core.Check.Judge.Type.Witness ( DDC/Core/Check/Judge/Type/Witness.hs, dist/build/DDC/Core/Check/Judge/Type/Witness.o )
[102 of 105] Compiling DDC.Core.Check.Exp ( DDC/Core/Check/Exp.hs, dist/build/DDC/Core/Check/Exp.o )
[103 of 105] Compiling DDC.Core.Check.Module ( DDC/Core/Check/Module.hs, dist/build/DDC/Core/Check/Module.o )
[104 of 105] Compiling DDC.Core.Check ( DDC/Core/Check.hs, dist/build/DDC/Core/Check.o )
[105 of 105] Compiling DDC.Core.Load ( DDC/Core/Load.hs, dist/build/DDC/Core/Load.o )
In-place registering ddc-core-0.4.1.1...
Running Haddock for ddc-core-0.4.1.1...
Running hscolour for ddc-core-0.4.1.1...
Preprocessing library ddc-core-0.4.1.1...
Preprocessing library ddc-core-0.4.1.1...
Haddock coverage:
67% ( 12 / 18) in 'DDC.Type.Exp.Base'
0% ( 0 / 1) in 'DDC.Type.Exp.NFData'
50% ( 1 / 2) in 'DDC.Core.Fragment.Feature'
68% ( 13 / 19) in 'DDC.Type.Exp'
100% ( 20 / 20) in 'DDC.Type.Sum'
68% ( 67 / 99) in 'DDC.Type.Compounds'
83% ( 5 / 6) in 'DDC.Core.Exp.DaCon'
50% ( 1 / 2) in 'DDC.Core.Exp.Pat'
67% ( 2 / 3) in 'DDC.Core.Exp.WiCon'
100% ( 15 / 15) in 'DDC.Core.Exp.Simple'
100% ( 39 / 39) in 'DDC.Core.Compounds.Simple'
100% ( 15 / 15) in 'DDC.Core.Exp.Annot'
100% ( 2 / 2) in 'DDC.Core.Exp'
100% ( 46 / 46) in 'DDC.Core.Compounds.Annot'
100% ( 2 / 2) in 'DDC.Core.Compounds'
83% ( 5 / 6) in 'DDC.Core.Transform.LiftX'
50% ( 1 / 2) in 'DDC.Core.Transform.MapT'
50% ( 1 / 2) in 'DDC.Core.Transform.Annotate'
50% ( 1 / 2) in 'DDC.Core.Transform.Deannotate'
83% ( 5 / 6) in 'DDC.Type.Transform.LiftT'
50% ( 2 / 4) in 'DDC.Core.Transform.LiftT'
94% ( 16 / 17) in 'DDC.Type.Transform.Rename'
88% ( 15 / 17) in 'DDC.Core.Transform.Rename'
100% ( 28 / 28) in 'DDC.Type.Env'
83% ( 5 / 6) in 'DDC.Type.Universe'
100% ( 19 / 19) in 'DDC.Type.DataDef'
92% ( 22 / 24) in 'DDC.Core.Module'
50% ( 1 / 2) in 'DDC.Core.Transform.Reannotate'
0% ( 0 / 2) in 'DDC.Type.Transform.SpreadT'
0% ( 0 / 2) in 'DDC.Core.Transform.SpreadX'
100% ( 6 / 6) in 'DDC.Core.Fragment.Profile'
90% ( 26 / 29) in 'DDC.Type.Predicates'
100% ( 20 / 20) in 'DDC.Core.Predicates'
50% ( 1 / 2) in 'DDC.Type.Pretty'
Warning: DDC.Core.Pretty: We do not support associated types in instances yet. These instances are affected:
(DDC.Base.Pretty.Pretty n, GHC.Classes.Eq n) =>
DDC.Base.Pretty.Pretty (DDC.Core.Module.Module a n), (DDC.Base.Pretty.Pretty n, GHC.Classes.Eq n) =>
DDC.Base.Pretty.Pretty (DDC.Core.Exp.Annot.Exp a n), (DDC.Base.Pretty.Pretty n, GHC.Classes.Eq n) =>
DDC.Base.Pretty.Pretty (DDC.Core.Exp.Annot.Alt a n), (DDC.Base.Pretty.Pretty n, GHC.Classes.Eq n) =>
DDC.Base.Pretty.Pretty (DDC.Core.Exp.Annot.Lets a n)
88% ( 7 / 8) in 'DDC.Core.Pretty'
93% ( 13 / 14) in 'DDC.Core.Lexer.Tokens'
96% ( 26 / 27) in 'DDC.Core.Lexer.Names'
100% ( 4 / 4) in 'DDC.Core.Lexer.Offside'
67% ( 2 / 3) in 'DDC.Core.Lexer.Comments'
100% ( 6 / 6) in 'DDC.Core.Lexer'
95% ( 20 / 21) in 'DDC.Core.Parser.Base'
50% ( 1 / 2) in 'DDC.Core.Fragment.Error'
75% ( 3 / 4) in 'DDC.Core.Fragment.Compliance'
100% ( 14 / 14) in 'DDC.Core.Fragment'
67% ( 2 / 3) in 'DDC.Core.Parser.Context'
100% ( 8 / 8) in 'DDC.Core.Parser.Type'
75% ( 3 / 4) in 'DDC.Core.Parser.Witness'
83% ( 5 / 6) in 'DDC.Core.Parser.Param'
100% ( 9 / 9) in 'DDC.Core.Parser.Exp'
50% ( 1 / 2) in 'DDC.Core.Parser.Module'
100% ( 44 / 44) in 'DDC.Core.Parser'
67% ( 2 / 3) in 'DDC.Type.Check.Config'
80% ( 4 / 5) in 'DDC.Type.Check.CheckCon'
50% ( 1 / 2) in 'DDC.Type.Bind'
97% ( 30 / 31) in 'DDC.Type.Check.Context'
100% ( 3 / 3) in 'DDC.Type.Check.Error'
100% ( 1 / 1) in 'DDC.Type.Check.ErrorMessage'
33% ( 1 / 3) in 'DDC.Type.Collect.FreeT'
85% ( 11 / 13) in 'DDC.Type.Collect'
100% ( 3 / 3) in 'DDC.Core.Collect.Free'
100% ( 1 / 1) in 'DDC.Core.Collect.Free.Simple'
50% ( 1 / 2) in 'DDC.Type.Transform.Trim'
67% ( 2 / 3) in 'DDC.Type.Transform.Crush'
89% ( 8 / 9) in 'DDC.Type.Transform.SubstituteT'
67% ( 2 / 3) in 'DDC.Type.Transform.Instantiate'
0% ( 0 / 3) in 'DDC.Core.Collect.Support'
80% ( 8 / 10) in 'DDC.Core.Collect'
80% ( 4 / 5) in 'DDC.Core.Transform.SubstituteTX'
75% ( 3 / 4) in 'DDC.Core.Transform.SubstituteWX'
83% ( 5 / 6) in 'DDC.Core.Transform.SubstituteXX'
100% ( 3 / 3) in 'DDC.Core.Transform.Trim'
75% ( 3 / 4) in 'DDC.Type.Equiv'
50% ( 1 / 2) in 'DDC.Type.Check.Data'
50% ( 1 / 2) in 'DDC.Type.Subsumes'
91% ( 10 / 11) in 'DDC.Core.Check.TaggedClosure'
95% ( 40 / 42) in 'DDC.Type.Check.Base'
50% ( 1 / 2) in 'DDC.Type.Check.Judge.Eq'
50% ( 1 / 2) in 'DDC.Type.Check.Judge.Kind'
100% ( 17 / 17) in 'DDC.Type.Check'
100% ( 2 / 2) in 'DDC.Core.Check.Error'
100% ( 2 / 2) in 'DDC.Core.Check.ErrorMessage'
98% ( 61 / 62) in 'DDC.Core.Check.Base'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Inst'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Eq'
50% ( 1 / 2) in 'DDC.Core.Annot.AnT'
67% ( 2 / 3) in 'DDC.Core.Annot.AnTEC'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Sub'
100% ( 6 / 6) in 'DDC.Core.Check.Witness'
99% ( 91 / 92) in 'DDC.Core.Check.Judge.Type.Base'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.Sub'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Type.AppT'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Type.AppX'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.Case'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.Cast'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Type.DaCon'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.LamT'
50% ( 1 / 2) in 'DDC.Core.Check.Judge.Type.LamX'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.Let'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.LetPrivate'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.VarCon'
0% ( 0 / 2) in 'DDC.Core.Check.Judge.Type.Witness'
94% ( 17 / 18) in 'DDC.Core.Check.Exp'
67% ( 2 / 3) in 'DDC.Core.Check.Module'
100% ( 20 / 20) in 'DDC.Core.Check'
100% ( 18 / 18) in 'DDC.Core.Load'
Warning: DDC.Type.Sum: could not find link destinations for:
DDC.Type.Sum.takeSumArrayElem
Warning: DDC.Core.Transform.MapT: could not find link destinations for:
DDC.Core.Transform.MapT.MapT
Warning: DDC.Type.Check: could not find link destinations for:
DDC.Type.Check.Context.Context DDC.Type.Check.Base.CheckM
Documentation created: dist/doc/html/ddc-core/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ddc-core-0.4.1.1
Registering ddc-core-0.4.1.1...
Installed ddc-core-0.4.1.1
Configuring ddc-core-eval-0.4.1.1...
Building ddc-core-eval-0.4.1.1...
Preprocessing library ddc-core-eval-0.4.1.1...
[1 of 9] Compiling DDC.Core.Eval.Name ( DDC/Core/Eval/Name.hs, dist/build/DDC/Core/Eval/Name.o )
[2 of 9] Compiling DDC.Core.Eval.Compounds ( DDC/Core/Eval/Compounds.hs, dist/build/DDC/Core/Eval/Compounds.o )
[3 of 9] Compiling DDC.Core.Eval.Env ( DDC/Core/Eval/Env.hs, dist/build/DDC/Core/Eval/Env.o )
[4 of 9] Compiling DDC.Core.Eval.Profile ( DDC/Core/Eval/Profile.hs, dist/build/DDC/Core/Eval/Profile.o )
[5 of 9] Compiling DDC.Core.Eval.Store ( DDC/Core/Eval/Store.hs, dist/build/DDC/Core/Eval/Store.o )
[6 of 9] Compiling DDC.Core.Eval.Prim ( DDC/Core/Eval/Prim.hs, dist/build/DDC/Core/Eval/Prim.o )
[7 of 9] Compiling DDC.Core.Eval.Step ( DDC/Core/Eval/Step.hs, dist/build/DDC/Core/Eval/Step.o )
[8 of 9] Compiling DDC.Core.Eval ( DDC/Core/Eval.hs, dist/build/DDC/Core/Eval.o )
[9 of 9] Compiling DDC.Core.Eval.Check ( DDC/Core/Eval/Check.hs, dist/build/DDC/Core/Eval/Check.o )
In-place registering ddc-core-eval-0.4.1.1...
Running Haddock for ddc-core-eval-0.4.1.1...
Running hscolour for ddc-core-eval-0.4.1.1...
Preprocessing library ddc-core-eval-0.4.1.1...
Preprocessing library ddc-core-eval-0.4.1.1...
Haddock coverage:
90% ( 9 / 10) in 'DDC.Core.Eval.Name'
67% ( 24 / 36) in 'DDC.Core.Eval.Compounds'
100% ( 10 / 10) in 'DDC.Core.Eval.Env'
100% ( 2 / 2) in 'DDC.Core.Eval.Profile'
95% ( 21 / 22) in 'DDC.Core.Eval.Store'
100% ( 5 / 5) in 'DDC.Core.Eval.Prim'
100% ( 6 / 6) in 'DDC.Core.Eval.Step'
100% ( 4 / 4) in 'DDC.Core.Eval.Check'
100% ( 5 / 5) in 'DDC.Core.Eval'
Documentation created: dist/doc/html/ddc-core-eval/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ddc-core-eval-0.4.1.1
Registering ddc-core-eval-0.4.1.1...
Installed ddc-core-eval-0.4.1.1
Test log
No test log was submitted for this report.