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