Resolving dependencies... Downloading dependent-sum-0.4... cabal: Entering directory '/tmp/cabal-tmp-14632/dependent-sum-0.4' Configuring dependent-sum-0.4... Building dependent-sum-0.4... Preprocessing library dependent-sum-0.4... [1 of 4] Compiling Data.GADT.Show ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o ) [2 of 4] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o ) [3 of 4] Compiling Data.Some ( src/Data/Some.hs, dist/build/Data/Some.o ) [4 of 4] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, dist/build/Data/Dependent/Sum.o ) Running Haddock for dependent-sum-0.4... Running hscolour for dependent-sum-0.4... Preprocessing library dependent-sum-0.4... Preprocessing library dependent-sum-0.4... Haddock coverage: 33% ( 3 / 9) in 'Data.GADT.Show' Missing documentation for: Module header gshows (src/Data/GADT/Show.hs:20) gshow (src/Data/GADT/Show.hs:23) GReadResult (src/Data/GADT/Show.hs:26) greads (src/Data/GADT/Show.hs:39) gread (src/Data/GADT/Show.hs:42) 42% ( 8 / 19) in 'Data.GADT.Compare' Missing documentation for: Module header (src/Data/GADT/Compare.hs:53) (src/Data/GADT/Compare.hs:56) (src/Data/GADT/Compare.hs:93) (src/Data/GADT/Compare.hs:139) (src/Data/GADT/Compare.hs:143) (src/Data/GADT/Compare.hs:146) (src/Data/GADT/Compare.hs:151) (src/Data/GADT/Compare.hs:154) (src/Data/GADT/Compare.hs:167) defaultCompare (src/Data/GADT/Compare.hs:170) 0% ( 0 / 7) in 'Data.Some' Missing documentation for: Module header Some (src/Data/Some.hs:16) withSome (src/Data/Some.hs:19) (src/Data/Some.hs:22) (src/Data/Some.hs:28) (src/Data/Some.hs:36) (src/Data/Some.hs:39) 31% ( 5 / 16) in 'Data.Dependent.Sum' Missing documentation for: Module header ==> (src/Data/Dependent/Sum.hs:63) (src/Data/Dependent/Sum.hs:90) (src/Data/Dependent/Sum.hs:94) (src/Data/Dependent/Sum.hs:101) ReadTag (src/Data/Dependent/Sum.hs:108) (src/Data/Dependent/Sum.hs:146) (src/Data/Dependent/Sum.hs:179) (src/Data/Dependent/Sum.hs:182) (src/Data/Dependent/Sum.hs:209) (src/Data/Dependent/Sum.hs:212) Warning: Data.GADT.Compare: could not find link destinations for: ~ Documentation created: dist/doc/html/dependent-sum/index.html, dist/doc/html/dependent-sum/dependent-sum.txt Creating package registration file: /tmp/pkgConf-dependent-sum-01315634022635723058.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/dependent-sum-0.4-Ecmfe7aOpiJDdCCDitXqiZ Registering dependent-sum-0.4... cabal: Leaving directory '/tmp/cabal-tmp-14632/dependent-sum-0.4' Installed dependent-sum-0.4