Resolving dependencies...
Configuring ty-0.1.5...
Building ty-0.1.5...
Preprocessing library ty-0.1.5...
[1 of 3] Compiling Data.Proof.EQ    ( src/Data/Proof/EQ.hs, dist/build/Data/Proof/EQ.o )
[2 of 3] Compiling Data.IsTy        ( src/Data/IsTy.hs, dist/build/Data/IsTy.o )
[3 of 3] Compiling Data.Ty          ( src/Data/Ty.hs, dist/build/Data/Ty.o )
In-place registering ty-0.1.5...
Running Haddock for ty-0.1.5...
Running hscolour for ty-0.1.5...
Preprocessing library ty-0.1.5...
Preprocessing library ty-0.1.5...
Haddock coverage:
 100% (  8 /  8) in 'Data.Proof.EQ'
  60% (  3 /  5) in 'Data.IsTy'
Warning: Data.Ty: We do not support associated types in instances yet. These instances are affected:
Data.IsTy.IsTy Data.Ty.Ty
  67% (  8 / 12) in 'Data.Ty'
Documentation created: dist/doc/html/ty/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ty-0.1.5
Registering ty-0.1.5...
Installed ty-0.1.5
Downloading data-treify-0.3.4...
Configuring data-treify-0.3.4...
Building data-treify-0.3.4...
Preprocessing library data-treify-0.3.4...
[1 of 4] Compiling CustomTy         ( src/CustomTy.hs, dist/build/CustomTy.o )
[2 of 4] Compiling Data.Reify.TGraph ( src/Data/Reify/TGraph.hs, dist/build/Data/Reify/TGraph.o )
[3 of 4] Compiling Data.TReify      ( src/Data/TReify.hs, dist/build/Data/TReify.o )
[4 of 4] Compiling Exp              ( src/Exp.hs, dist/build/Exp.o )
In-place registering data-treify-0.3.4...
Running Haddock for data-treify-0.3.4...
Running hscolour for data-treify-0.3.4...
Preprocessing library data-treify-0.3.4...
Preprocessing library data-treify-0.3.4...
Haddock coverage:
Warning: CustomTy: ty is exported separately but will be documented under Typeable. Consider exporting it together with its parent(s) for code clarity.
 100% (  4 /  4) in 'CustomTy'
  71% (  5 /  7) in 'Data.Reify.TGraph'
  50% (  2 /  4) in 'Data.TReify'
Warning: Exp: We do not support associated types in instances yet. These instances are affected:
Data.TReify.MuRef Data.Ty.Ty (Exp.E v)
   4% (  1 / 25) in 'Exp'
Documentation created: dist/doc/html/data-treify/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-treify-0.3.4
Registering data-treify-0.3.4...
Installed data-treify-0.3.4