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-salt-0.4.1.1... Building ddc-core-salt-0.4.1.1... Preprocessing library ddc-core-salt-0.4.1.1... [ 1 of 34] Compiling DDC.Core.Salt.Name.Lit ( DDC/Core/Salt/Name/Lit.hs, dist/build/DDC/Core/Salt/Name/Lit.o ) [ 2 of 34] Compiling DDC.Core.Salt.Name.PrimStore ( DDC/Core/Salt/Name/PrimStore.hs, dist/build/DDC/Core/Salt/Name/PrimStore.o ) [ 3 of 34] Compiling DDC.Core.Salt.Name.PrimControl ( DDC/Core/Salt/Name/PrimControl.hs, dist/build/DDC/Core/Salt/Name/PrimControl.o ) [ 4 of 34] Compiling DDC.Core.Salt.Name.PrimCall ( DDC/Core/Salt/Name/PrimCall.hs, dist/build/DDC/Core/Salt/Name/PrimCall.o ) [ 5 of 34] Compiling DDC.Core.Salt.Name.PrimArith ( DDC/Core/Salt/Name/PrimArith.hs, dist/build/DDC/Core/Salt/Name/PrimArith.o ) [ 6 of 34] Compiling DDC.Core.Salt.Name.PrimVec ( DDC/Core/Salt/Name/PrimVec.hs, dist/build/DDC/Core/Salt/Name/PrimVec.o ) [ 7 of 34] Compiling DDC.Core.Salt.Platform ( DDC/Core/Salt/Platform.hs, dist/build/DDC/Core/Salt/Platform.o ) [ 8 of 34] Compiling DDC.Core.Salt.Name.PrimTyCon ( DDC/Core/Salt/Name/PrimTyCon.hs, dist/build/DDC/Core/Salt/Name/PrimTyCon.o ) [ 9 of 34] Compiling DDC.Core.Salt.Name.PrimCast ( DDC/Core/Salt/Name/PrimCast.hs, dist/build/DDC/Core/Salt/Name/PrimCast.o ) [10 of 34] Compiling DDC.Core.Lite.Name ( DDC/Core/Lite/Name.hs, dist/build/DDC/Core/Lite/Name.o ) [11 of 34] Compiling DDC.Core.Lite.Compounds ( DDC/Core/Lite/Compounds.hs, dist/build/DDC/Core/Lite/Compounds.o ) [12 of 34] Compiling DDC.Core.Lite.Env ( DDC/Core/Lite/Env.hs, dist/build/DDC/Core/Lite/Env.o ) [13 of 34] Compiling DDC.Core.Lite.Profile ( DDC/Core/Lite/Profile.hs, dist/build/DDC/Core/Lite/Profile.o ) [14 of 34] Compiling DDC.Core.Lite.Convert.Base ( DDC/Core/Lite/Convert/Base.hs, dist/build/DDC/Core/Lite/Convert/Base.o ) [15 of 34] Compiling DDC.Core.Salt.Name ( DDC/Core/Salt/Name.hs, dist/build/DDC/Core/Salt/Name.o ) [16 of 34] Compiling DDC.Core.Salt.Convert.Name ( DDC/Core/Salt/Convert/Name.hs, dist/build/DDC/Core/Salt/Convert/Name.o ) [17 of 34] Compiling DDC.Core.Salt.Convert.Base ( DDC/Core/Salt/Convert/Base.hs, dist/build/DDC/Core/Salt/Convert/Base.o ) [18 of 34] Compiling DDC.Core.Lite.Layout ( DDC/Core/Lite/Layout.hs, dist/build/DDC/Core/Lite/Layout.o ) [19 of 34] Compiling DDC.Core.Salt.Convert.Prim ( DDC/Core/Salt/Convert/Prim.hs, dist/build/DDC/Core/Salt/Convert/Prim.o ) [20 of 34] Compiling DDC.Core.Salt.Convert.Type ( DDC/Core/Salt/Convert/Type.hs, dist/build/DDC/Core/Salt/Convert/Type.o ) [21 of 34] Compiling DDC.Core.Salt.Convert.Exp ( DDC/Core/Salt/Convert/Exp.hs, dist/build/DDC/Core/Salt/Convert/Exp.o ) [22 of 34] Compiling DDC.Core.Salt.Convert.Super ( DDC/Core/Salt/Convert/Super.hs, dist/build/DDC/Core/Salt/Convert/Super.o ) [23 of 34] Compiling DDC.Core.Salt.Compounds ( DDC/Core/Salt/Compounds.hs, dist/build/DDC/Core/Salt/Compounds.o ) [24 of 34] Compiling DDC.Core.Salt.Env ( DDC/Core/Salt/Env.hs, dist/build/DDC/Core/Salt/Env.o ) [25 of 34] Compiling DDC.Core.Salt.Profile ( DDC/Core/Salt/Profile.hs, dist/build/DDC/Core/Salt/Profile.o ) [26 of 34] Compiling DDC.Core.Salt.Runtime ( DDC/Core/Salt/Runtime.hs, dist/build/DDC/Core/Salt/Runtime.o ) [27 of 34] Compiling DDC.Core.Salt.Convert.Init ( DDC/Core/Salt/Convert/Init.hs, dist/build/DDC/Core/Salt/Convert/Init.o ) [28 of 34] Compiling DDC.Core.Salt.Convert ( DDC/Core/Salt/Convert.hs, dist/build/DDC/Core/Salt/Convert.o ) [29 of 34] Compiling DDC.Core.Salt ( DDC/Core/Salt.hs, dist/build/DDC/Core/Salt.o ) [30 of 34] Compiling DDC.Core.Salt.Transfer ( DDC/Core/Salt/Transfer.hs, dist/build/DDC/Core/Salt/Transfer.o ) [31 of 34] Compiling DDC.Core.Lite.Convert.Type ( DDC/Core/Lite/Convert/Type.hs, dist/build/DDC/Core/Lite/Convert/Type.o ) [32 of 34] Compiling DDC.Core.Lite.Convert.Data ( DDC/Core/Lite/Convert/Data.hs, dist/build/DDC/Core/Lite/Convert/Data.o ) [33 of 34] Compiling DDC.Core.Lite.Convert ( DDC/Core/Lite/Convert.hs, dist/build/DDC/Core/Lite/Convert.o ) [34 of 34] Compiling DDC.Core.Lite ( DDC/Core/Lite.hs, dist/build/DDC/Core/Lite.o ) In-place registering ddc-core-salt-0.4.1.1... Running Haddock for ddc-core-salt-0.4.1.1... Running hscolour for ddc-core-salt-0.4.1.1... Preprocessing library ddc-core-salt-0.4.1.1... Preprocessing library ddc-core-salt-0.4.1.1... Haddock coverage: 100% ( 6 / 6) in 'DDC.Core.Salt.Name.Lit' 33% ( 1 / 3) in 'DDC.Core.Salt.Name.PrimStore' 33% ( 1 / 3) in 'DDC.Core.Salt.Name.PrimControl' 33% ( 1 / 3) in 'DDC.Core.Salt.Name.PrimCall' 67% ( 2 / 3) in 'DDC.Core.Salt.Name.PrimArith' 83% ( 5 / 6) in 'DDC.Core.Salt.Name.PrimVec' 75% ( 3 / 4) in 'DDC.Core.Salt.Platform' 88% ( 7 / 8) in 'DDC.Core.Salt.Name.PrimTyCon' 60% ( 3 / 5) in 'DDC.Core.Salt.Name.PrimCast' 93% ( 13 / 14) in 'DDC.Core.Lite.Name' 92% ( 11 / 12) in 'DDC.Core.Lite.Compounds' 80% ( 4 / 5) in 'DDC.Core.Lite.Env' 100% ( 4 / 4) in 'DDC.Core.Lite.Profile' 67% ( 2 / 3) in 'DDC.Core.Lite.Convert.Base' 91% ( 39 / 43) in 'DDC.Core.Salt.Name' 80% ( 4 / 5) in 'DDC.Core.Salt.Convert.Name' 100% ( 3 / 3) in 'DDC.Core.Salt.Convert.Base' 100% ( 7 / 7) in 'DDC.Core.Lite.Layout' 100% ( 4 / 4) in 'DDC.Core.Salt.Convert.Prim' 67% ( 2 / 3) in 'DDC.Core.Salt.Convert.Type' 86% ( 6 / 7) in 'DDC.Core.Salt.Convert.Exp' 50% ( 1 / 2) in 'DDC.Core.Salt.Convert.Super' 0% ( 0 / 17) in 'DDC.Core.Salt.Compounds' 90% ( 9 / 10) in 'DDC.Core.Salt.Env' 100% ( 4 / 4) in 'DDC.Core.Salt.Profile' 100% ( 22 / 22) in 'DDC.Core.Salt.Runtime' 100% ( 2 / 2) in 'DDC.Core.Salt.Convert.Init' 100% ( 7 / 7) in 'DDC.Core.Salt.Convert' 50% ( 1 / 2) in 'DDC.Core.Salt.Transfer' 0% ( 0 / 8) in 'DDC.Core.Lite.Convert.Type' 67% ( 2 / 3) in 'DDC.Core.Lite.Convert.Data' 100% ( 3 / 3) in 'DDC.Core.Lite.Convert' 100% ( 18 / 18) in 'DDC.Core.Lite' 100% ( 22 / 22) in 'DDC.Core.Salt' Warning: DDC.Core.Lite: could not find link destinations for: DDC.Core.Lite.Name.EffectTyCon Documentation created: dist/doc/html/ddc-core-salt/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ddc-core-salt-0.4.1.1 Registering ddc-core-salt-0.4.1.1... Installed ddc-core-salt-0.4.1.1