Resolving dependencies... Warning: Note that reinstalls are always dangerous. Continuing anyway... Configuring haskell-src-meta-0.6.0.13... Building haskell-src-meta-0.6.0.13... Preprocessing library haskell-src-meta-0.6.0.13... src/Language/Haskell/Meta.hs:18:8: Could not find module ‘Language.Haskell.TH.Instances’ There are files missing in the ‘th-orphans-0.13.0@thorp_HiUxuAUdFxXBNNemI9IdT3’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/Language/Haskell/Meta/Parse.hs:32:18: Could not find module ‘Language.Haskell.Exts.Syntax’ There are files missing in the ‘haskell-src-exts-1.17.1@haske_9Bj6ho1WrowEhYGJftp4NM’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/Language/Haskell/Meta/Parse.hs:33:8: Could not find module ‘Language.Haskell.Exts.Annotated.Fixity’ There are files missing in the ‘haskell-src-exts-1.17.1@haske_9Bj6ho1WrowEhYGJftp4NM’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/Language/Haskell/Meta/Parse.hs:34:8: Could not find module ‘Language.Haskell.Exts.Extension’ There are files missing in the ‘haskell-src-exts-1.17.1@haske_9Bj6ho1WrowEhYGJftp4NM’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/Language/Haskell/Meta/Parse.hs:35:8: Could not find module ‘Language.Haskell.Exts.Parser’ There are files missing in the ‘haskell-src-exts-1.17.1@haske_9Bj6ho1WrowEhYGJftp4NM’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/Language/Haskell/Meta/Parse.hs:36:8: Could not find module ‘Language.Haskell.Exts.Pretty’ There are files missing in the ‘haskell-src-exts-1.17.1@haske_9Bj6ho1WrowEhYGJftp4NM’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Failed to install haskell-src-meta-0.6.0.13 Configuring text-show-2.1.2... Building text-show-2.1.2... Preprocessing library text-show-2.1.2... src/TextShow/Control/Concurrent.hs:25:8: Could not find module ‘Data.Monoid.Compat’ There are files missing in the ‘base-compat-0.9.0@basec_Kfw7y6pOYav0XSdTTjF13V’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/TextShow/Control/Exception.hs:53:8: Could not find module ‘Prelude.Compat’ There are files missing in the ‘base-compat-0.9.0@basec_Kfw7y6pOYav0XSdTTjF13V’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/TextShow/Debug/Trace/Generic.hs:22:8: Could not find module ‘Generics.Deriving.Base’ There are files missing in the ‘generic-deriving-1.10.0@gener_DV0xdwI98PN9hJei9PuYBb’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. src/TextShow/TH/Internal.hs:52:18: Could not find module ‘Data.List.Compat’ There are files missing in the ‘base-compat-0.9.0@basec_Kfw7y6pOYav0XSdTTjF13V’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Failed to install text-show-2.1.2 Downloading type-combinators-0.2.2.1... Configuring type-combinators-0.2.2.1... Building type-combinators-0.2.2.1... Preprocessing library type-combinators-0.2.2.1... [ 1 of 32] Compiling Type.Family.Monoid ( src/Type/Family/Monoid.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Monoid.o ) [ 2 of 32] Compiling Type.Family.Symbol ( src/Type/Family/Symbol.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Symbol.o ) [ 3 of 32] Compiling Type.Family.Constraint ( src/Type/Family/Constraint.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Constraint.o ) [ 4 of 32] Compiling Type.Class.Known ( src/Type/Class/Known.hs, dist/dist-sandbox-9df84abc/build/Type/Class/Known.o ) [ 5 of 32] Compiling Type.Class.Witness ( src/Type/Class/Witness.hs, dist/dist-sandbox-9df84abc/build/Type/Class/Witness.o ) [ 6 of 32] Compiling Type.Family.Tuple ( src/Type/Family/Tuple.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Tuple.o ) [ 7 of 32] Compiling Type.Family.Either ( src/Type/Family/Either.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Either.o ) [ 8 of 32] Compiling Type.Family.List ( src/Type/Family/List.hs, dist/dist-sandbox-9df84abc/build/Type/Family/List.o ) [ 9 of 32] Compiling Type.Family.Maybe ( src/Type/Family/Maybe.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Maybe.o ) [10 of 32] Compiling Type.Family.Bool ( src/Type/Family/Bool.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Bool.o ) [11 of 32] Compiling Type.Family.Nat ( src/Type/Family/Nat.hs, dist/dist-sandbox-9df84abc/build/Type/Family/Nat.o ) [12 of 32] Compiling Data.Type.Quantifier ( src/Data/Type/Quantifier.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Quantifier.o ) [13 of 32] Compiling Type.Class.Higher ( src/Type/Class/Higher.hs, dist/dist-sandbox-9df84abc/build/Type/Class/Higher.o ) [14 of 32] Compiling Data.Type.Option ( src/Data/Type/Option.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Option.o ) [15 of 32] Compiling Data.Type.Index ( src/Data/Type/Index.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Index.o ) [16 of 32] Compiling Data.Type.Index.Trans ( src/Data/Type/Index/Trans.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Index/Trans.o ) [17 of 32] Compiling Data.Type.Combinator ( src/Data/Type/Combinator.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Combinator.o ) [18 of 32] Compiling Data.Type.Conjunction ( src/Data/Type/Conjunction.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Conjunction.o ) [19 of 32] Compiling Data.Type.Product.Lifted ( src/Data/Type/Product/Lifted.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Product/Lifted.o ) [20 of 32] Compiling Data.Type.Sum.Lifted ( src/Data/Type/Sum/Lifted.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Sum/Lifted.o ) [21 of 32] Compiling Data.Type.Disjunction ( src/Data/Type/Disjunction.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Disjunction.o ) [22 of 32] Compiling Data.Type.Length ( src/Data/Type/Length.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Length.o ) [23 of 32] Compiling Data.Type.Sum ( src/Data/Type/Sum.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Sum.o ) [24 of 32] Compiling Data.Type.Boolean ( src/Data/Type/Boolean.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Boolean.o ) [25 of 32] Compiling Data.Type.Nat ( src/Data/Type/Nat.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Nat.o ) [26 of 32] Compiling Data.Type.Fin ( src/Data/Type/Fin.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Fin.o ) [27 of 32] Compiling Data.Type.Fin.Indexed ( src/Data/Type/Fin/Indexed.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Fin/Indexed.o ) [28 of 32] Compiling Data.Type.Nat.Inequality ( src/Data/Type/Nat/Inequality.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Nat/Inequality.o ) [29 of 32] Compiling Data.Type.Product ( src/Data/Type/Product.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Product.o ) [30 of 32] Compiling Data.Type.Vector ( src/Data/Type/Vector.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Vector.o ) [31 of 32] Compiling Data.Type.Product.Env ( src/Data/Type/Product/Env.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Product/Env.o ) src/Data/Type/Product/Env.hs:21:1: Warning: The import of ‘Data.Type.Index’ is redundant except perhaps to import instances from ‘Data.Type.Index’ To import instances alone, use: import Data.Type.Index() [32 of 32] Compiling Data.Type.Sym ( src/Data/Type/Sym.hs, dist/dist-sandbox-9df84abc/build/Data/Type/Sym.o ) src/Data/Type/Sym.hs:32:1: Warning: The import of ‘Data.Type.Boolean’ is redundant except perhaps to import instances from ‘Data.Type.Boolean’ To import instances alone, use: import Data.Type.Boolean() In-place registering type-combinators-0.2.2.1... Running Haddock for type-combinators-0.2.2.1... Running hscolour for type-combinators-0.2.2.1... Preprocessing library type-combinators-0.2.2.1... Preprocessing library type-combinators-0.2.2.1... Haddock coverage: 33% ( 1 / 3) in 'Type.Family.Monoid' Missing documentation for: Mempty (src/Type/Family/Monoid.hs:21) <> (src/Type/Family/Monoid.hs:22) 50% ( 1 / 2) in 'Type.Family.Symbol' Missing documentation for: Module header 29% ( 2 / 7) in 'Type.Family.Constraint' Missing documentation for: Fail (src/Type/Family/Constraint.hs:38) Iff (src/Type/Family/Constraint.hs:40) (src/Type/Family/Constraint.hs:42) (src/Type/Family/Constraint.hs:44) Constraint 67% ( 2 / 3) in 'Type.Class.Known' Missing documentation for: (src/Type/Class/Known.hs:47) Warning: Type.Class.Witness: Could not find documentation for exported module: Exports 21% ( 10 / 48) in 'Type.Class.Witness' Missing documentation for: Wit1 (src/Type/Class/Witness.hs:67) (src/Type/Class/Witness.hs:87) transC (src/Type/Class/Witness.hs:91) // (src/Type/Class/Witness.hs:112) Fails (src/Type/Class/Witness.hs:128) absurdC (src/Type/Class/Witness.hs:131) Const (src/Type/Class/Witness.hs:134) (src/Type/Class/Witness.hs:137) ∘ (src/Type/Class/Witness.hs:140) (src/Type/Class/Witness.hs:143) ∧ (src/Type/Class/Witness.hs:147) (src/Type/Class/Witness.hs:151) ∨ (src/Type/Class/Witness.hs:154) eitherC (src/Type/Class/Witness.hs:158) pureC (src/Type/Class/Witness.hs:163) contraC (src/Type/Class/Witness.hs:166) Forall (src/Type/Class/Witness.hs:173) toEquality (src/Type/Class/Witness.hs:182) commute (src/Type/Class/Witness.hs:185) Holds (src/Type/Class/Witness.hs:188) falso (src/Type/Class/Witness.hs:192) top (src/Type/Class/Witness.hs:195) bottom (src/Type/Class/Witness.hs:198) (src/Type/Class/Witness.hs:203) (src/Type/Class/Witness.hs:206) (src/Type/Class/Witness.hs:223) //?+ (src/Type/Class/Witness.hs:234) witMaybe (src/Type/Class/Witness.hs:240) qed (src/Type/Class/Witness.hs:245) impossible (src/Type/Class/Witness.hs:248) exFalso (src/Type/Class/Witness.hs:251) =?= (src/Type/Class/Witness.hs:259) TestEquality1 (src/Type/Class/Witness.hs:263) =??= (src/Type/Class/Witness.hs:266) Dec (src/Type/Class/Witness.hs:274) DecEquality (src/Type/Class/Witness.hs:278) decCase (src/Type/Class/Witness.hs:281) absurd (src/Type/Class/Witness.hs:291) 6% ( 1 / 16) in 'Type.Family.Tuple' Missing documentation for: # (src/Type/Family/Tuple.hs:35) Fst (src/Type/Family/Tuple.hs:40) fstCong (src/Type/Family/Tuple.hs:43) Snd (src/Type/Family/Tuple.hs:46) sndCong (src/Type/Family/Tuple.hs:49) Fst3 (src/Type/Family/Tuple.hs:52) fst3Cong (src/Type/Family/Tuple.hs:55) Snd3 (src/Type/Family/Tuple.hs:58) snd3Cong (src/Type/Family/Tuple.hs:61) Thd3 (src/Type/Family/Tuple.hs:64) thd3Cong (src/Type/Family/Tuple.hs:67) <$> (src/Type/Family/Tuple.hs:74) pairMapCong (src/Type/Family/Tuple.hs:78) <&> (src/Type/Family/Tuple.hs:81) <*> (src/Type/Family/Tuple.hs:85) 16% ( 3 / 19) in 'Type.Family.Either' Missing documentation for: IsLeft (src/Type/Family/Either.hs:39) IsRight (src/Type/Family/Either.hs:43) leftCong (src/Type/Family/Either.hs:47) rightCong (src/Type/Family/Either.hs:50) leftNotRight (src/Type/Family/Either.hs:53) eitherFmapCong (src/Type/Family/Either.hs:62) <&> (src/Type/Family/Either.hs:65) eitherPamfCong (src/Type/Family/Either.hs:70) <*> (src/Type/Family/Either.hs:73) eitherApCong (src/Type/Family/Either.hs:80) <|> (src/Type/Family/Either.hs:83) eitherAltCong (src/Type/Family/Either.hs:88) FromLeft (src/Type/Family/Either.hs:91) FromRight (src/Type/Family/Either.hs:94) fromLeftCong (src/Type/Family/Either.hs:97) fromRightCong (src/Type/Family/Either.hs:100) 18% ( 7 / 38) in 'Type.Family.List' Missing documentation for: Ø (src/Type/Family/List.hs:36) :< (src/Type/Family/List.hs:37) Null (src/Type/Family/List.hs:45) nullCong (src/Type/Family/List.hs:49) nilNotCons (src/Type/Family/List.hs:52) appendCong (src/Type/Family/List.hs:61) Concat (src/Type/Family/List.hs:64) concatCong (src/Type/Family/List.hs:68) snocCong (src/Type/Family/List.hs:81) Reverse (src/Type/Family/List.hs:84) reverseCong (src/Type/Family/List.hs:88) HeadM (src/Type/Family/List.hs:95) Head (src/Type/Family/List.hs:99) TailM (src/Type/Family/List.hs:102) Tail (src/Type/Family/List.hs:106) InitM (src/Type/Family/List.hs:109) Init (src/Type/Family/List.hs:113) Init' (src/Type/Family/List.hs:116) initCong (src/Type/Family/List.hs:120) LastM (src/Type/Family/List.hs:123) Last (src/Type/Family/List.hs:127) Last' (src/Type/Family/List.hs:130) lastCong (src/Type/Family/List.hs:134) listMapCong (src/Type/Family/List.hs:155) <*> (src/Type/Family/List.hs:165) Fsts (src/Type/Family/List.hs:174) Snds (src/Type/Family/List.hs:178) Zip (src/Type/Family/List.hs:182) Fsts3 (src/Type/Family/List.hs:186) Snds3 (src/Type/Family/List.hs:190) Thds3 (src/Type/Family/List.hs:194) 20% ( 3 / 15) in 'Type.Family.Maybe' Missing documentation for: IsNothing (src/Type/Family/Maybe.hs:39) nothingCong (src/Type/Family/Maybe.hs:43) nothingNotJust (src/Type/Family/Maybe.hs:46) maybeFmapCong (src/Type/Family/Maybe.hs:55) <&> (src/Type/Family/Maybe.hs:58) maybePamfCong (src/Type/Family/Maybe.hs:63) <*> (src/Type/Family/Maybe.hs:66) maybeApCong (src/Type/Family/Maybe.hs:72) <|> (src/Type/Family/Maybe.hs:75) maybeAltCong (src/Type/Family/Maybe.hs:81) FromJust (src/Type/Family/Maybe.hs:84) fromJustCong (src/Type/Family/Maybe.hs:87) Warning: Type.Family.Bool: Could not find documentation for exported module: Exports 20% ( 1 / 5) in 'Type.Family.Bool' Missing documentation for: BoolC (src/Type/Family/Bool.hs:37) ==> (src/Type/Family/Bool.hs:41) <==> (src/Type/Family/Bool.hs:44) ^^ (src/Type/Family/Bool.hs:47) 6% ( 2 / 36) in 'Type.Family.Nat' Missing documentation for: N (src/Type/Family/Nat.hs:38) fromInt (src/Type/Family/Nat.hs:43) IsZero (src/Type/Family/Nat.hs:49) zeroCong (src/Type/Family/Nat.hs:53) zNotS (src/Type/Family/Nat.hs:56) NatEq (src/Type/Family/Nat.hs:59) Iota (src/Type/Family/Nat.hs:66) iotaCong (src/Type/Family/Nat.hs:70) Pred (src/Type/Family/Nat.hs:73) predCong (src/Type/Family/Nat.hs:76) + (src/Type/Family/Nat.hs:79) addCong (src/Type/Family/Nat.hs:84) * (src/Type/Family/Nat.hs:87) mulCong (src/Type/Family/Nat.hs:92) ^ (src/Type/Family/Nat.hs:95) expCong (src/Type/Family/Nat.hs:100) Len (src/Type/Family/Nat.hs:103) lenCong (src/Type/Family/Nat.hs:107) Ix (src/Type/Family/Nat.hs:110) ixCong (src/Type/Family/Nat.hs:114) < (src/Type/Family/Nat.hs:117) <= (src/Type/Family/Nat.hs:124) > (src/Type/Family/Nat.hs:127) >= (src/Type/Family/Nat.hs:134) N1 (src/Type/Family/Nat.hs:139) N2 (src/Type/Family/Nat.hs:140) N3 (src/Type/Family/Nat.hs:141) N4 (src/Type/Family/Nat.hs:142) N5 (src/Type/Family/Nat.hs:143) N6 (src/Type/Family/Nat.hs:144) N7 (src/Type/Family/Nat.hs:145) N8 (src/Type/Family/Nat.hs:146) N9 (src/Type/Family/Nat.hs:147) N10 (src/Type/Family/Nat.hs:148) 6% ( 2 / 34) in 'Data.Type.Quantifier' Missing documentation for: Some (src/Data/Type/Quantifier.hs:38) >>- (src/Data/Type/Quantifier.hs:58) >-> (src/Data/Type/Quantifier.hs:62) withSome (src/Data/Type/Quantifier.hs:66) onSome (src/Data/Type/Quantifier.hs:69) msome (src/Data/Type/Quantifier.hs:72) >>=- (src/Data/Type/Quantifier.hs:75) Some2 (src/Data/Type/Quantifier.hs:85) some2 (src/Data/Type/Quantifier.hs:88) >>-- (src/Data/Type/Quantifier.hs:91) >--> (src/Data/Type/Quantifier.hs:95) withSome2 (src/Data/Type/Quantifier.hs:99) onSome2 (src/Data/Type/Quantifier.hs:102) msome2 (src/Data/Type/Quantifier.hs:105) >>=-- (src/Data/Type/Quantifier.hs:108) Some3 (src/Data/Type/Quantifier.hs:118) some3 (src/Data/Type/Quantifier.hs:121) >>--- (src/Data/Type/Quantifier.hs:124) >---> (src/Data/Type/Quantifier.hs:128) withSome3 (src/Data/Type/Quantifier.hs:132) onSome3 (src/Data/Type/Quantifier.hs:135) msome3 (src/Data/Type/Quantifier.hs:138) >>=--- (src/Data/Type/Quantifier.hs:141) SomeC (src/Data/Type/Quantifier.hs:151) someC (src/Data/Type/Quantifier.hs:154) >>~ (src/Data/Type/Quantifier.hs:157) msomeC (src/Data/Type/Quantifier.hs:161) >>=~ (src/Data/Type/Quantifier.hs:164) Every (src/Data/Type/Quantifier.hs:174) Every2 (src/Data/Type/Quantifier.hs:177) Every3 (src/Data/Type/Quantifier.hs:180) EveryC (src/Data/Type/Quantifier.hs:183) 3% ( 1 / 33) in 'Type.Class.Higher' Missing documentation for: Eq1 (src/Type/Class/Higher.hs:34) =#= (src/Type/Class/Higher.hs:41) Eq2 (src/Type/Class/Higher.hs:45) =##= (src/Type/Class/Higher.hs:52) Eq3 (src/Type/Class/Higher.hs:56) =###= (src/Type/Class/Higher.hs:63) Ord1 (src/Type/Class/Higher.hs:71) Ord2 (src/Type/Class/Higher.hs:85) Ord3 (src/Type/Class/Higher.hs:99) Show1 (src/Type/Class/Higher.hs:117) shows1 (src/Type/Class/Higher.hs:124) Show2 (src/Type/Class/Higher.hs:128) shows2 (src/Type/Class/Higher.hs:135) Show3 (src/Type/Class/Higher.hs:139) shows3 (src/Type/Class/Higher.hs:146) Read1 (src/Type/Class/Higher.hs:153) reads1 (src/Type/Class/Higher.hs:156) readMaybe1 (src/Type/Class/Higher.hs:159) Read2 (src/Type/Class/Higher.hs:165) reads2 (src/Type/Class/Higher.hs:168) readMaybe2 (src/Type/Class/Higher.hs:171) Read3 (src/Type/Class/Higher.hs:177) reads3 (src/Type/Class/Higher.hs:180) readMaybe3 (src/Type/Class/Higher.hs:183) Functor1 (src/Type/Class/Higher.hs:192) IxFunctor1 (src/Type/Class/Higher.hs:196) Foldable1 (src/Type/Class/Higher.hs:203) IxFoldable1 (src/Type/Class/Higher.hs:206) Traversable1 (src/Type/Class/Higher.hs:213) IxTraversable1 (src/Type/Class/Higher.hs:216) Bifunctor1 (src/Type/Class/Higher.hs:223) IxBifunctor1 (src/Type/Class/Higher.hs:229) 33% ( 3 / 9) in 'Data.Type.Option' Missing documentation for: Option (src/Data/Type/Option.hs:37) (src/Data/Type/Option.hs:61) (src/Data/Type/Option.hs:66) (src/Data/Type/Option.hs:71) (src/Data/Type/Option.hs:74) (src/Data/Type/Option.hs:78) 6% ( 1 / 16) in 'Data.Type.Index' Missing documentation for: Index (src/Data/Type/Index.hs:38) (src/Data/Type/Index.hs:46) (src/Data/Type/Index.hs:47) (src/Data/Type/Index.hs:48) (src/Data/Type/Index.hs:50) (src/Data/Type/Index.hs:60) elimIndex (src/Data/Type/Index.hs:69) ixNil (src/Data/Type/Index.hs:77) onIxPred (src/Data/Type/Index.hs:80) ∈ (src/Data/Type/Index.hs:87) Elem (src/Data/Type/Index.hs:90) (src/Data/Type/Index.hs:93) (src/Data/Type/Index.hs:96) (src/Data/Type/Index.hs:100) (src/Data/Type/Index.hs:103) 11% ( 1 / 9) in 'Data.Type.Index.Trans' Missing documentation for: Module header ixList (src/Data/Type/Index/Trans.hs:26) IxList (src/Data/Type/Index/Trans.hs:31) IxFirst (src/Data/Type/Index/Trans.hs:37) IxSecond (src/Data/Type/Index/Trans.hs:41) IxOr (src/Data/Type/Index/Trans.hs:45) IxJust (src/Data/Type/Index/Trans.hs:51) IxComp (src/Data/Type/Index/Trans.hs:55) 2% ( 1 / 55) in 'Data.Type.Combinator' Missing documentation for: Comp1 (src/Data/Type/Combinator.hs:47) (src/Data/Type/Combinator.hs:52) (src/Data/Type/Combinator.hs:55) :.: (src/Data/Type/Combinator.hs:60) (src/Data/Type/Combinator.hs:66) (src/Data/Type/Combinator.hs:69) (src/Data/Type/Combinator.hs:72) (src/Data/Type/Combinator.hs:77) (src/Data/Type/Combinator.hs:81) (src/Data/Type/Combinator.hs:84) I (src/Data/Type/Combinator.hs:91) (src/Data/Type/Combinator.hs:98) (src/Data/Type/Combinator.hs:102) (src/Data/Type/Combinator.hs:105) (src/Data/Type/Combinator.hs:109) C (src/Data/Type/Combinator.hs:121) (src/Data/Type/Combinator.hs:128) (src/Data/Type/Combinator.hs:129) (src/Data/Type/Combinator.hs:130) (src/Data/Type/Combinator.hs:132) (src/Data/Type/Combinator.hs:139) (src/Data/Type/Combinator.hs:143) mapC (src/Data/Type/Combinator.hs:151) Flip (src/Data/Type/Combinator.hs:158) flipTestEquality1 (src/Data/Type/Combinator.hs:164) (src/Data/Type/Combinator.hs:167) (src/Data/Type/Combinator.hs:170) (src/Data/Type/Combinator.hs:174) mapFlip (src/Data/Type/Combinator.hs:178) Cur (src/Data/Type/Combinator.hs:185) (src/Data/Type/Combinator.hs:194) (src/Data/Type/Combinator.hs:198) mapCur (src/Data/Type/Combinator.hs:202) Uncur (src/Data/Type/Combinator.hs:209) (src/Data/Type/Combinator.hs:217) (src/Data/Type/Combinator.hs:224) (src/Data/Type/Combinator.hs:228) mapUncur (src/Data/Type/Combinator.hs:232) Cur3 (src/Data/Type/Combinator.hs:239) (src/Data/Type/Combinator.hs:248) (src/Data/Type/Combinator.hs:252) mapCur3 (src/Data/Type/Combinator.hs:256) Uncur3 (src/Data/Type/Combinator.hs:263) (src/Data/Type/Combinator.hs:271) (src/Data/Type/Combinator.hs:278) (src/Data/Type/Combinator.hs:282) mapUncur3 (src/Data/Type/Combinator.hs:286) Join (src/Data/Type/Combinator.hs:293) (src/Data/Type/Combinator.hs:302) (src/Data/Type/Combinator.hs:305) (src/Data/Type/Combinator.hs:308) (src/Data/Type/Combinator.hs:313) (src/Data/Type/Combinator.hs:317) mapJoin (src/Data/Type/Combinator.hs:321) 3% ( 1 / 35) in 'Data.Type.Conjunction' Missing documentation for: :&: (src/Data/Type/Conjunction.hs:43) (src/Data/Type/Conjunction.hs:52) (src/Data/Type/Conjunction.hs:55) (src/Data/Type/Conjunction.hs:58) fanFst (src/Data/Type/Conjunction.hs:64) fanSnd (src/Data/Type/Conjunction.hs:67) .&. (src/Data/Type/Conjunction.hs:70) fanFirst (src/Data/Type/Conjunction.hs:74) uncurryFan (src/Data/Type/Conjunction.hs:77) curryFan (src/Data/Type/Conjunction.hs:80) (src/Data/Type/Conjunction.hs:83) (src/Data/Type/Conjunction.hs:86) (src/Data/Type/Conjunction.hs:89) (src/Data/Type/Conjunction.hs:92) (src/Data/Type/Conjunction.hs:95) (src/Data/Type/Conjunction.hs:98) :*: (src/Data/Type/Conjunction.hs:106) (src/Data/Type/Conjunction.hs:115) (src/Data/Type/Conjunction.hs:118) (src/Data/Type/Conjunction.hs:121) parFst (src/Data/Type/Conjunction.hs:127) parSnd (src/Data/Type/Conjunction.hs:130) uncurryPar (src/Data/Type/Conjunction.hs:133) curryPar (src/Data/Type/Conjunction.hs:136) (src/Data/Type/Conjunction.hs:139) (src/Data/Type/Conjunction.hs:142) (src/Data/Type/Conjunction.hs:145) (src/Data/Type/Conjunction.hs:148) (src/Data/Type/Conjunction.hs:151) (src/Data/Type/Conjunction.hs:154) _fst (src/Data/Type/Conjunction.hs:159) _snd (src/Data/Type/Conjunction.hs:162) (src/Data/Type/Conjunction.hs:170) (src/Data/Type/Conjunction.hs:177) 69% ( 18 / 26) in 'Data.Type.Product.Lifted' Missing documentation for: FProd (src/Data/Type/Product/Lifted.hs:39) headF (src/Data/Type/Product/Lifted.hs:69) tailF (src/Data/Type/Product/Lifted.hs:72) uncurryF (src/Data/Type/Product/Lifted.hs:107) curryF (src/Data/Type/Product/Lifted.hs:110) indexF (src/Data/Type/Product/Lifted.hs:113) (src/Data/Type/Product/Lifted.hs:163) (src/Data/Type/Product/Lifted.hs:166) 71% ( 10 / 14) in 'Data.Type.Sum.Lifted' Missing documentation for: FSum (src/Data/Type/Sum/Lifted.hs:35) (src/Data/Type/Sum/Lifted.hs:74) (src/Data/Type/Sum/Lifted.hs:79) (src/Data/Type/Sum/Lifted.hs:84) 4% ( 1 / 26) in 'Data.Type.Disjunction' Missing documentation for: :|: (src/Data/Type/Disjunction.hs:43) (src/Data/Type/Disjunction.hs:53) (src/Data/Type/Disjunction.hs:62) (src/Data/Type/Disjunction.hs:71) (src/Data/Type/Disjunction.hs:78) >|< (src/Data/Type/Disjunction.hs:89) (src/Data/Type/Disjunction.hs:95) (src/Data/Type/Disjunction.hs:100) (src/Data/Type/Disjunction.hs:105) (src/Data/Type/Disjunction.hs:110) (src/Data/Type/Disjunction.hs:115) :+: (src/Data/Type/Disjunction.hs:125) (src/Data/Type/Disjunction.hs:134) (src/Data/Type/Disjunction.hs:143) (src/Data/Type/Disjunction.hs:152) (src/Data/Type/Disjunction.hs:159) >+< (src/Data/Type/Disjunction.hs:182) (src/Data/Type/Disjunction.hs:188) (src/Data/Type/Disjunction.hs:192) (src/Data/Type/Disjunction.hs:196) (src/Data/Type/Disjunction.hs:201) (src/Data/Type/Disjunction.hs:206) (src/Data/Type/Disjunction.hs:211) (src/Data/Type/Disjunction.hs:216) (src/Data/Type/Disjunction.hs:220) 9% ( 1 / 11) in 'Data.Type.Length' Missing documentation for: Length (src/Data/Type/Length.hs:37) (src/Data/Type/Length.hs:45) (src/Data/Type/Length.hs:46) (src/Data/Type/Length.hs:47) (src/Data/Type/Length.hs:49) (src/Data/Type/Length.hs:59) (src/Data/Type/Length.hs:62) elimLength (src/Data/Type/Length.hs:66) lOdd (src/Data/Type/Length.hs:74) lEven (src/Data/Type/Length.hs:74) 10% ( 2 / 21) in 'Data.Type.Sum' Missing documentation for: Sum (src/Data/Type/Sum.hs:42) (src/Data/Type/Sum.hs:53) (src/Data/Type/Sum.hs:62) (src/Data/Type/Sum.hs:71) (src/Data/Type/Sum.hs:78) decomp (src/Data/Type/Sum.hs:93) injectSum (src/Data/Type/Sum.hs:98) inj (src/Data/Type/Sum.hs:103) prj (src/Data/Type/Sum.hs:106) index (src/Data/Type/Sum.hs:109) elimSum (src/Data/Type/Sum.hs:118) (src/Data/Type/Sum.hs:128) (src/Data/Type/Sum.hs:133) (src/Data/Type/Sum.hs:138) (src/Data/Type/Sum.hs:143) (src/Data/Type/Sum.hs:148) (src/Data/Type/Sum.hs:153) (src/Data/Type/Sum.hs:158) (src/Data/Type/Sum.hs:164) 5% ( 1 / 21) in 'Data.Type.Boolean' Missing documentation for: Boolean (src/Data/Type/Boolean.hs:37) (src/Data/Type/Boolean.hs:45) (src/Data/Type/Boolean.hs:46) (src/Data/Type/Boolean.hs:47) (src/Data/Type/Boolean.hs:49) if' (src/Data/Type/Boolean.hs:58) .? (src/Data/Type/Boolean.hs:63) not' (src/Data/Type/Boolean.hs:67) .|| (src/Data/Type/Boolean.hs:70) .&& (src/Data/Type/Boolean.hs:75) .^^ (src/Data/Type/Boolean.hs:80) ==> (src/Data/Type/Boolean.hs:85) <==> (src/Data/Type/Boolean.hs:90) BoolEquality (src/Data/Type/Boolean.hs:95) .== (src/Data/Type/Boolean.hs:98) (src/Data/Type/Boolean.hs:102) (src/Data/Type/Boolean.hs:105) (src/Data/Type/Boolean.hs:108) (src/Data/Type/Boolean.hs:111) toBool (src/Data/Type/Boolean.hs:114) 21% ( 5 / 24) in 'Data.Type.Nat' Missing documentation for: Nat (src/Data/Type/Nat.hs:41) (src/Data/Type/Nat.hs:49) (src/Data/Type/Nat.hs:50) (src/Data/Type/Nat.hs:51) (src/Data/Type/Nat.hs:53) (src/Data/Type/Nat.hs:80) (src/Data/Type/Nat.hs:89) pred' (src/Data/Type/Nat.hs:98) onNatPred (src/Data/Type/Nat.hs:101) _Z (src/Data/Type/Nat.hs:104) _S (src/Data/Type/Nat.hs:107) _s (src/Data/Type/Nat.hs:110) _ZneS (src/Data/Type/Nat.hs:113) addS (src/Data/Type/Nat.hs:124) .+ (src/Data/Type/Nat.hs:130) .* (src/Data/Type/Nat.hs:136) .^ (src/Data/Type/Nat.hs:142) elimNat (src/Data/Type/Nat.hs:148) natVal (src/Data/Type/Nat.hs:153) 43% ( 6 / 14) in 'Data.Type.Fin' Missing documentation for: Fin (src/Data/Type/Fin.hs:40) (src/Data/Type/Fin.hs:48) (src/Data/Type/Fin.hs:49) (src/Data/Type/Fin.hs:50) (src/Data/Type/Fin.hs:52) elimFin (src/Data/Type/Fin.hs:62) fin (src/Data/Type/Fin.hs:75) weaken (src/Data/Type/Fin.hs:84) 11% ( 2 / 18) in 'Data.Type.Fin.Indexed' Missing documentation for: IFin (src/Data/Type/Fin/Indexed.hs:42) (src/Data/Type/Fin/Indexed.hs:50) (src/Data/Type/Fin/Indexed.hs:51) (src/Data/Type/Fin/Indexed.hs:52) (src/Data/Type/Fin/Indexed.hs:54) (src/Data/Type/Fin/Indexed.hs:55) (src/Data/Type/Fin/Indexed.hs:56) (src/Data/Type/Fin/Indexed.hs:58) LessEq (src/Data/Type/Fin/Indexed.hs:68) (src/Data/Type/Fin/Indexed.hs:72) (src/Data/Type/Fin/Indexed.hs:76) ifinZ (src/Data/Type/Fin/Indexed.hs:82) weaken (src/Data/Type/Fin/Indexed.hs:85) ifinNat (src/Data/Type/Fin/Indexed.hs:90) ifinVal (src/Data/Type/Fin/Indexed.hs:95) onIFinPred (src/Data/Type/Fin/Indexed.hs:98) 0% ( 0 / 8) in 'Data.Type.Nat.Inequality' Missing documentation for: Module header NatLT (src/Data/Type/Nat/Inequality.hs:24) NatEQ (src/Data/Type/Nat/Inequality.hs:29) NatGT (src/Data/Type/Nat/Inequality.hs:34) (src/Data/Type/Nat/Inequality.hs:39) (src/Data/Type/Nat/Inequality.hs:45) (src/Data/Type/Nat/Inequality.hs:51) natCompare (src/Data/Type/Nat/Inequality.hs:57) 24% ( 10 / 42) in 'Data.Type.Product' Missing documentation for: Prod (src/Data/Type/Product.hs:54) (src/Data/Type/Product.hs:66) (src/Data/Type/Product.hs:75) (src/Data/Type/Product.hs:84) (src/Data/Type/Product.hs:92) (src/Data/Type/Product.hs:104) (src/Data/Type/Product.hs:117) head' (src/Data/Type/Product.hs:151) tail' (src/Data/Type/Product.hs:154) reverse' (src/Data/Type/Product.hs:169) append' (src/Data/Type/Product.hs:174) lookupPar (src/Data/Type/Product.hs:186) permute (src/Data/Type/Product.hs:191) permute' (src/Data/Type/Product.hs:194) elimProd (src/Data/Type/Product.hs:222) onHead' (src/Data/Type/Product.hs:227) onTail' (src/Data/Type/Product.hs:230) uncurry' (src/Data/Type/Product.hs:233) curry' (src/Data/Type/Product.hs:236) index (src/Data/Type/Product.hs:239) select (src/Data/Type/Product.hs:244) (src/Data/Type/Product.hs:249) (src/Data/Type/Product.hs:254) (src/Data/Type/Product.hs:259) (src/Data/Type/Product.hs:264) (src/Data/Type/Product.hs:269) (src/Data/Type/Product.hs:274) (src/Data/Type/Product.hs:279) (src/Data/Type/Product.hs:282) (src/Data/Type/Product.hs:286) (src/Data/Type/Product.hs:289) toList (src/Data/Type/Product.hs:293) 2% ( 1 / 54) in 'Data.Type.Vector' Missing documentation for: VT (src/Data/Type/Vector.hs:57) elimVT (src/Data/Type/Vector.hs:62) elimV (src/Data/Type/Vector.hs:70) V (src/Data/Type/Vector.hs:76) :+ (src/Data/Type/Vector.hs:78) .++ (src/Data/Type/Vector.hs:85) vrep (src/Data/Type/Vector.hs:91) head' (src/Data/Type/Vector.hs:99) tail' (src/Data/Type/Vector.hs:102) onTail (src/Data/Type/Vector.hs:105) vDel (src/Data/Type/Vector.hs:108) imap (src/Data/Type/Vector.hs:113) ifoldMap (src/Data/Type/Vector.hs:118) itraverse (src/Data/Type/Vector.hs:123) index (src/Data/Type/Vector.hs:128) vmap (src/Data/Type/Vector.hs:133) vap (src/Data/Type/Vector.hs:138) vfoldr (src/Data/Type/Vector.hs:145) vfoldMap' (src/Data/Type/Vector.hs:150) vfoldMap (src/Data/Type/Vector.hs:156) withVT (src/Data/Type/Vector.hs:161) withV (src/Data/Type/Vector.hs:166) findV (src/Data/Type/Vector.hs:169) findVT (src/Data/Type/Vector.hs:172) (src/Data/Type/Vector.hs:179) (src/Data/Type/Vector.hs:182) (src/Data/Type/Vector.hs:186) (src/Data/Type/Vector.hs:189) (src/Data/Type/Vector.hs:194) (src/Data/Type/Vector.hs:207) (src/Data/Type/Vector.hs:212) M (src/Data/Type/Vector.hs:221) (src/Data/Type/Vector.hs:227) Matrix (src/Data/Type/Vector.hs:235) vgen_ (src/Data/Type/Vector.hs:239) vgen (src/Data/Type/Vector.hs:242) mgen_ (src/Data/Type/Vector.hs:247) mgen (src/Data/Type/Vector.hs:250) onMatrix (src/Data/Type/Vector.hs:255) diagonal (src/Data/Type/Vector.hs:258) vtranspose (src/Data/Type/Vector.hs:261) transpose (src/Data/Type/Vector.hs:264) src/Data/Type/Product/Env.hs:21:1: Warning: The import of ‘Data.Type.Index’ is redundant except perhaps to import instances from ‘Data.Type.Index’ To import instances alone, use: import Data.Type.Index() src/Data/Type/Sym.hs:32:1: Warning: The import of ‘Data.Type.Boolean’ is redundant except perhaps to import instances from ‘Data.Type.Boolean’ To import instances alone, use: import Data.Type.Boolean() m0 (src/Data/Type/Vector.hs:267) m1 (src/Data/Type/Vector.hs:270) m2 (src/Data/Type/Vector.hs:273) m3 (src/Data/Type/Vector.hs:276) m4 (src/Data/Type/Vector.hs:279) ppVec (src/Data/Type/Vector.hs:282) ppMatrix (src/Data/Type/Vector.hs:285) ppMatrix' (src/Data/Type/Vector.hs:288) mzipWith (src/Data/Type/Vector.hs:299) zipLines (src/Data/Type/Vector.hs:306) compose (src/Data/Type/Vector.hs:320) 0% ( 0 / 19) in 'Data.Type.Product.Env' Missing documentation for: Module header Env (src/Data/Type/Product/Env.hs:30) Member (src/Data/Type/Product/Env.hs:34) member' (src/Data/Type/Product/Env.hs:38) Lookup (src/Data/Type/Product/Env.hs:43) lookup' (src/Data/Type/Product/Env.hs:47) Insert (src/Data/Type/Product/Env.hs:54) insert' (src/Data/Type/Product/Env.hs:58) Delete (src/Data/Type/Product/Env.hs:65) delete' (src/Data/Type/Product/Env.hs:69) Difference (src/Data/Type/Product/Env.hs:76) difference' (src/Data/Type/Product/Env.hs:80) .\\ (src/Data/Type/Product/Env.hs:85) Union (src/Data/Type/Product/Env.hs:88) union' (src/Data/Type/Product/Env.hs:92) Intersection (src/Data/Type/Product/Env.hs:97) intersection' (src/Data/Type/Product/Env.hs:101) (src/Data/Type/Product/Env.hs:108) (src/Data/Type/Product/Env.hs:111) 10% ( 1 / 10) in 'Data.Type.Sym' Missing documentation for: Sym (src/Data/Type/Sym.hs:40) (src/Data/Type/Sym.hs:46) (src/Data/Type/Sym.hs:51) (src/Data/Type/Sym.hs:52) (src/Data/Type/Sym.hs:53) (src/Data/Type/Sym.hs:55) (src/Data/Type/Sym.hs:58) (src/Data/Type/Sym.hs:62) symbol (src/Data/Type/Sym.hs:65) Documentation created: dist/dist-sandbox-9df84abc/doc/html/type-combinators/index.html, dist/dist-sandbox-9df84abc/doc/html/type-combinators/type-combinators.txt Creating package registration file: /tmp/pkgConf-type-combinators-0.2.25726603361159126505.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-combinators-0.2.2.1-FnyaQbvvhRcHy9y57FqXch Registering type-combinators-0.2.2.1... Installed type-combinators-0.2.2.1 Configuring wai-extra-3.0.14... Building wai-extra-3.0.14... Preprocessing library wai-extra-3.0.14... Network/Wai/Middleware/RequestLogger/JSON.hs:6:8: Could not find module ‘Data.Aeson’ There are files missing in the ‘aeson-0.8.1.1@aeson_EtfbpNlPzwpLZBkvhqNG7m’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Network/Wai/Parse.hs:45:8: Could not find module ‘Control.Monad.Trans.Resource’ There are files missing in the ‘resourcet-1.1.7.1@resou_0mu0yG5oNP996ygKrcM4XF’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Failed to install wai-extra-3.0.14 Configuring xml-conduit-1.3.3... Building xml-conduit-1.3.3... Preprocessing library xml-conduit-1.3.3... Text/XML/Stream/Parse.hs:143:18: Could not find module ‘Control.Monad.Trans.Resource’ There are files missing in the ‘resourcet-1.1.7.1@resou_0mu0yG5oNP996ygKrcM4XF’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:149:18: Could not find module ‘Data.Conduit.Attoparsec’ There are files missing in the ‘conduit-extra-1.1.9.2@condu_5TMS5hMmHSwKvQgmkA4ho1’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:150:18: Could not find module ‘Data.XML.Types’ There are files missing in the ‘xml-types-0.3.6@xmlty_IEPpEIaU7KlCCyjG09kZxK’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:164:18: Could not find module ‘Data.Conduit’ There are files missing in the ‘conduit-1.2.6.1@condu_7rvCMAaynPF3vwlZwzPfPS’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:165:18: Could not find module ‘Data.Conduit.Binary’ There are files missing in the ‘conduit-extra-1.1.9.2@condu_5TMS5hMmHSwKvQgmkA4ho1’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:166:18: Could not find module ‘Data.Conduit.Internal’ There are files missing in the ‘conduit-1.2.6.1@condu_7rvCMAaynPF3vwlZwzPfPS’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:167:18: Could not find module ‘Data.Conduit.List’ There are files missing in the ‘conduit-1.2.6.1@condu_7rvCMAaynPF3vwlZwzPfPS’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Parse.hs:168:18: Could not find module ‘Data.Conduit.Text’ There are files missing in the ‘conduit-extra-1.1.9.2@condu_5TMS5hMmHSwKvQgmkA4ho1’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Stream/Render.hs:33:18: Could not find module ‘Data.Conduit.Blaze’ There are files missing in the ‘conduit-extra-1.1.9.2@condu_5TMS5hMmHSwKvQgmkA4ho1’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Text/XML/Unresolved.hs:68:8: Could not find module ‘Data.Conduit.Lazy’ There are files missing in the ‘conduit-extra-1.1.9.2@condu_5TMS5hMmHSwKvQgmkA4ho1’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. Failed to install xml-conduit-1.3.3 Updating documentation index /home/builder/hackage-server/build-cache/tmp-install/share/doc/x86_64-linux-ghc-7.10.2/index.html cabal: Error: some packages failed to install: gore-and-ash-logging-1.1.0.0 depends on text-show-2.1.2 which failed to install. haskell-src-meta-0.6.0.13 failed during the building phase. The exception was: ExitFailure 1 text-show-2.1.2 failed during the building phase. The exception was: ExitFailure 1 type-combinators-quote-0.1.0.1 depends on haskell-src-meta-0.6.0.13 which failed to install. wai-extra-3.0.14 failed during the building phase. The exception was: ExitFailure 1 wsdl-0.1.0.1 depends on xml-conduit-1.3.3 which failed to install. xml-conduit-1.3.3 failed during the building phase. The exception was: ExitFailure 1