Build #1 for hylotab-1.2.1

[all reports]

Package hylotab-1.2.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies mtl-2.1.2, hylolib-1.4.0, base-4.6.0.1
Flags -static

Build log

[view raw]

Resolving dependencies...
Configuring QuickCheck-1.2.0.1...
Building QuickCheck-1.2.0.1...
Preprocessing library QuickCheck-1.2.0.1...
[1 of 8] Compiling Test.QuickCheck  ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
[2 of 8] Compiling Test.QuickCheck.Batch ( Test/QuickCheck/Batch.hs, dist/build/Test/QuickCheck/Batch.o )
[3 of 8] Compiling Test.QuickCheck.Utils ( Test/QuickCheck/Utils.hs, dist/build/Test/QuickCheck/Utils.o )
[4 of 8] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[5 of 8] Compiling Debug.QuickCheck.Poly ( Debug/QuickCheck/Poly.hs, dist/build/Debug/QuickCheck/Poly.o )
[6 of 8] Compiling Debug.QuickCheck.Utils ( Debug/QuickCheck/Utils.hs, dist/build/Debug/QuickCheck/Utils.o )
[7 of 8] Compiling Debug.QuickCheck ( Debug/QuickCheck.hs, dist/build/Debug/QuickCheck.o )
[8 of 8] Compiling Debug.QuickCheck.Batch ( Debug/QuickCheck/Batch.hs, dist/build/Debug/QuickCheck/Batch.o )
In-place registering QuickCheck-1.2.0.1...
Running Haddock for QuickCheck-1.2.0.1...
Running hscolour for QuickCheck-1.2.0.1...
Preprocessing library QuickCheck-1.2.0.1...
Preprocessing library QuickCheck-1.2.0.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, random-1.0.1.1
Haddock coverage:
   3% (  1 / 33) in 'Test.QuickCheck'
  50% (  4 /  8) in 'Test.QuickCheck.Batch'
  17% (  1 /  6) in 'Test.QuickCheck.Utils'
  14% (  1 /  7) in 'Test.QuickCheck.Poly'
 100% (  2 /  2) in 'Debug.QuickCheck.Poly'
 100% (  2 /  2) in 'Debug.QuickCheck.Utils'
 100% (  2 /  2) in 'Debug.QuickCheck.Batch'
 100% (  2 /  2) in 'Debug.QuickCheck'
Warning: Test.QuickCheck: could not find link destinations for:
    System.Random.Random System.Random.StdGen
Warning: Test.QuickCheck.Poly: could not find link destinations for:
    Test.QuickCheck.Poly.Poly Test.QuickCheck.Poly.ALPHA_ Test.QuickCheck.Poly.BETA_ Test.QuickCheck.Poly.GAMMA_ Test.QuickCheck.Poly.OrdALPHA_ Test.QuickCheck.Poly.OrdBETA_ Test.QuickCheck.Poly.OrdGAMMA_
Documentation created: dist/doc/html/QuickCheck/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/QuickCheck-1.2.0.1/ghc-7.6.3
Registering QuickCheck-1.2.0.1...
Installed QuickCheck-1.2.0.1
Configuring hashable-1.2.1.0...
Building hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
[3 of 3] Compiling Data.Hashable    ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.1.0...
Running Haddock for hashable-1.2.1.0...
Running hscolour for hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, text-0.11.2.3
Haddock coverage:
 100% ( 11 / 11) in 'Data.Hashable.Class'
 100% (  1 /  1) in 'Data.Hashable.Generic'
 100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
    Data.Text.Internal.Text Data.Text.Lazy.Internal.Text Data.Hashable.Class.GHashable
Documentation created: dist/doc/html/hashable/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/hashable-1.2.1.0/ghc-7.6.3
Registering hashable-1.2.1.0...
Installed hashable-1.2.1.0
Configuring syb-0.4.1...
Building syb-0.4.1...
Preprocessing library syb-0.4.1...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics    ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB     ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.4.1...
Running Haddock for syb-0.4.1...
Running hscolour for syb-0.4.1...
Preprocessing library syb-0.4.1...
Preprocessing library syb-0.4.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
 100% (  2 /  2) in 'Data.Generics.Basics'
 100% (  2 /  2) in 'Generics.SYB.Basics'
 100% (  1 /  1) in 'Data.Generics.Instances'
 100% (  1 /  1) in 'Generics.SYB.Instances'
  96% ( 43 / 45) in 'Data.Generics.Aliases'
 100% ( 19 / 19) in 'Data.Generics.Schemes'
 100% (  2 /  2) in 'Generics.SYB.Schemes'
 100% (  6 /  6) in 'Data.Generics.Text'
 100% (  2 /  2) in 'Generics.SYB.Text'
 100% ( 16 / 16) in 'Data.Generics.Twins'
 100% (  2 /  2) in 'Generics.SYB.Twins'
 100% (  3 /  3) in 'Data.Generics.Builders'
 100% (  2 /  2) in 'Generics.SYB.Builders'
 100% (  2 /  2) in 'Generics.SYB.Aliases'
 100% (  8 /  8) in 'Data.Generics'
 100% (  2 /  2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/syb-0.4.1/ghc-7.6.3
Registering syb-0.4.1...
Installed syb-0.4.1
Configuring unordered-containers-0.2.3.3...
Building unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet     ( Data/HashSet.hs, dist/build/Data/HashSet.o )
In-place registering unordered-containers-0.2.3.3...
Running Haddock for unordered-containers-0.2.3.3...
Running hscolour for unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, text-0.11.2.3
Haddock coverage:
   0% (  0 /  3) in 'Data.HashMap.UnsafeShift'
  50% (  1 /  2) in 'Data.HashMap.PopCount'
 100% (  2 /  2) in 'Data.HashMap.Unsafe'
  38% ( 14 / 37) in 'Data.HashMap.Array'
  85% ( 52 / 61) in 'Data.HashMap.Base'
  98% ( 44 / 45) in 'Data.HashMap.Strict'
  98% ( 44 / 45) in 'Data.HashMap.Lazy'
 100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/unordered-containers-0.2.3.3/ghc-7.6.3
Registering unordered-containers-0.2.3.3...
Installed unordered-containers-0.2.3.3
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
[ 1 of 21] Compiling Data.Generics.Uniplate.Data.Instances ( Data/Generics/Uniplate/Data/Instances.hs, dist/build/Data/Generics/Uniplate/Data/Instances.o )
[ 2 of 21] Compiling Data.Generics.Uniplate.Internal.Utils ( Data/Generics/Uniplate/Internal/Utils.hs, dist/build/Data/Generics/Uniplate/Internal/Utils.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package text-0.11.2.3 ... linking ... done.
Loading package hashable-1.2.1.0 ... linking ... done.
Loading package unordered-containers-0.2.3.3 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
[ 3 of 21] Compiling Data.Generics.Uniplate ( Data/Generics/Uniplate.hs, dist/build/Data/Generics/Uniplate.o )
[ 4 of 21] Compiling Data.Generics.UniplateOn ( Data/Generics/UniplateOn.hs, dist/build/Data/Generics/UniplateOn.o )
[ 5 of 21] Compiling Data.Generics.Str ( Data/Generics/Str.hs, dist/build/Data/Generics/Str.o )
[ 6 of 21] Compiling Data.Generics.Uniplate.Operations ( Data/Generics/Uniplate/Operations.hs, dist/build/Data/Generics/Uniplate/Operations.o )
[ 7 of 21] Compiling Data.Generics.Compos ( Data/Generics/Compos.hs, dist/build/Data/Generics/Compos.o )
[ 8 of 21] Compiling Data.Generics.SYB ( Data/Generics/SYB.hs, dist/build/Data/Generics/SYB.o )
[ 9 of 21] Compiling Data.Generics.Uniplate.Internal.Data ( Data/Generics/Uniplate/Internal/Data.hs, dist/build/Data/Generics/Uniplate/Internal/Data.o )
[10 of 21] Compiling Data.Generics.Uniplate.Data ( Data/Generics/Uniplate/Data.hs, dist/build/Data/Generics/Uniplate/Data.o )
[11 of 21] Compiling Data.Generics.Uniplate.Internal.DataOnlyOperations ( Data/Generics/Uniplate/Internal/DataOnlyOperations.hs, dist/build/Data/Generics/Uniplate/Internal/DataOnlyOperations.o )
[12 of 21] Compiling Data.Generics.Uniplate.DataOnly ( Data/Generics/Uniplate/DataOnly.hs, dist/build/Data/Generics/Uniplate/DataOnly.o )
[13 of 21] Compiling Data.Generics.Uniplate.Direct ( Data/Generics/Uniplate/Direct.hs, dist/build/Data/Generics/Uniplate/Direct.o )
[14 of 21] Compiling Data.Generics.Uniplate.Typeable ( Data/Generics/Uniplate/Typeable.hs, dist/build/Data/Generics/Uniplate/Typeable.o )
[15 of 21] Compiling Data.Generics.Uniplate.Zipper ( Data/Generics/Uniplate/Zipper.hs, dist/build/Data/Generics/Uniplate/Zipper.o )
[16 of 21] Compiling Data.Generics.UniplateStr ( Data/Generics/UniplateStr.hs, dist/build/Data/Generics/UniplateStr.o )
[17 of 21] Compiling Data.Generics.UniplateStrOn ( Data/Generics/UniplateStrOn.hs, dist/build/Data/Generics/UniplateStrOn.o )
[18 of 21] Compiling Data.Generics.Biplate ( Data/Generics/Biplate.hs, dist/build/Data/Generics/Biplate.o )
[19 of 21] Compiling Data.Generics.PlateDirect ( Data/Generics/PlateDirect.hs, dist/build/Data/Generics/PlateDirect.o )
[20 of 21] Compiling Data.Generics.PlateTypeable ( Data/Generics/PlateTypeable.hs, dist/build/Data/Generics/PlateTypeable.o )
[21 of 21] Compiling Data.Generics.PlateData ( Data/Generics/PlateData.hs, dist/build/Data/Generics/PlateData.o )
In-place registering uniplate-1.6.12...
Running Haddock for uniplate-1.6.12...
Running hscolour for uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, text-0.11.2.3
Haddock coverage:
 100% ( 16 / 16) in 'Data.Generics.Uniplate.Data.Instances'
  86% (  6 /  7) in 'Data.Generics.Uniplate.Internal.Utils'
 100% ( 19 / 19) in 'Data.Generics.Uniplate'
  55% ( 11 / 20) in 'Data.Generics.UniplateOn'
  67% (  6 /  9) in 'Data.Generics.Str'
  76% ( 22 / 29) in 'Data.Generics.Uniplate.Operations'
 100% (  8 /  8) in 'Data.Generics.Compos'
 100% ( 13 / 13) in 'Data.Generics.SYB'
   8% (  4 / 49) in 'Data.Generics.Uniplate.Internal.Data'
  80% (  4 /  5) in 'Data.Generics.Uniplate.Data'
  72% ( 21 / 29) in 'Data.Generics.Uniplate.Internal.DataOnlyOperations'
  75% ( 24 / 32) in 'Data.Generics.Uniplate.DataOnly'
 100% ( 11 / 11) in 'Data.Generics.Uniplate.Direct'
 100% ( 10 / 10) in 'Data.Generics.Uniplate.Typeable'
 100% ( 14 / 14) in 'Data.Generics.Uniplate.Zipper'
 100% ( 21 / 21) in 'Data.Generics.UniplateStr'
  55% ( 11 / 20) in 'Data.Generics.UniplateStrOn'
  47% (  9 / 19) in 'Data.Generics.Biplate'
 100% ( 10 / 10) in 'Data.Generics.PlateDirect'
 100% ( 10 / 10) in 'Data.Generics.PlateTypeable'
 100% (  2 /  2) in 'Data.Generics.PlateData'
Warning: Data.Generics.Uniplate.Direct: could not find link destinations for:
    Data.Generics.Uniplate.Direct.Type
Warning: Data.Generics.Uniplate.Typeable: could not find link destinations for:
    Data.Generics.Uniplate.Typeable.Type
Warning: Data.Generics.PlateDirect: could not find link destinations for:
    Data.Generics.PlateDirect.Type
Warning: Data.Generics.PlateTypeable: could not find link destinations for:
    Data.Generics.PlateTypeable.Type
Documentation created: dist/doc/html/uniplate/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/uniplate-1.6.12/ghc-7.6.3
Registering uniplate-1.6.12...
Installed uniplate-1.6.12
Configuring hylolib-1.4.0...
Building hylolib-1.4.0...
Preprocessing library hylolib-1.4.0...
[ 1 of 19] Compiling Data.EnumMap     ( src/Data/EnumMap.hs, dist/build/Data/EnumMap.o )

src/Data/EnumMap.hs:86:27: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"
[ 2 of 19] Compiling Data.EnumSet     ( src/Data/EnumSet.hs, dist/build/Data/EnumSet.o )

src/Data/EnumSet.hs:82:27: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"
[ 3 of 19] Compiling HyLo.Util        ( src/HyLo/Util.hs, dist/build/HyLo/Util.o )
[ 4 of 19] Compiling Data.Map.Arbitrary ( src/Data/Map/Arbitrary.hs, dist/build/Data/Map/Arbitrary.o )
[ 5 of 19] Compiling Data.Set.Arbitrary ( src/Data/Set/Arbitrary.hs, dist/build/Data/Set/Arbitrary.o )
[ 6 of 19] Compiling HyLo.Test        ( src/HyLo/Test.hs, dist/build/HyLo/Test.o )
[ 7 of 19] Compiling HyLo.Signature   ( src/HyLo/Signature.hs, dist/build/HyLo/Signature.o )
[ 8 of 19] Compiling HyLo.Signature.Simple ( src/HyLo/Signature/Simple.hs, dist/build/HyLo/Signature/Simple.o )
[ 9 of 19] Compiling HyLo.InputFile.OldLexer ( dist/build/HyLo/InputFile/OldLexer.hs, dist/build/HyLo/InputFile/OldLexer.o )
[10 of 19] Compiling HyLo.Signature.String ( src/HyLo/Signature/String.hs, dist/build/HyLo/Signature/String.o )
[11 of 19] Compiling HyLo.InputFile.Lexer ( dist/build/HyLo/InputFile/Lexer.hs, dist/build/HyLo/InputFile/Lexer.o )
[12 of 19] Compiling HyLo.Formula     ( src/HyLo/Formula.hs, dist/build/HyLo/Formula.o )

src/HyLo/Formula.hs:26:1: Warning:
    Module `Data.Generics.PlateDirect' is deprecated:
      Use Data.Generics.Uniplate.Direct instead

src/HyLo/Formula.hs:129:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:130:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:132:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:132:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:133:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:133:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:135:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:135:41: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:137:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:137:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:137:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:138:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:138:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:138:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:139:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:139:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:139:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:140:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:140:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:140:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:142:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:142:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:142:47: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:143:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:143:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:143:47: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:145:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:145:43: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:145:48: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:146:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:146:43: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:146:48: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:148:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:148:41: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:148:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:150:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:150:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:151:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:151:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:153:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:153:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:154:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:154:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:156:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:156:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:156:47: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:158:34: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:158:46: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:158:51: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:158:56: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

src/HyLo/Formula.hs:158:61: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"
[13 of 19] Compiling HyLo.InputFile.OldParser ( dist/build/HyLo/InputFile/OldParser.hs, dist/build/HyLo/InputFile/OldParser.o )
[14 of 19] Compiling HyLo.Model       ( src/HyLo/Model.hs, dist/build/HyLo/Model.o )
[15 of 19] Compiling HyLo.Formula.Rewrite ( src/HyLo/Formula/Rewrite.hs, dist/build/HyLo/Formula/Rewrite.o )
[16 of 19] Compiling HyLo.InputFile.Parser ( dist/build/HyLo/InputFile/Parser.hs, dist/build/HyLo/InputFile/Parser.o )
[17 of 19] Compiling HyLo.InputFile   ( src/HyLo/InputFile.hs, dist/build/HyLo/InputFile.o )
[18 of 19] Compiling HyLo.Model.Herbrand ( src/HyLo/Model/Herbrand.hs, dist/build/HyLo/Model/Herbrand.o )
[19 of 19] Compiling HyLo.Model.PrettyPrint ( src/HyLo/Model/PrettyPrint.hs, dist/build/HyLo/Model/PrettyPrint.o )
In-place registering hylolib-1.4.0...
Running Haddock for hylolib-1.4.0...
Running hscolour for hylolib-1.4.0...
Preprocessing library hylolib-1.4.0...
Preprocessing library hylolib-1.4.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2, random-1.0.1.1,
text-0.11.2.3, transformers-0.3.0.0

dist/build/tmp-4962/src/Data/EnumMap.hs:86:27: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"

dist/build/tmp-4962/src/Data/EnumSet.hs:82:27: Warning:
    In the use of `mkTyCon' (imported from Data.Typeable):
    Deprecated: "either derive Typeable, or use mkTyCon3 instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:26:1: Warning:
    Module `Data.Generics.PlateDirect' is deprecated:
      Use Data.Generics.Uniplate.Direct instead

dist/build/tmp-4962/src/HyLo/Formula.hs:129:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:130:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:132:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:132:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:133:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:133:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:135:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:135:41: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:137:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:137:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:137:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:138:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:138:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:138:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:139:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:139:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:139:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:140:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:140:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:140:52: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:142:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:142:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:142:47: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:143:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:143:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:143:47: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:145:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:145:43: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:145:48: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:146:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:146:43: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:146:48: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:148:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:148:41: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:148:46: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:150:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:150:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:151:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:151:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:153:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:153:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:154:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:154:39: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:156:31: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:156:42: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:156:47: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:158:34: Warning:
    In the use of `plate' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:158:46: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:158:51: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:158:56: Warning:
    In the use of `|-' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"

dist/build/tmp-4962/src/HyLo/Formula.hs:158:61: Warning:
    In the use of `|*' (imported from Data.Generics.PlateDirect):
    Deprecated: "Use Data.Generics.Uniplate.Direct instead"
Haddock coverage:
   0% (  0 / 14) in 'Data.EnumMap'
   0% (  0 / 11) in 'Data.EnumSet'
   0% (  0 /  2) in 'HyLo.Util'
   0% (  0 /  1) in 'Data.Map.Arbitrary'
   0% (  0 /  1) in 'Data.Set.Arbitrary'
   0% (  0 / 14) in 'HyLo.Test'
Warning: HyLo.Signature: We do not support associated types in instances yet. These instances are affected:
HyLo.Signature.HasSignature (HyLo.Signature.Signature n p r)
   0% (  0 / 21) in 'HyLo.Signature'
   0% (  0 /  6) in 'HyLo.Signature.Simple'
   0% (  0 /  6) in 'HyLo.InputFile.OldLexer'
   0% (  0 /  5) in 'HyLo.Signature.String'
   0% (  0 /  6) in 'HyLo.InputFile.Lexer'
Warning: HyLo.Formula: We do not support associated types in instances yet. These instances are affected:
(GHC.Classes.Ord n, GHC.Classes.Ord p, GHC.Classes.Ord r) =>
HyLo.Signature.HasSignature (HyLo.Formula.Formula n p r)
   0% (  0 / 19) in 'HyLo.Formula'
   0% (  0 /  2) in 'HyLo.InputFile.OldParser'
Warning: HyLo.Model: We do not support associated types in instances yet. These instances are affected:
HyLo.Signature.HasSignature (HyLo.Model.Model w n p r)
   0% (  0 / 22) in 'HyLo.Model'
   0% (  0 /  5) in 'HyLo.Formula.Rewrite'
Warning: HyLo.InputFile.Parser: relations is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
Warning: HyLo.InputFile.Parser: provers is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
Warning: HyLo.InputFile.Parser: theory is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
Warning: HyLo.InputFile.Parser: tasks is exported separately but will be documented under PO. Consider exporting it together with its parent(s) for code clarity.
   0% (  0 / 10) in 'HyLo.InputFile.Parser'
   0% (  0 /  7) in 'HyLo.InputFile'
Warning: HyLo.Model.Herbrand: We do not support associated types in instances yet. These instances are affected:
(GHC.Classes.Ord r, GHC.Classes.Ord n, GHC.Classes.Ord p) =>
HyLo.Signature.HasSignature (HyLo.Model.Herbrand.HerbrandModel n p r)
   0% (  0 /  7) in 'HyLo.Model.Herbrand'
   0% (  0 /  4) in 'HyLo.Model.PrettyPrint'
Warning: HyLo.Test: could not find link destinations for:
    HyLo.Test.Align
Warning: HyLo.Model: could not find link destinations for:
    HyLo.Model.RelRepr HyLo.Model.ValRepr HyLo.Model.ValNomRepr
Warning: HyLo.InputFile.Parser: could not find link destinations for:
    Control.Monad.Trans.State.Lazy.State HyLo.InputFile.Parser.SignatureType
Documentation created: dist/doc/html/hylolib/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/hylolib-1.4.0/ghc-7.6.3
Registering hylolib-1.4.0...
Installed hylolib-1.4.0
Downloading hylotab-1.2.1...
Configuring hylotab-1.2.1...
Building hylotab-1.2.1...
Preprocessing executable 'hylotab' for hylotab-1.2.1...
[1 of 3] Compiling Form             ( src/Form.hs, dist/build/hylotab/hylotab-tmp/Form.o )
[2 of 3] Compiling Hylotab          ( src/Hylotab.hs, dist/build/hylotab/hylotab-tmp/Hylotab.o )
[3 of 3] Compiling Main             ( src/Main.hs, dist/build/hylotab/hylotab-tmp/Main.o )

src/Main.hs:19:1: Warning: Module `Prelude' does not export `catch'
Linking dist/build/hylotab/hylotab ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables flag.
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Installed hylotab-1.2.1