Build #1 for toysolver-0.2.0
| Package | toysolver-0.2.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-01-06 14:44:19.632671 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | vector-space-0.9, unordered-containers-0.2.5.1, unbounded-delays-0.1.0.9, type-level-numbers-0.1.1.1, time-1.4.2, temporary-1.2.0.3, stm-2.4.4, sign-0.4.1, random-1.1, queue-0.1.2, process-1.2.0.0, primes-0.2.1.0, prettyclass-1.0.0.0, parsec-3.1.7, parse-dimacs-1.3, old-locale-1.0.0.6, multiset-0.2.2, mtl-2.1.3.1, loop-0.2.0, intern-0.9.1.4, heaps-0.3.1, hashable-1.2.3.1, ghc-prim-0.3.1.0, finite-field-0.8.0, filepath-1.3.0.2, extended-reals-0.2.1.0, exceptions-0.6.1, deepseq-1.3.0.2, data-interval-1.2.0, data-default-class-0.0.1, containers-0.5.5.1, bytestring-0.10.4.0, base-4.7.0.1, array-0.5.0.0, OptDir-0.0.3 |
| Flags | -time15 random1013 -forcechar8 exceptions06 -buildtoyfmf -buildsampleprograms -buildmiscprograms |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring Boolean-0.2.3...
Building Boolean-0.2.3...
Preprocessing library Boolean-0.2.3...
[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.3...
Running Haddock for Boolean-0.2.3...
Running hscolour for Boolean-0.2.3...
Preprocessing library Boolean-0.2.3...
Preprocessing library Boolean-0.2.3...
Haddock coverage:
100% ( 14 / 14) in 'Data.Boolean'
14% ( 2 / 14) in 'Data.Boolean.Overload'
100% ( 8 / 8) in 'Data.Boolean.Numbers'
Documentation created: dist/doc/html/Boolean/index.html,
dist/doc/html/Boolean/Boolean.txt
Creating package registration file: /tmp/pkgConf-Boolean-0.221377.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/Boolean-0.2.3
Registering Boolean-0.2.3...
Installed Boolean-0.2.3
Configuring NumInstances-1.4...
Building NumInstances-1.4...
Preprocessing library NumInstances-1.4...
[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.4...
Running Haddock for NumInstances-1.4...
Running hscolour for NumInstances-1.4...
Preprocessing library NumInstances-1.4...
Preprocessing library NumInstances-1.4...
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,
dist/doc/html/NumInstances/NumInstances.txt
Creating package registration file: /tmp/pkgConf-NumInstances-121377.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/NumInstances-1.4
Registering NumInstances-1.4...
Installed NumInstances-1.4
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,
dist/doc/html/data-default-class/data-default-class.txt
Creating package registration file: /tmp/pkgConf-data-default-class-0.021377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/data-default-class-0.0.1
Registering data-default-class-0.0.1...
Installed data-default-class-0.0.1
Downloading heaps-0.3.1...
Configuring heaps-0.3.1...
Building heaps-0.3.1...
Preprocessing library heaps-0.3.1...
[1 of 1] Compiling Data.Heap ( src/Data/Heap.hs, dist/build/Data/Heap.o )
In-place registering heaps-0.3.1...
Running Haddock for heaps-0.3.1...
Running hscolour for heaps-0.3.1...
Preprocessing library heaps-0.3.1...
Preprocessing library heaps-0.3.1...
Haddock coverage:
100% ( 46 / 46) in 'Data.Heap'
Documentation created: dist/doc/html/heaps/index.html,
dist/doc/html/heaps/heaps.txt
Creating package registration file: /tmp/pkgConf-heaps-0.321377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/heaps-0.3.1
Registering heaps-0.3.1...
Installed heaps-0.3.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 )
Algebra/Lattice.hs:31:5: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[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...
Algebra/Lattice.hs:31:5: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
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,
dist/doc/html/lattices/lattices.txt
Creating package registration file: /tmp/pkgConf-lattices-1.2.121377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/lattices-1.2.1.1
Registering lattices-1.2.1.1...
Installed lattices-1.2.1.1
Configuring loop-0.2.0...
Building loop-0.2.0...
Preprocessing library loop-0.2.0...
[1 of 2] Compiling Control.Loop.Internal ( src/Control/Loop/Internal.hs, dist/build/Control/Loop/Internal.o )
[2 of 2] Compiling Control.Loop ( src/Control/Loop.hs, dist/build/Control/Loop.o )
In-place registering loop-0.2.0...
Running Haddock for loop-0.2.0...
Running hscolour for loop-0.2.0...
Preprocessing library loop-0.2.0...
Preprocessing library loop-0.2.0...
Haddock coverage:
100% ( 3 / 3) in 'Control.Loop.Internal'
100% ( 5 / 5) in 'Control.Loop'
Documentation created: dist/doc/html/loop/index.html,
dist/doc/html/loop/loop.txt
Creating package registration file: /tmp/pkgConf-loop-0.221377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/loop-0.2.0
Registering loop-0.2.0...
Installed loop-0.2.0
Configuring mtl-2.1.3.1...
Building mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.1.3.1...
Running Haddock for mtl-2.1.3.1...
Running hscolour for mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 4 / 4) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
100% ( 14 / 14) in 'Control.Monad.Error'
100% ( 5 / 5) in 'Control.Monad.List'
100% ( 21 / 21) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 22 / 22) in 'Control.Monad.Reader'
100% ( 21 / 21) in 'Control.Monad.RWS.Strict'
100% ( 23 / 23) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
100% ( 23 / 23) in 'Control.Monad.State.Strict'
94% ( 17 / 18) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
95% ( 20 / 21) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.1.321377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring multiset-0.2.2...
Building multiset-0.2.2...
Preprocessing library multiset-0.2.2...
[1 of 2] Compiling Data.MultiSet ( Data/MultiSet.hs, dist/build/Data/MultiSet.o )
Data/MultiSet.hs:467:1: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Data/MultiSet.hs:654:19: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
[2 of 2] Compiling Data.IntMultiSet ( Data/IntMultiSet.hs, dist/build/Data/IntMultiSet.o )
Data/IntMultiSet.hs:473:1: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
In-place registering multiset-0.2.2...
Running Haddock for multiset-0.2.2...
Running hscolour for multiset-0.2.2...
Preprocessing library multiset-0.2.2...
Preprocessing library multiset-0.2.2...
Data/MultiSet.hs:467:1: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Data/MultiSet.hs:654:19: Warning:
In the use of type constructor or class ‘Typeable1’
(imported from Data.Typeable, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
Data/IntMultiSet.hs:473:1: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Haddock coverage:
100% ( 85 / 85) in 'Data.MultiSet'
99% ( 84 / 85) in 'Data.IntMultiSet'
Documentation created: dist/doc/html/multiset/index.html,
dist/doc/html/multiset/multiset.txt
Creating package registration file: /tmp/pkgConf-multiset-0.221377.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/multiset-0.2.2
Registering multiset-0.2.2...
Installed multiset-0.2.2
Configuring prettyclass-1.0.0.0...
Building prettyclass-1.0.0.0...
Preprocessing library prettyclass-1.0.0.0...
[1 of 1] Compiling Text.PrettyPrint.HughesPJClass ( src/Text/PrettyPrint/HughesPJClass.hs, dist/build/Text/PrettyPrint/HughesPJClass.o )
In-place registering prettyclass-1.0.0.0...
Running Haddock for prettyclass-1.0.0.0...
Running hscolour for prettyclass-1.0.0.0...
Preprocessing library prettyclass-1.0.0.0...
Preprocessing library prettyclass-1.0.0.0...
Haddock coverage:
86% ( 6 / 7) in 'Text.PrettyPrint.HughesPJClass'
Documentation created: dist/doc/html/prettyclass/index.html,
dist/doc/html/prettyclass/prettyclass.txt
Creating package registration file: /tmp/pkgConf-prettyclass-1.0.021377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/prettyclass-1.0.0.0
Registering prettyclass-1.0.0.0...
Installed prettyclass-1.0.0.0
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,
dist/doc/html/primes/primes.txt
Creating package registration file: /tmp/pkgConf-primes-0.2.121377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primes-0.2.1.0
Registering primes-0.2.1.0...
Installed primes-0.2.1.0
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-121377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1
Registering random-1.1...
Installed random-1.1
Configuring stm-2.4.4...
Building stm-2.4.4...
Preprocessing library stm-2.4.4...
[ 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.4...
Running Haddock for stm-2.4.4...
Running hscolour for stm-2.4.4...
Preprocessing library stm-2.4.4...
Preprocessing library stm-2.4.4...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) 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, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.421377.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/stm-2.4.4
Registering stm-2.4.4...
Installed stm-2.4.4
Configuring syb-0.4.4...
Building syb-0.4.4...
Preprocessing library syb-0.4.4...
[ 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.4...
Running Haddock for syb-0.4.4...
Running hscolour for syb-0.4.4...
Preprocessing library syb-0.4.4...
Preprocessing library syb-0.4.4...
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, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0.421377.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.4.4
Registering syb-0.4.4...
Installed syb-0.4.4
Configuring text-1.2.0.3...
Building text-1.2.0.3...
Preprocessing library text-1.2.0.3...
[ 1 of 43] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 43] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 43] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 43] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 43] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 43] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 43] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 43] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 43] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 43] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 43] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 43] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 43] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 43] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 43] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 43] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 43] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 43] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 43] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 43] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[21 of 43] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[22 of 43] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[23 of 43] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[24 of 43] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[25 of 43] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[26 of 43] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[27 of 43] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 43] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[29 of 43] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[30 of 43] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[31 of 43] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[32 of 43] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[33 of 43] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[34 of 43] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[35 of 43] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[36 of 43] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[37 of 43] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[38 of 43] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[39 of 43] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[40 of 43] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[41 of 43] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[42 of 43] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[43 of 43] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.0.3...
Running Haddock for text-1.2.0.3...
Running hscolour for text-1.2.0.3...
Preprocessing library text-1.2.0.3...
Preprocessing library text-1.2.0.3...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
95% ( 19 / 20) in 'Data.Text.Internal'
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
50% ( 5 / 10) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 64 / 72) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
86% ( 19 / 22) in 'Data.Text.Internal.Fusion'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% (125 /125) in 'Data.Text'
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
99% (124 /125) in 'Data.Text.Lazy'
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.021377.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.0.3
Registering text-1.2.0.3...
Installed text-1.2.0.3
Downloading type-level-numbers-0.1.1.1...
Configuring type-level-numbers-0.1.1.1...
Building type-level-numbers-0.1.1.1...
Preprocessing library type-level-numbers-0.1.1.1...
[ 1 of 10] Compiling TypeLevel.Util ( TypeLevel/Util.hs, dist/build/TypeLevel/Util.o )
[ 2 of 10] Compiling TypeLevel.Number.Int.Types ( TypeLevel/Number/Int/Types.hs, dist/build/TypeLevel/Number/Int/Types.o )
[ 3 of 10] Compiling TypeLevel.Reify ( TypeLevel/Reify.hs, dist/build/TypeLevel/Reify.o )
[ 4 of 10] Compiling TypeLevel.Boolean ( TypeLevel/Boolean.hs, dist/build/TypeLevel/Boolean.o )
[ 5 of 10] Compiling TypeLevel.Number.Nat.Types ( TypeLevel/Number/Nat/Types.hs, dist/build/TypeLevel/Number/Nat/Types.o )
[ 6 of 10] Compiling TypeLevel.Number.Nat.TH ( TypeLevel/Number/Nat/TH.hs, dist/build/TypeLevel/Number/Nat/TH.o )
[ 7 of 10] Compiling TypeLevel.Number.Classes ( TypeLevel/Number/Classes.hs, dist/build/TypeLevel/Number/Classes.o )
[ 8 of 10] Compiling TypeLevel.Number.Nat ( TypeLevel/Number/Nat.hs, dist/build/TypeLevel/Number/Nat.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
[ 9 of 10] Compiling TypeLevel.Number.Nat.Num ( TypeLevel/Number/Nat/Num.hs, dist/build/TypeLevel/Number/Nat/Num.o )
[10 of 10] Compiling TypeLevel.Number.Int ( TypeLevel/Number/Int.hs, dist/build/TypeLevel/Number/Int.o )
In-place registering type-level-numbers-0.1.1.1...
Running Haddock for type-level-numbers-0.1.1.1...
Running hscolour for type-level-numbers-0.1.1.1...
Preprocessing library type-level-numbers-0.1.1.1...
Preprocessing library type-level-numbers-0.1.1.1...
Haddock coverage:
0% ( 0 / 2) in 'TypeLevel.Util'
80% ( 4 / 5) in 'TypeLevel.Number.Int.Types'
100% ( 3 / 3) in 'TypeLevel.Reify'
58% ( 7 / 12) in 'TypeLevel.Boolean'
75% ( 3 / 4) in 'TypeLevel.Number.Nat.Types'
50% ( 2 / 4) in 'TypeLevel.Number.Nat.TH'
68% ( 23 / 34) in 'TypeLevel.Number.Classes'
100% ( 14 / 14) in 'TypeLevel.Number.Nat'
0% ( 0 / 21) in 'TypeLevel.Number.Nat.Num'
100% ( 13 / 13) in 'TypeLevel.Number.Int'
Warning: TypeLevel.Number.Classes: could not find link destinations for:
TypeLevel.Number.Classes.OneOfTwo
Warning: TypeLevel.Number.Nat: could not find link destinations for:
TypeLevel.Number.Nat.Number_Is_Denormalized
Documentation created: dist/doc/html/type-level-numbers/index.html,
dist/doc/html/type-level-numbers/type-level-numbers.txt
Creating package registration file:
/tmp/pkgConf-type-level-numbers-0.1.121377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/type-level-numbers-0.1.1.1
Registering type-level-numbers-0.1.1.1...
Installed type-level-numbers-0.1.1.1
[1 of 1] Compiling Main ( /tmp/unbounded-delays-0.1.0.9-21377/unbounded-delays-0.1.0.9/dist/setup/setup.hs, /tmp/unbounded-delays-0.1.0.9-21377/unbounded-delays-0.1.0.9/dist/setup/Main.o )
Linking /tmp/unbounded-delays-0.1.0.9-21377/unbounded-delays-0.1.0.9/dist/setup/setup ...
Configuring unbounded-delays-0.1.0.9...
Building unbounded-delays-0.1.0.9...
Preprocessing library unbounded-delays-0.1.0.9...
[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.9...
Running Haddock for unbounded-delays-0.1.0.9...
Running hscolour for unbounded-delays-0.1.0.9...
Preprocessing library unbounded-delays-0.1.0.9...
Preprocessing library unbounded-delays-0.1.0.9...
Control/Concurrent/Timeout.hs:45: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()
Control/Concurrent/Timeout.hs:46: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()
Control/Concurrent/Timeout.hs:47: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,
dist/doc/html/unbounded-delays/unbounded-delays.txt
Creating package registration file: /tmp/pkgConf-unbounded-delays-0.1.021377.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/unbounded-delays-0.1.0.9
Registering unbounded-delays-0.1.0.9...
Installed unbounded-delays-0.1.0.9
Configuring exceptions-0.6.1...
Building exceptions-0.6.1...
Preprocessing library exceptions-0.6.1...
[1 of 2] Compiling Control.Monad.Catch ( src/Control/Monad/Catch.hs, dist/build/Control/Monad/Catch.o )
src/Control/Monad/Catch.hs:99:1: Warning:
The import of ‘Control.Monad.Trans.Reader’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Reader’
To import instances alone, use: import Control.Monad.Trans.Reader()
[2 of 2] Compiling Control.Monad.Catch.Pure ( src/Control/Monad/Catch/Pure.hs, dist/build/Control/Monad/Catch/Pure.o )
In-place registering exceptions-0.6.1...
Running Haddock for exceptions-0.6.1...
Running hscolour for exceptions-0.6.1...
Preprocessing library exceptions-0.6.1...
Preprocessing library exceptions-0.6.1...
src/Control/Monad/Catch.hs:99:1: Warning:
The import of ‘Control.Monad.Trans.Reader’ is redundant
except perhaps to import instances from ‘Control.Monad.Trans.Reader’
To import instances alone, use: import Control.Monad.Trans.Reader()
Haddock coverage:
100% ( 31 / 31) in 'Control.Monad.Catch'
80% ( 8 / 10) in 'Control.Monad.Catch.Pure'
Documentation created: dist/doc/html/exceptions/index.html,
dist/doc/html/exceptions/exceptions.txt
Creating package registration file: /tmp/pkgConf-exceptions-0.621377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/exceptions-0.6.1
Registering exceptions-0.6.1...
Installed exceptions-0.6.1
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,
dist/doc/html/queue/queue.txt
Creating package registration file: /tmp/pkgConf-queue-0.121377.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/queue-0.1.2
Registering queue-0.1.2...
Installed queue-0.1.2
Configuring hashable-1.2.3.1...
Building hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:211:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:234:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.1...
Running Haddock for hashable-1.2.3.1...
Running hscolour for hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
Preprocessing library hashable-1.2.3.1...
Data/Hashable/Class.hs:211:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:234:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
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,
dist/doc/html/hashable/hashable.txt
Creating package registration file: /tmp/pkgConf-hashable-1.2.321377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hashable-1.2.3.1
Registering hashable-1.2.3.1...
Installed hashable-1.2.3.1
Configuring parsec-3.1.7...
Building parsec-3.1.7...
Preprocessing library parsec-3.1.7...
[ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.7...
Running Haddock for parsec-3.1.7...
Running hscolour for parsec-3.1.7...
Preprocessing library parsec-3.1.7...
Preprocessing library parsec-3.1.7...
Haddock coverage:
82% ( 14 / 17) in 'Text.Parsec.Pos'
43% ( 6 / 14) in 'Text.Parsec.Error'
38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error'
64% ( 32 / 50) in 'Text.Parsec.Prim'
100% ( 24 / 24) in 'Text.Parsec.Combinator'
100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
50% ( 2 / 4) in 'Text.Parsec.String'
50% ( 2 / 4) in 'Text.Parsec.ByteString'
50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy'
33% ( 1 / 3) in 'Text.Parsec.Text'
33% ( 1 / 3) in 'Text.Parsec.Text.Lazy'
100% ( 5 / 5) in 'Text.Parsec.Expr'
70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
100% ( 20 / 20) in 'Text.Parsec.Char'
67% ( 4 / 6) in 'Text.Parsec.Token'
67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token'
95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr'
78% ( 73 / 93) in 'Text.Parsec'
80% ( 8 / 10) in 'Text.Parsec.Language'
80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language'
100% ( 8 / 8) in 'Text.Parsec.Perm'
100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file: /tmp/pkgConf-parsec-3.121377.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.7
Registering parsec-3.1.7...
Installed parsec-3.1.7
Configuring temporary-1.2.0.3...
Building temporary-1.2.0.3...
Preprocessing library temporary-1.2.0.3...
[1 of 3] Compiling Distribution.Compat.Exception ( Distribution/Compat/Exception.hs, dist/build/Distribution/Compat/Exception.o )
[2 of 3] Compiling Distribution.Compat.TempFile ( Distribution/Compat/TempFile.hs, dist/build/Distribution/Compat/TempFile.o )
[3 of 3] Compiling System.IO.Temp ( System/IO/Temp.hs, dist/build/System/IO/Temp.o )
In-place registering temporary-1.2.0.3...
Running Haddock for temporary-1.2.0.3...
Running hscolour for temporary-1.2.0.3...
Preprocessing library temporary-1.2.0.3...
Preprocessing library temporary-1.2.0.3...
Haddock coverage:
0% ( 0 / 5) in 'Distribution.Compat.Exception'
40% ( 2 / 5) in 'Distribution.Compat.TempFile'
67% ( 6 / 9) in 'System.IO.Temp'
Documentation created: dist/doc/html/temporary/index.html,
dist/doc/html/temporary/temporary.txt
Creating package registration file: /tmp/pkgConf-temporary-1.2.021377.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/temporary-1.2.0.3
Registering temporary-1.2.0.3...
Installed temporary-1.2.0.3
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,
dist/doc/html/OptDir/OptDir.txt
Creating package registration file: /tmp/pkgConf-OptDir-0.021377.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/OptDir-0.0.3
Registering OptDir-0.0.3...
Installed OptDir-0.0.3
Configuring extended-reals-0.2.1.0...
Building extended-reals-0.2.1.0...
Preprocessing library extended-reals-0.2.1.0...
[1 of 1] Compiling Data.ExtendedReal ( src/Data/ExtendedReal.hs, dist/build/Data/ExtendedReal.o )
src/Data/ExtendedReal.hs:40:1: Warning:
The import of ‘Data.Typeable’ is redundant
except perhaps to import instances from ‘Data.Typeable’
To import instances alone, use: import Data.Typeable()
In-place registering extended-reals-0.2.1.0...
Running Haddock for extended-reals-0.2.1.0...
Running hscolour for extended-reals-0.2.1.0...
Preprocessing library extended-reals-0.2.1.0...
Preprocessing library extended-reals-0.2.1.0...
src/Data/ExtendedReal.hs:40:1: Warning:
The import of ‘Data.Typeable’ is redundant
except perhaps to import instances from ‘Data.Typeable’
To import instances alone, use: import Data.Typeable()
Haddock coverage:
100% ( 5 / 5) in 'Data.ExtendedReal'
Documentation created: dist/doc/html/extended-reals/index.html,
dist/doc/html/extended-reals/extended-reals.txt
Creating package registration file: /tmp/pkgConf-extended-reals-0.2.121377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/extended-reals-0.2.1.0
Registering extended-reals-0.2.1.0...
Installed extended-reals-0.2.1.0
Downloading finite-field-0.8.0...
Configuring finite-field-0.8.0...
Building finite-field-0.8.0...
Preprocessing library finite-field-0.8.0...
[1 of 3] Compiling Data.FiniteField.Base ( src/Data/FiniteField/Base.hs, dist/build/Data/FiniteField/Base.o )
[2 of 3] Compiling Data.FiniteField.PrimeField ( src/Data/FiniteField/PrimeField.hs, dist/build/Data/FiniteField/PrimeField.o )
[3 of 3] Compiling Data.FiniteField ( src/Data/FiniteField.hs, dist/build/Data/FiniteField.o )
In-place registering finite-field-0.8.0...
Running Haddock for finite-field-0.8.0...
Running hscolour for finite-field-0.8.0...
Preprocessing library finite-field-0.8.0...
Preprocessing library finite-field-0.8.0...
Haddock coverage:
100% ( 2 / 2) in 'Data.FiniteField.Base'
100% ( 6 / 6) in 'Data.FiniteField.PrimeField'
100% ( 3 / 3) in 'Data.FiniteField'
Documentation created: dist/doc/html/finite-field/index.html,
dist/doc/html/finite-field/finite-field.txt
Creating package registration file: /tmp/pkgConf-finite-field-0.821377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/finite-field-0.8.0
Registering finite-field-0.8.0...
Installed finite-field-0.8.0
Configuring nats-1...
Building nats-1...
Preprocessing library nats-1...
[1 of 1] Compiling Numeric.Natural ( src/Numeric/Natural.hs, dist/build/Numeric/Natural.o )
In-place registering nats-1...
Running Haddock for nats-1...
Running hscolour for nats-1...
Preprocessing library nats-1...
Preprocessing library nats-1...
Haddock coverage:
100% ( 2 / 2) in 'Numeric.Natural'
Documentation created: dist/doc/html/nats/index.html,
dist/doc/html/nats/nats.txt
Creating package registration file: /tmp/pkgConf-nats-121377
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/nats-1
Registering nats-1...
Installed nats-1
Configuring sign-0.4.1...
Building sign-0.4.1...
Preprocessing library sign-0.4.1...
[1 of 1] Compiling Data.Sign ( src/Data/Sign.hs, dist/build/Data/Sign.o )
In-place registering sign-0.4.1...
Running Haddock for sign-0.4.1...
Running hscolour for sign-0.4.1...
Preprocessing library sign-0.4.1...
Preprocessing library sign-0.4.1...
Haddock coverage:
100% ( 14 / 14) in 'Data.Sign'
Documentation created: dist/doc/html/sign/index.html,
dist/doc/html/sign/sign.txt
Creating package registration file: /tmp/pkgConf-sign-0.421377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sign-0.4.1
Registering sign-0.4.1...
Installed sign-0.4.1
Configuring unordered-containers-0.2.5.1...
Building unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
[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.5.1...
Running Haddock for unordered-containers-0.2.5.1...
Running hscolour for unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
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'
87% ( 54 / 62) in 'Data.HashMap.Base'
100% ( 46 / 46) in 'Data.HashMap.Strict'
100% ( 46 / 46) in 'Data.HashMap.Lazy'
100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html,
dist/doc/html/unordered-containers/unordered-containers.txt
Creating package registration file:
/tmp/pkgConf-unordered-containers-0.2.521377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/unordered-containers-0.2.5.1
Registering unordered-containers-0.2.5.1...
Installed unordered-containers-0.2.5.1
Downloading parse-dimacs-1.3...
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,
dist/doc/html/parse-dimacs/parse-dimacs.txt
Creating package registration file: /tmp/pkgConf-parse-dimacs-121377.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parse-dimacs-1.3
Registering parse-dimacs-1.3...
Installed parse-dimacs-1.3
Configuring data-interval-1.2.0...
Building data-interval-1.2.0...
Preprocessing library data-interval-1.2.0...
[1 of 2] Compiling Data.Interval ( src/Data/Interval.hs, dist/build/Data/Interval.o )
src/Data/Interval.hs:389:8: Warning:
This binding for ‘i’ shadows the existing binding
bound at src/Data/Interval.hs:384:24
src/Data/Interval.hs:520:7: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/Data/Interval.hs:512:1
src/Data/Interval.hs:520:9: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/Data/Interval.hs:512:8
[2 of 2] Compiling Data.IntegerInterval ( src/Data/IntegerInterval.hs, dist/build/Data/IntegerInterval.o )
src/Data/IntegerInterval.hs:404:7: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/Data/IntegerInterval.hs:396:1
src/Data/IntegerInterval.hs:404:9: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/Data/IntegerInterval.hs:396:8
In-place registering data-interval-1.2.0...
Running Haddock for data-interval-1.2.0...
Running hscolour for data-interval-1.2.0...
Preprocessing library data-interval-1.2.0...
Preprocessing library data-interval-1.2.0...
src/Data/Interval.hs:389:8: Warning:
This binding for ‘i’ shadows the existing binding
bound at src/Data/Interval.hs:384:24
src/Data/Interval.hs:520:7: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/Data/Interval.hs:512:1
src/Data/Interval.hs:520:9: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/Data/Interval.hs:512:8
src/Data/IntegerInterval.hs:404:7: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/Data/IntegerInterval.hs:396:1
src/Data/IntegerInterval.hs:404:9: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/Data/IntegerInterval.hs:396:8
Haddock coverage:
100% ( 54 / 54) in 'Data.Interval'
100% ( 58 / 58) in 'Data.IntegerInterval'
Warning: Data.IntegerInterval: could not find link destinations for:
Data.IntegerInterval.Interval
Documentation created: dist/doc/html/data-interval/index.html,
dist/doc/html/data-interval/data-interval.txt
Creating package registration file: /tmp/pkgConf-data-interval-1.221377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/data-interval-1.2.0
Registering data-interval-1.2.0...
Installed data-interval-1.2.0
Configuring intern-0.9.1.4...
Building intern-0.9.1.4...
Preprocessing library intern-0.9.1.4...
[1 of 9] Compiling Data.Interned.Internal ( Data/Interned/Internal.hs, dist/build/Data/Interned/Internal.o )
[2 of 9] Compiling Data.Interned.IntSet ( Data/Interned/IntSet.hs, dist/build/Data/Interned/IntSet.o )
Data/Interned/IntSet.hs:868:1: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[3 of 9] Compiling Data.Interned ( Data/Interned.hs, dist/build/Data/Interned.o )
[4 of 9] Compiling Data.Interned.Internal.ByteString ( Data/Interned/Internal/ByteString.hs, dist/build/Data/Interned/Internal/ByteString.o )
[5 of 9] Compiling Data.Interned.ByteString ( Data/Interned/ByteString.hs, dist/build/Data/Interned/ByteString.o )
[6 of 9] Compiling Data.Interned.Internal.String ( Data/Interned/Internal/String.hs, dist/build/Data/Interned/Internal/String.o )
[7 of 9] Compiling Data.Interned.String ( Data/Interned/String.hs, dist/build/Data/Interned/String.o )
[8 of 9] Compiling Data.Interned.Internal.Text ( Data/Interned/Internal/Text.hs, dist/build/Data/Interned/Internal/Text.o )
[9 of 9] Compiling Data.Interned.Text ( Data/Interned/Text.hs, dist/build/Data/Interned/Text.o )
In-place registering intern-0.9.1.4...
Running Haddock for intern-0.9.1.4...
Running hscolour for intern-0.9.1.4...
Preprocessing library intern-0.9.1.4...
Preprocessing library intern-0.9.1.4...
Data/Interned/IntSet.hs:868:1: Warning:
Local definition of ‘join’ clashes with a future Prelude name - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Haddock coverage:
0% ( 0 / 10) in 'Data.Interned.Internal'
100% ( 52 / 52) in 'Data.Interned.IntSet'
0% ( 0 / 8) in 'Data.Interned'
0% ( 0 / 2) in 'Data.Interned.Internal.ByteString'
0% ( 0 / 2) in 'Data.Interned.ByteString'
0% ( 0 / 2) in 'Data.Interned.Internal.String'
0% ( 0 / 2) in 'Data.Interned.String'
0% ( 0 / 2) in 'Data.Interned.Internal.Text'
0% ( 0 / 2) in 'Data.Interned.Text'
Warning: Data.Interned.IntSet: could not find link destinations for:
Data.Interned.IntSet.TFCo:R:DescriptionIntSet Data.Interned.IntSet.DNil Data.Interned.IntSet.DTip Data.Interned.IntSet.DBin Data.Interned.IntSet.Prefix Data.Interned.IntSet.Mask
Warning: Data.Interned.Internal.ByteString: could not find link destinations for:
Data.Interned.Internal.ByteString.TFCo:R:DescriptionInternedByteString Data.Interned.Internal.ByteString.DBS
Warning: Data.Interned.ByteString: could not find link destinations for:
Data.Interned.Internal.ByteString.TFCo:R:DescriptionInternedByteString Data.Interned.Internal.ByteString.DBS
Warning: Data.Interned.Internal.String: could not find link destinations for:
Data.Interned.Internal.String.TFCo:R:DescriptionInternedString Data.Interned.Internal.String.Cons Data.Interned.Internal.String.Nil
Warning: Data.Interned.String: could not find link destinations for:
Data.Interned.Internal.String.TFCo:R:DescriptionInternedString Data.Interned.Internal.String.Cons Data.Interned.Internal.String.Nil
Warning: Data.Interned.Internal.Text: could not find link destinations for:
Data.Interned.Internal.Text.TFCo:R:DescriptionInternedText Data.Interned.Internal.Text.DT
Warning: Data.Interned.Text: could not find link destinations for:
Data.Interned.Internal.Text.TFCo:R:DescriptionInternedText Data.Interned.Internal.Text.DT
Documentation created: dist/doc/html/intern/index.html,
dist/doc/html/intern/intern.txt
Creating package registration file: /tmp/pkgConf-intern-0.9.121377.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/intern-0.9.1.4
Registering intern-0.9.1.4...
Installed intern-0.9.1.4
Configuring semigroups-0.16.0.1...
Building semigroups-0.16.0.1...
Preprocessing library semigroups-0.16.0.1...
[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.16.0.1...
Running Haddock for semigroups-0.16.0.1...
Running hscolour for semigroups-0.16.0.1...
Preprocessing library semigroups-0.16.0.1...
Preprocessing library semigroups-0.16.0.1...
Haddock coverage:
94% ( 65 / 69) in 'Data.List.NonEmpty'
87% ( 20 / 23) in 'Data.Semigroup'
Warning: Data.Semigroup: could not find link destinations for:
Data.Monoid.D1Dual Data.Monoid.C1_0Dual Data.Monoid.S1_0_0Dual Data.Monoid.D1Endo Data.Monoid.C1_0Endo Data.Monoid.S1_0_0Endo Data.Monoid.D1All Data.Monoid.C1_0All Data.Monoid.S1_0_0All Data.Monoid.D1Any Data.Monoid.C1_0Any Data.Monoid.S1_0_0Any Data.Monoid.D1Sum Data.Monoid.C1_0Sum Data.Monoid.S1_0_0Sum Data.Monoid.D1Product Data.Monoid.C1_0Product Data.Monoid.S1_0_0Product
Documentation created: dist/doc/html/semigroups/index.html,
dist/doc/html/semigroups/semigroups.txt
Creating package registration file: /tmp/pkgConf-semigroups-0.16.021377.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/semigroups-0.16.0.1
Registering semigroups-0.16.0.1...
Installed semigroups-0.16.0.1
Configuring void-0.7...
Building void-0.7...
Preprocessing library void-0.7...
[1 of 2] Compiling Data.Void ( src-old/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.7...
Running Haddock for void-0.7...
Running hscolour for void-0.7...
Preprocessing library void-0.7...
Preprocessing library void-0.7...
Haddock coverage:
100% ( 5 / 5) in 'Data.Void'
100% ( 3 / 3) in 'Data.Void.Unsafe'
Documentation created: dist/doc/html/void/index.html,
dist/doc/html/void/void.txt
Creating package registration file: /tmp/pkgConf-void-021377.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/void-0.7
Registering void-0.7...
Installed void-0.7
Configuring MemoTrie-0.6.2...
Building MemoTrie-0.6.2...
Preprocessing library MemoTrie-0.6.2...
[1 of 1] Compiling Data.MemoTrie ( src/Data/MemoTrie.hs, dist/build/Data/MemoTrie.o )
In-place registering MemoTrie-0.6.2...
Running Haddock for MemoTrie-0.6.2...
Running hscolour for MemoTrie-0.6.2...
Preprocessing library MemoTrie-0.6.2...
Preprocessing library MemoTrie-0.6.2...
Haddock coverage:
100% ( 12 / 12) in 'Data.MemoTrie'
Documentation created: dist/doc/html/MemoTrie/index.html,
dist/doc/html/MemoTrie/MemoTrie.txt
Creating package registration file: /tmp/pkgConf-MemoTrie-0.621377.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/MemoTrie-0.6.2
Registering MemoTrie-0.6.2...
Installed MemoTrie-0.6.2
Configuring vector-space-0.9...
Building vector-space-0.9...
Preprocessing library vector-space-0.9...
[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.9...
Running Haddock for vector-space-0.9...
Running hscolour for vector-space-0.9...
Preprocessing library vector-space-0.9...
Preprocessing library vector-space-0.9...
Haddock coverage:
100% ( 7 / 7) in 'Data.AdditiveGroup'
100% ( 12 / 12) in 'Data.VectorSpace'
50% ( 2 / 4) in 'Data.Basis'
86% ( 6 / 7) in 'Data.AffineSpace'
59% ( 10 / 17) in 'Data.LinearMap'
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,
dist/doc/html/vector-space/vector-space.txt
Creating package registration file: /tmp/pkgConf-vector-space-021377.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/vector-space-0.9
Registering vector-space-0.9...
Installed vector-space-0.9
Downloading toysolver-0.2.0...
Configuring toysolver-0.2.0...
Building toysolver-0.2.0...
Preprocessing library toysolver-0.2.0...
[ 1 of 105] Compiling Paths_toysolver ( dist/build/autogen/Paths_toysolver.hs, dist/build/Paths_toysolver.o )
[ 2 of 105] Compiling ToySolver.Version ( src/ToySolver/Version.hs, dist/build/ToySolver/Version.o )
[ 3 of 105] Compiling ToySolver.Internal.Data.IOURef ( src/ToySolver/Internal/Data/IOURef.hs, dist/build/ToySolver/Internal/Data/IOURef.o )
[ 4 of 105] Compiling ToySolver.Text.SDPFile ( src/ToySolver/Text/SDPFile.hs, dist/build/ToySolver/Text/SDPFile.o )
[ 5 of 105] Compiling ToySolver.Text.GurobiSol ( src/ToySolver/Text/GurobiSol.hs, dist/build/ToySolver/Text/GurobiSol.o )
[ 6 of 105] Compiling ToySolver.Internal.TextUtil ( src/ToySolver/Internal/TextUtil.hs, dist/build/ToySolver/Internal/TextUtil.o )
[ 7 of 105] Compiling ToySolver.Internal.Data.Vec ( src/ToySolver/Internal/Data/Vec.hs, dist/build/ToySolver/Internal/Data/Vec.o )
[ 8 of 105] Compiling ToySolver.Internal.Data.PriorityQueue ( src/ToySolver/Internal/Data/PriorityQueue.hs, dist/build/ToySolver/Internal/Data/PriorityQueue.o )
src/ToySolver/Internal/Data/PriorityQueue.hs:41:1: Warning:
The import of ‘Control.Monad’ is redundant
except perhaps to import instances from ‘Control.Monad’
To import instances alone, use: import Control.Monad()
[ 9 of 105] Compiling ToySolver.Internal.Data.SeqQueue ( src/ToySolver/Internal/Data/SeqQueue.hs, dist/build/ToySolver/Internal/Data/SeqQueue.o )
[ 10 of 105] Compiling ToySolver.Internal.Data.IndexedPriorityQueue ( src/ToySolver/Internal/Data/IndexedPriorityQueue.hs, dist/build/ToySolver/Internal/Data/IndexedPriorityQueue.o )
[ 11 of 105] Compiling ToySolver.Data.Polynomial.Base ( src/ToySolver/Data/Polynomial/Base.hs, dist/build/ToySolver/Data/Polynomial/Base.o )
src/ToySolver/Data/Polynomial/Base.hs:144:1: Warning:
The import of ‘Data.Typeable’ is redundant
except perhaps to import instances from ‘Data.Typeable’
To import instances alone, use: import Data.Typeable()
src/ToySolver/Data/Polynomial/Base.hs:488:20: Warning:
This binding for ‘prec’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:480:20
src/ToySolver/Data/Polynomial/Base.hs:515:12: Warning:
This binding for ‘prec’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:503:24
src/ToySolver/Data/Polynomial/Base.hs:516:12: Warning:
This binding for ‘prec’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:503:24
src/ToySolver/Data/Polynomial/Base.hs:836:17: Warning:
This binding for ‘xs1’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:831:5
src/ToySolver/Data/Polynomial/Base.hs:836:31: Warning:
This binding for ‘xs2’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:831:9
src/ToySolver/Data/Polynomial/Base.hs:851:17: Warning:
This binding for ‘xs1’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:846:8
src/ToySolver/Data/Polynomial/Base.hs:851:31: Warning:
This binding for ‘xs2’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:846:12
[ 12 of 105] Compiling ToySolver.Data.Polynomial.Factorization.Hensel.Internal ( src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.o )
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:53:11: Warning:
This binding for ‘k’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:36:14
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:63:10: Warning:
This binding for ‘k’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:36:14
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:86:14: Warning:
This binding for ‘fs’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:83:25
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:91:8: Warning:
This binding for ‘fs’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:83:25
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:120:11: Warning:
This binding for ‘es’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:114:5
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:120:14: Warning:
This binding for ‘fs’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:108:25
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:120:17: Warning:
This binding for ‘g’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:108:28
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:116:11: Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: []
[ 13 of 105] Compiling ToySolver.Data.Polynomial.Factorization.Hensel ( src/ToySolver/Data/Polynomial/Factorization/Hensel.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Hensel.o )
[ 14 of 105] Compiling ToySolver.Data.Polynomial.Factorization.SquareFree ( src/ToySolver/Data/Polynomial/Factorization/SquareFree.hs, dist/build/ToySolver/Data/Polynomial/Factorization/SquareFree.o )
[ 15 of 105] Compiling ToySolver.Data.MIP.Base ( src/ToySolver/Data/MIP/Base.hs, dist/build/ToySolver/Data/MIP/Base.o )
[ 16 of 105] Compiling ToySolver.Text.MPSFile ( src/ToySolver/Text/MPSFile.hs, dist/build/ToySolver/Text/MPSFile.o )
src/ToySolver/Text/MPSFile.hs:277:109: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:281:26: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:646:35: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:732:18: Warning:
This binding for ‘qm’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:711:7
src/ToySolver/Text/MPSFile.hs:735:18: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:735:23: Warning:
This binding for ‘qm’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:711:7
src/ToySolver/Text/MPSFile.hs:763:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:770:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:777:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:784:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:791:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:819:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘f’: Patterns not matched: (_ : _) []
src/ToySolver/Text/MPSFile.hs:825:5: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘g’: Patterns not matched: (_ : _) []
[ 17 of 105] Compiling ToySolver.Data.LBool ( src/ToySolver/Data/LBool.hs, dist/build/ToySolver/Data/LBool.o )
[ 18 of 105] Compiling ToySolver.Text.PBFile ( src/ToySolver/Text/PBFile.hs, dist/build/ToySolver/Text/PBFile.o )
[ 19 of 105] Compiling ToySolver.Converter.PB2LSP ( src/ToySolver/Converter/PB2LSP.hs, dist/build/ToySolver/Converter/PB2LSP.o )
[ 20 of 105] Compiling ToySolver.Converter.PB2WBO ( src/ToySolver/Converter/PB2WBO.hs, dist/build/ToySolver/Converter/PB2WBO.o )
[ 21 of 105] Compiling ToySolver.Converter.PB2SMP ( src/ToySolver/Converter/PB2SMP.hs, dist/build/ToySolver/Converter/PB2SMP.o )
[ 22 of 105] Compiling ToySolver.Converter.SAT2PB ( src/ToySolver/Converter/SAT2PB.hs, dist/build/ToySolver/Converter/SAT2PB.o )
[ 23 of 105] Compiling ToySolver.SAT.Types ( src/ToySolver/SAT/Types.hs, dist/build/ToySolver/SAT/Types.o )
[ 24 of 105] Compiling ToySolver.Converter.WBO2PB ( src/ToySolver/Converter/WBO2PB.hs, dist/build/ToySolver/Converter/WBO2PB.o )
[ 25 of 105] Compiling ToySolver.SAT.MUS.Types ( src/ToySolver/SAT/MUS/Types.hs, dist/build/ToySolver/SAT/MUS/Types.o )
[ 26 of 105] Compiling ToySolver.SAT.PBO.Context ( src/ToySolver/SAT/PBO/Context.hs, dist/build/ToySolver/SAT/PBO/Context.o )
[ 27 of 105] Compiling ToySolver.SAT.TheorySolver ( src/ToySolver/SAT/TheorySolver.hs, dist/build/ToySolver/SAT/TheorySolver.o )
[ 28 of 105] Compiling ToySolver.SAT.Printer ( src/ToySolver/SAT/Printer.hs, dist/build/ToySolver/SAT/Printer.o )
[ 29 of 105] Compiling ToySolver.Text.GCNF ( src/ToySolver/Text/GCNF.hs, dist/build/ToySolver/Text/GCNF.o )
[ 30 of 105] Compiling ToySolver.Text.MaxSAT ( src/ToySolver/Text/MaxSAT.hs, dist/build/ToySolver/Text/MaxSAT.o )
src/ToySolver/Text/MaxSAT.hs:167:8: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/Text/MaxSAT.hs:164:15
[ 31 of 105] Compiling ToySolver.Converter.MaxSAT2WBO ( src/ToySolver/Converter/MaxSAT2WBO.hs, dist/build/ToySolver/Converter/MaxSAT2WBO.o )
[ 32 of 105] Compiling ToySolver.Converter.MaxSAT2NLPB ( src/ToySolver/Converter/MaxSAT2NLPB.hs, dist/build/ToySolver/Converter/MaxSAT2NLPB.o )
[ 33 of 105] Compiling ToySolver.Converter.ObjType ( src/ToySolver/Converter/ObjType.hs, dist/build/ToySolver/Converter/ObjType.o )
[ 34 of 105] Compiling ToySolver.Converter.PBSetObj ( src/ToySolver/Converter/PBSetObj.hs, dist/build/ToySolver/Converter/PBSetObj.o )
[ 35 of 105] Compiling ToySolver.Combinatorial.Knapsack.DP ( src/ToySolver/Combinatorial/Knapsack/DP.hs, dist/build/ToySolver/Combinatorial/Knapsack/DP.o )
[ 36 of 105] Compiling ToySolver.Combinatorial.Knapsack.BB ( src/ToySolver/Combinatorial/Knapsack/BB.hs, dist/build/ToySolver/Combinatorial/Knapsack/BB.o )
[ 37 of 105] Compiling ToySolver.Internal.ProcessUtil ( src/ToySolver/Internal/ProcessUtil.hs, dist/build/ToySolver/Internal/ProcessUtil.o )
[ 38 of 105] Compiling ToySolver.Combinatorial.HittingSet.SHD ( src/ToySolver/Combinatorial/HittingSet/SHD.hs, dist/build/ToySolver/Combinatorial/HittingSet/SHD.o )
src/ToySolver/Combinatorial/HittingSet/SHD.hs:41:1: Warning:
Defined but not used: type constructor or class ‘Vertex’
[ 39 of 105] Compiling ToySolver.Combinatorial.HittingSet.HTCBDD ( src/ToySolver/Combinatorial/HittingSet/HTCBDD.hs, dist/build/ToySolver/Combinatorial/HittingSet/HTCBDD.o )
src/ToySolver/Combinatorial/HittingSet/HTCBDD.hs:42:1: Warning:
Defined but not used: type constructor or class ‘Vertex’
[ 40 of 105] Compiling ToySolver.Combinatorial.HittingSet.Simple ( src/ToySolver/Combinatorial/HittingSet/Simple.hs, dist/build/ToySolver/Combinatorial/HittingSet/Simple.o )
[ 41 of 105] Compiling ToySolver.SAT ( src/ToySolver/SAT.hs, dist/build/ToySolver/SAT.o )
src/ToySolver/SAT.hs:210:3: Warning:
This binding for ‘watches’ shadows the existing binding
defined at src/ToySolver/SAT.hs:480:1
src/ToySolver/SAT.hs:1294:27: Warning:
This binding for ‘solver’ shadows the existing binding
bound at src/ToySolver/SAT.hs:1278:25
src/ToySolver/SAT.hs:1557:15: Warning:
This binding for ‘ret’ shadows the existing binding
bound at src/ToySolver/SAT.hs:1553:11
src/ToySolver/SAT.hs:1779:35: Warning:
This binding for ‘lhs’ shadows the existing binding
bound at src/ToySolver/SAT.hs:1769:26
src/ToySolver/SAT.hs:2212:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2204:36
src/ToySolver/SAT.hs:2214:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2204:36
src/ToySolver/SAT.hs:2250:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2242:37
src/ToySolver/SAT.hs:2252:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2242:37
src/ToySolver/SAT.hs:2612:18: Warning:
This binding for ‘i’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2604:5
src/ToySolver/SAT.hs:2880:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2877:11
src/ToySolver/SAT.hs:2882:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2877:11
src/ToySolver/SAT.hs:2882:25: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2877:13
src/ToySolver/SAT.hs:3023:44: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3011:29
src/ToySolver/SAT.hs:3031:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3028:11
src/ToySolver/SAT.hs:3033:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3028:11
src/ToySolver/SAT.hs:3033:25: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3028:13
src/ToySolver/SAT.hs:3075:11: Warning:
This binding for ‘watchsum’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3065:3
src/ToySolver/SAT.hs:3191:13: Warning:
This binding for ‘ref’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3150:7
src/ToySolver/SAT.hs:3308:22: Warning:
This binding for ‘ls’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3304:30
[ 42 of 105] Compiling ToySolver.SAT.MUS ( src/ToySolver/SAT/MUS.hs, dist/build/ToySolver/SAT/MUS.o )
[ 43 of 105] Compiling ToySolver.SAT.MUS.CAMUS ( src/ToySolver/SAT/MUS/CAMUS.hs, dist/build/ToySolver/SAT/MUS/CAMUS.o )
[ 44 of 105] Compiling ToySolver.SAT.MUS.DAA ( src/ToySolver/SAT/MUS/DAA.hs, dist/build/ToySolver/SAT/MUS/DAA.o )
src/ToySolver/SAT/MUS/DAA.hs:31:1: Warning:
The import of ‘Data.IntSet’ is redundant
except perhaps to import instances from ‘Data.IntSet’
To import instances alone, use: import Data.IntSet()
src/ToySolver/SAT/MUS/DAA.hs:60:13: Warning:
This binding for ‘muses’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:59:10
src/ToySolver/SAT/MUS/DAA.hs:61:13: Warning:
This binding for ‘muses’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:59:10
src/ToySolver/SAT/MUS/DAA.hs:92:9: Warning:
This binding for ‘loop’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:59:5
src/ToySolver/SAT/MUS/DAA.hs:92:14: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:90:10
[ 45 of 105] Compiling ToySolver.SAT.PBO.BC ( src/ToySolver/SAT/PBO/BC.hs, dist/build/ToySolver/SAT/PBO/BC.o )
[ 46 of 105] Compiling ToySolver.SAT.PBO.BCD ( src/ToySolver/SAT/PBO/BCD.hs, dist/build/ToySolver/SAT/PBO/BCD.o )
src/ToySolver/SAT/PBO/BCD.hs:91:7: Warning:
This binding for ‘sels’ shadows the existing binding
bound at src/ToySolver/SAT/PBO/BCD.hs:73:5
[ 47 of 105] Compiling ToySolver.SAT.PBO.BCD2 ( src/ToySolver/SAT/PBO/BCD2.hs, dist/build/ToySolver/SAT/PBO/BCD2.o )
src/ToySolver/SAT/PBO/BCD2.hs:35:1: Warning:
The import of ‘Control.Exception’ is redundant
except perhaps to import instances from ‘Control.Exception’
To import instances alone, use: import Control.Exception()
src/ToySolver/SAT/PBO/BCD2.hs:43:1: Warning:
The qualified import of ‘ToySolver.Combinatorial.Knapsack.BB’ is redundant
except perhaps to import instances from ‘ToySolver.Combinatorial.Knapsack.BB’
To import instances alone, use: import ToySolver.Combinatorial.Knapsack.BB()
src/ToySolver/SAT/PBO/BCD2.hs:125:7: Warning:
This binding for ‘sels’ shadows the existing binding
bound at src/ToySolver/SAT/PBO/BCD2.hs:104:5
src/ToySolver/SAT/PBO/BCD2.hs:205:8: Warning:
Defined but not used: ‘ws’
[ 48 of 105] Compiling ToySolver.SAT.PBO.UnsatBased ( src/ToySolver/SAT/PBO/UnsatBased.hs, dist/build/ToySolver/SAT/PBO/UnsatBased.o )
[ 49 of 105] Compiling ToySolver.SAT.PBO.MSU4 ( src/ToySolver/SAT/PBO/MSU4.hs, dist/build/ToySolver/SAT/PBO/MSU4.o )
[ 50 of 105] Compiling ToySolver.SAT.PBO ( src/ToySolver/SAT/PBO.hs, dist/build/ToySolver/SAT/PBO.o )
[ 51 of 105] Compiling ToySolver.CongruenceClosure ( src/ToySolver/CongruenceClosure.hs, dist/build/ToySolver/CongruenceClosure.o )
src/ToySolver/CongruenceClosure.hs:64:3: Warning:
This binding for ‘lookup’ shadows the existing binding
defined at src/ToySolver/CongruenceClosure.hs:171:1
src/ToySolver/CongruenceClosure.hs:118:27: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:12
src/ToySolver/CongruenceClosure.hs:118:29: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:14
src/ToySolver/CongruenceClosure.hs:119:32: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:12
src/ToySolver/CongruenceClosure.hs:119:40: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:14
src/ToySolver/CongruenceClosure.hs:94:7: Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: Just (FTConst _, _)
src/ToySolver/CongruenceClosure.hs:143:9: Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: Just (FTConst _, _)
src/ToySolver/CongruenceClosure.hs:162:3: Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: Just (FTConst _, _)
[ 52 of 105] Compiling ToySolver.Data.Boolean ( src/ToySolver/Data/Boolean.hs, dist/build/ToySolver/Data/Boolean.o )
[ 53 of 105] Compiling ToySolver.FOLModelFinder ( src/ToySolver/FOLModelFinder.hs, dist/build/ToySolver/FOLModelFinder.o )
[ 54 of 105] Compiling ToySolver.Data.Polynomial.GroebnerBasis ( src/ToySolver/Data/Polynomial/GroebnerBasis.hs, dist/build/ToySolver/Data/Polynomial/GroebnerBasis.o )
[ 55 of 105] Compiling ToySolver.Data.Polynomial.Factorization.FiniteField ( src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs, dist/build/ToySolver/Data/Polynomial/Factorization/FiniteField.o )
src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs:43:10: Warning:
Orphan instance:
instance TL.Nat p => P.Factor (UPolynomial (PrimeField p))
src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs:46:10: Warning:
Orphan instance:
instance TL.Nat p => P.SQFree (UPolynomial (PrimeField p))
[ 56 of 105] Compiling ToySolver.Data.Polynomial.Factorization.Zassenhaus ( src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Zassenhaus.o )
src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:29: Warning:
This binding for ‘k’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:6
src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:47: Warning:
This binding for ‘pk’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:8
[ 57 of 105] Compiling ToySolver.Data.Polynomial.Factorization.Integer ( src/ToySolver/Data/Polynomial/Factorization/Integer.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Integer.o )
[ 58 of 105] Compiling ToySolver.Data.Polynomial.Factorization.Rational ( src/ToySolver/Data/Polynomial/Factorization/Rational.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Rational.o )
[ 59 of 105] Compiling ToySolver.Data.Polynomial ( src/ToySolver/Data/Polynomial.hs, dist/build/ToySolver/Data/Polynomial.o )
[ 60 of 105] Compiling ToySolver.Data.AlgebraicNumber.Root ( src/ToySolver/Data/AlgebraicNumber/Root.hs, dist/build/ToySolver/Data/AlgebraicNumber/Root.o )
[ 61 of 105] Compiling ToySolver.Data.AlgebraicNumber.Sturm ( src/ToySolver/Data/AlgebraicNumber/Sturm.hs, dist/build/ToySolver/Data/AlgebraicNumber/Sturm.o )
[ 62 of 105] Compiling ToySolver.Data.Polynomial.Interpolation.Lagrange ( src/ToySolver/Data/Polynomial/Interpolation/Lagrange.hs, dist/build/ToySolver/Data/Polynomial/Interpolation/Lagrange.o )
[ 63 of 105] Compiling ToySolver.Data.AlgebraicNumber.Graeffe ( src/ToySolver/Data/AlgebraicNumber/Graeffe.hs, dist/build/ToySolver/Data/AlgebraicNumber/Graeffe.o )
[ 64 of 105] Compiling ToySolver.Data.DNF ( src/ToySolver/Data/DNF.hs, dist/build/ToySolver/Data/DNF.o )
[ 65 of 105] Compiling ToySolver.Data.AlgebraicNumber.Real ( src/ToySolver/Data/AlgebraicNumber/Real.hs, dist/build/ToySolver/Data/AlgebraicNumber/Real.o )
[ 66 of 105] Compiling ToySolver.Internal.Util ( src/ToySolver/Internal/Util.hs, dist/build/ToySolver/Internal/Util.o )
[ 67 of 105] Compiling ToySolver.Data.Delta ( src/ToySolver/Data/Delta.hs, dist/build/ToySolver/Data/Delta.o )
[ 68 of 105] Compiling ToySolver.Text.LPFile ( src/ToySolver/Text/LPFile.hs, dist/build/ToySolver/Text/LPFile.o )
src/ToySolver/Text/LPFile.hs:623:10: Warning:
This binding for ‘label’ shadows the existing binding
defined at src/ToySolver/Text/LPFile.hs:97:1
[ 69 of 105] Compiling ToySolver.Data.MIP ( src/ToySolver/Data/MIP.hs, dist/build/ToySolver/Data/MIP.o )
[ 70 of 105] Compiling ToySolver.Converter.MIP2SMT ( src/ToySolver/Converter/MIP2SMT.hs, dist/build/ToySolver/Converter/MIP2SMT.o )
src/ToySolver/Converter/MIP2SMT.hs:97:17: Warning:
Defined but not used: ‘mip’
src/ToySolver/Converter/MIP2SMT.hs:163:7: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Converter/MIP2SMT.hs:149:13
src/ToySolver/Converter/MIP2SMT.hs:386:1: Warning:
Defined but not used: ‘testFile’
src/ToySolver/Converter/MIP2SMT.hs:393:1: Warning:
Defined but not used: ‘test’
src/ToySolver/Converter/MIP2SMT.hs:396:7: Warning:
Defined but not used: ‘testdata’
[ 71 of 105] Compiling ToySolver.Converter.PB2IP ( src/ToySolver/Converter/PB2IP.hs, dist/build/ToySolver/Converter/PB2IP.o )
[ 72 of 105] Compiling ToySolver.Converter.MaxSAT2IP ( src/ToySolver/Converter/MaxSAT2IP.hs, dist/build/ToySolver/Converter/MaxSAT2IP.o )
[ 73 of 105] Compiling ToySolver.Converter.SAT2IP ( src/ToySolver/Converter/SAT2IP.hs, dist/build/ToySolver/Converter/SAT2IP.o )
[ 74 of 105] Compiling ToySolver.Data.Polynomial.Factorization.Kronecker ( src/ToySolver/Data/Polynomial/Factorization/Kronecker.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Kronecker.o )
[ 75 of 105] Compiling ToySolver.Data.Var ( src/ToySolver/Data/Var.hs, dist/build/ToySolver/Data/Var.o )
[ 76 of 105] Compiling ToySolver.Data.BoolExpr ( src/ToySolver/Data/BoolExpr.hs, dist/build/ToySolver/Data/BoolExpr.o )
src/ToySolver/Data/BoolExpr.hs:110:3: Warning:
Rule "fold/fmap" may never fire because ‘fold’ might inline first
Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘fold’
[ 77 of 105] Compiling ToySolver.SAT.TseitinEncoder ( src/ToySolver/SAT/TseitinEncoder.hs, dist/build/ToySolver/SAT/TseitinEncoder.o )
src/ToySolver/SAT/TseitinEncoder.hs:57:1: Warning:
The import of ‘Data.IntSet’ is redundant
except perhaps to import instances from ‘Data.IntSet’
To import instances alone, use: import Data.IntSet()
[ 78 of 105] Compiling ToySolver.Wang ( src/ToySolver/Wang.hs, dist/build/ToySolver/Wang.o )
src/ToySolver/Wang.hs:12:1: Warning:
The import of ‘ToySolver.Data.Boolean’ is redundant
except perhaps to import instances from ‘ToySolver.Data.Boolean’
To import instances alone, use: import ToySolver.Data.Boolean()
src/ToySolver/Wang.hs:27:23: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:29:23: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:31:27: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:33:23: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:35:24: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:37:23: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:39:24: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:41:27: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:44:27: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:46:27: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
[ 79 of 105] Compiling ToySolver.Data.FOL.Formula ( src/ToySolver/Data/FOL/Formula.hs, dist/build/ToySolver/Data/FOL/Formula.o )
[ 80 of 105] Compiling ToySolver.Data.ArithRel ( src/ToySolver/Data/ArithRel.hs, dist/build/ToySolver/Data/ArithRel.o )
[ 81 of 105] Compiling ToySolver.Data.LA ( src/ToySolver/Data/LA.hs, dist/build/ToySolver/Data/LA.o )
[ 82 of 105] Compiling ToySolver.Arith.Simplex ( src/ToySolver/Arith/Simplex.hs, dist/build/ToySolver/Arith/Simplex.o )
src/ToySolver/Arith/Simplex.hs:331:33: Warning:
Defined but not used: ‘row_i’
src/ToySolver/Arith/Simplex.hs:93:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: ‘pivot’
src/ToySolver/Arith/Simplex.hs:94:1: Warning:
SPECIALISE pragma on INLINE function probably won't fire: ‘pivot’
[ 83 of 105] Compiling ToySolver.Arith.CAD ( src/ToySolver/Arith/CAD.hs, dist/build/ToySolver/Arith/CAD.o )
[ 84 of 105] Compiling ToySolver.Data.AlgebraicNumber.Complex ( src/ToySolver/Data/AlgebraicNumber/Complex.hs, dist/build/ToySolver/Data/AlgebraicNumber/Complex.o )
[ 85 of 105] Compiling ToySolver.Data.FOL.Arith ( src/ToySolver/Data/FOL/Arith.hs, dist/build/ToySolver/Data/FOL/Arith.o )
[ 86 of 105] Compiling ToySolver.Data.LA.FOL ( src/ToySolver/Data/LA/FOL.hs, dist/build/ToySolver/Data/LA/FOL.o )
[ 87 of 105] Compiling ToySolver.Arith.FourierMotzkin.Base ( src/ToySolver/Arith/FourierMotzkin/Base.hs, dist/build/ToySolver/Arith/FourierMotzkin/Base.o )
src/ToySolver/Arith/FourierMotzkin/Base.hs:155:12: Warning:
This binding for ‘op’ shadows the existing binding
bound at src/ToySolver/Arith/FourierMotzkin/Base.hs:152:24
src/ToySolver/Arith/FourierMotzkin/Base.hs:155:15: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/ToySolver/Arith/FourierMotzkin/Base.hs:152:22
src/ToySolver/Arith/FourierMotzkin/Base.hs:155:17: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/ToySolver/Arith/FourierMotzkin/Base.hs:152:27
[ 88 of 105] Compiling ToySolver.Arith.FourierMotzkin.Optimization ( src/ToySolver/Arith/FourierMotzkin/Optimization.hs, dist/build/ToySolver/Arith/FourierMotzkin/Optimization.o )
[ 89 of 105] Compiling ToySolver.Arith.FourierMotzkin.FOL ( src/ToySolver/Arith/FourierMotzkin/FOL.hs, dist/build/ToySolver/Arith/FourierMotzkin/FOL.o )
src/ToySolver/Arith/FourierMotzkin/FOL.hs:10:1: Warning:
The qualified import of ‘Data.IntSet’ is redundant
except perhaps to import instances from ‘Data.IntSet’
To import instances alone, use: import Data.IntSet()
[ 90 of 105] Compiling ToySolver.Arith.FourierMotzkin ( src/ToySolver/Arith/FourierMotzkin.hs, dist/build/ToySolver/Arith/FourierMotzkin.o )
[ 91 of 105] Compiling ToySolver.Arith.Cooper.Base ( src/ToySolver/Arith/Cooper/Base.hs, dist/build/ToySolver/Arith/Cooper/Base.o )
src/ToySolver/Arith/Cooper/Base.hs:211:15: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:203:5
src/ToySolver/Arith/Cooper/Base.hs:212:11: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:201:9
src/ToySolver/Arith/Cooper/Base.hs:251:18: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:252:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:253:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:258:18: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:259:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:260:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:412:1: Warning:
Defined but not used: ‘testHagiya’
src/ToySolver/Arith/Cooper/Base.hs:426:1: Warning:
Defined but not used: ‘test3’
[ 92 of 105] Compiling ToySolver.Arith.Cooper.FOL ( src/ToySolver/Arith/Cooper/FOL.hs, dist/build/ToySolver/Arith/Cooper/FOL.o )
[ 93 of 105] Compiling ToySolver.Arith.Cooper ( src/ToySolver/Arith/Cooper.hs, dist/build/ToySolver/Arith/Cooper.o )
[ 94 of 105] Compiling ToySolver.Arith.Simplex2 ( src/ToySolver/Arith/Simplex2.hs, dist/build/ToySolver/Arith/Simplex2.o )
src/ToySolver/Arith/Simplex2.hs:64:5: Warning:
‘getModel’ is exported by ‘getModel’ and ‘SolverValue(..)’
src/ToySolver/Arith/Simplex2.hs:995:1: Warning:
Pattern match(es) are overlapped
In an equation for ‘checkFeasibility’:
checkFeasibility solver = ...
src/ToySolver/Arith/Simplex2.hs:1011:1: Warning:
Pattern match(es) are overlapped
In an equation for ‘checkNBFeasibility’:
checkNBFeasibility solver = ...
src/ToySolver/Arith/Simplex2.hs:1028:1: Warning:
Pattern match(es) are overlapped
In an equation for ‘checkOptimality’: checkOptimality solver = ...
[ 95 of 105] Compiling ToySolver.Arith.MIPSolver2 ( src/ToySolver/Arith/MIPSolver2.hs, dist/build/ToySolver/Arith/MIPSolver2.o )
[ 96 of 105] Compiling ToySolver.Arith.VirtualSubstitution ( src/ToySolver/Arith/VirtualSubstitution.hs, dist/build/ToySolver/Arith/VirtualSubstitution.o )
src/ToySolver/Arith/VirtualSubstitution.hs:81:15: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Arith/VirtualSubstitution.hs:73:5
src/ToySolver/Arith/VirtualSubstitution.hs:82:11: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/VirtualSubstitution.hs:71:9
src/ToySolver/Arith/VirtualSubstitution.hs:147:10: Warning:
This binding for ‘vs’ shadows the existing binding
bound at src/ToySolver/Arith/VirtualSubstitution.hs:144:15
[ 97 of 105] Compiling ToySolver.Arith.OmegaTest.Base ( src/ToySolver/Arith/OmegaTest/Base.hs, dist/build/ToySolver/Arith/OmegaTest/Base.o )
src/ToySolver/Arith/OmegaTest/Base.hs:262:85: Warning:
This binding for ‘c’ shadows the existing binding
bound at src/ToySolver/Arith/OmegaTest/Base.hs:261:5
src/ToySolver/Arith/OmegaTest/Base.hs:288:44: Warning:
This binding for ‘cs’ shadows the existing binding
bound at src/ToySolver/Arith/OmegaTest/Base.hs:288:14
[ 98 of 105] Compiling ToySolver.Arith.OmegaTest ( src/ToySolver/Arith/OmegaTest.hs, dist/build/ToySolver/Arith/OmegaTest.o )
[ 99 of 105] Compiling ToySolver.SAT.Integer ( src/ToySolver/SAT/Integer.hs, dist/build/ToySolver/SAT/Integer.o )
[100 of 105] Compiling ToySolver.Arith.BoundsInference ( src/ToySolver/Arith/BoundsInference.hs, dist/build/ToySolver/Arith/BoundsInference.o )
[101 of 105] Compiling ToySolver.Arith.LPUtil ( src/ToySolver/Arith/LPUtil.hs, dist/build/ToySolver/Arith/LPUtil.o )
[102 of 105] Compiling ToySolver.Arith.ContiTraverso ( src/ToySolver/Arith/ContiTraverso.hs, dist/build/ToySolver/Arith/ContiTraverso.o )
[103 of 105] Compiling ToySolver.Arith.LPSolver ( src/ToySolver/Arith/LPSolver.hs, dist/build/ToySolver/Arith/LPSolver.o )
src/ToySolver/Arith/LPSolver.hs:277:5: Warning:
This binding for ‘ret’ shadows the existing binding
bound at src/ToySolver/Arith/LPSolver.hs:273:3
src/ToySolver/Arith/LPSolver.hs:317:5: Warning:
Defined but not used: ‘isTriviallyTrue’
[104 of 105] Compiling ToySolver.Arith.LPSolverHL ( src/ToySolver/Arith/LPSolverHL.hs, dist/build/ToySolver/Arith/LPSolverHL.o )
src/ToySolver/Arith/LPSolverHL.hs:82:1: Warning:
Defined but not used: ‘example_3_2’
src/ToySolver/Arith/LPSolverHL.hs:97:1: Warning:
Defined but not used: ‘test_3_2’
src/ToySolver/Arith/LPSolverHL.hs:102:1: Warning:
Defined but not used: ‘example_3_5’
src/ToySolver/Arith/LPSolverHL.hs:120:1: Warning:
Defined but not used: ‘test_3_5’
src/ToySolver/Arith/LPSolverHL.hs:125:1: Warning:
Defined but not used: ‘example_4_1’
src/ToySolver/Arith/LPSolverHL.hs:137:1: Warning:
Defined but not used: ‘test_4_1’
src/ToySolver/Arith/LPSolverHL.hs:142:1: Warning:
Defined but not used: ‘example_4_2’
src/ToySolver/Arith/LPSolverHL.hs:154:1: Warning:
Defined but not used: ‘test_4_2’
src/ToySolver/Arith/LPSolverHL.hs:159:1: Warning:
Defined but not used: ‘example_4_3’
src/ToySolver/Arith/LPSolverHL.hs:171:1: Warning:
Defined but not used: ‘test_4_3’
src/ToySolver/Arith/LPSolverHL.hs:176:1: Warning:
Defined but not used: ‘example_4_5’
src/ToySolver/Arith/LPSolverHL.hs:189:1: Warning:
Defined but not used: ‘test_4_5’
src/ToySolver/Arith/LPSolverHL.hs:194:1: Warning:
Defined but not used: ‘example_4_6’
src/ToySolver/Arith/LPSolverHL.hs:212:1: Warning:
Defined but not used: ‘test_4_6’
src/ToySolver/Arith/LPSolverHL.hs:217:1: Warning:
Defined but not used: ‘example_4_7’
src/ToySolver/Arith/LPSolverHL.hs:235:1: Warning:
Defined but not used: ‘test_4_7’
src/ToySolver/Arith/LPSolverHL.hs:241:1: Warning:
Defined but not used: ‘kuhn_7_3’
src/ToySolver/Arith/LPSolverHL.hs:258:1: Warning:
Defined but not used: ‘test_kuhn_7_3’
src/ToySolver/Arith/LPSolverHL.hs:263:1: Warning:
Defined but not used: ‘testAll’
[105 of 105] Compiling ToySolver.Arith.MIPSolverHL ( src/ToySolver/Arith/MIPSolverHL.hs, dist/build/ToySolver/Arith/MIPSolverHL.o )
src/ToySolver/Arith/MIPSolverHL.hs:218:1: Warning:
Defined but not used: ‘example1’
src/ToySolver/Arith/MIPSolverHL.hs:240:1: Warning:
Defined but not used: ‘test1’
src/ToySolver/Arith/MIPSolverHL.hs:248:1: Warning:
Defined but not used: ‘test1'’
src/ToySolver/Arith/MIPSolverHL.hs:259:1: Warning:
Defined but not used: ‘example2’
src/ToySolver/Arith/MIPSolverHL.hs:275:1: Warning:
Defined but not used: ‘test2’
In-place registering toysolver-0.2.0...
Preprocessing executable 'toysolver' for toysolver-0.2.0...
[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.2.0...
[1 of 2] Compiling UBCSAT ( toysat/UBCSAT.hs, dist/build/toysat/toysat-tmp/UBCSAT.o )
[2 of 2] Compiling Main ( toysat/toysat.hs, dist/build/toysat/toysat-tmp/Main.o )
Linking dist/build/toysat/toysat ...
Preprocessing executable 'lpconvert' for toysolver-0.2.0...
[1 of 1] Compiling Main ( lpconvert/lpconvert.hs, dist/build/lpconvert/lpconvert-tmp/Main.o )
Linking dist/build/lpconvert/lpconvert ...
Preprocessing executable 'pbconvert' for toysolver-0.2.0...
[1 of 1] Compiling Main ( pbconvert/pbconvert.hs, dist/build/pbconvert/pbconvert-tmp/Main.o )
pbconvert/pbconvert.hs:148:24: Warning:
This binding for ‘opb’ shadows the existing binding
bound at pbconvert/pbconvert.hs:147:11
pbconvert/pbconvert.hs:149:25: Warning:
This binding for ‘wbo’ shadows the existing binding
bound at pbconvert/pbconvert.hs:150:11
pbconvert/pbconvert.hs:151:24: Warning:
This binding for ‘opb’ shadows the existing binding
bound at pbconvert/pbconvert.hs:147:11
pbconvert/pbconvert.hs:152:25: Warning:
This binding for ‘wbo’ shadows the existing binding
bound at pbconvert/pbconvert.hs:150:11
pbconvert/pbconvert.hs:154:24: Warning:
This binding for ‘opb’ shadows the existing binding
bound at pbconvert/pbconvert.hs:147:11
pbconvert/pbconvert.hs:155:25: Warning:
This binding for ‘wbo’ shadows the existing binding
bound at pbconvert/pbconvert.hs:150:11
pbconvert/pbconvert.hs:157:24: Warning:
This binding for ‘opb’ shadows the existing binding
bound at pbconvert/pbconvert.hs:147:11
pbconvert/pbconvert.hs:158:25: Warning:
This binding for ‘wbo’ shadows the existing binding
bound at pbconvert/pbconvert.hs:150:11
Linking dist/build/pbconvert/pbconvert ...
Preprocessing executable 'pbverify' for toysolver-0.2.0...
[1 of 1] Compiling Main ( pbverify/pbverify.hs, dist/build/pbverify/pbverify-tmp/Main.o )
Linking dist/build/pbverify/pbverify ...
Running Haddock for toysolver-0.2.0...
Running hscolour for toysolver-0.2.0...
Preprocessing library toysolver-0.2.0...
Preprocessing executable 'toysolver' for toysolver-0.2.0...
Preprocessing executable 'toysat' for toysolver-0.2.0...
Preprocessing executable 'lpconvert' for toysolver-0.2.0...
Preprocessing executable 'pbconvert' for toysolver-0.2.0...
Preprocessing executable 'pbverify' for toysolver-0.2.0...
Preprocessing library toysolver-0.2.0...
src/ToySolver/Internal/Data/PriorityQueue.hs:41:1: Warning:
The import of ‘Control.Monad’ is redundant
except perhaps to import instances from ‘Control.Monad’
To import instances alone, use: import Control.Monad()
src/ToySolver/Data/Polynomial/Base.hs:144:1: Warning:
The import of ‘Data.Typeable’ is redundant
except perhaps to import instances from ‘Data.Typeable’
To import instances alone, use: import Data.Typeable()
src/ToySolver/Data/Polynomial/Base.hs:488:20: Warning:
This binding for ‘prec’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:480:20
src/ToySolver/Data/Polynomial/Base.hs:515:12: Warning:
This binding for ‘prec’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:503:24
src/ToySolver/Data/Polynomial/Base.hs:516:12: Warning:
This binding for ‘prec’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:503:24
src/ToySolver/Data/Polynomial/Base.hs:836:17: Warning:
This binding for ‘xs1’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:831:5
src/ToySolver/Data/Polynomial/Base.hs:836:31: Warning:
This binding for ‘xs2’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:831:9
src/ToySolver/Data/Polynomial/Base.hs:851:17: Warning:
This binding for ‘xs1’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:846:8
src/ToySolver/Data/Polynomial/Base.hs:851:31: Warning:
This binding for ‘xs2’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Base.hs:846:12
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:53:11: Warning:
This binding for ‘k’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:36:14
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:63:10: Warning:
This binding for ‘k’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:36:14
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:86:14: Warning:
This binding for ‘fs’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:83:25
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:91:8: Warning:
This binding for ‘fs’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:83:25
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:120:11: Warning:
This binding for ‘es’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:114:5
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:120:14: Warning:
This binding for ‘fs’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:108:25
src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:120:17: Warning:
This binding for ‘g’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs:108:28
src/ToySolver/Text/MPSFile.hs:277:109: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:281:26: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:646:35: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:732:18: Warning:
This binding for ‘qm’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:711:7
src/ToySolver/Text/MPSFile.hs:735:18: Warning:
This binding for ‘row’ shadows the existing binding
defined at src/ToySolver/Text/MPSFile.hs:111:1
src/ToySolver/Text/MPSFile.hs:735:23: Warning:
This binding for ‘qm’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:711:7
src/ToySolver/Text/MPSFile.hs:763:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:770:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:777:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:784:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MPSFile.hs:791:11: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Text/MPSFile.hs:758:13
src/ToySolver/Text/MaxSAT.hs:167:8: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/Text/MaxSAT.hs:164:15
src/ToySolver/Combinatorial/HittingSet/SHD.hs:41:1: Warning:
Defined but not used: type constructor or class ‘Vertex’
src/ToySolver/Combinatorial/HittingSet/HTCBDD.hs:42:1: Warning:
Defined but not used: type constructor or class ‘Vertex’
src/ToySolver/SAT.hs:210:3: Warning:
This binding for ‘watches’ shadows the existing binding
defined at src/ToySolver/SAT.hs:480:1
src/ToySolver/SAT.hs:1294:27: Warning:
This binding for ‘solver’ shadows the existing binding
bound at src/ToySolver/SAT.hs:1278:25
src/ToySolver/SAT.hs:1557:15: Warning:
This binding for ‘ret’ shadows the existing binding
bound at src/ToySolver/SAT.hs:1553:11
src/ToySolver/SAT.hs:1779:35: Warning:
This binding for ‘lhs’ shadows the existing binding
bound at src/ToySolver/SAT.hs:1769:26
src/ToySolver/SAT.hs:2212:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2204:36
src/ToySolver/SAT.hs:2214:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2204:36
src/ToySolver/SAT.hs:2250:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2242:37
src/ToySolver/SAT.hs:2252:11: Warning:
This binding for ‘end’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2242:37
src/ToySolver/SAT.hs:2612:18: Warning:
This binding for ‘i’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2604:5
src/ToySolver/SAT.hs:2880:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2877:11
src/ToySolver/SAT.hs:2882:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2877:11
src/ToySolver/SAT.hs:2882:25: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/SAT.hs:2877:13
src/ToySolver/SAT.hs:3023:44: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3011:29
src/ToySolver/SAT.hs:3031:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3028:11
src/ToySolver/SAT.hs:3033:14: Warning:
This binding for ‘s’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3028:11
src/ToySolver/SAT.hs:3033:25: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3028:13
src/ToySolver/SAT.hs:3075:11: Warning:
This binding for ‘watchsum’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3065:3
src/ToySolver/SAT.hs:3191:13: Warning:
This binding for ‘ref’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3150:7
src/ToySolver/SAT.hs:3308:22: Warning:
This binding for ‘ls’ shadows the existing binding
bound at src/ToySolver/SAT.hs:3304:30
src/ToySolver/SAT/MUS/DAA.hs:31:1: Warning:
The import of ‘Data.IntSet’ is redundant
except perhaps to import instances from ‘Data.IntSet’
To import instances alone, use: import Data.IntSet()
src/ToySolver/SAT/MUS/DAA.hs:60:13: Warning:
This binding for ‘muses’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:59:10
src/ToySolver/SAT/MUS/DAA.hs:61:13: Warning:
This binding for ‘muses’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:59:10
src/ToySolver/SAT/MUS/DAA.hs:92:9: Warning:
This binding for ‘loop’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:59:5
src/ToySolver/SAT/MUS/DAA.hs:92:14: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/SAT/MUS/DAA.hs:90:10
src/ToySolver/SAT/PBO/BCD.hs:91:7: Warning:
This binding for ‘sels’ shadows the existing binding
bound at src/ToySolver/SAT/PBO/BCD.hs:73:5
src/ToySolver/SAT/PBO/BCD2.hs:35:1: Warning:
The import of ‘Control.Exception’ is redundant
except perhaps to import instances from ‘Control.Exception’
To import instances alone, use: import Control.Exception()
src/ToySolver/SAT/PBO/BCD2.hs:43:1: Warning:
The qualified import of ‘ToySolver.Combinatorial.Knapsack.BB’ is redundant
except perhaps to import instances from ‘ToySolver.Combinatorial.Knapsack.BB’
To import instances alone, use: import ToySolver.Combinatorial.Knapsack.BB()
src/ToySolver/SAT/PBO/BCD2.hs:125:7: Warning:
This binding for ‘sels’ shadows the existing binding
bound at src/ToySolver/SAT/PBO/BCD2.hs:104:5
src/ToySolver/SAT/PBO/BCD2.hs:205:8: Warning:
Defined but not used: ‘ws’
src/ToySolver/CongruenceClosure.hs:64:3: Warning:
This binding for ‘lookup’ shadows the existing binding
defined at src/ToySolver/CongruenceClosure.hs:171:1
src/ToySolver/CongruenceClosure.hs:118:27: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:12
src/ToySolver/CongruenceClosure.hs:118:29: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:14
src/ToySolver/CongruenceClosure.hs:119:32: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:12
src/ToySolver/CongruenceClosure.hs:119:40: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/ToySolver/CongruenceClosure.hs:117:14
src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs:43:10: Warning:
Orphan instance:
instance TL.Nat p => P.Factor (UPolynomial (PrimeField p))
src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs:46:10: Warning:
Orphan instance:
instance TL.Nat p => P.SQFree (UPolynomial (PrimeField p))
src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:29: Warning:
This binding for ‘k’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:6
src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:47: Warning:
This binding for ‘pk’ shadows the existing binding
bound at src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs:81:8
src/ToySolver/Text/LPFile.hs:623:10: Warning:
This binding for ‘label’ shadows the existing binding
defined at src/ToySolver/Text/LPFile.hs:97:1
src/ToySolver/Converter/MIP2SMT.hs:97:17: Warning:
Defined but not used: ‘mip’
src/ToySolver/Converter/MIP2SMT.hs:163:7: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Converter/MIP2SMT.hs:149:13
src/ToySolver/Converter/MIP2SMT.hs:386:1: Warning:
Defined but not used: ‘testFile’
src/ToySolver/Converter/MIP2SMT.hs:393:1: Warning:
Defined but not used: ‘test’
src/ToySolver/Converter/MIP2SMT.hs:396:7: Warning:
Defined but not used: ‘testdata’
src/ToySolver/SAT/TseitinEncoder.hs:57:1: Warning:
The import of ‘Data.IntSet’ is redundant
except perhaps to import instances from ‘Data.IntSet’
To import instances alone, use: import Data.IntSet()
src/ToySolver/Wang.hs:12:1: Warning:
The import of ‘ToySolver.Data.Boolean’ is redundant
except perhaps to import instances from ‘ToySolver.Data.Boolean’
To import instances alone, use: import ToySolver.Data.Boolean()
src/ToySolver/Wang.hs:27:23: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:29:23: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:31:27: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:33:23: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:35:24: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:37:23: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:39:24: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Wang.hs:41:27: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:44:27: Warning:
This binding for ‘l’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:11
src/ToySolver/Wang.hs:46:27: Warning:
This binding for ‘r’ shadows the existing binding
bound at src/ToySolver/Wang.hs:22:13
src/ToySolver/Arith/Simplex.hs:331:33: Warning:
Defined but not used: ‘row_i’
src/ToySolver/Arith/FourierMotzkin/Base.hs:155:12: Warning:
This binding for ‘op’ shadows the existing binding
bound at src/ToySolver/Arith/FourierMotzkin/Base.hs:152:24
src/ToySolver/Arith/FourierMotzkin/Base.hs:155:15: Warning:
This binding for ‘a’ shadows the existing binding
bound at src/ToySolver/Arith/FourierMotzkin/Base.hs:152:22
src/ToySolver/Arith/FourierMotzkin/Base.hs:155:17: Warning:
This binding for ‘b’ shadows the existing binding
bound at src/ToySolver/Arith/FourierMotzkin/Base.hs:152:27
src/ToySolver/Arith/FourierMotzkin/FOL.hs:10:1: Warning:
The qualified import of ‘Data.IntSet’ is redundant
except perhaps to import instances from ‘Data.IntSet’
To import instances alone, use: import Data.IntSet()
src/ToySolver/Arith/Cooper/Base.hs:211:15: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:203:5
src/ToySolver/Arith/Cooper/Base.hs:212:11: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:201:9
src/ToySolver/Arith/Cooper/Base.hs:251:18: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:252:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:253:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:258:18: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:259:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:260:20: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/Cooper/Base.hs:242:15
src/ToySolver/Arith/Cooper/Base.hs:412:1: Warning:
Defined but not used: ‘testHagiya’
src/ToySolver/Arith/Cooper/Base.hs:426:1: Warning:
Defined but not used: ‘test3’
src/ToySolver/Arith/Simplex2.hs:64:5: Warning:
‘getModel’ is exported by ‘getModel’ and ‘SolverValue(..)’
src/ToySolver/Arith/VirtualSubstitution.hs:81:15: Warning:
This binding for ‘xs’ shadows the existing binding
bound at src/ToySolver/Arith/VirtualSubstitution.hs:73:5
src/ToySolver/Arith/VirtualSubstitution.hs:82:11: Warning:
This binding for ‘x’ shadows the existing binding
bound at src/ToySolver/Arith/VirtualSubstitution.hs:71:9
src/ToySolver/Arith/VirtualSubstitution.hs:147:10: Warning:
This binding for ‘vs’ shadows the existing binding
bound at src/ToySolver/Arith/VirtualSubstitution.hs:144:15
src/ToySolver/Arith/OmegaTest/Base.hs:262:85: Warning:
This binding for ‘c’ shadows the existing binding
bound at src/ToySolver/Arith/OmegaTest/Base.hs:261:5
src/ToySolver/Arith/OmegaTest/Base.hs:288:44: Warning:
This binding for ‘cs’ shadows the existing binding
bound at src/ToySolver/Arith/OmegaTest/Base.hs:288:14
src/ToySolver/Arith/LPSolver.hs:277:5: Warning:
This binding for ‘ret’ shadows the existing binding
bound at src/ToySolver/Arith/LPSolver.hs:273:3
src/ToySolver/Arith/LPSolver.hs:317:5: Warning:
Defined but not used: ‘isTriviallyTrue’
src/ToySolver/Arith/LPSolverHL.hs:82:1: Warning:
Defined but not used: ‘example_3_2’
src/ToySolver/Arith/LPSolverHL.hs:97:1: Warning:
Defined but not used: ‘test_3_2’
src/ToySolver/Arith/LPSolverHL.hs:102:1: Warning:
Defined but not used: ‘example_3_5’
src/ToySolver/Arith/LPSolverHL.hs:120:1: Warning:
Defined but not used: ‘test_3_5’
src/ToySolver/Arith/LPSolverHL.hs:125:1: Warning:
Defined but not used: ‘example_4_1’
src/ToySolver/Arith/LPSolverHL.hs:137:1: Warning:
Defined but not used: ‘test_4_1’
src/ToySolver/Arith/LPSolverHL.hs:142:1: Warning:
Defined but not used: ‘example_4_2’
src/ToySolver/Arith/LPSolverHL.hs:154:1: Warning:
Defined but not used: ‘test_4_2’
src/ToySolver/Arith/LPSolverHL.hs:159:1: Warning:
Defined but not used: ‘example_4_3’
src/ToySolver/Arith/LPSolverHL.hs:171:1: Warning:
Defined but not used: ‘test_4_3’
src/ToySolver/Arith/LPSolverHL.hs:176:1: Warning:
Defined but not used: ‘example_4_5’
src/ToySolver/Arith/LPSolverHL.hs:189:1: Warning:
Defined but not used: ‘test_4_5’
src/ToySolver/Arith/LPSolverHL.hs:194:1: Warning:
Defined but not used: ‘example_4_6’
src/ToySolver/Arith/LPSolverHL.hs:212:1: Warning:
Defined but not used: ‘test_4_6’
src/ToySolver/Arith/LPSolverHL.hs:217:1: Warning:
Defined but not used: ‘example_4_7’
src/ToySolver/Arith/LPSolverHL.hs:235:1: Warning:
Defined but not used: ‘test_4_7’
src/ToySolver/Arith/LPSolverHL.hs:241:1: Warning:
Defined but not used: ‘kuhn_7_3’
src/ToySolver/Arith/LPSolverHL.hs:258:1: Warning:
Defined but not used: ‘test_kuhn_7_3’
src/ToySolver/Arith/LPSolverHL.hs:263:1: Warning:
Defined but not used: ‘testAll’
src/ToySolver/Arith/MIPSolverHL.hs:218:1: Warning:
Defined but not used: ‘example1’
src/ToySolver/Arith/MIPSolverHL.hs:240:1: Warning:
Defined but not used: ‘test1’
src/ToySolver/Arith/MIPSolverHL.hs:248:1: Warning:
Defined but not used: ‘test1'’
src/ToySolver/Arith/MIPSolverHL.hs:259:1: Warning:
Defined but not used: ‘example2’
src/ToySolver/Arith/MIPSolverHL.hs:275:1: Warning:
Defined but not used: ‘test2’
Haddock coverage:
0% ( 0 / 8) in 'Paths_toysolver'
0% ( 0 / 3) in 'ToySolver.Version'
17% ( 1 / 6) in 'ToySolver.Internal.Data.IOURef'
50% ( 11 / 22) in 'ToySolver.Text.SDPFile'
0% ( 0 / 3) in 'ToySolver.Text.GurobiSol'
67% ( 2 / 3) in 'ToySolver.Internal.TextUtil'
36% ( 9 / 25) in 'ToySolver.Internal.Data.Vec'
79% ( 15 / 19) in 'ToySolver.Internal.Data.PriorityQueue'
50% ( 5 / 10) in 'ToySolver.Internal.Data.SeqQueue'
70% ( 16 / 23) in 'ToySolver.Internal.Data.IndexedPriorityQueue'
60% ( 53 / 89) in 'ToySolver.Data.Polynomial.Base'
25% ( 1 / 4) in 'ToySolver.Data.Polynomial.Factorization.Hensel.Internal'
50% ( 1 / 2) in 'ToySolver.Data.Polynomial.Factorization.Hensel'
100% ( 2 / 2) in 'ToySolver.Data.Polynomial.Factorization.SquareFree'
75% ( 24 / 32) in 'ToySolver.Data.MIP.Base'
80% ( 4 / 5) in 'ToySolver.Text.MPSFile'
100% ( 8 / 8) in 'ToySolver.Data.LBool'
91% ( 20 / 22) in 'ToySolver.Text.PBFile'
33% ( 1 / 3) in 'ToySolver.Converter.PB2LSP'
50% ( 1 / 2) in 'ToySolver.Converter.PB2WBO'
50% ( 1 / 2) in 'ToySolver.Converter.PB2SMP'
50% ( 1 / 2) in 'ToySolver.Converter.SAT2PB'
41% ( 21 / 51) in 'ToySolver.SAT.Types'
50% ( 1 / 2) in 'ToySolver.Converter.WBO2PB'
100% ( 7 / 7) in 'ToySolver.SAT.MUS.Types'
0% ( 0 / 15) in 'ToySolver.SAT.PBO.Context'
0% ( 0 / 3) in 'ToySolver.SAT.TheorySolver'
80% ( 4 / 5) in 'ToySolver.SAT.Printer'
29% ( 2 / 7) in 'ToySolver.Text.GCNF'
38% ( 3 / 8) in 'ToySolver.Text.MaxSAT'
50% ( 1 / 2) in 'ToySolver.Converter.MaxSAT2WBO'
50% ( 1 / 2) in 'ToySolver.Converter.MaxSAT2NLPB'
50% ( 1 / 2) in 'ToySolver.Converter.ObjType'
33% ( 1 / 3) in 'ToySolver.Converter.PBSetObj'
25% ( 1 / 4) in 'ToySolver.Combinatorial.Knapsack.DP'
25% ( 1 / 4) in 'ToySolver.Combinatorial.Knapsack.BB'
50% ( 1 / 2) in 'ToySolver.Internal.ProcessUtil'
20% ( 1 / 5) in 'ToySolver.Combinatorial.HittingSet.SHD'
17% ( 1 / 6) in 'ToySolver.Combinatorial.HittingSet.HTCBDD'
50% ( 1 / 2) in 'ToySolver.Combinatorial.HittingSet.Simple'
70% ( 59 / 84) in 'ToySolver.SAT'
100% ( 5 / 5) in 'ToySolver.SAT.MUS'
50% ( 4 / 8) in 'ToySolver.SAT.MUS.CAMUS'
57% ( 4 / 7) in 'ToySolver.SAT.MUS.DAA'
50% ( 1 / 2) in 'ToySolver.SAT.PBO.BC'
50% ( 1 / 2) in 'ToySolver.SAT.PBO.BCD'
25% ( 1 / 4) in 'ToySolver.SAT.PBO.BCD2'
50% ( 1 / 2) in 'ToySolver.SAT.PBO.UnsatBased'
50% ( 1 / 2) in 'ToySolver.SAT.PBO.MSU4'
18% ( 5 / 28) in 'ToySolver.SAT.PBO'
12% ( 1 / 8) in 'ToySolver.CongruenceClosure'
80% ( 4 / 5) in 'ToySolver.Data.Boolean'
60% ( 12 / 20) in 'ToySolver.FOLModelFinder'
30% ( 3 / 10) in 'ToySolver.Data.Polynomial.GroebnerBasis'
60% ( 3 / 5) in 'ToySolver.Data.Polynomial.Factorization.FiniteField'
33% ( 1 / 3) in 'ToySolver.Data.Polynomial.Factorization.Zassenhaus'
100% ( 1 / 1) in 'ToySolver.Data.Polynomial.Factorization.Integer'
0% ( 0 / 1) in 'ToySolver.Data.Polynomial.Factorization.Rational'
60% ( 53 / 89) in 'ToySolver.Data.Polynomial'
8% ( 1 / 12) in 'ToySolver.Data.AlgebraicNumber.Root'
54% ( 7 / 13) in 'ToySolver.Data.AlgebraicNumber.Sturm'
0% ( 0 / 2) in 'ToySolver.Data.Polynomial.Interpolation.Lagrange'
33% ( 1 / 3) in 'ToySolver.Data.AlgebraicNumber.Graeffe'
100% ( 2 / 2) in 'ToySolver.Data.DNF'
95% ( 21 / 22) in 'ToySolver.Data.AlgebraicNumber.Real'
44% ( 4 / 9) in 'ToySolver.Internal.Util'
100% ( 13 / 13) in 'ToySolver.Data.Delta'
100% ( 5 / 5) in 'ToySolver.Text.LPFile'
62% ( 5 / 8) in 'ToySolver.Data.MIP'
17% ( 1 / 6) in 'ToySolver.Converter.MIP2SMT'
33% ( 1 / 3) in 'ToySolver.Converter.PB2IP'
50% ( 1 / 2) in 'ToySolver.Converter.MaxSAT2IP'
50% ( 1 / 2) in 'ToySolver.Converter.SAT2IP'
50% ( 1 / 2) in 'ToySolver.Data.Polynomial.Factorization.Kronecker'
100% ( 6 / 6) in 'ToySolver.Data.Var'
67% ( 4 / 6) in 'ToySolver.Data.BoolExpr'
77% ( 10 / 13) in 'ToySolver.SAT.TseitinEncoder'
0% ( 0 / 4) in 'ToySolver.Wang'
100% ( 6 / 6) in 'ToySolver.Data.FOL.Formula'
94% ( 17 / 18) in 'ToySolver.Data.ArithRel'
81% ( 30 / 37) in 'ToySolver.Data.LA'
37% ( 10 / 27) in 'ToySolver.Arith.Simplex'
29% ( 5 / 17) in 'ToySolver.Arith.CAD'
100% ( 10 / 10) in 'ToySolver.Data.AlgebraicNumber.Complex'
92% ( 12 / 13) in 'ToySolver.Data.FOL.Arith'
0% ( 0 / 5) in 'ToySolver.Data.LA.FOL'
48% ( 12 / 25) in 'ToySolver.Arith.FourierMotzkin.Base'
100% ( 2 / 2) in 'ToySolver.Arith.FourierMotzkin.Optimization'
50% ( 2 / 4) in 'ToySolver.Arith.FourierMotzkin.FOL'
100% ( 11 / 11) in 'ToySolver.Arith.FourierMotzkin'
89% ( 17 / 19) in 'ToySolver.Arith.Cooper.Base'
100% ( 3 / 3) in 'ToySolver.Arith.Cooper.FOL'
95% ( 20 / 21) in 'ToySolver.Arith.Cooper'
Warning: ToySolver.Arith.Simplex2: getModel is exported separately but will be documented under SolverValue. Consider exporting it together with its parent(s) for code clarity.
31% ( 18 / 58) in 'ToySolver.Arith.Simplex2'
40% ( 6 / 15) in 'ToySolver.Arith.MIPSolver2'
100% ( 11 / 11) in 'ToySolver.Arith.VirtualSubstitution'
50% ( 5 / 10) in 'ToySolver.Arith.OmegaTest.Base'
46% ( 6 / 13) in 'ToySolver.Arith.OmegaTest'
0% ( 0 / 7) in 'ToySolver.SAT.Integer'
75% ( 3 / 4) in 'ToySolver.Arith.BoundsInference'
0% ( 0 / 3) in 'ToySolver.Arith.LPUtil'
33% ( 1 / 3) in 'ToySolver.Arith.ContiTraverso'
44% ( 11 / 25) in 'ToySolver.Arith.LPSolver'
33% ( 2 / 6) in 'ToySolver.Arith.LPSolverHL'
50% ( 3 / 6) in 'ToySolver.Arith.MIPSolverHL'
Warning: ToySolver.Combinatorial.HittingSet.SHD: could not find link destinations for:
ToySolver.Combinatorial.HittingSet.SHD.HyperEdge ToySolver.Combinatorial.HittingSet.SHD.HittingSet
Warning: ToySolver.Combinatorial.HittingSet.HTCBDD: could not find link destinations for:
ToySolver.Combinatorial.HittingSet.HTCBDD.HyperEdge ToySolver.Combinatorial.HittingSet.HTCBDD.HittingSet
Warning: ToySolver.Combinatorial.HittingSet.Simple: could not find link destinations for:
ToySolver.Combinatorial.HittingSet.Simple.HyperEdge ToySolver.Combinatorial.HittingSet.Simple.HittingSet
Warning: ToySolver.SAT: could not find link destinations for:
ToySolver.SAT.SomeConstraintHandler
Documentation created: dist/doc/html/toysolver/index.html,
dist/doc/html/toysolver/toysolver.txt
Preprocessing executable 'toysolver' for toysolver-0.2.0...
Preprocessing executable 'toysat' for toysolver-0.2.0...
Preprocessing executable 'lpconvert' for toysolver-0.2.0...
Preprocessing executable 'pbconvert' for toysolver-0.2.0...
Preprocessing executable 'pbverify' for toysolver-0.2.0...
Creating package registration file: /tmp/pkgConf-toysolver-0.221377.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/toysolver-0.2.0
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering toysolver-0.2.0...
Installed toysolver-0.2.0
Test log
No test log was submitted for this report.