Resolving dependencies... Configuring Boolean-0.2... Building Boolean-0.2... Preprocessing library Boolean-0.2... [1 of 3] Compiling Data.Boolean ( src/Data/Boolean.hs, dist/build/Data/Boolean.o ) [2 of 3] Compiling Data.Boolean.Overload ( src/Data/Boolean/Overload.hs, dist/build/Data/Boolean/Overload.o ) [3 of 3] Compiling Data.Boolean.Numbers ( src/Data/Boolean/Numbers.hs, dist/build/Data/Boolean/Numbers.o ) In-place registering Boolean-0.2... Running Haddock for Boolean-0.2... Running hscolour for Boolean-0.2... Preprocessing library Boolean-0.2... Preprocessing library Boolean-0.2... Haddock coverage: Warning: Data.Boolean: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: BooleanOf 100% ( 14 / 14) in 'Data.Boolean' haddock module header parse failed: Cannot parse header documentation paragraphs 7% ( 1 / 14) in 'Data.Boolean.Overload' Warning: Data.Boolean.Numbers: We do not support associated types in instances yet. These instances are affected: Data.Boolean.Numbers.NumB (GHC.Types.Int), Data.Boolean.Numbers.NumB (GHC.Integer.Type.Integer), Data.Boolean.Numbers.NumB (GHC.Types.Float), Data.Boolean.Numbers.NumB (GHC.Types.Double) 100% ( 8 / 8) in 'Data.Boolean.Numbers' Documentation created: dist/doc/html/Boolean/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Boolean-0.2 Registering Boolean-0.2... Installed Boolean-0.2 Configuring NumInstances-1.3... Building NumInstances-1.3... Preprocessing library NumInstances-1.3... [1 of 5] Compiling Data.NumInstances.Util ( src/Data/NumInstances/Util.hs, dist/build/Data/NumInstances/Util.o ) [2 of 5] Compiling Data.NumInstances.PreRequisites ( src-relaxed-Num/Data/NumInstances/PreRequisites.hs, dist/build/Data/NumInstances/PreRequisites.o ) [3 of 5] Compiling Data.NumInstances.Tuple ( src/Data/NumInstances/Tuple.hs, dist/build/Data/NumInstances/Tuple.o ) [4 of 5] Compiling Data.NumInstances.Function ( src/Data/NumInstances/Function.hs, dist/build/Data/NumInstances/Function.o ) [5 of 5] Compiling Data.NumInstances ( src/Data/NumInstances.hs, dist/build/Data/NumInstances.o ) In-place registering NumInstances-1.3... Running Haddock for NumInstances-1.3... Running hscolour for NumInstances-1.3... Preprocessing library NumInstances-1.3... Preprocessing library NumInstances-1.3... Haddock coverage: 50% ( 1 / 2) in 'Data.NumInstances.Util' 0% ( 0 / 1) in 'Data.NumInstances.PreRequisites' 100% ( 1 / 1) in 'Data.NumInstances.Tuple' 100% ( 1 / 1) in 'Data.NumInstances.Function' 100% ( 1 / 1) in 'Data.NumInstances' Documentation created: dist/doc/html/NumInstances/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/NumInstances-1.3 Registering NumInstances-1.3... Installed NumInstances-1.3 Configuring QuickCheck-2.6... Building QuickCheck-2.6... Preprocessing library QuickCheck-2.6... [ 1 of 13] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o ) [ 2 of 13] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o ) [ 3 of 13] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o ) [ 4 of 13] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o ) [ 5 of 13] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o ) [ 6 of 13] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [ 7 of 13] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [ 8 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [11 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) [12 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [13 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) In-place registering QuickCheck-2.6... Running Haddock for QuickCheck-2.6... Running hscolour for QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Preprocessing library QuickCheck-2.6... Haddock coverage: 12% ( 1 / 8) in 'Test.QuickCheck.Exception' 0% ( 0 / 18) in 'Test.QuickCheck.Text' 50% ( 1 / 2) in 'Test.QuickCheck.State' 95% ( 20 / 21) in 'Test.QuickCheck.Gen' 92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 14% ( 1 / 7) in 'Test.QuickCheck.Function' 92% ( 12 / 13) in 'Test.QuickCheck.Modifiers' 59% ( 34 / 58) in 'Test.QuickCheck.Property' 48% ( 13 / 27) in 'Test.QuickCheck.Test' 100% ( 9 / 9) in 'Test.QuickCheck.All' 7% ( 1 / 15) in 'Test.QuickCheck.Monadic' 93% ( 95 /102) in 'Test.QuickCheck' Warning: Test.QuickCheck.Text: could not find link destinations for: Test.QuickCheck.Text.Output Warning: Test.QuickCheck.Property: could not find link destinations for: Test.QuickCheck.Exception.AnException Documentation created: dist/doc/html/QuickCheck/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.6 Registering QuickCheck-2.6... Installed QuickCheck-2.6 Configuring ansi-terminal-0.6... Building ansi-terminal-0.6... Preprocessing library ansi-terminal-0.6... [1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o ) [2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o ) [3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o ) In-place registering ansi-terminal-0.6... Running Haddock for ansi-terminal-0.6... Running hscolour for ansi-terminal-0.6... Preprocessing library ansi-terminal-0.6... Preprocessing library ansi-terminal-0.6... Haddock coverage: 88% ( 7 / 8) in 'System.Console.ANSI.Common' 36% ( 28 / 77) in 'System.Console.ANSI.Unix' 38% ( 29 / 77) in 'System.Console.ANSI' Documentation created: dist/doc/html/ansi-terminal/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-terminal-0.6 Registering ansi-terminal-0.6... Installed ansi-terminal-0.6 Configuring data-default-class-0.0.1... Building data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... [1 of 1] Compiling Data.Default.Class ( Data/Default/Class.hs, dist/build/Data/Default/Class.o ) In-place registering data-default-class-0.0.1... Running Haddock for data-default-class-0.0.1... Running hscolour for data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... Preprocessing library data-default-class-0.0.1... Haddock coverage: 67% ( 2 / 3) in 'Data.Default.Class' Documentation created: dist/doc/html/data-default-class/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-default-class-0.0.1 Registering data-default-class-0.0.1... Installed data-default-class-0.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... 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.Hashable.Class.GHashable Documentation created: dist/doc/html/hashable/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hashable-1.2.1.0 Registering hashable-1.2.1.0... Installed hashable-1.2.1.0 Downloading heaps-0.3.0.1... Configuring heaps-0.3.0.1... Building heaps-0.3.0.1... Preprocessing library heaps-0.3.0.1... [1 of 1] Compiling Data.Heap ( src/Data/Heap.hs, dist/build/Data/Heap.o ) In-place registering heaps-0.3.0.1... Running Haddock for heaps-0.3.0.1... Running hscolour for heaps-0.3.0.1... Preprocessing library heaps-0.3.0.1... Preprocessing library heaps-0.3.0.1... Haddock coverage: 100% ( 46 / 46) in 'Data.Heap' Documentation created: dist/doc/html/heaps/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/heaps-0.3.0.1 Registering heaps-0.3.0.1... Installed heaps-0.3.0.1 Configuring lattices-1.2.1.1... Building lattices-1.2.1.1... Preprocessing library lattices-1.2.1.1... [1 of 6] Compiling Algebra.Enumerable ( Algebra/Enumerable.hs, dist/build/Algebra/Enumerable.o ) [2 of 6] Compiling Algebra.PartialOrd ( Algebra/PartialOrd.hs, dist/build/Algebra/PartialOrd.o ) [3 of 6] Compiling Algebra.Lattice ( Algebra/Lattice.hs, dist/build/Algebra/Lattice.o ) [4 of 6] Compiling Algebra.Lattice.Dropped ( Algebra/Lattice/Dropped.hs, dist/build/Algebra/Lattice/Dropped.o ) [5 of 6] Compiling Algebra.Lattice.Levitated ( Algebra/Lattice/Levitated.hs, dist/build/Algebra/Lattice/Levitated.o ) [6 of 6] Compiling Algebra.Lattice.Lifted ( Algebra/Lattice/Lifted.hs, dist/build/Algebra/Lattice/Lifted.o ) In-place registering lattices-1.2.1.1... Running Haddock for lattices-1.2.1.1... Running hscolour for lattices-1.2.1.1... Preprocessing library lattices-1.2.1.1... Preprocessing library lattices-1.2.1.1... Haddock coverage: 50% ( 2 / 4) in 'Algebra.Enumerable' 89% ( 8 / 9) in 'Algebra.PartialOrd' 95% ( 21 / 22) in 'Algebra.Lattice' 50% ( 1 / 2) in 'Algebra.Lattice.Dropped' 50% ( 1 / 2) in 'Algebra.Lattice.Levitated' 50% ( 1 / 2) in 'Algebra.Lattice.Lifted' Documentation created: dist/doc/html/lattices/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/lattices-1.2.1.1 Registering lattices-1.2.1.1... Installed lattices-1.2.1.1 Configuring nats-0.1.2... Building nats-0.1.2... Preprocessing library nats-0.1.2... [1 of 2] Compiling Numeric.Natural.Internal ( src/Numeric/Natural/Internal.hs, dist/build/Numeric/Natural/Internal.o ) [2 of 2] Compiling Numeric.Natural ( src/Numeric/Natural.hs, dist/build/Numeric/Natural.o ) In-place registering nats-0.1.2... Running Haddock for nats-0.1.2... Running hscolour for nats-0.1.2... Preprocessing library nats-0.1.2... Preprocessing library nats-0.1.2... Haddock coverage: 75% ( 3 / 4) in 'Numeric.Natural.Internal' 75% ( 3 / 4) in 'Numeric.Natural' Documentation created: dist/doc/html/nats/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/nats-0.1.2 Registering nats-0.1.2... Installed nats-0.1.2 Configuring parse-dimacs-1.3... Building parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... [1 of 1] Compiling Language.CNF.Parse.ParseDIMACS ( Language/CNF/Parse/ParseDIMACS.hs, dist/build/Language/CNF/Parse/ParseDIMACS.o ) In-place registering parse-dimacs-1.3... Running Haddock for parse-dimacs-1.3... Running hscolour for parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... Haddock coverage: 60% ( 3 / 5) in 'Language.CNF.Parse.ParseDIMACS' Documentation created: dist/doc/html/parse-dimacs/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/parse-dimacs-1.3 Registering parse-dimacs-1.3... Installed parse-dimacs-1.3 Configuring primes-0.2.1.0... Building primes-0.2.1.0... Preprocessing library primes-0.2.1.0... [1 of 1] Compiling Data.Numbers.Primes ( Data/Numbers/Primes.hs, dist/build/Data/Numbers/Primes.o ) In-place registering primes-0.2.1.0... Running Haddock for primes-0.2.1.0... Running hscolour for primes-0.2.1.0... Preprocessing library primes-0.2.1.0... Preprocessing library primes-0.2.1.0... Haddock coverage: 100% ( 5 / 5) in 'Data.Numbers.Primes' Documentation created: dist/doc/html/primes/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/primes-0.2.1.0 Registering primes-0.2.1.0... Installed primes-0.2.1.0 Configuring stm-2.4.2... Building stm-2.4.2... Preprocessing library stm-2.4.2... [ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o ) [ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o ) [ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o ) [ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o ) [ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o ) [ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o ) [ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o ) [ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o ) [ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o ) [10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o ) In-place registering stm-2.4.2... Running Haddock for stm-2.4.2... Running hscolour for stm-2.4.2... Preprocessing library stm-2.4.2... Preprocessing library stm-2.4.2... Haddock coverage: 0% ( 0 / 11) in 'Control.Sequential.STM' 100% ( 12 / 12) in 'Control.Concurrent.STM.TBQueue' 100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue' 100% ( 18 / 18) in 'Control.Concurrent.STM.TChan' 100% ( 15 / 15) in 'Control.Concurrent.STM.TMVar' 100% ( 12 / 12) in 'Control.Concurrent.STM.TVar' 100% ( 2 / 2) in 'Control.Concurrent.STM.TArray' 90% ( 9 / 10) in 'Control.Monad.STM' 100% ( 8 / 8) in 'Control.Concurrent.STM' 40% ( 2 / 5) in 'Control.Concurrent.STM.TSem' Documentation created: dist/doc/html/stm/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/stm-2.4.2 Registering stm-2.4.2... Installed stm-2.4.2 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... 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/x86_64-linux-ghc-7.6.3/syb-0.4.1 Registering syb-0.4.1... Installed syb-0.4.1 Configuring tagged-0.7... Building tagged-0.7... Preprocessing library tagged-0.7... [1 of 2] Compiling Data.Proxy ( old/Data/Proxy.hs, dist/build/Data/Proxy.o ) [2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o ) In-place registering tagged-0.7... Running Haddock for tagged-0.7... Running hscolour for tagged-0.7... Preprocessing library tagged-0.7... Preprocessing library tagged-0.7... Haddock coverage: 80% ( 4 / 5) in 'Data.Proxy' 92% ( 11 / 12) in 'Data.Tagged' Documentation created: dist/doc/html/tagged/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tagged-0.7 Registering tagged-0.7... Installed tagged-0.7 Configuring transformers-compat-0.1.1.1... Building transformers-compat-0.1.1.1... Preprocessing library transformers-compat-0.1.1.1... [1 of 1] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o ) In-place registering transformers-compat-0.1.1.1... Running Haddock for transformers-compat-0.1.1.1... Running hscolour for transformers-compat-0.1.1.1... Preprocessing library transformers-compat-0.1.1.1... Preprocessing library transformers-compat-0.1.1.1... Haddock coverage: 0% ( 0 / 8) in 'Paths_transformers_compat' Documentation created: dist/doc/html/transformers-compat/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/transformers-compat-0.1.1.1 Registering transformers-compat-0.1.1.1... Installed transformers-compat-0.1.1.1 [1 of 1] Compiling Main ( /tmp/unbounded-delays-0.1.0.5-720/unbounded-delays-0.1.0.5/Setup.hs, /tmp/unbounded-delays-0.1.0.5-720/unbounded-delays-0.1.0.5/dist/setup/Main.o ) Linking /tmp/unbounded-delays-0.1.0.5-720/unbounded-delays-0.1.0.5/dist/setup/setup ... Configuring unbounded-delays-0.1.0.5... Building unbounded-delays-0.1.0.5... Preprocessing library unbounded-delays-0.1.0.5... [1 of 2] Compiling Control.Concurrent.Thread.Delay ( Control/Concurrent/Thread/Delay.hs, dist/build/Control/Concurrent/Thread/Delay.o ) [2 of 2] Compiling Control.Concurrent.Timeout ( Control/Concurrent/Timeout.hs, dist/build/Control/Concurrent/Timeout.o ) In-place registering unbounded-delays-0.1.0.5... Running Haddock for unbounded-delays-0.1.0.5... Running hscolour for unbounded-delays-0.1.0.5... Preprocessing library unbounded-delays-0.1.0.5... Preprocessing library unbounded-delays-0.1.0.5... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 dist/build/tmp-2219/Control/Concurrent/Timeout.hs:49:1: Warning: The import of `Data.Int' is redundant except perhaps to import instances from `Data.Int' To import instances alone, use: import Data.Int() dist/build/tmp-2219/Control/Concurrent/Timeout.hs:50:1: Warning: The import of `System.IO' is redundant except perhaps to import instances from `System.IO' To import instances alone, use: import System.IO() dist/build/tmp-2219/Control/Concurrent/Timeout.hs:51:1: Warning: The qualified import of `System.Timeout' is redundant except perhaps to import instances from `System.Timeout' To import instances alone, use: import System.Timeout() Haddock coverage: 100% ( 2 / 2) in 'Control.Concurrent.Thread.Delay' 100% ( 2 / 2) in 'Control.Concurrent.Timeout' Documentation created: dist/doc/html/unbounded-delays/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/unbounded-delays-0.1.0.5 Registering unbounded-delays-0.1.0.5... Installed unbounded-delays-0.1.0.5 Configuring ansi-wl-pprint-0.6.6... Building ansi-wl-pprint-0.6.6... Preprocessing library ansi-wl-pprint-0.6.6... [1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o ) In-place registering ansi-wl-pprint-0.6.6... Running Haddock for ansi-wl-pprint-0.6.6... Running hscolour for ansi-wl-pprint-0.6.6... Preprocessing library ansi-wl-pprint-0.6.6... Preprocessing library ansi-wl-pprint-0.6.6... Haddock coverage: 96% (126 /131) in 'Text.PrettyPrint.ANSI.Leijen' Documentation created: dist/doc/html/ansi-wl-pprint/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-wl-pprint-0.6.6 Registering ansi-wl-pprint-0.6.6... Installed ansi-wl-pprint-0.6.6 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... 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/x86_64-linux-ghc-7.6.3/unordered-containers-0.2.3.3 Registering unordered-containers-0.2.3.3... Installed unordered-containers-0.2.3.3 Downloading data-interval-0.4.0... Configuring data-interval-0.4.0... Building data-interval-0.4.0... Preprocessing library data-interval-0.4.0... [1 of 1] Compiling Data.Interval ( src/Data/Interval.hs, dist/build/Data/Interval.o ) In-place registering data-interval-0.4.0... Running Haddock for data-interval-0.4.0... Running hscolour for data-interval-0.4.0... Preprocessing library data-interval-0.4.0... Preprocessing library data-interval-0.4.0... Haddock coverage: 100% ( 41 / 41) in 'Data.Interval' Documentation created: dist/doc/html/data-interval/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-interval-0.4.0 Registering data-interval-0.4.0... Installed data-interval-0.4.0 Downloading queue-0.1.2... Configuring queue-0.1.2... Building queue-0.1.2... Preprocessing library queue-0.1.2... [1 of 4] Compiling Data.Queue.Classes ( src/Data/Queue/Classes.hs, dist/build/Data/Queue/Classes.o ) [2 of 4] Compiling Data.Queue.Instances.STM ( src/Data/Queue/Instances/STM.hs, dist/build/Data/Queue/Instances/STM.o ) [3 of 4] Compiling Data.Queue.Instances ( src/Data/Queue/Instances.hs, dist/build/Data/Queue/Instances.o ) [4 of 4] Compiling Data.Queue ( src/Data/Queue.hs, dist/build/Data/Queue.o ) In-place registering queue-0.1.2... Running Haddock for queue-0.1.2... Running hscolour for queue-0.1.2... Preprocessing library queue-0.1.2... Preprocessing library queue-0.1.2... Haddock coverage: 25% ( 2 / 8) in 'Data.Queue.Classes' 80% ( 4 / 5) in 'Data.Queue.Instances.STM' 86% ( 6 / 7) in 'Data.Queue.Instances' 38% ( 5 / 13) in 'Data.Queue' Documentation created: dist/doc/html/queue/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/queue-0.1.2 Registering queue-0.1.2... Installed queue-0.1.2 Downloading OptDir-0.0.3... Configuring OptDir-0.0.3... Building OptDir-0.0.3... Preprocessing library OptDir-0.0.3... [1 of 1] Compiling Data.OptDir ( src/Data/OptDir.hs, dist/build/Data/OptDir.o ) In-place registering OptDir-0.0.3... Running Haddock for OptDir-0.0.3... Running hscolour for OptDir-0.0.3... Preprocessing library OptDir-0.0.3... Preprocessing library OptDir-0.0.3... Haddock coverage: 100% ( 2 / 2) in 'Data.OptDir' Documentation created: dist/doc/html/OptDir/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/OptDir-0.0.3 Registering OptDir-0.0.3... Installed OptDir-0.0.3 Configuring contravariant-0.4.4... Building contravariant-0.4.4... Preprocessing library contravariant-0.4.4... [1 of 3] Compiling Data.Functor.Contravariant ( Data/Functor/Contravariant.hs, dist/build/Data/Functor/Contravariant.o ) [2 of 3] Compiling Data.Functor.Contravariant.Compose ( Data/Functor/Contravariant/Compose.hs, dist/build/Data/Functor/Contravariant/Compose.o ) [3 of 3] Compiling Data.Functor.Contravariant.Day ( Data/Functor/Contravariant/Day.hs, dist/build/Data/Functor/Contravariant/Day.o ) In-place registering contravariant-0.4.4... Running Haddock for contravariant-0.4.4... Running hscolour for contravariant-0.4.4... Preprocessing library contravariant-0.4.4... Preprocessing library contravariant-0.4.4... Haddock coverage: 81% ( 13 / 16) in 'Data.Functor.Contravariant' 100% ( 4 / 4) in 'Data.Functor.Contravariant.Compose' 100% ( 14 / 14) in 'Data.Functor.Contravariant.Day' Documentation created: dist/doc/html/contravariant/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/contravariant-0.4.4 Registering contravariant-0.4.4... Installed contravariant-0.4.4 [1 of 1] Compiling Main ( /tmp/distributive-0.3.2-720/distributive-0.3.2/Setup.lhs, /tmp/distributive-0.3.2-720/distributive-0.3.2/dist/setup/Main.o ) Linking /tmp/distributive-0.3.2-720/distributive-0.3.2/dist/setup/setup ... Configuring distributive-0.3.2... Building distributive-0.3.2... Preprocessing library distributive-0.3.2... [1 of 1] Compiling Data.Distributive ( src/Data/Distributive.hs, dist/build/Data/Distributive.o ) In-place registering distributive-0.3.2... Running Haddock for distributive-0.3.2... Running hscolour for distributive-0.3.2... Preprocessing library distributive-0.3.2... Preprocessing library distributive-0.3.2... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 Haddock coverage: 100% ( 4 / 4) in 'Data.Distributive' Documentation created: dist/doc/html/distributive/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/distributive-0.3.2 Registering distributive-0.3.2... Installed distributive-0.3.2 Configuring semigroups-0.12... Building semigroups-0.12... Preprocessing library semigroups-0.12... [1 of 2] Compiling Data.List.NonEmpty ( src/Data/List/NonEmpty.hs, dist/build/Data/List/NonEmpty.o ) [2 of 2] Compiling Data.Semigroup ( src/Data/Semigroup.hs, dist/build/Data/Semigroup.o ) In-place registering semigroups-0.12... Running Haddock for semigroups-0.12... Running hscolour for semigroups-0.12... Preprocessing library semigroups-0.12... Preprocessing library semigroups-0.12... Haddock coverage: 94% ( 62 / 66) in 'Data.List.NonEmpty' 87% ( 20 / 23) in 'Data.Semigroup' Documentation created: dist/doc/html/semigroups/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/semigroups-0.12 Registering semigroups-0.12... Installed semigroups-0.12 [1 of 1] Compiling Main ( /tmp/comonad-4.0-720/comonad-4.0/Setup.lhs, /tmp/comonad-4.0-720/comonad-4.0/dist/setup/Main.o ) Linking /tmp/comonad-4.0-720/comonad-4.0/dist/setup/setup ... Configuring comonad-4.0... Building comonad-4.0... Preprocessing library comonad-4.0... [ 1 of 16] Compiling Data.Functor.Composition ( src/Data/Functor/Composition.hs, dist/build/Data/Functor/Composition.o ) [ 2 of 16] Compiling Control.Comonad.Trans.Identity ( src/Control/Comonad/Trans/Identity.hs, dist/build/Control/Comonad/Trans/Identity.o ) [ 3 of 16] Compiling Control.Comonad ( src/Control/Comonad.hs, dist/build/Control/Comonad.o ) [ 4 of 16] Compiling Control.Comonad.Trans.Class ( src/Control/Comonad/Trans/Class.hs, dist/build/Control/Comonad/Trans/Class.o ) [ 5 of 16] Compiling Control.Comonad.Hoist.Class ( src/Control/Comonad/Hoist/Class.hs, dist/build/Control/Comonad/Hoist/Class.o ) [ 6 of 16] Compiling Control.Comonad.Trans.Env ( src/Control/Comonad/Trans/Env.hs, dist/build/Control/Comonad/Trans/Env.o ) [ 7 of 16] Compiling Control.Comonad.Trans.Store ( src/Control/Comonad/Trans/Store.hs, dist/build/Control/Comonad/Trans/Store.o ) [ 8 of 16] Compiling Control.Comonad.Trans.Traced ( src/Control/Comonad/Trans/Traced.hs, dist/build/Control/Comonad/Trans/Traced.o ) [ 9 of 16] Compiling Control.Comonad.Env.Class ( src/Control/Comonad/Env/Class.hs, dist/build/Control/Comonad/Env/Class.o ) [10 of 16] Compiling Control.Comonad.Env ( src/Control/Comonad/Env.hs, dist/build/Control/Comonad/Env.o ) [11 of 16] Compiling Control.Comonad.Identity ( src/Control/Comonad/Identity.hs, dist/build/Control/Comonad/Identity.o ) [12 of 16] Compiling Control.Comonad.Store.Class ( src/Control/Comonad/Store/Class.hs, dist/build/Control/Comonad/Store/Class.o ) [13 of 16] Compiling Control.Comonad.Store ( src/Control/Comonad/Store.hs, dist/build/Control/Comonad/Store.o ) [14 of 16] Compiling Control.Comonad.Traced.Class ( src/Control/Comonad/Traced/Class.hs, dist/build/Control/Comonad/Traced/Class.o ) [15 of 16] Compiling Control.Comonad.Traced ( src/Control/Comonad/Traced.hs, dist/build/Control/Comonad/Traced.o ) [16 of 16] Compiling Data.Functor.Coproduct ( src/Data/Functor/Coproduct.hs, dist/build/Data/Functor/Coproduct.o ) In-place registering comonad-4.0... Running Haddock for comonad-4.0... Running hscolour for comonad-4.0... Preprocessing library comonad-4.0... Preprocessing library comonad-4.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0 Haddock coverage: 50% ( 1 / 2) in 'Data.Functor.Composition' 100% ( 2 / 2) in 'Control.Comonad.Trans.Identity' 100% ( 21 / 21) in 'Control.Comonad' 50% ( 1 / 2) in 'Control.Comonad.Trans.Class' 50% ( 1 / 2) in 'Control.Comonad.Hoist.Class' 69% ( 9 / 13) in 'Control.Comonad.Trans.Env' haddock module header parse failed: Cannot parse header documentation paragraphs doc comment parse failed: Modify the stored value > pos . seeks swap $ store fst (1,5) (5,1) Seeks satisfies the law > seeks f = peeks f . duplicate 60% ( 9 / 15) in 'Control.Comonad.Trans.Store' 33% ( 4 / 12) in 'Control.Comonad.Trans.Traced' 33% ( 1 / 3) in 'Control.Comonad.Env.Class' 60% ( 9 / 15) in 'Control.Comonad.Env' 100% ( 4 / 4) in 'Control.Comonad.Identity' 25% ( 1 / 4) in 'Control.Comonad.Store.Class' 62% ( 8 / 13) in 'Control.Comonad.Store' 33% ( 1 / 3) in 'Control.Comonad.Traced.Class' 57% ( 8 / 14) in 'Control.Comonad.Traced' 20% ( 1 / 5) in 'Data.Functor.Coproduct' Warning: Control.Comonad: could not find link destinations for: Data.Traversable.Id Data.Traversable.StateL Data.Traversable.StateR Documentation created: dist/doc/html/comonad/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/comonad-4.0 Registering comonad-4.0... Installed comonad-4.0 Configuring void-0.6.1... Building void-0.6.1... Preprocessing library void-0.6.1... [1 of 2] Compiling Data.Void ( src/Data/Void.hs, dist/build/Data/Void.o ) [2 of 2] Compiling Data.Void.Unsafe ( src/Data/Void/Unsafe.hs, dist/build/Data/Void/Unsafe.o ) In-place registering void-0.6.1... Running Haddock for void-0.6.1... Running hscolour for void-0.6.1... Preprocessing library void-0.6.1... Preprocessing library void-0.6.1... Haddock coverage: 100% ( 5 / 5) in 'Data.Void' 100% ( 3 / 3) in 'Data.Void.Unsafe' Documentation created: dist/doc/html/void/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/void-0.6.1 Registering void-0.6.1... Installed void-0.6.1 Configuring semigroupoids-4.0... Building semigroupoids-4.0... Preprocessing library semigroupoids-4.0... [ 1 of 20] Compiling Data.Traversable.Instances ( src/Data/Traversable/Instances.hs, dist/build/Data/Traversable/Instances.o ) [ 2 of 20] Compiling Data.Functor.Extend ( src/Data/Functor/Extend.hs, dist/build/Data/Functor/Extend.o ) [ 3 of 20] Compiling Data.Functor.Bind ( src/Data/Functor/Bind.hs, dist/build/Data/Functor/Bind.o ) [ 4 of 20] Compiling Data.Functor.Bind.Trans ( src/Data/Functor/Bind/Trans.hs, dist/build/Data/Functor/Bind/Trans.o ) [ 5 of 20] Compiling Data.Semigroupoid ( src/Data/Semigroupoid.hs, dist/build/Data/Semigroupoid.o ) [ 6 of 20] Compiling Data.Semigroupoid.Dual ( src/Data/Semigroupoid/Dual.hs, dist/build/Data/Semigroupoid/Dual.o ) [ 7 of 20] Compiling Data.Groupoid ( src/Data/Groupoid.hs, dist/build/Data/Groupoid.o ) [ 8 of 20] Compiling Data.Isomorphism ( src/Data/Isomorphism.hs, dist/build/Data/Isomorphism.o ) [ 9 of 20] Compiling Data.Semigroupoid.Product ( src/Data/Semigroupoid/Product.hs, dist/build/Data/Semigroupoid/Product.o ) [10 of 20] Compiling Data.Semigroupoid.Coproduct ( src/Data/Semigroupoid/Coproduct.hs, dist/build/Data/Semigroupoid/Coproduct.o ) [11 of 20] Compiling Data.Semigroupoid.Ob ( src/Data/Semigroupoid/Ob.hs, dist/build/Data/Semigroupoid/Ob.o ) [12 of 20] Compiling Data.Functor.Apply ( src/Data/Functor/Apply.hs, dist/build/Data/Functor/Apply.o ) [13 of 20] Compiling Data.Semigroup.Foldable ( src/Data/Semigroup/Foldable.hs, dist/build/Data/Semigroup/Foldable.o ) [14 of 20] Compiling Data.Semigroup.Traversable ( src/Data/Semigroup/Traversable.hs, dist/build/Data/Semigroup/Traversable.o ) [15 of 20] Compiling Data.Semifunctor ( src/Data/Semifunctor.hs, dist/build/Data/Semifunctor.o ) [16 of 20] Compiling Data.Semifunctor.Associative ( src/Data/Semifunctor/Associative.hs, dist/build/Data/Semifunctor/Associative.o ) [17 of 20] Compiling Data.Semifunctor.Braided ( src/Data/Semifunctor/Braided.hs, dist/build/Data/Semifunctor/Braided.o ) [18 of 20] Compiling Data.Functor.Alt ( src/Data/Functor/Alt.hs, dist/build/Data/Functor/Alt.o ) [19 of 20] Compiling Data.Functor.Plus ( src/Data/Functor/Plus.hs, dist/build/Data/Functor/Plus.o ) [20 of 20] Compiling Data.Semigroupoid.Static ( src/Data/Semigroupoid/Static.hs, dist/build/Data/Semigroupoid/Static.o ) In-place registering semigroupoids-4.0... Running Haddock for semigroupoids-4.0... Running hscolour for semigroupoids-4.0... Preprocessing library semigroupoids-4.0... Preprocessing library semigroupoids-4.0... Haddock coverage: 100% ( 1 / 1) in 'Data.Traversable.Instances' 75% ( 3 / 4) in 'Data.Functor.Extend' 75% ( 15 / 20) in 'Data.Functor.Bind' 100% ( 2 / 2) in 'Data.Functor.Bind.Trans' 50% ( 2 / 4) in 'Data.Semigroupoid' 50% ( 1 / 2) in 'Data.Semigroupoid.Dual' 50% ( 1 / 2) in 'Data.Groupoid' 0% ( 0 / 2) in 'Data.Isomorphism' 0% ( 0 / 4) in 'Data.Semigroupoid.Product' 0% ( 0 / 6) in 'Data.Semigroupoid.Coproduct' 50% ( 1 / 2) in 'Data.Semigroupoid.Ob' 100% ( 13 / 13) in 'Data.Functor.Apply' 33% ( 2 / 6) in 'Data.Semigroup.Foldable' 33% ( 1 / 3) in 'Data.Semigroup.Traversable' 40% ( 6 / 15) in 'Data.Semifunctor' 14% ( 1 / 7) in 'Data.Semifunctor.Associative' 17% ( 1 / 6) in 'Data.Semifunctor.Braided' 100% ( 3 / 3) in 'Data.Functor.Alt' 100% ( 3 / 3) in 'Data.Functor.Plus' 0% ( 0 / 2) in 'Data.Semigroupoid.Static' Warning: Data.Functor.Bind: could not find link destinations for: Data.Traversable.Id Data.Sequence.Digit Data.Sequence.Node Data.Sequence.Elem Data.Sequence.Id Data.Sequence.FingerTree Data.Traversable.StateL Data.Traversable.StateR Data.Sequence.State Warning: Data.Functor.Apply: could not find link destinations for: Data.Traversable.Id Data.Sequence.Digit Data.Sequence.Node Data.Sequence.Elem Data.Sequence.Id Data.Sequence.FingerTree Data.Traversable.StateL Data.Traversable.StateR Data.Sequence.State Documentation created: dist/doc/html/semigroupoids/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/semigroupoids-4.0 Registering semigroupoids-4.0... Installed semigroupoids-4.0 Configuring MemoTrie-0.6.1... Building MemoTrie-0.6.1... Preprocessing library MemoTrie-0.6.1... [1 of 1] Compiling Data.MemoTrie ( src/Data/MemoTrie.hs, dist/build/Data/MemoTrie.o ) In-place registering MemoTrie-0.6.1... Running Haddock for MemoTrie-0.6.1... Running hscolour for MemoTrie-0.6.1... Preprocessing library MemoTrie-0.6.1... Preprocessing library MemoTrie-0.6.1... Haddock coverage: Warning: Data.MemoTrie: We do not support associated types in instances yet. These instances are affected: Data.MemoTrie.HasTrie Data.Void.Void, Data.MemoTrie.HasTrie (), Data.MemoTrie.HasTrie GHC.Types.Bool, (Data.MemoTrie.HasTrie a, Data.MemoTrie.HasTrie b) => Data.MemoTrie.HasTrie (Data.Either.Either a b), (Data.MemoTrie.HasTrie a, Data.MemoTrie.HasTrie b) => Data.MemoTrie.HasTrie (a, b), (Data.MemoTrie.HasTrie a, Data.MemoTrie.HasTrie b, Data.MemoTrie.HasTrie c) => Data.MemoTrie.HasTrie (a, b, c), Data.MemoTrie.HasTrie x => Data.MemoTrie.HasTrie [x], Data.MemoTrie.HasTrie GHC.Types.Word, Data.MemoTrie.HasTrie GHC.Word.Word8, Data.MemoTrie.HasTrie GHC.Word.Word16, Data.MemoTrie.HasTrie GHC.Word.Word32, Data.MemoTrie.HasTrie GHC.Word.Word64, Data.MemoTrie.HasTrie GHC.Types.Char, Data.MemoTrie.HasTrie GHC.Types.Int, Data.MemoTrie.HasTrie GHC.Int.Int8, Data.MemoTrie.HasTrie GHC.Int.Int16, Data.MemoTrie.HasTrie GHC.Int.Int32, Data.MemoTrie.HasTrie GHC.Int.Int64, Data.MemoTrie.HasTrie GHC.Integer.Type.Integer 100% ( 12 / 12) in 'Data.MemoTrie' Documentation created: dist/doc/html/MemoTrie/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/MemoTrie-0.6.1 Registering MemoTrie-0.6.1... Installed MemoTrie-0.6.1 Configuring pointed-4.0... Building pointed-4.0... Preprocessing library pointed-4.0... [1 of 2] Compiling Data.Copointed ( src/Data/Copointed.hs, dist/build/Data/Copointed.o ) [2 of 2] Compiling Data.Pointed ( src/Data/Pointed.hs, dist/build/Data/Pointed.o ) In-place registering pointed-4.0... Running Haddock for pointed-4.0... Running hscolour for pointed-4.0... Preprocessing library pointed-4.0... Preprocessing library pointed-4.0... Haddock coverage: 50% ( 1 / 2) in 'Data.Copointed' 0% ( 0 / 2) in 'Data.Pointed' Documentation created: dist/doc/html/pointed/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/pointed-4.0 Registering pointed-4.0... Installed pointed-4.0 Configuring vector-space-0.8.6... Building vector-space-0.8.6... Preprocessing library vector-space-0.8.6... [1 of 8] Compiling Data.AdditiveGroup ( src/Data/AdditiveGroup.hs, dist/build/Data/AdditiveGroup.o ) [2 of 8] Compiling Data.VectorSpace ( src/Data/VectorSpace.hs, dist/build/Data/VectorSpace.o ) [3 of 8] Compiling Data.Basis ( src/Data/Basis.hs, dist/build/Data/Basis.o ) [4 of 8] Compiling Data.AffineSpace ( src/Data/AffineSpace.hs, dist/build/Data/AffineSpace.o ) [5 of 8] Compiling Data.LinearMap ( src/Data/LinearMap.hs, dist/build/Data/LinearMap.o ) [6 of 8] Compiling Data.Maclaurin ( src/Data/Maclaurin.hs, dist/build/Data/Maclaurin.o ) [7 of 8] Compiling Data.Derivative ( src/Data/Derivative.hs, dist/build/Data/Derivative.o ) [8 of 8] Compiling Data.Cross ( src/Data/Cross.hs, dist/build/Data/Cross.o ) In-place registering vector-space-0.8.6... Running Haddock for vector-space-0.8.6... Running hscolour for vector-space-0.8.6... Preprocessing library vector-space-0.8.6... Preprocessing library vector-space-0.8.6... Haddock coverage: 100% ( 7 / 7) in 'Data.AdditiveGroup' Warning: Data.VectorSpace: We do not support associated types in instances yet. These instances are affected: Data.VectorSpace.VectorSpace (GHC.Types.Int), Data.VectorSpace.VectorSpace (GHC.Integer.Type.Integer), Data.VectorSpace.VectorSpace (GHC.Types.Double), Data.VectorSpace.VectorSpace (GHC.Types.Float), Data.VectorSpace.VectorSpace (Foreign.C.Types.CSChar), Data.VectorSpace.VectorSpace (Foreign.C.Types.CInt), Data.VectorSpace.VectorSpace (Foreign.C.Types.CShort), Data.VectorSpace.VectorSpace (Foreign.C.Types.CLong), Data.VectorSpace.VectorSpace (Foreign.C.Types.CLLong), Data.VectorSpace.VectorSpace (Foreign.C.Types.CIntMax), Data.VectorSpace.VectorSpace (Foreign.C.Types.CDouble), Data.VectorSpace.VectorSpace (Foreign.C.Types.CFloat), GHC.Real.Integral a => Data.VectorSpace.VectorSpace (GHC.Real.Ratio a), (GHC.Float.RealFloat v, Data.VectorSpace.VectorSpace v) => Data.VectorSpace.VectorSpace (Data.Complex.Complex v), (Data.VectorSpace.VectorSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.VectorSpace v, s ~ Data.VectorSpace.Scalar v) => Data.VectorSpace.VectorSpace (u, v), (Data.VectorSpace.VectorSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.VectorSpace v, s ~ Data.VectorSpace.Scalar v, Data.VectorSpace.VectorSpace w, s ~ Data.VectorSpace.Scalar w) => Data.VectorSpace.VectorSpace (u, v, w), (Data.VectorSpace.VectorSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.VectorSpace v, s ~ Data.VectorSpace.Scalar v, Data.VectorSpace.VectorSpace w, s ~ Data.VectorSpace.Scalar w, Data.VectorSpace.VectorSpace x, s ~ Data.VectorSpace.Scalar x) => Data.VectorSpace.VectorSpace (u, v, w, x), Data.VectorSpace.VectorSpace v => Data.VectorSpace.VectorSpace (Data.Maybe.Maybe v), Data.VectorSpace.VectorSpace v => Data.VectorSpace.VectorSpace (a -> v), (Data.MemoTrie.HasTrie a, Data.VectorSpace.VectorSpace v) => Data.VectorSpace.VectorSpace (a Data.MemoTrie.:->: v) 100% ( 11 / 11) in 'Data.VectorSpace' Warning: Data.Basis: We do not support associated types in instances yet. These instances are affected: Data.Basis.HasBasis (GHC.Types.Float), Data.Basis.HasBasis (Foreign.C.Types.CFloat), Data.Basis.HasBasis (GHC.Types.Double), Data.Basis.HasBasis (Foreign.C.Types.CDouble), GHC.Real.Integral a => Data.Basis.HasBasis (GHC.Real.Ratio a), (Data.Basis.HasBasis u, s ~ Data.VectorSpace.Scalar u, Data.Basis.HasBasis v, s ~ Data.VectorSpace.Scalar v) => Data.Basis.HasBasis (u, v), (Data.Basis.HasBasis u, s ~ Data.VectorSpace.Scalar u, Data.Basis.HasBasis v, s ~ Data.VectorSpace.Scalar v, Data.Basis.HasBasis w, s ~ Data.VectorSpace.Scalar w) => Data.Basis.HasBasis (u, v, w) 50% ( 2 / 4) in 'Data.Basis' Warning: Data.AffineSpace: We do not support associated types in instances yet. These instances are affected: Data.AffineSpace.AffineSpace (GHC.Types.Double), Data.AffineSpace.AffineSpace (Foreign.C.Types.CDouble), Data.AffineSpace.AffineSpace (GHC.Types.Float), Data.AffineSpace.AffineSpace (Foreign.C.Types.CFloat), GHC.Real.Integral a => Data.AffineSpace.AffineSpace (GHC.Real.Ratio a), (Data.AffineSpace.AffineSpace p, Data.AffineSpace.AffineSpace q) => Data.AffineSpace.AffineSpace (p, q), (Data.AffineSpace.AffineSpace p, Data.AffineSpace.AffineSpace q, Data.AffineSpace.AffineSpace r) => Data.AffineSpace.AffineSpace (p, q, r), Data.AffineSpace.AffineSpace p => Data.AffineSpace.AffineSpace (a -> p) 83% ( 5 / 6) in 'Data.AffineSpace' Warning: Data.LinearMap: We do not support associated types in instances yet. These instances are affected: (Data.MemoTrie.HasTrie (Data.Basis.Basis u), Data.VectorSpace.VectorSpace v) => Data.VectorSpace.VectorSpace (u Data.LinearMap.:-* v) 59% ( 10 / 17) in 'Data.LinearMap' Warning: Data.Maclaurin: Instances of type and data families are not yet supported. Instances of the following families will be filtered out: BooleanOf Warning: Data.Maclaurin: We do not support associated types in instances yet. These instances are affected: (Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), Data.VectorSpace.VectorSpace u, Data.AdditiveGroup.AdditiveGroup (Data.VectorSpace.Scalar u)) => Data.VectorSpace.VectorSpace (a Data.Maclaurin.:> u) Warning: Data.Maclaurin: powVal is exported separately but will be documented under D. Consider exporting it together with its parent(s) for code clarity. Warning: Data.Maclaurin: derivative is exported separately but will be documented under D. Consider exporting it together with its parent(s) for code clarity. 80% ( 16 / 20) in 'Data.Maclaurin' 100% ( 2 / 2) in 'Data.Derivative' 100% ( 8 / 8) in 'Data.Cross' Warning: Data.LinearMap: could not find link destinations for: Data.LinearMap.LMap' Data.LinearMap.MSum Documentation created: dist/doc/html/vector-space/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/vector-space-0.8.6 Registering vector-space-0.8.6... Installed vector-space-0.8.6 Downloading logic-TPTP-0.4.0.0... Configuring logic-TPTP-0.4.0.0... Building logic-TPTP-0.4.0.0... Preprocessing library logic-TPTP-0.4.0.0... [ 1 of 11] Compiling Util ( Util.hs, dist/build/Util.o ) [ 2 of 11] Compiling Codec.TPTP.QuickCheck ( Codec/TPTP/QuickCheck.hs, dist/build/Codec/TPTP/QuickCheck.o ) [ 3 of 11] Compiling Codec.TPTP.Base ( Codec/TPTP/Base.hs, dist/build/Codec/TPTP/Base.o ) [ 4 of 11] Compiling Codec.TPTP.Export ( Codec/TPTP/Export.hs, dist/build/Codec/TPTP/Export.o ) [ 5 of 11] Compiling Codec.TPTP.Pretty ( Codec/TPTP/Pretty.hs, dist/build/Codec/TPTP/Pretty.o ) [ 6 of 11] Compiling Codec.TPTP.Diff ( Codec/TPTP/Diff.hs, dist/build/Codec/TPTP/Diff.o ) [ 7 of 11] Compiling Lexer ( dist/build/Lexer.hs, dist/build/Lexer.o ) [ 8 of 11] Compiling Parser ( dist/build/Parser.hs, dist/build/Parser.o ) [ 9 of 11] Compiling ParserC ( dist/build/ParserC.hs, dist/build/ParserC.o ) [10 of 11] Compiling Codec.TPTP.Import ( Codec/TPTP/Import.hs, dist/build/Codec/TPTP/Import.o ) [11 of 11] Compiling Codec.TPTP ( Codec/TPTP.hs, dist/build/Codec/TPTP.o ) In-place registering logic-TPTP-0.4.0.0... Running Haddock for logic-TPTP-0.4.0.0... Running hscolour for logic-TPTP-0.4.0.0... Preprocessing library logic-TPTP-0.4.0.0... Preprocessing library logic-TPTP-0.4.0.0... Haddock coverage: 25% ( 1 / 4) in 'Util' 11% ( 1 / 9) in 'Codec.TPTP.QuickCheck' 90% ( 54 / 60) in 'Codec.TPTP.Base' 25% ( 1 / 4) in 'Codec.TPTP.Export' 50% ( 2 / 4) in 'Codec.TPTP.Pretty' 11% ( 1 / 9) in 'Codec.TPTP.Diff' 2% ( 1 / 61) in 'Lexer' 0% ( 0 /600) in 'ParserC' 0% ( 0 /598) in 'Parser' 0% ( 0 / 6) in 'Codec.TPTP.Import' 83% ( 5 / 6) in 'Codec.TPTP' Documentation created: dist/doc/html/logic-TPTP/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/logic-TPTP-0.4.0.0 Registering logic-TPTP-0.4.0.0... Installed logic-TPTP-0.4.0.0 Downloading toysolver-0.0.4.1... Configuring toysolver-0.0.4.1... Building toysolver-0.0.4.1... Preprocessing library toysolver-0.0.4.1... src/SAT.hs:2:45: Warning: -XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead [ 1 of 74] Compiling Paths_toysolver ( dist/build/autogen/Paths_toysolver.hs, dist/build/Paths_toysolver.o ) [ 2 of 74] Compiling Version ( src/Version.hs, dist/build/Version.o ) [ 3 of 74] Compiling Text.SDPFile ( src/Text/SDPFile.hs, dist/build/Text/SDPFile.o ) [ 4 of 74] Compiling Text.GurobiSol ( src/Text/GurobiSol.hs, dist/build/Text/GurobiSol.o ) [ 5 of 74] Compiling Text.Util ( src/Text/Util.hs, dist/build/Text/Util.o ) [ 6 of 74] Compiling Data.SeqQueue ( src/Data/SeqQueue.hs, dist/build/Data/SeqQueue.o ) [ 7 of 74] Compiling Data.IndexedPriorityQueue ( src/Data/IndexedPriorityQueue.hs, dist/build/Data/IndexedPriorityQueue.o ) [ 8 of 74] Compiling Data.LBool ( src/Data/LBool.hs, dist/build/Data/LBool.o ) [ 9 of 74] Compiling Text.PBFile ( src/Text/PBFile.hs, dist/build/Text/PBFile.o ) [10 of 74] Compiling Converter.PB2LSP ( src/Converter/PB2LSP.hs, dist/build/Converter/PB2LSP.o ) [11 of 74] Compiling Converter.PB2WBO ( src/Converter/PB2WBO.hs, dist/build/Converter/PB2WBO.o ) [12 of 74] Compiling Converter.PB2SMP ( src/Converter/PB2SMP.hs, dist/build/Converter/PB2SMP.o ) [13 of 74] Compiling Converter.SAT2PB ( src/Converter/SAT2PB.hs, dist/build/Converter/SAT2PB.o ) [14 of 74] Compiling SAT.Types ( src/SAT/Types.hs, dist/build/SAT/Types.o ) [15 of 74] Compiling Converter.WBO2PB ( src/Converter/WBO2PB.hs, dist/build/Converter/WBO2PB.o ) [16 of 74] Compiling SAT.TheorySolver ( src/SAT/TheorySolver.hs, dist/build/SAT/TheorySolver.o ) [17 of 74] Compiling SAT.Printer ( src/SAT/Printer.hs, dist/build/SAT/Printer.o ) [18 of 74] Compiling Text.GCNF ( src/Text/GCNF.hs, dist/build/Text/GCNF.o ) [19 of 74] Compiling Text.MaxSAT ( src/Text/MaxSAT.hs, dist/build/Text/MaxSAT.o ) [20 of 74] Compiling Converter.MaxSAT2WBO ( src/Converter/MaxSAT2WBO.hs, dist/build/Converter/MaxSAT2WBO.o ) [21 of 74] Compiling Converter.MaxSAT2NLPB ( src/Converter/MaxSAT2NLPB.hs, dist/build/Converter/MaxSAT2NLPB.o ) [22 of 74] Compiling Converter.ObjType ( src/Converter/ObjType.hs, dist/build/Converter/ObjType.o ) [23 of 74] Compiling Converter.PBSetObj ( src/Converter/PBSetObj.hs, dist/build/Converter/PBSetObj.o ) [24 of 74] Compiling SAT ( src/SAT.hs, dist/build/SAT.o ) [25 of 74] Compiling SAT.TseitinEncoder ( src/SAT/TseitinEncoder.hs, dist/build/SAT/TseitinEncoder.o ) [26 of 74] Compiling SAT.MUS ( src/SAT/MUS.hs, dist/build/SAT/MUS.o ) [27 of 74] Compiling SAT.CAMUS ( src/SAT/CAMUS.hs, dist/build/SAT/CAMUS.o ) [28 of 74] Compiling SAT.PBO.UnsatBased ( src/SAT/PBO/UnsatBased.hs, dist/build/SAT/PBO/UnsatBased.o ) [29 of 74] Compiling SAT.PBO.MSU4 ( src/SAT/PBO/MSU4.hs, dist/build/SAT/PBO/MSU4.o ) src/SAT/PBO/MSU4.hs:36:1: Warning: The import of `Text.Printf' is redundant except perhaps to import instances from `Text.Printf' To import instances alone, use: import Text.Printf() [30 of 74] Compiling SAT.PBO ( src/SAT/PBO.hs, dist/build/SAT/PBO.o ) [31 of 74] Compiling Algorithm.FOLModelFinder ( src/Algorithm/FOLModelFinder.hs, dist/build/Algorithm/FOLModelFinder.o ) [32 of 74] Compiling Algorithm.CongruenceClosure ( src/Algorithm/CongruenceClosure.hs, dist/build/Algorithm/CongruenceClosure.o ) src/Algorithm/CongruenceClosure.hs:63:3: Warning: This binding for `lookup' shadows the existing binding defined at src/Algorithm/CongruenceClosure.hs:170:1 src/Algorithm/CongruenceClosure.hs:93:7: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Just (FTConst _, _) src/Algorithm/CongruenceClosure.hs:117:27: Warning: This binding for `a' shadows the existing binding bound at src/Algorithm/CongruenceClosure.hs:116:12 src/Algorithm/CongruenceClosure.hs:117:29: Warning: This binding for `b' shadows the existing binding bound at src/Algorithm/CongruenceClosure.hs:116:14 src/Algorithm/CongruenceClosure.hs:118:32: Warning: This binding for `a' shadows the existing binding bound at src/Algorithm/CongruenceClosure.hs:116:12 src/Algorithm/CongruenceClosure.hs:118:40: Warning: This binding for `b' shadows the existing binding bound at src/Algorithm/CongruenceClosure.hs:116:14 src/Algorithm/CongruenceClosure.hs:142:9: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Just (FTConst _, _) src/Algorithm/CongruenceClosure.hs:161:3: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Just (FTConst _, _) src/Algorithm/CongruenceClosure.hs:193:1: Warning: Defined but not used: `test' src/Algorithm/CongruenceClosure.hs:193:1: Warning: Top-level binding with no type signature: test :: IO () [33 of 74] Compiling Data.Polynomial ( src/Data/Polynomial.hs, dist/build/Data/Polynomial.o ) [34 of 74] Compiling Data.Polynomial.GBase ( src/Data/Polynomial/GBase.hs, dist/build/Data/Polynomial/GBase.o ) [35 of 74] Compiling Data.Polynomial.Sturm ( src/Data/Polynomial/Sturm.hs, dist/build/Data/Polynomial/Sturm.o ) [36 of 74] Compiling Data.AlgebraicNumber.Root ( src/Data/AlgebraicNumber/Root.hs, dist/build/Data/AlgebraicNumber/Root.o ) [37 of 74] Compiling Data.Polynomial.Lagrange ( src/Data/Polynomial/Lagrange.hs, dist/build/Data/Polynomial/Lagrange.o ) [38 of 74] Compiling Data.Var ( src/Data/Var.hs, dist/build/Data/Var.o ) [39 of 74] Compiling Util ( src/Util.hs, dist/build/Util.o ) [40 of 74] Compiling Data.Delta ( src/Data/Delta.hs, dist/build/Data/Delta.o ) [41 of 74] Compiling Text.LPFile ( src/Text/LPFile.hs, dist/build/Text/LPFile.o ) [42 of 74] Compiling Converter.LP2SMT ( src/Converter/LP2SMT.hs, dist/build/Converter/LP2SMT.o ) src/Converter/LP2SMT.hs:114:7: Warning: This binding for `r' shadows the existing binding bound at src/Converter/LP2SMT.hs:104:13 src/Converter/LP2SMT.hs:280:1: Warning: Defined but not used: `testFile' src/Converter/LP2SMT.hs:287:1: Warning: Defined but not used: `test' src/Converter/LP2SMT.hs:290:7: Warning: Defined but not used: `testdata' [43 of 74] Compiling Converter.PB2LP ( src/Converter/PB2LP.hs, dist/build/Converter/PB2LP.o ) [44 of 74] Compiling Converter.MaxSAT2LP ( src/Converter/MaxSAT2LP.hs, dist/build/Converter/MaxSAT2LP.o ) [45 of 74] Compiling Converter.SAT2LP ( src/Converter/SAT2LP.hs, dist/build/Converter/SAT2LP.o ) [46 of 74] Compiling Text.MPSFile ( src/Text/MPSFile.hs, dist/build/Text/MPSFile.o ) [47 of 74] Compiling Data.Polynomial.FactorZ ( src/Data/Polynomial/FactorZ.hs, dist/build/Data/Polynomial/FactorZ.o ) [48 of 74] Compiling Data.AlgebraicNumber ( src/Data/AlgebraicNumber.hs, dist/build/Data/AlgebraicNumber.o ) [49 of 74] Compiling Algebra.Lattice.Boolean ( src/Algebra/Lattice/Boolean.hs, dist/build/Algebra/Lattice/Boolean.o ) [50 of 74] Compiling Data.ArithRel ( src/Data/ArithRel.hs, dist/build/Data/ArithRel.o ) [51 of 74] Compiling Data.LA ( src/Data/LA.hs, dist/build/Data/LA.o ) [52 of 74] Compiling Algorithm.BoundsInference ( src/Algorithm/BoundsInference.hs, dist/build/Algorithm/BoundsInference.o ) [53 of 74] Compiling Algorithm.Simplex ( src/Algorithm/Simplex.hs, dist/build/Algorithm/Simplex.o ) src/Algorithm/Simplex.hs:70:1: Warning: SPECIALISE pragma on INLINE function probably won't fire: `pivot' src/Algorithm/Simplex.hs:71:1: Warning: SPECIALISE pragma on INLINE function probably won't fire: `pivot' src/Algorithm/Simplex.hs:287:1: Warning: Defined but not used: `kuhn_7_3' src/Algorithm/Simplex.hs:295:1: Warning: Defined but not used: `test_kuhn_7_3' src/Algorithm/Simplex.hs:299:1: Warning: Defined but not used: `example_5_7' src/Algorithm/Simplex.hs:306:1: Warning: Defined but not used: `test_example_5_7' [54 of 74] Compiling Algorithm.LPUtil ( src/Algorithm/LPUtil.hs, dist/build/Algorithm/LPUtil.o ) [55 of 74] Compiling Algorithm.ContiTraverso ( src/Algorithm/ContiTraverso.hs, dist/build/Algorithm/ContiTraverso.o ) [56 of 74] Compiling Algorithm.LPSolver ( src/Algorithm/LPSolver.hs, dist/build/Algorithm/LPSolver.o ) src/Algorithm/LPSolver.hs:223:5: Warning: Defined but not used: `isTriviallyTrue' [57 of 74] Compiling Algorithm.LPSolverHL ( src/Algorithm/LPSolverHL.hs, dist/build/Algorithm/LPSolverHL.o ) src/Algorithm/LPSolverHL.hs:84:1: Warning: Defined but not used: `example_3_2' src/Algorithm/LPSolverHL.hs:99:1: Warning: Defined but not used: `test_3_2' src/Algorithm/LPSolverHL.hs:104:1: Warning: Defined but not used: `example_3_5' src/Algorithm/LPSolverHL.hs:122:1: Warning: Defined but not used: `test_3_5' src/Algorithm/LPSolverHL.hs:127:1: Warning: Defined but not used: `example_4_1' src/Algorithm/LPSolverHL.hs:139:1: Warning: Defined but not used: `test_4_1' src/Algorithm/LPSolverHL.hs:144:1: Warning: Defined but not used: `example_4_2' src/Algorithm/LPSolverHL.hs:156:1: Warning: Defined but not used: `test_4_2' src/Algorithm/LPSolverHL.hs:161:1: Warning: Defined but not used: `example_4_3' src/Algorithm/LPSolverHL.hs:173:1: Warning: Defined but not used: `test_4_3' src/Algorithm/LPSolverHL.hs:178:1: Warning: Defined but not used: `example_4_5' src/Algorithm/LPSolverHL.hs:191:1: Warning: Defined but not used: `test_4_5' src/Algorithm/LPSolverHL.hs:196:1: Warning: Defined but not used: `example_4_6' src/Algorithm/LPSolverHL.hs:214:1: Warning: Defined but not used: `test_4_6' src/Algorithm/LPSolverHL.hs:219:1: Warning: Defined but not used: `example_4_7' src/Algorithm/LPSolverHL.hs:237:1: Warning: Defined but not used: `test_4_7' src/Algorithm/LPSolverHL.hs:243:1: Warning: Defined but not used: `kuhn_7_3' src/Algorithm/LPSolverHL.hs:260:1: Warning: Defined but not used: `test_kuhn_7_3' src/Algorithm/LPSolverHL.hs:265:1: Warning: Defined but not used: `testAll' [58 of 74] Compiling Algorithm.Simplex2 ( src/Algorithm/Simplex2.hs, dist/build/Algorithm/Simplex2.o ) src/Algorithm/Simplex2.hs:64:5: Warning: `model' is exported by `model' and `SolverValue(..)' src/Algorithm/Simplex2.hs:989:1: Warning: Pattern match(es) are overlapped In an equation for `checkFeasibility': checkFeasibility solver = ... src/Algorithm/Simplex2.hs:1005:1: Warning: Pattern match(es) are overlapped In an equation for `checkNBFeasibility': checkNBFeasibility solver = ... src/Algorithm/Simplex2.hs:1022:1: Warning: Pattern match(es) are overlapped In an equation for `checkOptimality': checkOptimality solver = ... [59 of 74] Compiling Algorithm.MIPSolver2 ( src/Algorithm/MIPSolver2.hs, dist/build/Algorithm/MIPSolver2.o ) [60 of 74] Compiling SAT.Integer ( src/SAT/Integer.hs, dist/build/SAT/Integer.o ) [61 of 74] Compiling Data.DNF ( src/Data/DNF.hs, dist/build/Data/DNF.o ) [62 of 74] Compiling Algorithm.CAD ( src/Algorithm/CAD.hs, dist/build/Algorithm/CAD.o ) [63 of 74] Compiling Algorithm.OmegaTest.Misc ( src/Algorithm/OmegaTest/Misc.hs, dist/build/Algorithm/OmegaTest/Misc.o ) [64 of 74] Compiling Algorithm.FourierMotzkin.Core ( src/Algorithm/FourierMotzkin/Core.hs, dist/build/Algorithm/FourierMotzkin/Core.o ) [65 of 74] Compiling Data.FOL.Formula ( src/Data/FOL/Formula.hs, dist/build/Data/FOL/Formula.o ) [66 of 74] Compiling Data.FOL.Arith ( src/Data/FOL/Arith.hs, dist/build/Data/FOL/Arith.o ) [67 of 74] Compiling Data.LA.FOL ( src/Data/LA/FOL.hs, dist/build/Data/LA/FOL.o ) [68 of 74] Compiling Algorithm.FourierMotzkin.FOL ( src/Algorithm/FourierMotzkin/FOL.hs, dist/build/Algorithm/FourierMotzkin/FOL.o ) [69 of 74] Compiling Algorithm.FourierMotzkin ( src/Algorithm/FourierMotzkin.hs, dist/build/Algorithm/FourierMotzkin.o ) [70 of 74] Compiling Algorithm.Cooper.Core ( src/Algorithm/Cooper/Core.hs, dist/build/Algorithm/Cooper/Core.o ) src/Algorithm/Cooper/Core.hs:420:1: Warning: Defined but not used: `testHagiya' src/Algorithm/Cooper/Core.hs:434:1: Warning: Defined but not used: `test3' [71 of 74] Compiling Algorithm.Cooper.FOL ( src/Algorithm/Cooper/FOL.hs, dist/build/Algorithm/Cooper/FOL.o ) [72 of 74] Compiling Algorithm.Cooper ( src/Algorithm/Cooper.hs, dist/build/Algorithm/Cooper.o ) [73 of 74] Compiling Algorithm.OmegaTest ( src/Algorithm/OmegaTest.hs, dist/build/Algorithm/OmegaTest.o ) src/Algorithm/OmegaTest.hs:218:1: Warning: Pattern match(es) are non-exhaustive In an equation for `applySubst1Lit': Patterns not matched: _ _ (Pos _) [74 of 74] Compiling Algorithm.MIPSolverHL ( src/Algorithm/MIPSolverHL.hs, dist/build/Algorithm/MIPSolverHL.o ) src/Algorithm/MIPSolverHL.hs:222:1: Warning: Defined but not used: `example1' src/Algorithm/MIPSolverHL.hs:244:1: Warning: Defined but not used: `test1' src/Algorithm/MIPSolverHL.hs:252:1: Warning: Defined but not used: test1' src/Algorithm/MIPSolverHL.hs:263:1: Warning: Defined but not used: `example2' src/Algorithm/MIPSolverHL.hs:279:1: Warning: Defined but not used: `test2' In-place registering toysolver-0.0.4.1... Preprocessing executable 'toysolver' for toysolver-0.0.4.1... [1 of 1] Compiling Main ( toysolver/toysolver.hs, dist/build/toysolver/toysolver-tmp/Main.o ) Linking dist/build/toysolver/toysolver ... Preprocessing executable 'toysat' for toysolver-0.0.4.1... [1 of 1] Compiling Main ( toysat/toysat.hs, dist/build/toysat/toysat-tmp/Main.o ) toysat/toysat.hs:305:69: Not in scope: `Stats.parAvgBytesCopied' Perhaps you meant one of these: `Stats.parTotBytesCopied' (imported from GHC.Stats), `Stats.parMaxBytesCopied' (imported from GHC.Stats) Failed to install toysolver-0.0.4.1 cabal: Error: some packages failed to install: toysolver-0.0.4.1 failed during the building phase. The exception was: ExitFailure 1