Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-27309/mtl-2.2.1' Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) Running Haddock for mtl-2.2.1... Running hscolour for mtl-2.2.1... Preprocessing library mtl-2.2.1... Preprocessing library mtl-2.2.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 5 / 5) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' Missing documentation for: MonadRWS (Control/Monad/RWS/Class.hs:44) 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) 100% ( 3 / 3) in 'Control.Monad.Trans' 93% ( 14 / 15) in 'Control.Monad.Error' Missing documentation for: runErrorT 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' Missing documentation for: runRWST 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' Missing documentation for: runReaderT 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' Missing documentation for: runRWST 96% ( 24 / 25) in 'Control.Monad.State.Lazy' Missing documentation for: runStateT 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' Missing documentation for: runStateT 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) runWriterT 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 91% ( 20 / 22) in 'Control.Monad.Cont' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) runContT Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.22145174067468703135.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM Registering mtl-2.2.1... cabal: Leaving directory '/tmp/cabal-tmp-27309/mtl-2.2.1' Installed mtl-2.2.1 cabal: Entering directory '/tmp/cabal-tmp-27309/RepLib-0.5.4' Configuring RepLib-0.5.4... Building RepLib-0.5.4... Preprocessing library RepLib-0.5.4... [ 1 of 12] Compiling Generics.RepLib.R ( Generics/RepLib/R.hs, dist/build/Generics/RepLib/R.o ) [ 2 of 12] Compiling Generics.RepLib.R1 ( Generics/RepLib/R1.hs, dist/build/Generics/RepLib/R1.o ) [ 3 of 12] Compiling Generics.RepLib.Derive ( Generics/RepLib/Derive.hs, dist/build/Generics/RepLib/Derive.o ) [ 4 of 12] Compiling Generics.RepLib.PreludeReps ( Generics/RepLib/PreludeReps.hs, dist/build/Generics/RepLib/PreludeReps.o ) [ 5 of 12] Compiling Generics.RepLib.RepAux ( Generics/RepLib/RepAux.hs, dist/build/Generics/RepLib/RepAux.o ) [ 6 of 12] Compiling Generics.RepLib.SYB.Aliases ( Generics/RepLib/SYB/Aliases.hs, dist/build/Generics/RepLib/SYB/Aliases.o ) [ 7 of 12] Compiling Generics.RepLib.SYB.Schemes ( Generics/RepLib/SYB/Schemes.hs, dist/build/Generics/RepLib/SYB/Schemes.o ) [ 8 of 12] Compiling Generics.RepLib.PreludeLib ( Generics/RepLib/PreludeLib.hs, dist/build/Generics/RepLib/PreludeLib.o ) [ 9 of 12] Compiling Generics.RepLib.AbstractReps ( Generics/RepLib/AbstractReps.hs, dist/build/Generics/RepLib/AbstractReps.o ) [10 of 12] Compiling Generics.RepLib.Lib ( Generics/RepLib/Lib.hs, dist/build/Generics/RepLib/Lib.o ) [11 of 12] Compiling Generics.RepLib.Unify ( Generics/RepLib/Unify.hs, dist/build/Generics/RepLib/Unify.o ) [12 of 12] Compiling Generics.RepLib ( Generics/RepLib.hs, dist/build/Generics/RepLib.o ) Running Haddock for RepLib-0.5.4... Running hscolour for RepLib-0.5.4... Preprocessing library RepLib-0.5.4... Preprocessing library RepLib-0.5.4... Haddock coverage: 28% ( 10 / 36) in 'Generics.RepLib.R' Missing documentation for: Fixity (Generics/RepLib/R.hs:60) (Generics/RepLib/R.hs:95) (Generics/RepLib/R.hs:113) (Generics/RepLib/R.hs:116) (Generics/RepLib/R.hs:121) (Generics/RepLib/R.hs:124) (Generics/RepLib/R.hs:129) (Generics/RepLib/R.hs:130) (Generics/RepLib/R.hs:131) (Generics/RepLib/R.hs:132) (Generics/RepLib/R.hs:133) (Generics/RepLib/R.hs:134) (Generics/RepLib/R.hs:135) (Generics/RepLib/R.hs:136) (Generics/RepLib/R.hs:137) (Generics/RepLib/R.hs:139) rUnitEmb (Generics/RepLib/R.hs:146) rUnit (Generics/RepLib/R.hs:153) (Generics/RepLib/R.hs:157) (Generics/RepLib/R.hs:161) rTup2 (Generics/RepLib/R.hs:164) rPairEmb (Generics/RepLib/R.hs:168) rList (Generics/RepLib/R.hs:178) rNilEmb (Generics/RepLib/R.hs:182) rConsEmb (Generics/RepLib/R.hs:192) (Generics/RepLib/R.hs:204) 14% ( 3 / 22) in 'Generics.RepLib.R1' Missing documentation for: R1 (Generics/RepLib/R1.hs:33) Sat (Generics/RepLib/R1.hs:51) Rep1 (Generics/RepLib/R1.hs:53) (Generics/RepLib/R1.hs:55) (Generics/RepLib/R1.hs:94) (Generics/RepLib/R1.hs:95) (Generics/RepLib/R1.hs:96) (Generics/RepLib/R1.hs:97) (Generics/RepLib/R1.hs:98) (Generics/RepLib/R1.hs:99) (Generics/RepLib/R1.hs:100) (Generics/RepLib/R1.hs:101) (Generics/RepLib/R1.hs:103) (Generics/RepLib/R1.hs:106) (Generics/RepLib/R1.hs:116) rTup2_1 (Generics/RepLib/R1.hs:121) (Generics/RepLib/R1.hs:127) rList1 (Generics/RepLib/R1.hs:132) (Generics/RepLib/R1.hs:142) 100% ( 3 / 3) in 'Generics.RepLib.Derive' 3% ( 1 / 37) in 'Generics.RepLib.PreludeReps' Missing documentation for: (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) (Generics/RepLib/PreludeReps.hs:24) rTup7_1 (Generics/RepLib/PreludeReps.hs:24) rTup7 (Generics/RepLib/PreludeReps.hs:24) rTup6_1 (Generics/RepLib/PreludeReps.hs:24) rTup6 (Generics/RepLib/PreludeReps.hs:24) rTup5_1 (Generics/RepLib/PreludeReps.hs:24) rTup5 (Generics/RepLib/PreludeReps.hs:24) rTup4_1 (Generics/RepLib/PreludeReps.hs:24) rTup4 (Generics/RepLib/PreludeReps.hs:24) rTup3_1 (Generics/RepLib/PreludeReps.hs:24) rTup3 (Generics/RepLib/PreludeReps.hs:24) rOrdering1 (Generics/RepLib/PreludeReps.hs:24) rOrdering (Generics/RepLib/PreludeReps.hs:24) rEither1 (Generics/RepLib/PreludeReps.hs:24) rEither (Generics/RepLib/PreludeReps.hs:24) rMaybe1 (Generics/RepLib/PreludeReps.hs:24) rMaybe (Generics/RepLib/PreludeReps.hs:24) rBool1 (Generics/RepLib/PreludeReps.hs:24) rBool (Generics/RepLib/PreludeReps.hs:24) 69% ( 27 / 39) in 'Generics.RepLib.RepAux' Missing documentation for: gmapQ (Generics/RepLib/RepAux.hs:280) gmapM (Generics/RepLib/RepAux.hs:292) Traversal1 (Generics/RepLib/RepAux.hs:303) Query1 (Generics/RepLib/RepAux.hs:312) MapM1 (Generics/RepLib/RepAux.hs:321) gmapT1 (Generics/RepLib/RepAux.hs:304) gmapQ1 (Generics/RepLib/RepAux.hs:313) gmapM1 (Generics/RepLib/RepAux.hs:322) Typed (Generics/RepLib/RepAux.hs:332) Spine (Generics/RepLib/RepAux.hs:335) toSpine (Generics/RepLib/RepAux.hs:351) fromSpine (Generics/RepLib/RepAux.hs:354) 94% ( 31 / 33) in 'Generics.RepLib.SYB.Aliases' Missing documentation for: GenericQ' (Generics/RepLib/SYB/Aliases.hs:262) GenericM' (Generics/RepLib/SYB/Aliases.hs:263) 100% ( 16 / 16) in 'Generics.RepLib.SYB.Schemes' 60% ( 6 / 10) in 'Generics.RepLib.PreludeLib' Missing documentation for: EqD (Generics/RepLib/PreludeLib.hs:66) OrdD (Generics/RepLib/PreludeLib.hs:97) BoundedD (Generics/RepLib/PreludeLib.hs:129) ShowD (Generics/RepLib/PreludeLib.hs:153) 11% ( 1 / 9) in 'Generics.RepLib.AbstractReps' Missing documentation for: (Generics/RepLib/AbstractReps.hs:28) (Generics/RepLib/AbstractReps.hs:28) (Generics/RepLib/AbstractReps.hs:28) (Generics/RepLib/AbstractReps.hs:28) rSet1 (Generics/RepLib/AbstractReps.hs:28) rSet (Generics/RepLib/AbstractReps.hs:28) rMap1 (Generics/RepLib/AbstractReps.hs:28) rMap (Generics/RepLib/AbstractReps.hs:28) 64% ( 27 / 42) in 'Generics.RepLib.Lib' Missing documentation for: GSumD (Generics/RepLib/Lib.hs:114) ZeroD (Generics/RepLib/Lib.hs:152) GenerateD (Generics/RepLib/Lib.hs:189) EnumerateD (Generics/RepLib/Lib.hs:236) ShrinkD (Generics/RepLib/Lib.hs:278) LreduceD (Generics/RepLib/Lib.hs:324) RreduceD (Generics/RepLib/Lib.hs:323) rnfR (Generics/RepLib/Lib.hs:92) deepSeqR (Generics/RepLib/Lib.hs:98) gsumR1 (Generics/RepLib/Lib.hs:116) zeroR1 (Generics/RepLib/Lib.hs:157) generateR1 (Generics/RepLib/Lib.hs:203) enumerateR1 (Generics/RepLib/Lib.hs:246) lreduceR1 (Generics/RepLib/Lib.hs:349) rreduceR1 (Generics/RepLib/Lib.hs:354) 3% ( 1 / 29) in 'Generics.RepLib.Unify' Missing documentation for: Module header Proxy (Generics/RepLib/Unify.hs:40) UnifyError (Generics/RepLib/Unify.hs:54) UM (Generics/RepLib/Unify.hs:59) throwError (Generics/RepLib/Unify.hs:60) UnifySubD (Generics/RepLib/Unify.hs:69) (Generics/RepLib/Unify.hs:73) UConstraint (Generics/RepLib/Unify.hs:77) UnificationState (Generics/RepLib/Unify.hs:78) Unify (Generics/RepLib/Unify.hs:85) (Generics/RepLib/Unify.hs:89) addConstraintsRL1 (Generics/RepLib/Unify.hs:112) unifyStepEq (Generics/RepLib/Unify.hs:118) (Generics/RepLib/Unify.hs:125) dequeueConstraint (Generics/RepLib/Unify.hs:138) queueConstraint (Generics/RepLib/Unify.hs:144) extendSubstitution (Generics/RepLib/Unify.hs:165) solveUnification (Generics/RepLib/Unify.hs:180) solveUnification' (Generics/RepLib/Unify.hs:200) HasVar (Generics/RepLib/Unify.hs:216) Subst (Generics/RepLib/Unify.hs:224) (Generics/RepLib/Unify.hs:228) substR1 (Generics/RepLib/Unify.hs:232) (Generics/RepLib/Unify.hs:236) Occurs (Generics/RepLib/Unify.hs:243) (Generics/RepLib/Unify.hs:247) occursCheckR1 (Generics/RepLib/Unify.hs:251) (Generics/RepLib/Unify.hs:255) 100% ( 23 / 23) in 'Generics.RepLib' Warning: Generics.RepLib: could not find link destinations for: ~ Documentation created: dist/doc/html/RepLib/index.html, dist/doc/html/RepLib/RepLib.txt Creating package registration file: /tmp/pkgConf-RepLib-0.51253207672570073850.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/RepLib-0.5.4-JjfHsn4PpfyHZE0ueJHrtD Registering RepLib-0.5.4... cabal: Leaving directory '/tmp/cabal-tmp-27309/RepLib-0.5.4' Installed RepLib-0.5.4 Downloading unbound-0.5.0... cabal: Entering directory '/tmp/cabal-tmp-27309/unbound-0.5.0' Configuring unbound-0.5.0... Building unbound-0.5.0... Preprocessing library unbound-0.5.0... [ 1 of 10] Compiling Unbound.DynR ( Unbound/DynR.hs, dist/build/Unbound/DynR.o ) [ 2 of 10] Compiling Unbound.PermM ( Unbound/PermM.hs, dist/build/Unbound/PermM.o ) [ 3 of 10] Compiling Unbound.Util ( Unbound/Util.hs, dist/build/Unbound/Util.o ) [ 4 of 10] Compiling Unbound.LocallyNameless.Name ( Unbound/LocallyNameless/Name.hs, dist/build/Unbound/LocallyNameless/Name.o ) [ 5 of 10] Compiling Unbound.LocallyNameless.Fresh ( Unbound/LocallyNameless/Fresh.hs, dist/build/Unbound/LocallyNameless/Fresh.o ) [ 6 of 10] Compiling Unbound.LocallyNameless.Types ( Unbound/LocallyNameless/Types.hs, dist/build/Unbound/LocallyNameless/Types.o ) [ 7 of 10] Compiling Unbound.LocallyNameless.Alpha ( Unbound/LocallyNameless/Alpha.hs, dist/build/Unbound/LocallyNameless/Alpha.o ) [ 8 of 10] Compiling Unbound.LocallyNameless.Subst ( Unbound/LocallyNameless/Subst.hs, dist/build/Unbound/LocallyNameless/Subst.o ) [ 9 of 10] Compiling Unbound.LocallyNameless.Ops ( Unbound/LocallyNameless/Ops.hs, dist/build/Unbound/LocallyNameless/Ops.o ) [10 of 10] Compiling Unbound.LocallyNameless ( Unbound/LocallyNameless.hs, dist/build/Unbound/LocallyNameless.o ) Running Haddock for unbound-0.5.0... Running hscolour for unbound-0.5.0... Preprocessing library unbound-0.5.0... Preprocessing library unbound-0.5.0... Haddock coverage: 100% ( 5 / 5) in 'Unbound.DynR' 100% ( 11 / 11) in 'Unbound.PermM' 91% ( 10 / 11) in 'Unbound.Util' Missing documentation for: (Unbound/Util.hs:81) 79% ( 22 / 28) in 'Unbound.LocallyNameless.Name' Missing documentation for: rR (Unbound/LocallyNameless/Name.hs:52) rR1 (Unbound/LocallyNameless/Name.hs:52) rName (Unbound/LocallyNameless/Name.hs:68) rName1 (Unbound/LocallyNameless/Name.hs:68) rAnyName (Unbound/LocallyNameless/Name.hs:95) rAnyName1 (Unbound/LocallyNameless/Name.hs:95) 100% ( 17 / 17) in 'Unbound.LocallyNameless.Fresh' 72% ( 13 / 18) in 'Unbound.LocallyNameless.Types' Missing documentation for: rGenBind (Unbound/LocallyNameless/Types.hs:169) rRebind (Unbound/LocallyNameless/Types.hs:169) rEmbed (Unbound/LocallyNameless/Types.hs:169) rRec (Unbound/LocallyNameless/Types.hs:169) rShift (Unbound/LocallyNameless/Types.hs:169) 46% ( 31 / 67) in 'Unbound.LocallyNameless.Alpha' Missing documentation for: (Unbound/LocallyNameless/Alpha.hs:366) lfreshenR1 (Unbound/LocallyNameless/Alpha.hs:470) lfreshenL (Unbound/LocallyNameless/Alpha.hs:477) findpatR1 (Unbound/LocallyNameless/Alpha.hs:486) findpatL (Unbound/LocallyNameless/Alpha.hs:492) nthpatR1 (Unbound/LocallyNameless/Alpha.hs:496) nthpatL (Unbound/LocallyNameless/Alpha.hs:502) combine (Unbound/LocallyNameless/Alpha.hs:506) isPatR1 (Unbound/LocallyNameless/Alpha.hs:511) isTermR1 (Unbound/LocallyNameless/Alpha.hs:518) acompareR1 (Unbound/LocallyNameless/Alpha.hs:527) compareTupM (Unbound/LocallyNameless/Alpha.hs:541) (Unbound/LocallyNameless/Alpha.hs:555) (Unbound/LocallyNameless/Alpha.hs:626) (Unbound/LocallyNameless/Alpha.hs:690) (Unbound/LocallyNameless/Alpha.hs:733) (Unbound/LocallyNameless/Alpha.hs:777) (Unbound/LocallyNameless/Alpha.hs:798) (Unbound/LocallyNameless/Alpha.hs:842) (Unbound/LocallyNameless/Alpha.hs:848) (Unbound/LocallyNameless/Alpha.hs:858) (Unbound/LocallyNameless/Alpha.hs:865) (Unbound/LocallyNameless/Alpha.hs:866) (Unbound/LocallyNameless/Alpha.hs:867) (Unbound/LocallyNameless/Alpha.hs:868) (Unbound/LocallyNameless/Alpha.hs:869) (Unbound/LocallyNameless/Alpha.hs:870) (Unbound/LocallyNameless/Alpha.hs:871) (Unbound/LocallyNameless/Alpha.hs:872) (Unbound/LocallyNameless/Alpha.hs:873) (Unbound/LocallyNameless/Alpha.hs:874) (Unbound/LocallyNameless/Alpha.hs:875) (Unbound/LocallyNameless/Alpha.hs:876) (Unbound/LocallyNameless/Alpha.hs:877) (Unbound/LocallyNameless/Alpha.hs:878) (Unbound/LocallyNameless/Alpha.hs:881) 18% ( 6 / 34) in 'Unbound.LocallyNameless.Subst' Missing documentation for: (Unbound/LocallyNameless/Subst.hs:129) substDefault (Unbound/LocallyNameless/Subst.hs:132) substR1 (Unbound/LocallyNameless/Subst.hs:135) substsR1 (Unbound/LocallyNameless/Subst.hs:143) substPatsR1 (Unbound/LocallyNameless/Subst.hs:151) substPatR1 (Unbound/LocallyNameless/Subst.hs:159) (Unbound/LocallyNameless/Subst.hs:170) (Unbound/LocallyNameless/Subst.hs:176) (Unbound/LocallyNameless/Subst.hs:180) (Unbound/LocallyNameless/Subst.hs:184) (Unbound/LocallyNameless/Subst.hs:192) (Unbound/LocallyNameless/Subst.hs:201) (Unbound/LocallyNameless/Subst.hs:202) (Unbound/LocallyNameless/Subst.hs:203) (Unbound/LocallyNameless/Subst.hs:204) (Unbound/LocallyNameless/Subst.hs:205) (Unbound/LocallyNameless/Subst.hs:206) (Unbound/LocallyNameless/Subst.hs:207) (Unbound/LocallyNameless/Subst.hs:209) (Unbound/LocallyNameless/Subst.hs:210) (Unbound/LocallyNameless/Subst.hs:211) (Unbound/LocallyNameless/Subst.hs:213) (Unbound/LocallyNameless/Subst.hs:214) (Unbound/LocallyNameless/Subst.hs:215) (Unbound/LocallyNameless/Subst.hs:216) (Unbound/LocallyNameless/Subst.hs:218) (Unbound/LocallyNameless/Subst.hs:219) (Unbound/LocallyNameless/Subst.hs:220) 95% ( 41 / 43) in 'Unbound.LocallyNameless.Ops' Missing documentation for: (Unbound/LocallyNameless/Ops.hs:49) strength (Unbound/LocallyNameless/Ops.hs:90) 95% (124 /130) in 'Unbound.LocallyNameless' Missing documentation for: rName (Unbound/LocallyNameless/Name.hs:68) rGenBind (Unbound/LocallyNameless/Types.hs:169) rRebind (Unbound/LocallyNameless/Types.hs:169) rEmbed (Unbound/LocallyNameless/Types.hs:169) rRec (Unbound/LocallyNameless/Types.hs:169) rShift (Unbound/LocallyNameless/Types.hs:169) Warning: Unbound.LocallyNameless.Types: could not find link destinations for: StrictOrder StrictCard RelaxedOrder RelaxedCard Warning: Unbound.LocallyNameless.Subst: could not find link destinations for: ~ Warning: Unbound.LocallyNameless: could not find link destinations for: StrictOrder StrictCard ~ Documentation created: dist/doc/html/unbound/index.html, dist/doc/html/unbound/unbound.txt Creating package registration file: /tmp/pkgConf-unbound-0.51584710873993967637.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/unbound-0.5.0-9ZT0YE5xS0bDhSFP3BnFDM Registering unbound-0.5.0... cabal: Leaving directory '/tmp/cabal-tmp-27309/unbound-0.5.0' Installed unbound-0.5.0 Downloading tal-0.1.0.0... cabal: Entering directory '/tmp/cabal-tmp-27309/tal-0.1.0.0' Configuring tal-0.1.0.0... Building tal-0.1.0.0... Preprocessing library tal-0.1.0.0... [1 of 7] Compiling Util ( src/Util.hs, dist/build/Util.o ) [2 of 7] Compiling A ( src/A.hs, dist/build/A.o ) [3 of 7] Compiling C ( src/C.hs, dist/build/C.o ) [4 of 7] Compiling TAL ( src/TAL.hs, dist/build/TAL.o ) [5 of 7] Compiling K ( src/K.hs, dist/build/K.o ) [6 of 7] Compiling F ( src/F.hs, dist/build/F.o ) [7 of 7] Compiling Translate ( src/Translate.hs, dist/build/Translate.o ) Running Haddock for tal-0.1.0.0... Running hscolour for tal-0.1.0.0... Preprocessing library tal-0.1.0.0... Preprocessing library tal-0.1.0.0... Haddock coverage: 8% ( 3 / 36) in 'Util' Missing documentation for: Module header patUnbind (src/Util.hs:22) Prim (src/Util.hs:32) (src/Util.hs:34) (src/Util.hs:39) (src/Util.hs:39) rPrim1 (src/Util.hs:39) rPrim (src/Util.hs:39) (src/Util.hs:41) evalPrim (src/Util.hs:43) M (src/Util.hs:53) runM (src/Util.hs:55) Display (src/Util.hs:69) DM (src/Util.hs:73) maybeParens (src/Util.hs:78) prefix (src/Util.hs:82) binop (src/Util.hs:87) precedence (src/Util.hs:95) (src/Util.hs:109) (src/Util.hs:122) withPrec (src/Util.hs:138) getPrec (src/Util.hs:142) intersperse (src/Util.hs:148) displayList (src/Util.hs:153) displayTuple (src/Util.hs:158) (src/Util.hs:165) (src/Util.hs:170) (src/Util.hs:172) (src/Util.hs:174) (src/Util.hs:176) (src/Util.hs:178) (src/Util.hs:180) (src/Util.hs:182) 0% ( 0 / 85) in 'C' Missing documentation for: Module header TyName (src/C.hs:37) TmName (src/C.hs:38) ValName (src/C.hs:39) Ty (src/C.hs:41) Val (src/C.hs:48) AnnVal (src/C.hs:56) Decl (src/C.hs:59) Tm (src/C.hs:66) Heap (src/C.hs:74) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) (src/C.hs:76) rTm1 (src/C.hs:76) rTm (src/C.hs:76) rDecl1 (src/C.hs:76) rDecl (src/C.hs:76) rAnnVal1 (src/C.hs:76) rAnnVal (src/C.hs:76) rVal1 (src/C.hs:76) rVal (src/C.hs:76) rTy1 (src/C.hs:76) rTy (src/C.hs:76) (src/C.hs:79) (src/C.hs:80) (src/C.hs:81) (src/C.hs:82) (src/C.hs:83) (src/C.hs:85) (src/C.hs:88) (src/C.hs:89) (src/C.hs:90) (src/C.hs:91) (src/C.hs:92) (src/C.hs:95) (src/C.hs:96) (src/C.hs:97) (src/C.hs:98) (src/C.hs:99) (src/C.hs:100) mkTyApp (src/C.hs:108) mkProd (src/C.hs:119) x (src/C.hs:127) y (src/C.hs:128) z (src/C.hs:129) a (src/C.hs:132) b (src/C.hs:133) c (src/C.hs:134) Delta (src/C.hs:140) Gamma (src/C.hs:141) Ctx (src/C.hs:143) emptyCtx (src/C.hs:144) checkTyVar (src/C.hs:146) lookupTmVar (src/C.hs:153) extendTy (src/C.hs:159) extendTys (src/C.hs:162) extendTm (src/C.hs:165) extendTms (src/C.hs:168) extendDecl (src/C.hs:172) tcty (src/C.hs:181) typecheckVal (src/C.hs:196) typecheckAnnVal (src/C.hs:223) typecheckDecl (src/C.hs:239) typecheck (src/C.hs:262) heapvalcheck (src/C.hs:297) hoistcheck (src/C.hs:302) mkSubst (src/C.hs:313) step (src/C.hs:329) evaluate (src/C.hs:347) (src/C.hs:357) (src/C.hs:372) (src/C.hs:378) (src/C.hs:403) (src/C.hs:410) (src/C.hs:430) displayCode (src/C.hs:455) (src/C.hs:457) (src/C.hs:466) 0% ( 0 / 95) in 'A' Missing documentation for: Module header TyName (src/A.hs:42) ValName (src/A.hs:43) Flag (src/A.hs:45) Ty (src/A.hs:48) Val (src/A.hs:55) Ann (src/A.hs:61) Decl (src/A.hs:64) Tm (src/A.hs:74) HeapVal (src/A.hs:81) Heap (src/A.hs:86) (src/A.hs:88) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) (src/A.hs:92) rTm1 (src/A.hs:92) rTm (src/A.hs:92) rDecl1 (src/A.hs:92) rDecl (src/A.hs:92) rAnn1 (src/A.hs:92) rAnn (src/A.hs:92) rVal1 (src/A.hs:92) rVal (src/A.hs:92) rTy1 (src/A.hs:92) rTy (src/A.hs:92) rFlag1 (src/A.hs:92) rFlag (src/A.hs:92) rHeapVal1 (src/A.hs:92) rHeapVal (src/A.hs:92) (src/A.hs:95) (src/A.hs:96) (src/A.hs:97) (src/A.hs:98) (src/A.hs:99) (src/A.hs:100) (src/A.hs:102) (src/A.hs:105) (src/A.hs:106) (src/A.hs:107) (src/A.hs:108) (src/A.hs:109) (src/A.hs:110) (src/A.hs:112) (src/A.hs:113) (src/A.hs:114) (src/A.hs:115) (src/A.hs:116) (src/A.hs:117) (src/A.hs:118) mkTyApp (src/A.hs:126) lets (src/A.hs:137) x (src/A.hs:145) y (src/A.hs:146) z (src/A.hs:147) a (src/A.hs:150) b (src/A.hs:151) c (src/A.hs:152) Delta (src/A.hs:159) Gamma (src/A.hs:160) Ctx (src/A.hs:162) emptyCtx (src/A.hs:163) checkTyVar (src/A.hs:165) lookupTmVar (src/A.hs:172) extendTy (src/A.hs:178) extendTys (src/A.hs:181) extendTm (src/A.hs:184) extendTms (src/A.hs:187) tcty (src/A.hs:201) typecheckHeapVal (src/A.hs:216) typecheckVal (src/A.hs:235) typecheckAnnVal (src/A.hs:250) typecheckDecl (src/A.hs:266) typecheck (src/A.hs:301) progcheck (src/A.hs:335) (src/A.hs:393) (src/A.hs:408) (src/A.hs:414) (src/A.hs:420) (src/A.hs:432) (src/A.hs:444) (src/A.hs:451) (src/A.hs:471) (src/A.hs:502) (src/A.hs:511) 1% ( 1 /138) in 'TAL' Missing documentation for: Module header TyName (src/TAL.hs:35) Ty (src/TAL.hs:37) Flag (src/TAL.hs:44) Psi (src/TAL.hs:48) Gamma (src/TAL.hs:51) Register (src/TAL.hs:53) (src/TAL.hs:54) reg1 (src/TAL.hs:58) rtmp (src/TAL.hs:62) (src/TAL.hs:65) Label (src/TAL.hs:69) (src/TAL.hs:70) TyApp (src/TAL.hs:73) sapps (src/TAL.hs:75) Pack (src/TAL.hs:78) WordVal (src/TAL.hs:80) SmallVal (src/TAL.hs:87) HeapVal (src/TAL.hs:93) Heap (src/TAL.hs:98) RegisterFile (src/TAL.hs:99) Instruction (src/TAL.hs:101) InstrSeq (src/TAL.hs:113) Machine (src/TAL.hs:123) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) (src/TAL.hs:125) rInstrSeq1 (src/TAL.hs:125) rInstrSeq (src/TAL.hs:125) rInstruction1 (src/TAL.hs:125) rInstruction (src/TAL.hs:125) rHeapVal1 (src/TAL.hs:125) rHeapVal (src/TAL.hs:125) rSmallVal1 (src/TAL.hs:125) rSmallVal (src/TAL.hs:125) rWordVal1 (src/TAL.hs:125) rWordVal (src/TAL.hs:125) rPack1 (src/TAL.hs:125) rPack (src/TAL.hs:125) rTyApp1 (src/TAL.hs:125) rTyApp (src/TAL.hs:125) rLabel1 (src/TAL.hs:125) rLabel (src/TAL.hs:125) rRegister1 (src/TAL.hs:125) rRegister (src/TAL.hs:125) rFlag1 (src/TAL.hs:125) rFlag (src/TAL.hs:125) rTy1 (src/TAL.hs:125) rTy (src/TAL.hs:125) (src/TAL.hs:130) (src/TAL.hs:131) (src/TAL.hs:132) (src/TAL.hs:133) (src/TAL.hs:134) (src/TAL.hs:135) (src/TAL.hs:136) (src/TAL.hs:137) (src/TAL.hs:138) (src/TAL.hs:139) (src/TAL.hs:140) (src/TAL.hs:143) (src/TAL.hs:145) (src/TAL.hs:148) (src/TAL.hs:149) (src/TAL.hs:150) (src/TAL.hs:151) (src/TAL.hs:152) (src/TAL.hs:153) (src/TAL.hs:154) (src/TAL.hs:155) (src/TAL.hs:156) (src/TAL.hs:157) (src/TAL.hs:158) freshForHeap (src/TAL.hs:160) getIntReg (src/TAL.hs:169) arith (src/TAL.hs:176) loadReg (src/TAL.hs:187) tyApp (src/TAL.hs:199) jmpReg (src/TAL.hs:203) step (src/TAL.hs:216) run (src/TAL.hs:269) Delta (src/TAL.hs:282) Ctx (src/TAL.hs:284) emptyCtx (src/TAL.hs:287) checkTyVar (src/TAL.hs:291) extendTy (src/TAL.hs:299) extendTys (src/TAL.hs:302) insertGamma (src/TAL.hs:305) lookupHeapLabel (src/TAL.hs:313) lookupReg (src/TAL.hs:319) tcty (src/TAL.hs:326) tcPsi (src/TAL.hs:342) tcGamma (src/TAL.hs:347) subtype (src/TAL.hs:352) subGamma (src/TAL.hs:368) tcWordVal (src/TAL.hs:407) tcApp (src/TAL.hs:414) tcPack (src/TAL.hs:427) tcSmallVal (src/TAL.hs:443) tcInstrSeq (src/TAL.hs:449) tcArith (src/TAL.hs:463) tcInstr (src/TAL.hs:472) progcheck (src/TAL.hs:533) (src/TAL.hs:548) (src/TAL.hs:563) (src/TAL.hs:569) (src/TAL.hs:578) (src/TAL.hs:587) (src/TAL.hs:593) (src/TAL.hs:599) (src/TAL.hs:606) (src/TAL.hs:613) dispArith (src/TAL.hs:623) (src/TAL.hs:628) (src/TAL.hs:661) (src/TAL.hs:673) (src/TAL.hs:676) (src/TAL.hs:685) 0% ( 0 / 75) in 'K' Missing documentation for: Module header TyName (src/K.hs:24) ValName (src/K.hs:25) Ty (src/K.hs:27) Val (src/K.hs:33) AnnVal (src/K.hs:39) Decl (src/K.hs:42) Tm (src/K.hs:48) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) (src/K.hs:54) rTm1 (src/K.hs:54) rTm (src/K.hs:54) rDecl1 (src/K.hs:54) rDecl (src/K.hs:54) rAnnVal1 (src/K.hs:54) rAnnVal (src/K.hs:54) rVal1 (src/K.hs:54) rVal (src/K.hs:54) rTy1 (src/K.hs:54) rTy (src/K.hs:54) (src/K.hs:57) (src/K.hs:58) (src/K.hs:59) (src/K.hs:60) (src/K.hs:61) (src/K.hs:63) (src/K.hs:66) (src/K.hs:67) (src/K.hs:68) (src/K.hs:69) (src/K.hs:70) (src/K.hs:73) (src/K.hs:74) (src/K.hs:75) (src/K.hs:76) (src/K.hs:77) (src/K.hs:78) x (src/K.hs:86) y (src/K.hs:87) z (src/K.hs:88) a (src/K.hs:91) b (src/K.hs:92) c (src/K.hs:93) Delta (src/K.hs:99) Gamma (src/K.hs:100) Ctx (src/K.hs:102) emptyCtx (src/K.hs:103) checkTyVar (src/K.hs:105) lookupTmVar (src/K.hs:112) extendTy (src/K.hs:118) extendTys (src/K.hs:121) extendTm (src/K.hs:124) extendTms (src/K.hs:127) tcty (src/K.hs:131) typecheckVal (src/K.hs:144) typecheckAnnVal (src/K.hs:160) typecheckDecl (src/K.hs:167) typecheck (src/K.hs:183) mkSubst (src/K.hs:219) step (src/K.hs:230) evaluate (src/K.hs:248) (src/K.hs:258) (src/K.hs:269) (src/K.hs:275) (src/K.hs:291) (src/K.hs:294) (src/K.hs:315) 0% ( 0 / 53) in 'F' Missing documentation for: Module header TyName (src/F.hs:24) TmName (src/F.hs:25) Ty (src/F.hs:27) Tm (src/F.hs:34) (src/F.hs:48) (src/F.hs:48) (src/F.hs:48) (src/F.hs:48) rTm1 (src/F.hs:48) rTm (src/F.hs:48) rTy1 (src/F.hs:48) rTy (src/F.hs:48) (src/F.hs:51) (src/F.hs:52) (src/F.hs:54) (src/F.hs:55) (src/F.hs:56) (src/F.hs:57) (src/F.hs:58) (src/F.hs:61) x (src/F.hs:69) y (src/F.hs:70) z (src/F.hs:71) f (src/F.hs:72) n (src/F.hs:73) a (src/F.hs:76) b (src/F.hs:77) c (src/F.hs:78) polyid (src/F.hs:82) polyconst (src/F.hs:87) polyidty (src/F.hs:92) two (src/F.hs:96) onePlusOne (src/F.hs:101) sixfact (src/F.hs:105) ctrue (src/F.hs:115) twice (src/F.hs:123) Delta (src/F.hs:133) Gamma (src/F.hs:134) Ctx (src/F.hs:136) emptyCtx (src/F.hs:137) checkTyVar (src/F.hs:139) lookupTmVar (src/F.hs:146) extendTy (src/F.hs:152) extendTm (src/F.hs:155) tcty (src/F.hs:159) typecheck (src/F.hs:173) value (src/F.hs:234) steps (src/F.hs:241) step (src/F.hs:250) evaluate (src/F.hs:291) (src/F.hs:300) (src/F.hs:313) 0% ( 0 / 44) in 'Translate' Missing documentation for: Module header compile (src/Translate.hs:29) test (src/Translate.hs:47) printM (src/Translate.hs:55) t1 (src/Translate.hs:58) t2 (src/Translate.hs:60) t3 (src/Translate.hs:62) t4 (src/Translate.hs:64) t5 (src/Translate.hs:66) toTyK (src/Translate.hs:74) toTyContK (src/Translate.hs:90) toProgK (src/Translate.hs:101) toExpK (src/Translate.hs:107) reifyCont (src/Translate.hs:186) N (src/Translate.hs:203) toTyC (src/Translate.hs:205) toProgC (src/Translate.hs:219) toTmC (src/Translate.hs:222) toDeclC (src/Translate.hs:255) toAnnValC (src/Translate.hs:267) (src/Translate.hs:319) H (src/Translate.hs:325) toProgH (src/Translate.hs:327) toTmH (src/Translate.hs:330) toDeclH (src/Translate.hs:345) toAnnValH (src/Translate.hs:361) toTyA (src/Translate.hs:389) toProgA (src/Translate.hs:406) toHeapValA (src/Translate.hs:415) toExpA (src/Translate.hs:429) toDeclA (src/Translate.hs:451) updateProd (src/Translate.hs:470) toAnnValA (src/Translate.hs:476) toValA (src/Translate.hs:503) toFlag (src/Translate.hs:521) toTyTAL (src/Translate.hs:525) Varmap (src/Translate.hs:546) var2reg (src/Translate.hs:550) toSmallVal (src/Translate.hs:555) toWordVal (src/Translate.hs:574) toInstrsTAL (src/Translate.hs:591) toDeclTAL (src/Translate.hs:631) toHeapVal (src/Translate.hs:705) toProgTAL (src/Translate.hs:727) Documentation created: dist/doc/html/tal/index.html, dist/doc/html/tal/tal.txt Creating package registration file: /tmp/pkgConf-tal-0.1.015276229541312630443.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/tal-0.1.0.0-GPR4StzJmMQ7fLNFKPvJWd Registering tal-0.1.0.0... cabal: Leaving directory '/tmp/cabal-tmp-27309/tal-0.1.0.0' Installed tal-0.1.0.0