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.214772.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-114772.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 bytestring-builder-0.10.6.0.0... Building bytestring-builder-0.10.6.0.0... Preprocessing library bytestring-builder-0.10.6.0.0... In-place registering bytestring-builder-0.10.6.0.0... Running Haddock for bytestring-builder-0.10.6.0.0... Running hscolour for bytestring-builder-0.10.6.0.0... Preprocessing library bytestring-builder-0.10.6.0.0... Preprocessing library bytestring-builder-0.10.6.0.0... haddock: No input file(s). Creating package registration file: /tmp/pkgConf-bytestring-builder-0.10.6.014772.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/bytestring-builder-0.10.6.0.0 Registering bytestring-builder-0.10.6.0.0... Installed bytestring-builder-0.10.6.0.0 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.014772.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 Configuring dlist-0.7.1.1... Building dlist-0.7.1.1... Preprocessing library dlist-0.7.1.1... [1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o ) In-place registering dlist-0.7.1.1... Running Haddock for dlist-0.7.1.1... Running hscolour for dlist-0.7.1.1... Preprocessing library dlist-0.7.1.1... Preprocessing library dlist-0.7.1.1... Haddock coverage: 100% ( 20 / 20) in 'Data.DList' Documentation created: dist/doc/html/dlist/index.html, dist/doc/html/dlist/dlist.txt Creating package registration file: /tmp/pkgConf-dlist-0.7.114772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dlist-0.7.1.1 Registering dlist-0.7.1.1... Installed dlist-0.7.1.1 Configuring heaps-0.3.2.1... Building heaps-0.3.2.1... Preprocessing library heaps-0.3.2.1... [1 of 1] Compiling Data.Heap ( src/Data/Heap.hs, dist/build/Data/Heap.o ) In-place registering heaps-0.3.2.1... Running Haddock for heaps-0.3.2.1... Running hscolour for heaps-0.3.2.1... Preprocessing library heaps-0.3.2.1... Preprocessing library heaps-0.3.2.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.3.214772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/heaps-0.3.2.1 Registering heaps-0.3.2.1... Installed heaps-0.3.2.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.214772.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 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.214772.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.014772.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.114772.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-114772.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.414772.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.5.1... Building syb-0.5.1... Preprocessing library syb-0.5.1... [ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o ) [ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o ) [ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o ) [ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o ) [ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o ) [ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o ) [ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o ) [ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o ) [ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o ) [10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o ) [11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o ) [12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o ) [13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o ) [14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o ) [15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o ) [16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o ) In-place registering syb-0.5.1... Running Haddock for syb-0.5.1... Running hscolour for syb-0.5.1... Preprocessing library syb-0.5.1... Preprocessing library syb-0.5.1... Haddock coverage: 100% ( 2 / 2) in 'Data.Generics.Basics' 100% ( 2 / 2) in 'Generics.SYB.Basics' 100% ( 1 / 1) in 'Data.Generics.Instances' 100% ( 1 / 1) in 'Generics.SYB.Instances' 96% ( 43 / 45) in 'Data.Generics.Aliases' 100% ( 19 / 19) in 'Data.Generics.Schemes' 100% ( 2 / 2) in 'Generics.SYB.Schemes' 100% ( 6 / 6) in 'Data.Generics.Text' 100% ( 2 / 2) in 'Generics.SYB.Text' 100% ( 17 / 17) 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.514772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.5.1 Registering syb-0.5.1... Installed syb-0.5.1 Configuring text-1.2.1.1... Building text-1.2.1.1... Preprocessing library text-1.2.1.1... [ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o ) [ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o ) [ 3 of 44] 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 44] 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 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o ) [ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o ) [ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o ) [ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o ) [ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o ) [10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o ) [11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o ) [12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o ) [13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o ) [14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o ) [15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o ) [16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o ) [17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o ) [18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o ) [19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o ) [20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o ) [21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o ) [22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o ) [23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o ) [24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o ) [25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o ) [26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o ) [27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o ) [28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o ) [29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o ) [30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o ) [31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o ) [32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o ) [33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o ) [34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o ) [35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o ) [36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o ) [37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o ) [38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o ) [39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o ) [40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o ) [41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o ) [42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o ) [43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o ) [44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o ) In-place registering text-1.2.1.1... Running Haddock for text-1.2.1.1... Running hscolour for text-1.2.1.1... Preprocessing library text-1.2.1.1... Preprocessing library text-1.2.1.1... 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' 88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types' 0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping' 89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common' 93% ( 13 / 14) in 'Data.Text.Unsafe' 33% ( 1 / 3) in 'Data.Text.Internal.Private' 91% ( 20 / 22) in 'Data.Text.Internal.Fusion' 100% ( 4 / 4) in 'Data.Text.Show' 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% ( 33 / 33) in 'Data.Text.Encoding' 100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Search' 100% ( 18 / 18) in 'Data.Text.Foreign' 100% (126 /126) in 'Data.Text' 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' 89% ( 24 / 27) in 'Data.Text.Lazy.Encoding' 99% (127 /128) 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' 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.114772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.1.1 Registering text-1.2.1.1... Installed text-1.2.1.1 Configuring transformers-0.4.3.0... Building transformers-0.4.3.0... Preprocessing library transformers-0.4.3.0... [ 1 of 28] Compiling Data.Functor.Identity ( oldsrc/Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o ) [ 2 of 28] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o ) [ 3 of 28] Compiling Control.Monad.Signatures ( Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o ) [ 4 of 28] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o ) [ 5 of 28] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o ) [ 6 of 28] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o ) [ 7 of 28] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o ) [ 8 of 28] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o ) [ 9 of 28] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o ) [10 of 28] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o ) [11 of 28] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o ) [12 of 28] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o ) [13 of 28] Compiling Data.Functor.Classes ( Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o ) [14 of 28] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o ) [15 of 28] Compiling Control.Applicative.Lift ( Control/Applicative/Lift.hs, dist/build/Control/Applicative/Lift.o ) [16 of 28] Compiling Control.Monad.Trans.Except ( Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o ) [17 of 28] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o ) [18 of 28] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o ) [19 of 28] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o ) [20 of 28] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o ) [21 of 28] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o ) [22 of 28] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o ) [23 of 28] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o ) [24 of 28] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o ) [25 of 28] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o ) [26 of 28] Compiling Data.Functor.Sum ( Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o ) [27 of 28] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o ) [28 of 28] Compiling Data.Functor.Reverse ( Data/Functor/Reverse.hs, dist/build/Data/Functor/Reverse.o ) In-place registering transformers-0.4.3.0... Running Haddock for transformers-0.4.3.0... Running hscolour for transformers-0.4.3.0... Preprocessing library transformers-0.4.3.0... Preprocessing library transformers-0.4.3.0... Haddock coverage: 100% ( 2 / 2) in 'Data.Functor.Identity' 100% ( 14 / 14) in 'Control.Monad.Trans.Class' 100% ( 5 / 5) in 'Control.Monad.Signatures' 100% ( 2 / 2) in 'Control.Monad.IO.Class' 100% ( 22 / 22) in 'Control.Monad.Trans.Cont' 100% ( 18 / 18) in 'Control.Monad.Trans.Reader' 100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Lazy' 100% ( 2 / 2) in 'Control.Monad.Trans.RWS' 100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Strict' 100% ( 34 / 34) in 'Control.Monad.Trans.State.Lazy' 100% ( 2 / 2) in 'Control.Monad.Trans.State' 100% ( 34 / 34) in 'Control.Monad.Trans.State.Strict' 100% ( 15 / 15) in 'Data.Functor.Classes' 100% ( 2 / 2) in 'Data.Functor.Constant' 100% ( 9 / 9) in 'Control.Applicative.Lift' 100% ( 19 / 19) in 'Control.Monad.Trans.Except' 100% ( 15 / 15) in 'Control.Monad.Trans.Error' 100% ( 7 / 7) in 'Control.Monad.Trans.Identity' 100% ( 7 / 7) in 'Control.Monad.Trans.List' 100% ( 12 / 12) in 'Control.Monad.Trans.Maybe' 100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy' 100% ( 2 / 2) in 'Control.Monad.Trans.Writer' 100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict' 100% ( 2 / 2) in 'Data.Functor.Compose' 100% ( 2 / 2) in 'Data.Functor.Product' 100% ( 2 / 2) in 'Data.Functor.Sum' 100% ( 2 / 2) in 'Control.Applicative.Backwards' 100% ( 2 / 2) in 'Data.Functor.Reverse' Documentation created: dist/doc/html/transformers/index.html, dist/doc/html/transformers/transformers.txt Creating package registration file: /tmp/pkgConf-transformers-0.4.314772.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.3.0 Registering transformers-0.4.3.0... Installed transformers-0.4.3.0 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.114772.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-14772/unbounded-delays-0.1.0.9/dist/setup/setup.hs, /tmp/unbounded-delays-0.1.0.9-14772/unbounded-delays-0.1.0.9/dist/setup/Main.o ) Linking /tmp/unbounded-delays-0.1.0.9-14772/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.014772.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 async-2.0.2... Building async-2.0.2... Preprocessing library async-2.0.2... [1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o ) In-place registering async-2.0.2... Running Haddock for async-2.0.2... Running hscolour for async-2.0.2... Preprocessing library async-2.0.2... Preprocessing library async-2.0.2... Haddock coverage: 100% ( 46 / 46) in 'Control.Concurrent.Async' Documentation created: dist/doc/html/async/index.html, dist/doc/html/async/async.txt Creating package registration file: /tmp/pkgConf-async-2.014772.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/async-2.0.2 Registering async-2.0.2... Installed async-2.0.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.114772.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.2... Building hashable-1.2.3.2... Preprocessing library hashable-1.2.3.2... [1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o ) Data/Hashable/Class.hs:213:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:236: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.2... Running Haddock for hashable-1.2.3.2... Running hscolour for hashable-1.2.3.2... Preprocessing library hashable-1.2.3.2... Preprocessing library hashable-1.2.3.2... Data/Hashable/Class.hs:213:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:236: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.314772.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hashable-1.2.3.2 Registering hashable-1.2.3.2... Installed hashable-1.2.3.2 Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) In-place registering mtl-2.2.1... Running Haddock for mtl-2.2.1... Running hscolour for mtl-2.2.1... Preprocessing library mtl-2.2.1... Preprocessing library mtl-2.2.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' 100% ( 5 / 5) 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' 93% ( 14 / 15) in 'Control.Monad.Error' 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' 96% ( 24 / 25) in 'Control.Monad.State.Lazy' 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' 91% ( 20 / 22) 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.214772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.2.1 Registering mtl-2.2.1... Installed mtl-2.2.1 Configuring transformers-compat-0.4.0.4... Building transformers-compat-0.4.0.4... Preprocessing library transformers-compat-0.4.0.4... [1 of 1] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o ) In-place registering transformers-compat-0.4.0.4... Running Haddock for transformers-compat-0.4.0.4... Running hscolour for transformers-compat-0.4.0.4... Preprocessing library transformers-compat-0.4.0.4... Preprocessing library transformers-compat-0.4.0.4... Haddock coverage: 0% ( 0 / 8) in 'Paths_transformers_compat' Documentation created: dist/doc/html/transformers-compat/index.html, dist/doc/html/transformers-compat/transformers-compat.txt Creating package registration file: /tmp/pkgConf-transformers-compat-0.4.014772.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-compat-0.4.0.4 Registering transformers-compat-0.4.0.4... Installed transformers-compat-0.4.0.4 Configuring minisat-0.1.1... Building minisat-0.1.1... Preprocessing library minisat-0.1.1... [1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o ) In-place registering minisat-0.1.1... Running Haddock for minisat-0.1.1... Running hscolour for minisat-0.1.1... Preprocessing library minisat-0.1.1... Preprocessing library minisat-0.1.1... Haddock coverage: 1% ( 1 / 70) in 'MiniSat' Documentation created: dist/doc/html/minisat/index.html, dist/doc/html/minisat/minisat.txt Creating package registration file: /tmp/pkgConf-minisat-0.114772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/minisat-0.1.1 Registering minisat-0.1.1... Installed minisat-0.1.1 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.014772.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.114772.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 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.814772.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-114772 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 scientific-0.3.3.8... Building scientific-0.3.3.8... Preprocessing library scientific-0.3.3.8... [1 of 4] Compiling Math.NumberTheory.Logarithms ( src/Math/NumberTheory/Logarithms.hs, dist/build/Math/NumberTheory/Logarithms.o ) [2 of 4] Compiling Data.Scientific ( src/Data/Scientific.hs, dist/build/Data/Scientific.o ) [3 of 4] Compiling Data.Text.Lazy.Builder.Scientific ( src/Data/Text/Lazy/Builder/Scientific.hs, dist/build/Data/Text/Lazy/Builder/Scientific.o ) [4 of 4] Compiling Data.ByteString.Builder.Scientific ( src/Data/ByteString/Builder/Scientific.hs, dist/build/Data/ByteString/Builder/Scientific.o ) In-place registering scientific-0.3.3.8... Running Haddock for scientific-0.3.3.8... Running hscolour for scientific-0.3.3.8... Preprocessing library scientific-0.3.3.8... Preprocessing library scientific-0.3.3.8... Haddock coverage: 100% ( 2 / 2) in 'Math.NumberTheory.Logarithms' 100% ( 22 / 22) in 'Data.Scientific' 75% ( 3 / 4) in 'Data.Text.Lazy.Builder.Scientific' 75% ( 3 / 4) in 'Data.ByteString.Builder.Scientific' Warning: Data.Scientific: could not find link destinations for: Data.Scientific.whenFloating Documentation created: dist/doc/html/scientific/index.html, dist/doc/html/scientific/scientific.txt Creating package registration file: /tmp/pkgConf-scientific-0.3.314772.8 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/scientific-0.3.3.8 Registering scientific-0.3.3.8... Installed scientific-0.3.3.8 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.514772.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 Configuring parsec-3.1.9... Building parsec-3.1.9... Preprocessing library parsec-3.1.9... [ 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.9... Running Haddock for parsec-3.1.9... Running hscolour for parsec-3.1.9... Preprocessing library parsec-3.1.9... Preprocessing library parsec-3.1.9... 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 / 94) 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.114772.9 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.9 Registering parsec-3.1.9... Installed parsec-3.1.9 Configuring exceptions-0.8.0.2... Building exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... [1 of 2] Compiling Control.Monad.Catch ( src/Control/Monad/Catch.hs, dist/build/Control/Monad/Catch.o ) [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.8.0.2... Running Haddock for exceptions-0.8.0.2... Running hscolour for exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... Preprocessing library exceptions-0.8.0.2... 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.8.014772.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/exceptions-0.8.0.2 Registering exceptions-0.8.0.2... Installed exceptions-0.8.0.2 Configuring satchmo-2.8.2... Building satchmo-2.8.2... Preprocessing library satchmo-2.8.2... Satchmo/Unary/Op/Common.hs:2:14: Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead Satchmo/SAT/Mini.hs:5:14: Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead [ 1 of 45] Compiling Satchmo.Data ( Satchmo/Data.hs, dist/build/Satchmo/Data.o ) Satchmo/Data.hs:7:23: Warning: ‘literals’ is exported by ‘literals’ and ‘Clause(..)’ Satchmo/Data.hs:8:33: Warning: ‘positive’ is exported by ‘positive’ and ‘Literal(..)’ Satchmo/Data.hs:8:43: Warning: ‘variable’ is exported by ‘variable’ and ‘Literal(..)’ [ 2 of 45] Compiling Satchmo.Code ( Satchmo/Code.hs, dist/build/Satchmo/Code.o ) [ 3 of 45] Compiling Satchmo.MonadSAT ( Satchmo/MonadSAT.hs, dist/build/Satchmo/MonadSAT.o ) [ 4 of 45] Compiling Satchmo.Boolean.Data ( Satchmo/Boolean/Data.hs, dist/build/Satchmo/Boolean/Data.o ) Satchmo/Boolean/Data.hs:8:26: Warning: ‘encode’ is exported by ‘encode’ and ‘Boolean(..)’ [ 5 of 45] Compiling Satchmo.Boolean.Op ( Satchmo/Boolean/Op.hs, dist/build/Satchmo/Boolean/Op.o ) [ 6 of 45] Compiling Satchmo.Boolean ( Satchmo/Boolean.hs, dist/build/Satchmo/Boolean.o ) [ 7 of 45] Compiling Satchmo.Unary.Data ( Satchmo/Unary/Data.hs, dist/build/Satchmo/Unary/Data.o ) [ 8 of 45] Compiling Satchmo.Unary.Op.Common ( Satchmo/Unary/Op/Common.hs, dist/build/Satchmo/Unary/Op/Common.o ) [ 9 of 45] Compiling Satchmo.Unary.Op.Flexible ( Satchmo/Unary/Op/Flexible.hs, dist/build/Satchmo/Unary/Op/Flexible.o ) [10 of 45] Compiling Satchmo.Unary ( Satchmo/Unary.hs, dist/build/Satchmo/Unary.o ) [11 of 45] Compiling Satchmo.Unary.Op.Fixed ( Satchmo/Unary/Op/Fixed.hs, dist/build/Satchmo/Unary/Op/Fixed.o ) [12 of 45] Compiling Satchmo.Numeric ( Satchmo/Numeric.hs, dist/build/Satchmo/Numeric.o ) [13 of 45] Compiling Satchmo.Integer.Difference ( Satchmo/Integer/Difference.hs, dist/build/Satchmo/Integer/Difference.o ) [14 of 45] Compiling Satchmo.Polynomial.Numeric ( Satchmo/Polynomial/Numeric.hs, dist/build/Satchmo/Polynomial/Numeric.o ) [15 of 45] Compiling Satchmo.SAT.Tmpfile ( Satchmo/SAT/Tmpfile.hs, dist/build/Satchmo/SAT/Tmpfile.o ) Satchmo/SAT/Tmpfile.hs:46:10: Warning: No explicit implementation for ‘fresh_forall’ In the instance declaration for ‘MonadSAT SAT’ [16 of 45] Compiling Satchmo.SAT ( Satchmo/SAT.hs, dist/build/Satchmo/SAT.o ) [17 of 45] Compiling Satchmo.Counting ( Satchmo/Counting.hs, dist/build/Satchmo/Counting.o ) [18 of 45] Compiling Satchmo.Integer.Data ( Satchmo/Integer/Data.hs, dist/build/Satchmo/Integer/Data.o ) [19 of 45] Compiling Satchmo.Binary.Data ( Satchmo/Binary/Data.hs, dist/build/Satchmo/Binary/Data.o ) [20 of 45] Compiling Satchmo.Binary.Op.Common ( Satchmo/Binary/Op/Common.hs, dist/build/Satchmo/Binary/Op/Common.o ) [21 of 45] Compiling Satchmo.Binary.Op.Times ( Satchmo/Binary/Op/Times.hs, dist/build/Satchmo/Binary/Op/Times.o ) [22 of 45] Compiling Satchmo.Binary.Op.Flexible ( Satchmo/Binary/Op/Flexible.hs, dist/build/Satchmo/Binary/Op/Flexible.o ) [23 of 45] Compiling Satchmo.Integer.Op ( Satchmo/Integer/Op.hs, dist/build/Satchmo/Integer/Op.o ) [24 of 45] Compiling Satchmo.Integer ( Satchmo/Integer.hs, dist/build/Satchmo/Integer.o ) [25 of 45] Compiling Satchmo.Binary ( Satchmo/Binary.hs, dist/build/Satchmo/Binary.o ) [26 of 45] Compiling Satchmo.BinaryTwosComplement.Data ( Satchmo/BinaryTwosComplement/Data.hs, dist/build/Satchmo/BinaryTwosComplement/Data.o ) [27 of 45] Compiling Satchmo.BinaryTwosComplement.Op.Common ( Satchmo/BinaryTwosComplement/Op/Common.hs, dist/build/Satchmo/BinaryTwosComplement/Op/Common.o ) [28 of 45] Compiling Satchmo.Binary.Op.Fixed ( Satchmo/Binary/Op/Fixed.hs, dist/build/Satchmo/Binary/Op/Fixed.o ) [29 of 45] Compiling Satchmo.BinaryTwosComplement.Op.Fixed ( Satchmo/BinaryTwosComplement/Op/Fixed.hs, dist/build/Satchmo/BinaryTwosComplement/Op/Fixed.o ) [30 of 45] Compiling Satchmo.BinaryTwosComplement ( Satchmo/BinaryTwosComplement.hs, dist/build/Satchmo/BinaryTwosComplement.o ) [31 of 45] Compiling Satchmo.Polynomial ( Satchmo/Polynomial.hs, dist/build/Satchmo/Polynomial.o ) [32 of 45] Compiling Satchmo.PolynomialSOS ( Satchmo/PolynomialSOS.hs, dist/build/Satchmo/PolynomialSOS.o ) [33 of 45] Compiling Satchmo.BinaryTwosComplement.Numeric ( Satchmo/BinaryTwosComplement/Numeric.hs, dist/build/Satchmo/BinaryTwosComplement/Numeric.o ) [34 of 45] Compiling Satchmo.PolynomialN ( Satchmo/PolynomialN.hs, dist/build/Satchmo/PolynomialN.o ) [35 of 45] Compiling Satchmo.Binary.Numeric ( Satchmo/Binary/Numeric.hs, dist/build/Satchmo/Binary/Numeric.o ) [36 of 45] Compiling Satchmo.Relation.Data ( Satchmo/Relation/Data.hs, dist/build/Satchmo/Relation/Data.o ) [37 of 45] Compiling Satchmo.Relation.Op ( Satchmo/Relation/Op.hs, dist/build/Satchmo/Relation/Op.o ) [38 of 45] Compiling Satchmo.Relation.Prop ( Satchmo/Relation/Prop.hs, dist/build/Satchmo/Relation/Prop.o ) [39 of 45] Compiling Satchmo.Relation ( Satchmo/Relation.hs, dist/build/Satchmo/Relation.o ) [40 of 45] Compiling Satchmo.Map.Data ( Satchmo/Map/Data.hs, dist/build/Satchmo/Map/Data.o ) [41 of 45] Compiling Satchmo.Map ( Satchmo/Map.hs, dist/build/Satchmo/Map.o ) [42 of 45] Compiling Satchmo.Set.Data ( Satchmo/Set/Data.hs, dist/build/Satchmo/Set/Data.o ) Satchmo/Set/Data.hs:7:26: Warning: ‘keys’ is exported by ‘keys’ and ‘keys’ [43 of 45] Compiling Satchmo.Set.Op ( Satchmo/Set/Op.hs, dist/build/Satchmo/Set/Op.o ) [44 of 45] Compiling Satchmo.Set ( Satchmo/Set.hs, dist/build/Satchmo/Set.o ) [45 of 45] Compiling Satchmo.SAT.Mini ( Satchmo/SAT/Mini.hs, dist/build/Satchmo/SAT/Mini.o ) Satchmo/SAT/Mini.hs:57:10: Warning: No explicit implementation for ‘fresh_forall’ In the instance declaration for ‘MonadSAT SAT’ In-place registering satchmo-2.8.2... Running Haddock for satchmo-2.8.2... Running hscolour for satchmo-2.8.2... Preprocessing library satchmo-2.8.2... Preprocessing library satchmo-2.8.2... Satchmo/Unary/Op/Common.hs:2:14: Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead Satchmo/SAT/Mini.hs:5:14: Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead Satchmo/Data.hs:7:23: Warning: ‘literals’ is exported by ‘literals’ and ‘Clause(..)’ Satchmo/Data.hs:8:33: Warning: ‘positive’ is exported by ‘positive’ and ‘Literal(..)’ Satchmo/Data.hs:8:43: Warning: ‘variable’ is exported by ‘variable’ and ‘Literal(..)’ Satchmo/Boolean/Data.hs:8:26: Warning: ‘encode’ is exported by ‘encode’ and ‘Boolean(..)’ Satchmo/SAT/Tmpfile.hs:46:10: Warning: No explicit implementation for ‘fresh_forall’ In the instance declaration for ‘MonadSAT SAT’ Satchmo/Set/Data.hs:7:26: Warning: ‘keys’ is exported by ‘keys’ and ‘keys’ Satchmo/SAT/Mini.hs:57:10: Warning: No explicit implementation for ‘fresh_forall’ In the instance declaration for ‘MonadSAT SAT’ Haddock coverage: Warning: Satchmo.Data: literals is exported separately but will be documented under Clause. Consider exporting it together with its parent(s) for code clarity. Warning: Satchmo.Data: positive is exported separately but will be documented under Literal. Consider exporting it together with its parent(s) for code clarity. Warning: Satchmo.Data: variable is exported separately but will be documented under Literal. Consider exporting it together with its parent(s) for code clarity. 0% ( 0 / 10) in 'Satchmo.Data' 0% ( 0 / 2) in 'Satchmo.Code' 0% ( 0 / 4) in 'Satchmo.MonadSAT' Warning: Satchmo.Boolean.Data: encode is exported separately but will be documented under Boolean. Consider exporting it together with its parent(s) for code clarity. 0% ( 0 / 12) in 'Satchmo.Boolean.Data' 12% ( 2 / 17) in 'Satchmo.Boolean.Op' 7% ( 2 / 29) in 'Satchmo.Boolean' 29% ( 2 / 7) in 'Satchmo.Unary.Data' 41% ( 7 / 17) in 'Satchmo.Unary.Op.Common' 33% ( 2 / 6) in 'Satchmo.Unary.Op.Flexible' 38% ( 3 / 8) in 'Satchmo.Unary' 17% ( 1 / 6) in 'Satchmo.Unary.Op.Fixed' 0% ( 0 / 4) in 'Satchmo.Numeric' 0% ( 0 / 6) in 'Satchmo.Integer.Difference' 0% ( 0 / 9) in 'Satchmo.Polynomial.Numeric' 0% ( 0 / 8) in 'Satchmo.SAT.Tmpfile' 50% ( 1 / 2) in 'Satchmo.SAT' 0% ( 0 / 4) in 'Satchmo.Counting' 43% ( 3 / 7) in 'Satchmo.Integer.Data' 36% ( 4 / 11) in 'Satchmo.Binary.Data' 7% ( 1 / 14) in 'Satchmo.Binary.Op.Common' 0% ( 0 / 6) in 'Satchmo.Binary.Op.Times' 39% ( 7 / 18) in 'Satchmo.Binary.Op.Flexible' 25% ( 2 / 8) in 'Satchmo.Integer.Op' 29% ( 4 / 14) in 'Satchmo.Integer' 50% ( 1 / 2) in 'Satchmo.Binary' 75% ( 9 / 12) in 'Satchmo.BinaryTwosComplement.Data' 0% ( 0 / 10) in 'Satchmo.BinaryTwosComplement.Op.Common' 50% ( 9 / 18) in 'Satchmo.Binary.Op.Fixed' 37% ( 10 / 27) in 'Satchmo.BinaryTwosComplement.Op.Fixed' 50% ( 1 / 2) in 'Satchmo.BinaryTwosComplement' 21% ( 4 / 19) in 'Satchmo.Polynomial' 0% ( 0 / 4) in 'Satchmo.PolynomialSOS' 0% ( 0 / 4) in 'Satchmo.BinaryTwosComplement.Numeric' 0% ( 0 / 8) in 'Satchmo.PolynomialN' 0% ( 0 / 4) in 'Satchmo.Binary.Numeric' 0% ( 0 / 11) in 'Satchmo.Relation.Data' 0% ( 0 / 7) in 'Satchmo.Relation.Op' 0% ( 0 / 11) in 'Satchmo.Relation.Prop' 75% ( 3 / 4) in 'Satchmo.Relation' 0% ( 0 / 2) in 'Satchmo.Map.Data' 50% ( 1 / 2) in 'Satchmo.Map' 8% ( 1 / 13) in 'Satchmo.Set.Data' 0% ( 0 / 10) in 'Satchmo.Set.Op' 67% ( 2 / 3) in 'Satchmo.Set' 0% ( 0 / 6) in 'Satchmo.SAT.Mini' Documentation created: dist/doc/html/satchmo/index.html, dist/doc/html/satchmo/satchmo.txt Creating package registration file: /tmp/pkgConf-satchmo-2.814772.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/satchmo-2.8.2 Registering satchmo-2.8.2... Installed satchmo-2.8.2 Configuring attoparsec-0.13.0.0... Building attoparsec-0.13.0.0... Preprocessing library attoparsec-0.13.0.0... [ 1 of 21] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, dist/build/Data/Attoparsec/Text/FastSet.o ) [ 2 of 21] Compiling Data.Attoparsec.Internal.Fhthagn ( Data/Attoparsec/Internal/Fhthagn.hs, dist/build/Data/Attoparsec/Internal/Fhthagn.o ) [ 3 of 21] Compiling Data.Attoparsec.Text.Buffer ( Data/Attoparsec/Text/Buffer.hs, dist/build/Data/Attoparsec/Text/Buffer.o ) [ 4 of 21] Compiling Data.Attoparsec.ByteString.Buffer ( Data/Attoparsec/ByteString/Buffer.hs, dist/build/Data/Attoparsec/ByteString/Buffer.o ) [ 5 of 21] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o ) [ 6 of 21] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, dist/build/Data/Attoparsec/Number.o ) [ 7 of 21] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, dist/build/Data/Attoparsec/ByteString/FastSet.o ) [ 8 of 21] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, dist/build/Data/Attoparsec/Internal/Types.o ) [ 9 of 21] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, dist/build/Data/Attoparsec/Types.o ) [10 of 21] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, dist/build/Data/Attoparsec/Internal.o ) [11 of 21] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, dist/build/Data/Attoparsec/Combinator.o ) [12 of 21] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, dist/build/Data/Attoparsec/ByteString/Internal.o ) [13 of 21] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, dist/build/Data/Attoparsec/Text/Internal.o ) [14 of 21] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, dist/build/Data/Attoparsec/Text.o ) [15 of 21] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o ) [16 of 21] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, dist/build/Data/Attoparsec/ByteString.o ) [17 of 21] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, dist/build/Data/Attoparsec/ByteString/Char8.o ) [18 of 21] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, dist/build/Data/Attoparsec/Char8.o ) [19 of 21] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, dist/build/Data/Attoparsec/ByteString/Lazy.o ) [20 of 21] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, dist/build/Data/Attoparsec/Lazy.o ) [21 of 21] Compiling Data.Attoparsec ( Data/Attoparsec.hs, dist/build/Data/Attoparsec.o ) In-place registering attoparsec-0.13.0.0... Running Haddock for attoparsec-0.13.0.0... Running hscolour for attoparsec-0.13.0.0... Preprocessing library attoparsec-0.13.0.0... Preprocessing library attoparsec-0.13.0.0... Haddock coverage: 60% ( 6 / 10) in 'Data.Attoparsec.Text.FastSet' 50% ( 1 / 2) in 'Data.Attoparsec.Internal.Fhthagn' 36% ( 4 / 11) in 'Data.Attoparsec.Text.Buffer' 22% ( 2 / 9) in 'Data.Attoparsec.ByteString.Buffer' 89% ( 8 / 9) in 'Data.Attoparsec.Zepto' 100% ( 2 / 2) in 'Data.Attoparsec.Number' 69% ( 9 / 13) in 'Data.Attoparsec.ByteString.FastSet' 50% ( 5 / 10) in 'Data.Attoparsec.Internal.Types' 100% ( 4 / 4) in 'Data.Attoparsec.Types' 100% ( 9 / 9) in 'Data.Attoparsec.Internal' 100% ( 24 / 24) in 'Data.Attoparsec.Combinator' 93% ( 39 / 42) in 'Data.Attoparsec.ByteString.Internal' 95% ( 39 / 41) in 'Data.Attoparsec.Text.Internal' 98% ( 89 / 91) in 'Data.Attoparsec.Text' 100% ( 9 / 9) in 'Data.Attoparsec.Text.Lazy' 97% ( 65 / 67) in 'Data.Attoparsec.ByteString' 98% ( 91 / 93) in 'Data.Attoparsec.ByteString.Char8' 100% ( 2 / 2) in 'Data.Attoparsec.Char8' 100% ( 9 / 9) in 'Data.Attoparsec.ByteString.Lazy' 100% ( 2 / 2) in 'Data.Attoparsec.Lazy' 100% ( 2 / 2) in 'Data.Attoparsec' Documentation created: dist/doc/html/attoparsec/index.html, dist/doc/html/attoparsec/attoparsec.txt Creating package registration file: /tmp/pkgConf-attoparsec-0.13.014772.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/attoparsec-0.13.0.0 Registering attoparsec-0.13.0.0... Installed attoparsec-0.13.0.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.114772.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 lattices-1.3... Building lattices-1.3... Preprocessing library lattices-1.3... [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 ) Algebra/PartialOrd.hs:66:10: Warning: Orphan instance: instance [safe] (Eq v, Enumerable k) => Eq (k -> v) [3 of 6] Compiling Algebra.Lattice ( Algebra/Lattice.hs, dist/build/Algebra/Lattice.o ) Algebra/Lattice.hs:54: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.3... Running Haddock for lattices-1.3... Running hscolour for lattices-1.3... Preprocessing library lattices-1.3... Preprocessing library lattices-1.3... Algebra/PartialOrd.hs:66:10: Warning: Orphan instance: instance [safe] (Eq v, Enumerable k) => Eq (k -> v) Algebra/Lattice.hs:54: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: 75% ( 3 / 4) in 'Algebra.Enumerable' 100% ( 9 / 9) in 'Algebra.PartialOrd' 100% ( 22 / 22) in 'Algebra.Lattice' 100% ( 2 / 2) in 'Algebra.Lattice.Dropped' 100% ( 2 / 2) in 'Algebra.Lattice.Levitated' 100% ( 2 / 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-114772.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/lattices-1.3 Registering lattices-1.3... Installed lattices-1.3 Configuring semigroups-0.16.2.2... Building semigroups-0.16.2.2... Preprocessing library semigroups-0.16.2.2... [1 of 3] Compiling Data.List.NonEmpty ( src/Data/List/NonEmpty.hs, dist/build/Data/List/NonEmpty.o ) [2 of 3] Compiling Data.Semigroup ( src/Data/Semigroup.hs, dist/build/Data/Semigroup.o ) [3 of 3] Compiling Data.Semigroup.Generic ( src/Data/Semigroup/Generic.hs, dist/build/Data/Semigroup/Generic.o ) In-place registering semigroups-0.16.2.2... Running Haddock for semigroups-0.16.2.2... Running hscolour for semigroups-0.16.2.2... Preprocessing library semigroups-0.16.2.2... Preprocessing library semigroups-0.16.2.2... Haddock coverage: 94% ( 65 / 69) in 'Data.List.NonEmpty' 81% ( 22 / 27) in 'Data.Semigroup' 60% ( 3 / 5) in 'Data.Semigroup.Generic' 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 Warning: Data.Semigroup.Generic: could not find link destinations for: Data.Semigroup.Generic.gmappend' Data.Semigroup.Generic.gmempty' Documentation created: dist/doc/html/semigroups/index.html, dist/doc/html/semigroups/semigroups.txt Creating package registration file: /tmp/pkgConf-semigroups-0.16.214772.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/semigroups-0.16.2.2 Registering semigroups-0.16.2.2... Installed semigroups-0.16.2.2 Configuring parse-dimacs-1.3... Building parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... [1 of 1] Compiling Language.CNF.Parse.ParseDIMACS ( Language/CNF/Parse/ParseDIMACS.hs, dist/build/Language/CNF/Parse/ParseDIMACS.o ) In-place registering parse-dimacs-1.3... Running Haddock for parse-dimacs-1.3... Running hscolour for parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... Haddock coverage: 60% ( 3 / 5) in 'Language.CNF.Parse.ParseDIMACS' Documentation created: dist/doc/html/parse-dimacs/index.html, dist/doc/html/parse-dimacs/parse-dimacs.txt Creating package registration file: /tmp/pkgConf-parse-dimacs-114772.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 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.014772.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 Configuring pseudo-boolean-0.1.0.1... Building pseudo-boolean-0.1.0.1... Preprocessing library pseudo-boolean-0.1.0.1... [1 of 7] Compiling Data.PseudoBoolean.Internal.TextUtil ( src/Data/PseudoBoolean/Internal/TextUtil.hs, dist/build/Data/PseudoBoolean/Internal/TextUtil.o ) [2 of 7] Compiling Data.PseudoBoolean.Types ( src/Data/PseudoBoolean/Types.hs, dist/build/Data/PseudoBoolean/Types.o ) [3 of 7] Compiling Data.PseudoBoolean.Builder ( src/Data/PseudoBoolean/Builder.hs, dist/build/Data/PseudoBoolean/Builder.o ) [4 of 7] Compiling Data.PseudoBoolean.ByteStringBuilder ( src/Data/PseudoBoolean/ByteStringBuilder.hs, dist/build/Data/PseudoBoolean/ByteStringBuilder.o ) [5 of 7] Compiling Data.PseudoBoolean.Attoparsec ( src/Data/PseudoBoolean/Attoparsec.hs, dist/build/Data/PseudoBoolean/Attoparsec.o ) [6 of 7] Compiling Data.PseudoBoolean.Parsec ( src/Data/PseudoBoolean/Parsec.hs, dist/build/Data/PseudoBoolean/Parsec.o ) [7 of 7] Compiling Data.PseudoBoolean ( src/Data/PseudoBoolean.hs, dist/build/Data/PseudoBoolean.o ) In-place registering pseudo-boolean-0.1.0.1... Running Haddock for pseudo-boolean-0.1.0.1... Running hscolour for pseudo-boolean-0.1.0.1... Preprocessing library pseudo-boolean-0.1.0.1... Preprocessing library pseudo-boolean-0.1.0.1... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: bytestring-builder-0.10.6.0.0 Haddock coverage: 100% ( 2 / 2) in 'Data.PseudoBoolean.Internal.TextUtil' 100% ( 15 / 15) in 'Data.PseudoBoolean.Types' 100% ( 7 / 7) in 'Data.PseudoBoolean.Builder' 100% ( 12 / 12) in 'Data.PseudoBoolean.ByteStringBuilder' 100% ( 9 / 9) in 'Data.PseudoBoolean.Attoparsec' 100% ( 11 / 11) in 'Data.PseudoBoolean.Parsec' 100% ( 32 / 32) in 'Data.PseudoBoolean' Documentation created: dist/doc/html/pseudo-boolean/index.html, dist/doc/html/pseudo-boolean/pseudo-boolean.txt Creating package registration file: /tmp/pkgConf-pseudo-boolean-0.1.014772.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/pseudo-boolean-0.1.0.1 Registering pseudo-boolean-0.1.0.1... Installed pseudo-boolean-0.1.0.1 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.214772.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 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.414772.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 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-014772.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.614772.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.10.2... Building vector-space-0.10.2... Preprocessing library vector-space-0.10.2... [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.10.2... Running Haddock for vector-space-0.10.2... Running hscolour for vector-space-0.10.2... Preprocessing library vector-space-0.10.2... Preprocessing library vector-space-0.10.2... Haddock coverage: 100% ( 6 / 6) 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-0.1014772.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/vector-space-0.10.2 Registering vector-space-0.10.2... Installed vector-space-0.10.2 Configuring toysolver-0.3.0... Building toysolver-0.3.0... Preprocessing library toysolver-0.3.0... [ 1 of 108] Compiling Paths_toysolver ( dist/build/autogen/Paths_toysolver.hs, dist/build/Paths_toysolver.o ) [ 2 of 108] Compiling ToySolver.Version ( src/ToySolver/Version.hs, dist/build/ToySolver/Version.o ) [ 3 of 108] Compiling ToySolver.Internal.Data.SeqQueue ( src/ToySolver/Internal/Data/SeqQueue.hs, dist/build/ToySolver/Internal/Data/SeqQueue.o ) [ 4 of 108] Compiling ToySolver.Text.SDPFile ( src/ToySolver/Text/SDPFile.hs, dist/build/ToySolver/Text/SDPFile.o ) [ 5 of 108] Compiling ToySolver.Text.GurobiSol ( src/ToySolver/Text/GurobiSol.hs, dist/build/ToySolver/Text/GurobiSol.o ) [ 6 of 108] Compiling ToySolver.Internal.Data.IOURef ( src/ToySolver/Internal/Data/IOURef.hs, dist/build/ToySolver/Internal/Data/IOURef.o ) [ 7 of 108] Compiling ToySolver.Internal.Data.Vec ( src/ToySolver/Internal/Data/Vec.hs, dist/build/ToySolver/Internal/Data/Vec.o ) [ 8 of 108] Compiling ToySolver.Internal.Data.IndexedPriorityQueue ( src/ToySolver/Internal/Data/IndexedPriorityQueue.hs, dist/build/ToySolver/Internal/Data/IndexedPriorityQueue.o ) [ 9 of 108] 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() [ 10 of 108] 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:837:17: Warning: This binding for ‘xs1’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:832:5 src/ToySolver/Data/Polynomial/Base.hs:837:31: Warning: This binding for ‘xs2’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:832:9 src/ToySolver/Data/Polynomial/Base.hs:852:17: Warning: This binding for ‘xs1’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:847:8 src/ToySolver/Data/Polynomial/Base.hs:852:31: Warning: This binding for ‘xs2’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:847:12 [ 11 of 108] 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: [] [ 12 of 108] Compiling ToySolver.Data.Polynomial.Factorization.Hensel ( src/ToySolver/Data/Polynomial/Factorization/Hensel.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Hensel.o ) [ 13 of 108] Compiling ToySolver.Data.Polynomial.Factorization.SquareFree ( src/ToySolver/Data/Polynomial/Factorization/SquareFree.hs, dist/build/ToySolver/Data/Polynomial/Factorization/SquareFree.o ) [ 14 of 108] Compiling ToySolver.Internal.TextUtil ( src/ToySolver/Internal/TextUtil.hs, dist/build/ToySolver/Internal/TextUtil.o ) [ 15 of 108] Compiling ToySolver.Data.MIP.Base ( src/ToySolver/Data/MIP/Base.hs, dist/build/ToySolver/Data/MIP/Base.o ) [ 16 of 108] Compiling ToySolver.Data.MIP.MPSFile ( src/ToySolver/Data/MIP/MPSFile.hs, dist/build/ToySolver/Data/MIP/MPSFile.o ) src/ToySolver/Data/MIP/MPSFile.hs:278:109: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:282:26: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:647:35: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:733:18: Warning: This binding for ‘qm’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:712:7 src/ToySolver/Data/MIP/MPSFile.hs:736:18: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:736:23: Warning: This binding for ‘qm’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:712:7 src/ToySolver/Data/MIP/MPSFile.hs:764:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:771:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:778:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:785:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:792:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:820:5: Warning: Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: (_ : _) [] src/ToySolver/Data/MIP/MPSFile.hs:826:5: Warning: Pattern match(es) are non-exhaustive In an equation for ‘g’: Patterns not matched: (_ : _) [] [ 17 of 108] Compiling ToySolver.Data.LBool ( src/ToySolver/Data/LBool.hs, dist/build/ToySolver/Data/LBool.o ) [ 18 of 108] Compiling ToySolver.Converter.SAT2PB ( src/ToySolver/Converter/SAT2PB.hs, dist/build/ToySolver/Converter/SAT2PB.o ) [ 19 of 108] Compiling ToySolver.Converter.PB2SMP ( src/ToySolver/Converter/PB2SMP.hs, dist/build/ToySolver/Converter/PB2SMP.o ) [ 20 of 108] Compiling ToySolver.Converter.PB2WBO ( src/ToySolver/Converter/PB2WBO.hs, dist/build/ToySolver/Converter/PB2WBO.o ) [ 21 of 108] Compiling ToySolver.Converter.PB2LSP ( src/ToySolver/Converter/PB2LSP.hs, dist/build/ToySolver/Converter/PB2LSP.o ) [ 22 of 108] Compiling ToySolver.SAT.Types ( src/ToySolver/SAT/Types.hs, dist/build/ToySolver/SAT/Types.o ) [ 23 of 108] Compiling ToySolver.Converter.WBO2PB ( src/ToySolver/Converter/WBO2PB.hs, dist/build/ToySolver/Converter/WBO2PB.o ) [ 24 of 108] Compiling ToySolver.SAT.TheorySolver ( src/ToySolver/SAT/TheorySolver.hs, dist/build/ToySolver/SAT/TheorySolver.o ) [ 25 of 108] Compiling ToySolver.SAT.MUS.Types ( src/ToySolver/SAT/MUS/Types.hs, dist/build/ToySolver/SAT/MUS/Types.o ) [ 26 of 108] Compiling ToySolver.SAT.PBO.Context ( src/ToySolver/SAT/PBO/Context.hs, dist/build/ToySolver/SAT/PBO/Context.o ) [ 27 of 108] Compiling ToySolver.SAT.Printer ( src/ToySolver/SAT/Printer.hs, dist/build/ToySolver/SAT/Printer.o ) [ 28 of 108] Compiling ToySolver.Text.GCNF ( src/ToySolver/Text/GCNF.hs, dist/build/ToySolver/Text/GCNF.o ) [ 29 of 108] 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 [ 30 of 108] Compiling ToySolver.Converter.MaxSAT2WBO ( src/ToySolver/Converter/MaxSAT2WBO.hs, dist/build/ToySolver/Converter/MaxSAT2WBO.o ) [ 31 of 108] Compiling ToySolver.Converter.MaxSAT2NLPB ( src/ToySolver/Converter/MaxSAT2NLPB.hs, dist/build/ToySolver/Converter/MaxSAT2NLPB.o ) [ 32 of 108] Compiling ToySolver.Converter.ObjType ( src/ToySolver/Converter/ObjType.hs, dist/build/ToySolver/Converter/ObjType.o ) [ 33 of 108] Compiling ToySolver.Converter.PBSetObj ( src/ToySolver/Converter/PBSetObj.hs, dist/build/ToySolver/Converter/PBSetObj.o ) [ 34 of 108] Compiling ToySolver.Combinatorial.Knapsack.DP ( src/ToySolver/Combinatorial/Knapsack/DP.hs, dist/build/ToySolver/Combinatorial/Knapsack/DP.o ) [ 35 of 108] Compiling ToySolver.Combinatorial.Knapsack.BB ( src/ToySolver/Combinatorial/Knapsack/BB.hs, dist/build/ToySolver/Combinatorial/Knapsack/BB.o ) [ 36 of 108] Compiling ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 ( src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs, dist/build/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.o ) src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:83:1: Warning: Defined but not used: ‘volume’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:86:1: Warning: Defined but not used: ‘condition_1_1’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:96:1: Warning: Defined but not used: ‘condition_1_2’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:114:1: Warning: Defined but not used: ‘condition_1_3’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:144:13: Warning: This binding for ‘vs’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:140:5 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:144:17: Warning: This binding for ‘f’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:135:21 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:144:19: Warning: This binding for ‘g’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:135:23 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:241:19: Warning: This binding for ‘x’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:241:5 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:305:25: Warning: This binding for ‘x’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:305:11 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:377:1: Warning: Defined but not used: ‘test_condition_1_1_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:377:1: Warning: Top-level binding with no type signature: test_condition_1_1_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:383:1: Warning: Defined but not used: ‘test_condition_1_1_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:383:1: Warning: Top-level binding with no type signature: test_condition_1_1_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:389:1: Warning: Defined but not used: ‘test_condition_1_2_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:389:1: Warning: Top-level binding with no type signature: test_condition_1_2_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:395:1: Warning: Defined but not used: ‘test_condition_1_2_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:395:1: Warning: Top-level binding with no type signature: test_condition_1_2_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:401:1: Warning: Defined but not used: ‘test_condition_1_3_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:401:1: Warning: Top-level binding with no type signature: test_condition_1_3_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:407:1: Warning: Defined but not used: ‘test_condition_1_3_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:407:1: Warning: Top-level binding with no type signature: test_condition_1_3_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:413:1: Warning: Defined but not used: ‘test_condition_2_1_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:413:1: Warning: Top-level binding with no type signature: test_condition_2_1_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:419:1: Warning: Defined but not used: ‘test_condition_2_1_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:419:1: Warning: Top-level binding with no type signature: test_condition_2_1_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:425:1: Warning: Defined but not used: ‘test_checkDualityA’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:425:1: Warning: Top-level binding with no type signature: test_checkDualityA :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:430:1: Warning: Defined but not used: ‘test_checkDualityB’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:430:1: Warning: Top-level binding with no type signature: test_checkDualityB :: Bool [ 37 of 108] Compiling ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999 ( src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs, dist/build/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.o ) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:28: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/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:55:39: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:67:29: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:76:21: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:88:22: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:108:22: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:121:5: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:128:21: Warning: Defined but not used: ‘d’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:134:1: Warning: Defined but not used: ‘evalCNF’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1: Warning: Defined but not used: ‘f’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1: Warning: Top-level binding with no type signature: f :: Set IntSet src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:138:1: Warning: Defined but not used: ‘g’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:138:1: Warning: Top-level binding with no type signature: g :: Set IntSet src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:140:1: Warning: Defined but not used: ‘testA1’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:140:1: Warning: Top-level binding with no type signature: testA1 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:141:1: Warning: Defined but not used: ‘testA2’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:141:1: Warning: Top-level binding with no type signature: testA2 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:142:1: Warning: Defined but not used: ‘testA3’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:142:1: Warning: Top-level binding with no type signature: testA3 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:143:1: Warning: Defined but not used: ‘testA4’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:143:1: Warning: Top-level binding with no type signature: testA4 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:145:1: Warning: Defined but not used: ‘testB1’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:145:1: Warning: Top-level binding with no type signature: testB1 :: Maybe (Either IntSet IntSet) [ 38 of 108] Compiling ToySolver.Internal.ProcessUtil ( src/ToySolver/Internal/ProcessUtil.hs, dist/build/ToySolver/Internal/ProcessUtil.o ) [ 39 of 108] Compiling ToySolver.Combinatorial.HittingSet.SHD ( src/ToySolver/Combinatorial/HittingSet/SHD.hs, dist/build/ToySolver/Combinatorial/HittingSet/SHD.o ) [ 40 of 108] Compiling ToySolver.Combinatorial.HittingSet.HTCBDD ( src/ToySolver/Combinatorial/HittingSet/HTCBDD.hs, dist/build/ToySolver/Combinatorial/HittingSet/HTCBDD.o ) [ 41 of 108] Compiling ToySolver.Combinatorial.HittingSet.Simple ( src/ToySolver/Combinatorial/HittingSet/Simple.hs, dist/build/ToySolver/Combinatorial/HittingSet/Simple.o ) [ 42 of 108] Compiling ToySolver.SAT ( src/ToySolver/SAT.hs, dist/build/ToySolver/SAT.o ) src/ToySolver/SAT.hs:214:3: Warning: This binding for ‘watches’ shadows the existing binding defined at src/ToySolver/SAT.hs:541:1 src/ToySolver/SAT.hs:541:1: Warning: Defined but not used: ‘watches’ src/ToySolver/SAT.hs:1293:15: Warning: This binding for ‘constr’ shadows the existing binding bound at src/ToySolver/SAT.hs:1282:17 src/ToySolver/SAT.hs:1312:15: Warning: This binding for ‘constr’ shadows the existing binding bound at src/ToySolver/SAT.hs:1300:33 src/ToySolver/SAT.hs:1406:27: Warning: This binding for ‘solver’ shadows the existing binding bound at src/ToySolver/SAT.hs:1390:25 src/ToySolver/SAT.hs:1726:15: Warning: This binding for ‘ret’ shadows the existing binding bound at src/ToySolver/SAT.hs:1722:11 src/ToySolver/SAT.hs:1950:35: Warning: This binding for ‘lhs’ shadows the existing binding bound at src/ToySolver/SAT.hs:1940:26 src/ToySolver/SAT.hs:2421:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2413:36 src/ToySolver/SAT.hs:2423:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2413:36 src/ToySolver/SAT.hs:2459:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2451:37 src/ToySolver/SAT.hs:2461:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2451:37 src/ToySolver/SAT.hs:2835:18: Warning: This binding for ‘i’ shadows the existing binding bound at src/ToySolver/SAT.hs:2827:5 src/ToySolver/SAT.hs:3080:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3077:11 src/ToySolver/SAT.hs:3082:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3077:11 src/ToySolver/SAT.hs:3082:25: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/SAT.hs:3077:13 src/ToySolver/SAT.hs:3230:44: Warning: This binding for ‘l’ shadows the existing binding bound at src/ToySolver/SAT.hs:3218:30 src/ToySolver/SAT.hs:3238:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3235:11 src/ToySolver/SAT.hs:3240:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3235:11 src/ToySolver/SAT.hs:3240:25: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/SAT.hs:3235:13 src/ToySolver/SAT.hs:3286:11: Warning: This binding for ‘watchsum’ shadows the existing binding bound at src/ToySolver/SAT.hs:3276:3 src/ToySolver/SAT.hs:3402:13: Warning: This binding for ‘ref’ shadows the existing binding bound at src/ToySolver/SAT.hs:3361:7 [ 43 of 108] Compiling ToySolver.SAT.MUS ( src/ToySolver/SAT/MUS.hs, dist/build/ToySolver/SAT/MUS.o ) [ 44 of 108] Compiling ToySolver.SAT.MUS.CAMUS ( src/ToySolver/SAT/MUS/CAMUS.hs, dist/build/ToySolver/SAT/MUS/CAMUS.o ) [ 45 of 108] 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:89: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:89:14: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/SAT/MUS/DAA.hs:87:10 [ 46 of 108] Compiling ToySolver.SAT.MUS.QuickXplain ( src/ToySolver/SAT/MUS/QuickXplain.hs, dist/build/ToySolver/SAT/MUS/QuickXplain.o ) [ 47 of 108] Compiling ToySolver.SAT.PBO.BC ( src/ToySolver/SAT/PBO/BC.hs, dist/build/ToySolver/SAT/PBO/BC.o ) [ 48 of 108] 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 [ 49 of 108] 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’ [ 50 of 108] Compiling ToySolver.SAT.PBO.UnsatBased ( src/ToySolver/SAT/PBO/UnsatBased.hs, dist/build/ToySolver/SAT/PBO/UnsatBased.o ) [ 51 of 108] Compiling ToySolver.SAT.PBO.MSU4 ( src/ToySolver/SAT/PBO/MSU4.hs, dist/build/ToySolver/SAT/PBO/MSU4.o ) [ 52 of 108] Compiling ToySolver.SAT.PBO ( src/ToySolver/SAT/PBO.hs, dist/build/ToySolver/SAT/PBO.o ) [ 53 of 108] 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 _, _) [ 54 of 108] Compiling ToySolver.Data.Boolean ( src/ToySolver/Data/Boolean.hs, dist/build/ToySolver/Data/Boolean.o ) [ 55 of 108] Compiling ToySolver.FOLModelFinder ( src/ToySolver/FOLModelFinder.hs, dist/build/ToySolver/FOLModelFinder.o ) [ 56 of 108] Compiling ToySolver.Data.Polynomial.GroebnerBasis ( src/ToySolver/Data/Polynomial/GroebnerBasis.hs, dist/build/ToySolver/Data/Polynomial/GroebnerBasis.o ) [ 57 of 108] 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)) [ 58 of 108] 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 [ 59 of 108] Compiling ToySolver.Data.Polynomial.Factorization.Integer ( src/ToySolver/Data/Polynomial/Factorization/Integer.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Integer.o ) [ 60 of 108] Compiling ToySolver.Data.Polynomial.Factorization.Rational ( src/ToySolver/Data/Polynomial/Factorization/Rational.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Rational.o ) [ 61 of 108] Compiling ToySolver.Data.Polynomial ( src/ToySolver/Data/Polynomial.hs, dist/build/ToySolver/Data/Polynomial.o ) [ 62 of 108] Compiling ToySolver.Data.AlgebraicNumber.Root ( src/ToySolver/Data/AlgebraicNumber/Root.hs, dist/build/ToySolver/Data/AlgebraicNumber/Root.o ) [ 63 of 108] Compiling ToySolver.Data.AlgebraicNumber.Sturm ( src/ToySolver/Data/AlgebraicNumber/Sturm.hs, dist/build/ToySolver/Data/AlgebraicNumber/Sturm.o ) [ 64 of 108] Compiling ToySolver.Data.Polynomial.Interpolation.Lagrange ( src/ToySolver/Data/Polynomial/Interpolation/Lagrange.hs, dist/build/ToySolver/Data/Polynomial/Interpolation/Lagrange.o ) [ 65 of 108] Compiling ToySolver.Data.AlgebraicNumber.Graeffe ( src/ToySolver/Data/AlgebraicNumber/Graeffe.hs, dist/build/ToySolver/Data/AlgebraicNumber/Graeffe.o ) [ 66 of 108] Compiling ToySolver.Data.DNF ( src/ToySolver/Data/DNF.hs, dist/build/ToySolver/Data/DNF.o ) [ 67 of 108] Compiling ToySolver.Data.AlgebraicNumber.Real ( src/ToySolver/Data/AlgebraicNumber/Real.hs, dist/build/ToySolver/Data/AlgebraicNumber/Real.o ) [ 68 of 108] Compiling ToySolver.Internal.Util ( src/ToySolver/Internal/Util.hs, dist/build/ToySolver/Internal/Util.o ) [ 69 of 108] Compiling ToySolver.Data.Delta ( src/ToySolver/Data/Delta.hs, dist/build/ToySolver/Data/Delta.o ) [ 70 of 108] Compiling ToySolver.Data.MIP.LPFile ( src/ToySolver/Data/MIP/LPFile.hs, dist/build/ToySolver/Data/MIP/LPFile.o ) src/ToySolver/Data/MIP/LPFile.hs:623:10: Warning: This binding for ‘label’ shadows the existing binding defined at src/ToySolver/Data/MIP/LPFile.hs:97:1 [ 71 of 108] Compiling ToySolver.Data.MIP ( src/ToySolver/Data/MIP.hs, dist/build/ToySolver/Data/MIP.o ) [ 72 of 108] Compiling ToySolver.Converter.MIP2SMT ( src/ToySolver/Converter/MIP2SMT.hs, dist/build/ToySolver/Converter/MIP2SMT.o ) src/ToySolver/Converter/MIP2SMT.hs:96:17: Warning: Defined but not used: ‘mip’ src/ToySolver/Converter/MIP2SMT.hs:162:7: Warning: This binding for ‘r’ shadows the existing binding bound at src/ToySolver/Converter/MIP2SMT.hs:148:13 src/ToySolver/Converter/MIP2SMT.hs:385:1: Warning: Defined but not used: ‘testFile’ src/ToySolver/Converter/MIP2SMT.hs:392:1: Warning: Defined but not used: ‘test’ src/ToySolver/Converter/MIP2SMT.hs:395:7: Warning: Defined but not used: ‘testdata’ [ 73 of 108] Compiling ToySolver.Converter.PB2IP ( src/ToySolver/Converter/PB2IP.hs, dist/build/ToySolver/Converter/PB2IP.o ) [ 74 of 108] Compiling ToySolver.Converter.MaxSAT2IP ( src/ToySolver/Converter/MaxSAT2IP.hs, dist/build/ToySolver/Converter/MaxSAT2IP.o ) [ 75 of 108] Compiling ToySolver.Converter.SAT2IP ( src/ToySolver/Converter/SAT2IP.hs, dist/build/ToySolver/Converter/SAT2IP.o ) [ 76 of 108] Compiling ToySolver.Data.Polynomial.Factorization.Kronecker ( src/ToySolver/Data/Polynomial/Factorization/Kronecker.hs, dist/build/ToySolver/Data/Polynomial/Factorization/Kronecker.o ) [ 77 of 108] Compiling ToySolver.Data.Var ( src/ToySolver/Data/Var.hs, dist/build/ToySolver/Data/Var.o ) [ 78 of 108] Compiling ToySolver.Data.BoolExpr ( src/ToySolver/Data/BoolExpr.hs, dist/build/ToySolver/Data/BoolExpr.o ) src/ToySolver/Data/BoolExpr.hs:116: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’ [ 79 of 108] Compiling ToySolver.SAT.TseitinEncoder ( src/ToySolver/SAT/TseitinEncoder.hs, dist/build/ToySolver/SAT/TseitinEncoder.o ) src/ToySolver/SAT/TseitinEncoder.hs:81: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/TseitinEncoder.hs:216:13: Warning: This binding for ‘solver’ shadows the existing binding bound at src/ToySolver/SAT/TseitinEncoder.hs:197:7 [ 80 of 108] Compiling ToySolver.SAT.PBNLC ( src/ToySolver/SAT/PBNLC.hs, dist/build/ToySolver/SAT/PBNLC.o ) src/ToySolver/SAT/PBNLC.hs:49:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:49:7 src/ToySolver/SAT/PBNLC.hs:50:65: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:49:7 src/ToySolver/SAT/PBNLC.hs:69:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:69:7 src/ToySolver/SAT/PBNLC.hs:70:41: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:69:7 src/ToySolver/SAT/PBNLC.hs:81:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:81:7 src/ToySolver/SAT/PBNLC.hs:82:65: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:81:7 src/ToySolver/SAT/PBNLC.hs:103:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:103:7 src/ToySolver/SAT/PBNLC.hs:104:41: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:103:7 [ 81 of 108] 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 [ 82 of 108] Compiling ToySolver.Data.FOL.Formula ( src/ToySolver/Data/FOL/Formula.hs, dist/build/ToySolver/Data/FOL/Formula.o ) [ 83 of 108] Compiling ToySolver.Data.ArithRel ( src/ToySolver/Data/ArithRel.hs, dist/build/ToySolver/Data/ArithRel.o ) [ 84 of 108] Compiling ToySolver.Data.LA ( src/ToySolver/Data/LA.hs, dist/build/ToySolver/Data/LA.o ) [ 85 of 108] 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’ [ 86 of 108] Compiling ToySolver.Arith.CAD ( src/ToySolver/Arith/CAD.hs, dist/build/ToySolver/Arith/CAD.o ) [ 87 of 108] Compiling ToySolver.Data.AlgebraicNumber.Complex ( src/ToySolver/Data/AlgebraicNumber/Complex.hs, dist/build/ToySolver/Data/AlgebraicNumber/Complex.o ) [ 88 of 108] Compiling ToySolver.Data.FOL.Arith ( src/ToySolver/Data/FOL/Arith.hs, dist/build/ToySolver/Data/FOL/Arith.o ) [ 89 of 108] Compiling ToySolver.Data.LA.FOL ( src/ToySolver/Data/LA/FOL.hs, dist/build/ToySolver/Data/LA/FOL.o ) [ 90 of 108] 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 [ 91 of 108] Compiling ToySolver.Arith.FourierMotzkin.Optimization ( src/ToySolver/Arith/FourierMotzkin/Optimization.hs, dist/build/ToySolver/Arith/FourierMotzkin/Optimization.o ) [ 92 of 108] 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() [ 93 of 108] Compiling ToySolver.Arith.FourierMotzkin ( src/ToySolver/Arith/FourierMotzkin.hs, dist/build/ToySolver/Arith/FourierMotzkin.o ) [ 94 of 108] 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’ src/ToySolver/Arith/Cooper/Base.hs:248:9: Warning: Pattern match(es) are non-exhaustive In an equation for ‘pos’: Patterns not matched: ITE _ _ _ src/ToySolver/Arith/Cooper/Base.hs:255:9: Warning: Pattern match(es) are non-exhaustive In an equation for ‘neg’: Patterns not matched: ITE _ _ _ [ 95 of 108] Compiling ToySolver.Arith.Cooper.FOL ( src/ToySolver/Arith/Cooper/FOL.hs, dist/build/ToySolver/Arith/Cooper/FOL.o ) [ 96 of 108] Compiling ToySolver.Arith.Cooper ( src/ToySolver/Arith/Cooper.hs, dist/build/ToySolver/Arith/Cooper.o ) [ 97 of 108] Compiling ToySolver.Arith.Simplex2 ( src/ToySolver/Arith/Simplex2.hs, dist/build/ToySolver/Arith/Simplex2.o ) src/ToySolver/Arith/Simplex2.hs:66:5: Warning: ‘getModel’ is exported by ‘getModel’ and ‘SolverValue(..)’ src/ToySolver/Arith/Simplex2.hs:1075:1: Warning: Pattern match(es) are overlapped In an equation for ‘checkFeasibility’: checkFeasibility solver = ... src/ToySolver/Arith/Simplex2.hs:1091:1: Warning: Pattern match(es) are overlapped In an equation for ‘checkNBFeasibility’: checkNBFeasibility solver = ... src/ToySolver/Arith/Simplex2.hs:1108:1: Warning: Pattern match(es) are overlapped In an equation for ‘checkOptimality’: checkOptimality solver = ... [ 98 of 108] Compiling ToySolver.Arith.MIPSolver2 ( src/ToySolver/Arith/MIPSolver2.hs, dist/build/ToySolver/Arith/MIPSolver2.o ) [ 99 of 108] 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 [100 of 108] Compiling ToySolver.Arith.OmegaTest.Base ( src/ToySolver/Arith/OmegaTest/Base.hs, dist/build/ToySolver/Arith/OmegaTest/Base.o ) src/ToySolver/Arith/OmegaTest/Base.hs:273:85: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/Arith/OmegaTest/Base.hs:272:5 src/ToySolver/Arith/OmegaTest/Base.hs:299:44: Warning: This binding for ‘cs’ shadows the existing binding bound at src/ToySolver/Arith/OmegaTest/Base.hs:299:14 [101 of 108] Compiling ToySolver.Arith.OmegaTest ( src/ToySolver/Arith/OmegaTest.hs, dist/build/ToySolver/Arith/OmegaTest.o ) [102 of 108] Compiling ToySolver.SAT.Integer ( src/ToySolver/SAT/Integer.hs, dist/build/ToySolver/SAT/Integer.o ) [103 of 108] Compiling ToySolver.Arith.BoundsInference ( src/ToySolver/Arith/BoundsInference.hs, dist/build/ToySolver/Arith/BoundsInference.o ) [104 of 108] Compiling ToySolver.Arith.LPUtil ( src/ToySolver/Arith/LPUtil.hs, dist/build/ToySolver/Arith/LPUtil.o ) [105 of 108] Compiling ToySolver.Arith.ContiTraverso ( src/ToySolver/Arith/ContiTraverso.hs, dist/build/ToySolver/Arith/ContiTraverso.o ) [106 of 108] 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’ [107 of 108] 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’ [108 of 108] 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.3.0... Preprocessing executable 'toysolver' for toysolver-0.3.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.3.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.3.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.3.0... [1 of 1] Compiling Main ( pbconvert/pbconvert.hs, dist/build/pbconvert/pbconvert-tmp/Main.o ) pbconvert/pbconvert.hs:152:24: Warning: This binding for ‘opb’ shadows the existing binding bound at pbconvert/pbconvert.hs:151:11 pbconvert/pbconvert.hs:153:25: Warning: This binding for ‘wbo’ shadows the existing binding bound at pbconvert/pbconvert.hs:154:11 pbconvert/pbconvert.hs:155:24: Warning: This binding for ‘opb’ shadows the existing binding bound at pbconvert/pbconvert.hs:151:11 pbconvert/pbconvert.hs:156:25: Warning: This binding for ‘wbo’ shadows the existing binding bound at pbconvert/pbconvert.hs:154:11 pbconvert/pbconvert.hs:158:24: Warning: This binding for ‘opb’ shadows the existing binding bound at pbconvert/pbconvert.hs:151:11 pbconvert/pbconvert.hs:159:25: Warning: This binding for ‘wbo’ shadows the existing binding bound at pbconvert/pbconvert.hs:154:11 pbconvert/pbconvert.hs:161:24: Warning: This binding for ‘opb’ shadows the existing binding bound at pbconvert/pbconvert.hs:151:11 pbconvert/pbconvert.hs:162:25: Warning: This binding for ‘wbo’ shadows the existing binding bound at pbconvert/pbconvert.hs:154:11 Linking dist/build/pbconvert/pbconvert ... Running Haddock for toysolver-0.3.0... Running hscolour for toysolver-0.3.0... Preprocessing library toysolver-0.3.0... Preprocessing executable 'toysolver' for toysolver-0.3.0... Preprocessing executable 'toysat' for toysolver-0.3.0... Preprocessing executable 'lpconvert' for toysolver-0.3.0... Preprocessing executable 'pbconvert' for toysolver-0.3.0... Preprocessing library toysolver-0.3.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: bytestring-builder-0.10.6.0.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:837:17: Warning: This binding for ‘xs1’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:832:5 src/ToySolver/Data/Polynomial/Base.hs:837:31: Warning: This binding for ‘xs2’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:832:9 src/ToySolver/Data/Polynomial/Base.hs:852:17: Warning: This binding for ‘xs1’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:847:8 src/ToySolver/Data/Polynomial/Base.hs:852:31: Warning: This binding for ‘xs2’ shadows the existing binding bound at src/ToySolver/Data/Polynomial/Base.hs:847: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/Data/MIP/MPSFile.hs:278:109: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:282:26: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:647:35: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:733:18: Warning: This binding for ‘qm’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:712:7 src/ToySolver/Data/MIP/MPSFile.hs:736:18: Warning: This binding for ‘row’ shadows the existing binding defined at src/ToySolver/Data/MIP/MPSFile.hs:112:1 src/ToySolver/Data/MIP/MPSFile.hs:736:23: Warning: This binding for ‘qm’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:712:7 src/ToySolver/Data/MIP/MPSFile.hs:764:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:771:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:778:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:785:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759:13 src/ToySolver/Data/MIP/MPSFile.hs:792:11: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/Data/MIP/MPSFile.hs:759: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/FredmanKhachiyan1996.hs:83:1: Warning: Defined but not used: ‘volume’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:86:1: Warning: Defined but not used: ‘condition_1_1’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:96:1: Warning: Defined but not used: ‘condition_1_2’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:114:1: Warning: Defined but not used: ‘condition_1_3’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:144:13: Warning: This binding for ‘vs’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:140:5 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:144:17: Warning: This binding for ‘f’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:135:21 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:144:19: Warning: This binding for ‘g’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:135:23 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:241:19: Warning: This binding for ‘x’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:241:5 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:305:25: Warning: This binding for ‘x’ shadows the existing binding bound at src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:305:11 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:377:1: Warning: Defined but not used: ‘test_condition_1_1_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:377:1: Warning: Top-level binding with no type signature: test_condition_1_1_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:383:1: Warning: Defined but not used: ‘test_condition_1_1_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:383:1: Warning: Top-level binding with no type signature: test_condition_1_1_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:389:1: Warning: Defined but not used: ‘test_condition_1_2_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:389:1: Warning: Top-level binding with no type signature: test_condition_1_2_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:395:1: Warning: Defined but not used: ‘test_condition_1_2_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:395:1: Warning: Top-level binding with no type signature: test_condition_1_2_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:401:1: Warning: Defined but not used: ‘test_condition_1_3_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:401:1: Warning: Top-level binding with no type signature: test_condition_1_3_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:407:1: Warning: Defined but not used: ‘test_condition_1_3_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:407:1: Warning: Top-level binding with no type signature: test_condition_1_3_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:413:1: Warning: Defined but not used: ‘test_condition_2_1_solve_L’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:413:1: Warning: Top-level binding with no type signature: test_condition_2_1_solve_L :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:419:1: Warning: Defined but not used: ‘test_condition_2_1_solve_R’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:419:1: Warning: Top-level binding with no type signature: test_condition_2_1_solve_R :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:425:1: Warning: Defined but not used: ‘test_checkDualityA’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:425:1: Warning: Top-level binding with no type signature: test_checkDualityA :: Bool src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:430:1: Warning: Defined but not used: ‘test_checkDualityB’ src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs:430:1: Warning: Top-level binding with no type signature: test_checkDualityB :: Bool src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:28: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/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:55:39: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:67:29: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:76:21: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:88:22: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:108:22: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:121:5: Warning: This binding for ‘f’ shadows the existing binding defined at src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1 src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:128:21: Warning: Defined but not used: ‘d’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:134:1: Warning: Defined but not used: ‘evalCNF’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1: Warning: Defined but not used: ‘f’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:137:1: Warning: Top-level binding with no type signature: f :: Set IntSet src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:138:1: Warning: Defined but not used: ‘g’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:138:1: Warning: Top-level binding with no type signature: g :: Set IntSet src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:140:1: Warning: Defined but not used: ‘testA1’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:140:1: Warning: Top-level binding with no type signature: testA1 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:141:1: Warning: Defined but not used: ‘testA2’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:141:1: Warning: Top-level binding with no type signature: testA2 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:142:1: Warning: Defined but not used: ‘testA3’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:142:1: Warning: Top-level binding with no type signature: testA3 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:143:1: Warning: Defined but not used: ‘testA4’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:143:1: Warning: Top-level binding with no type signature: testA4 :: Maybe (Either IntSet IntSet) src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:145:1: Warning: Defined but not used: ‘testB1’ src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs:145:1: Warning: Top-level binding with no type signature: testB1 :: Maybe (Either IntSet IntSet) src/ToySolver/SAT.hs:214:3: Warning: This binding for ‘watches’ shadows the existing binding defined at src/ToySolver/SAT.hs:541:1 src/ToySolver/SAT.hs:541:1: Warning: Defined but not used: ‘watches’ src/ToySolver/SAT.hs:1293:15: Warning: This binding for ‘constr’ shadows the existing binding bound at src/ToySolver/SAT.hs:1282:17 src/ToySolver/SAT.hs:1312:15: Warning: This binding for ‘constr’ shadows the existing binding bound at src/ToySolver/SAT.hs:1300:33 src/ToySolver/SAT.hs:1406:27: Warning: This binding for ‘solver’ shadows the existing binding bound at src/ToySolver/SAT.hs:1390:25 src/ToySolver/SAT.hs:1726:15: Warning: This binding for ‘ret’ shadows the existing binding bound at src/ToySolver/SAT.hs:1722:11 src/ToySolver/SAT.hs:1950:35: Warning: This binding for ‘lhs’ shadows the existing binding bound at src/ToySolver/SAT.hs:1940:26 src/ToySolver/SAT.hs:2421:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2413:36 src/ToySolver/SAT.hs:2423:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2413:36 src/ToySolver/SAT.hs:2459:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2451:37 src/ToySolver/SAT.hs:2461:11: Warning: This binding for ‘end’ shadows the existing binding bound at src/ToySolver/SAT.hs:2451:37 src/ToySolver/SAT.hs:2835:18: Warning: This binding for ‘i’ shadows the existing binding bound at src/ToySolver/SAT.hs:2827:5 src/ToySolver/SAT.hs:3080:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3077:11 src/ToySolver/SAT.hs:3082:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3077:11 src/ToySolver/SAT.hs:3082:25: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/SAT.hs:3077:13 src/ToySolver/SAT.hs:3230:44: Warning: This binding for ‘l’ shadows the existing binding bound at src/ToySolver/SAT.hs:3218:30 src/ToySolver/SAT.hs:3238:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3235:11 src/ToySolver/SAT.hs:3240:14: Warning: This binding for ‘s’ shadows the existing binding bound at src/ToySolver/SAT.hs:3235:11 src/ToySolver/SAT.hs:3240:25: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/SAT.hs:3235:13 src/ToySolver/SAT.hs:3286:11: Warning: This binding for ‘watchsum’ shadows the existing binding bound at src/ToySolver/SAT.hs:3276:3 src/ToySolver/SAT.hs:3402:13: Warning: This binding for ‘ref’ shadows the existing binding bound at src/ToySolver/SAT.hs:3361:7 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:89: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:89:14: Warning: This binding for ‘xs’ shadows the existing binding bound at src/ToySolver/SAT/MUS/DAA.hs:87: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/Data/MIP/LPFile.hs:623:10: Warning: This binding for ‘label’ shadows the existing binding defined at src/ToySolver/Data/MIP/LPFile.hs:97:1 src/ToySolver/Converter/MIP2SMT.hs:96:17: Warning: Defined but not used: ‘mip’ src/ToySolver/Converter/MIP2SMT.hs:162:7: Warning: This binding for ‘r’ shadows the existing binding bound at src/ToySolver/Converter/MIP2SMT.hs:148:13 src/ToySolver/Converter/MIP2SMT.hs:385:1: Warning: Defined but not used: ‘testFile’ src/ToySolver/Converter/MIP2SMT.hs:392:1: Warning: Defined but not used: ‘test’ src/ToySolver/Converter/MIP2SMT.hs:395:7: Warning: Defined but not used: ‘testdata’ src/ToySolver/SAT/TseitinEncoder.hs:81: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/TseitinEncoder.hs:216:13: Warning: This binding for ‘solver’ shadows the existing binding bound at src/ToySolver/SAT/TseitinEncoder.hs:197:7 src/ToySolver/SAT/PBNLC.hs:49:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:49:7 src/ToySolver/SAT/PBNLC.hs:50:65: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:49:7 src/ToySolver/SAT/PBNLC.hs:69:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:69:7 src/ToySolver/SAT/PBNLC.hs:70:41: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:69:7 src/ToySolver/SAT/PBNLC.hs:81:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:81:7 src/ToySolver/SAT/PBNLC.hs:82:65: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:81:7 src/ToySolver/SAT/PBNLC.hs:103:21: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:103:7 src/ToySolver/SAT/PBNLC.hs:104:41: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/SAT/PBNLC.hs:103:7 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:66: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:273:85: Warning: This binding for ‘c’ shadows the existing binding bound at src/ToySolver/Arith/OmegaTest/Base.hs:272:5 src/ToySolver/Arith/OmegaTest/Base.hs:299:44: Warning: This binding for ‘cs’ shadows the existing binding bound at src/ToySolver/Arith/OmegaTest/Base.hs:299: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' 50% ( 5 / 10) in 'ToySolver.Internal.Data.SeqQueue' 50% ( 11 / 22) in 'ToySolver.Text.SDPFile' 0% ( 0 / 3) in 'ToySolver.Text.GurobiSol' 17% ( 1 / 6) in 'ToySolver.Internal.Data.IOURef' 36% ( 9 / 25) in 'ToySolver.Internal.Data.Vec' 70% ( 16 / 23) in 'ToySolver.Internal.Data.IndexedPriorityQueue' 79% ( 15 / 19) in 'ToySolver.Internal.Data.PriorityQueue' 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' 67% ( 2 / 3) in 'ToySolver.Internal.TextUtil' 75% ( 24 / 32) in 'ToySolver.Data.MIP.Base' 80% ( 4 / 5) in 'ToySolver.Data.MIP.MPSFile' 100% ( 8 / 8) in 'ToySolver.Data.LBool' 50% ( 1 / 2) in 'ToySolver.Converter.SAT2PB' 50% ( 1 / 2) in 'ToySolver.Converter.PB2SMP' 50% ( 1 / 2) in 'ToySolver.Converter.PB2WBO' 33% ( 1 / 3) in 'ToySolver.Converter.PB2LSP' 38% ( 21 / 56) in 'ToySolver.SAT.Types' 50% ( 1 / 2) in 'ToySolver.Converter.WBO2PB' 0% ( 0 / 3) in 'ToySolver.SAT.TheorySolver' 100% ( 7 / 7) in 'ToySolver.SAT.MUS.Types' 0% ( 0 / 15) in 'ToySolver.SAT.PBO.Context' 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' 92% ( 12 / 13) in 'ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996' 60% ( 3 / 5) in 'ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999' 50% ( 1 / 2) in 'ToySolver.Internal.ProcessUtil' 20% ( 1 / 5) in 'ToySolver.Combinatorial.HittingSet.SHD' 17% ( 1 / 6) in 'ToySolver.Combinatorial.HittingSet.HTCBDD' 33% ( 1 / 3) in 'ToySolver.Combinatorial.HittingSet.Simple' 72% ( 66 / 92) 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' 100% ( 5 / 5) in 'ToySolver.SAT.MUS.QuickXplain' 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.Data.MIP.LPFile' 58% ( 7 / 12) 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' 65% ( 17 / 26) in 'ToySolver.SAT.TseitinEncoder' 80% ( 12 / 15) in 'ToySolver.SAT.PBNLC' 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. 30% ( 18 / 60) 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.FredmanKhachiyan1996: could not find link destinations for: ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996.condition_1_2 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.3.0... Preprocessing executable 'toysat' for toysolver-0.3.0... Preprocessing executable 'lpconvert' for toysolver-0.3.0... Preprocessing executable 'pbconvert' for toysolver-0.3.0... Creating package registration file: /tmp/pkgConf-toysolver-0.314772.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/toysolver-0.3.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.3.0... Installed toysolver-0.3.0 Downloading satchmo-toysat-0.2.1.0... Configuring satchmo-toysat-0.2.1.0... Building satchmo-toysat-0.2.1.0... Preprocessing library satchmo-toysat-0.2.1.0... [1 of 1] Compiling Satchmo.SAT.Toysat ( src/Satchmo/SAT/Toysat.hs, dist/build/Satchmo/SAT/Toysat.o ) src/Satchmo/SAT/Toysat.hs:56:10: Warning: No explicit implementation for ‘fresh_forall’ In the instance declaration for ‘MonadSAT SAT’ In-place registering satchmo-toysat-0.2.1.0... Running Haddock for satchmo-toysat-0.2.1.0... Running hscolour for satchmo-toysat-0.2.1.0... Preprocessing library satchmo-toysat-0.2.1.0... Preprocessing library satchmo-toysat-0.2.1.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: bytestring-builder-0.10.6.0.0 src/Satchmo/SAT/Toysat.hs:56:10: Warning: No explicit implementation for ‘fresh_forall’ In the instance declaration for ‘MonadSAT SAT’ Haddock coverage: 17% ( 1 / 6) in 'Satchmo.SAT.Toysat' Documentation created: dist/doc/html/satchmo-toysat/index.html, dist/doc/html/satchmo-toysat/satchmo-toysat.txt Creating package registration file: /tmp/pkgConf-satchmo-toysat-0.2.114772.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/satchmo-toysat-0.2.1.0 Registering satchmo-toysat-0.2.1.0... Installed satchmo-toysat-0.2.1.0