Resolving dependencies...
Downloading type-eq-0.4...
Configuring type-eq-0.4...
Building type-eq-0.4...
Preprocessing library type-eq-0.4...
[1 of 7] Compiling Type.Eq.Higher[boot] ( Type/Eq/Higher.hs-boot, dist/build/Type/Eq/Higher.o-boot )
[2 of 7] Compiling Type.Eq[boot]    ( Type/Eq.hs-boot, dist/build/Type/Eq.o-boot )
[3 of 7] Compiling Type.Eq.Unsafe   ( Type/Eq/Unsafe.hs, dist/build/Type/Eq/Unsafe.o )
[4 of 7] Compiling Type.Eq.Higher.Unsafe ( Type/Eq/Higher/Unsafe.hs, dist/build/Type/Eq/Higher/Unsafe.o )
[5 of 7] Compiling Type.Eq          ( Type/Eq.hs, dist/build/Type/Eq.o )
[6 of 7] Compiling Type.Eq.Higher   ( Type/Eq/Higher.hs, dist/build/Type/Eq/Higher.o )
[7 of 7] Compiling Type.Eq.Poly     ( Type/Eq/Poly.hs, dist/build/Type/Eq/Poly.o )
In-place registering type-eq-0.4...
Running Haddock for type-eq-0.4...
Running hscolour for type-eq-0.4...
Preprocessing library type-eq-0.4...
Preprocessing library type-eq-0.4...
Haddock coverage:
 100% (  4 /  4) in 'Type.Eq.Unsafe'
  83% (  5 /  6) in 'Type.Eq.Higher.Unsafe'
  77% ( 17 / 22) in 'Type.Eq'
  62% ( 23 / 37) in 'Type.Eq.Higher'
  61% ( 14 / 23) in 'Type.Eq.Poly'
Documentation created: dist/doc/html/type-eq/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/type-eq-0.4
Registering type-eq-0.4...
Installed type-eq-0.4