Resolving dependencies...
Configuring type-eq-0.5...
Building type-eq-0.5...
Preprocessing library type-eq-0.5...
[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 )

Type/Eq/Higher.hs:66:112: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Higher.hs:66:125: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Higher.hs:127:112: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Higher.hs:127:125: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"
[7 of 7] Compiling Type.Eq.Poly     ( Type/Eq/Poly.hs, dist/build/Type/Eq/Poly.o )

Type/Eq/Poly.hs:48:112: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:48:125: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:49:112: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:49:125: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:50:112: Warning:
    In the use of type constructor or class ‘Typeable3’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:50:125: Warning:
    In the use of type constructor or class ‘Typeable3’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:51:112: Warning:
    In the use of type constructor or class ‘Typeable4’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:51:125: Warning:
    In the use of type constructor or class ‘Typeable4’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:52:112: Warning:
    In the use of type constructor or class ‘Typeable5’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:52:125: Warning:
    In the use of type constructor or class ‘Typeable5’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:53:112: Warning:
    In the use of type constructor or class ‘Typeable6’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:53:125: Warning:
    In the use of type constructor or class ‘Typeable6’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:54:112: Warning:
    In the use of type constructor or class ‘Typeable7’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:54:125: Warning:
    In the use of type constructor or class ‘Typeable7’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"
In-place registering type-eq-0.5...
Running Haddock for type-eq-0.5...
Running hscolour for type-eq-0.5...
Preprocessing library type-eq-0.5...
Preprocessing library type-eq-0.5...

Type/Eq/Higher.hs:66:112: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Higher.hs:66:125: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Higher.hs:127:112: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Higher.hs:127:125: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:48:112: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:48:125: Warning:
    In the use of type constructor or class ‘Typeable1’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:49:112: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:49:125: Warning:
    In the use of type constructor or class ‘Typeable2’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:50:112: Warning:
    In the use of type constructor or class ‘Typeable3’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:50:125: Warning:
    In the use of type constructor or class ‘Typeable3’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:51:112: Warning:
    In the use of type constructor or class ‘Typeable4’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:51:125: Warning:
    In the use of type constructor or class ‘Typeable4’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:52:112: Warning:
    In the use of type constructor or class ‘Typeable5’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:52:125: Warning:
    In the use of type constructor or class ‘Typeable5’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:53:112: Warning:
    In the use of type constructor or class ‘Typeable6’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:53:125: Warning:
    In the use of type constructor or class ‘Typeable6’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:54:112: Warning:
    In the use of type constructor or class ‘Typeable7’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"

Type/Eq/Poly.hs:54:125: Warning:
    In the use of type constructor or class ‘Typeable7’
    (imported from Data.Typeable, but defined in Data.Typeable.Internal):
    Deprecated: "renamed to 'Typeable'"
Haddock coverage:
 100% (  4 /  4) in 'Type.Eq.Unsafe'
  83% (  5 /  6) in 'Type.Eq.Higher.Unsafe'
  65% ( 17 / 26) 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,
dist/doc/html/type-eq/type-eq.txt
Creating package registration file: /tmp/pkgConf-type-eq-027005.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/type-eq-0.5
Registering type-eq-0.5...
Installed type-eq-0.5