Build #1 for toysolver-0.0.4.1
| Package | toysolver-0.0.4.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | vector-space-0.8.6, unbounded-delays-0.1.0.5, time-1.4.0.1, stm-2.4.2, random-1.0.1.1, queue-0.1.2, primes-0.2.1.0, parsec-3.1.3, parse-dimacs-1.3, old-locale-1.0.0.5, mtl-2.1.2, logic-TPTP-0.4.0.0, lattices-1.2.1.1, heaps-0.3.0.1, filepath-1.3.0.1, deepseq-1.3.0.1, data-interval-0.4.0, containers-0.5.0.0, bytestring-0.10.0.2, base-4.6.0.1, array-0.4.0.1, OptDir-0.0.3 |
| Flags | -forcechar8 |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.