Resolving dependencies...
Downloading dependent-sum-0.1...
Configuring dependent-sum-0.1...
Building dependent-sum-0.1...
Preprocessing library dependent-sum-0.1...
[1 of 3] Compiling Data.GADT.Show   ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o )
[2 of 3] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o )
[3 of 3] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, dist/build/Data/Dependent/Sum.o )

src/Data/Dependent/Sum.hs:43:23: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"
In-place registering dependent-sum-0.1...
Running Haddock for dependent-sum-0.1...
Running hscolour for dependent-sum-0.1...
Preprocessing library dependent-sum-0.1...
Preprocessing library dependent-sum-0.1...

dist/build/tmp-2024/src/Data/GADT/Compare.hs:10:5:
    parse error on input `-- |A value witnessing the fact that two types are in fact the same.'
Haddock coverage:
  12% (  1 /  8) in 'Data.GADT.Show'
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/dependent-sum-0.1
Registering dependent-sum-0.1...
Installed dependent-sum-0.1