Resolving dependencies... Configuring HUnit-1.3.0.0... Building HUnit-1.3.0.0... Preprocessing library HUnit-1.3.0.0... [1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o ) [2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o ) [3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o ) [4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o ) [5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o ) In-place registering HUnit-1.3.0.0... Running Haddock for HUnit-1.3.0.0... Running hscolour for HUnit-1.3.0.0... Preprocessing library HUnit-1.3.0.0... Preprocessing library HUnit-1.3.0.0... Haddock coverage: 100% ( 2 / 2) in 'Test.HUnit.Terminal' 56% ( 5 / 9) in 'Test.HUnit.Lang' Missing documentation for: Module header Location (Test/HUnit/Lang.hs:38) Result (Test/HUnit/Lang.hs:74) HUnitFailure (Test/HUnit/Lang.hs:44) 97% ( 33 / 34) in 'Test.HUnit.Base' Missing documentation for: Location (Test/HUnit/Lang.hs:38) 100% ( 8 / 8) in 'Test.HUnit.Text' 100% ( 3 / 3) in 'Test.HUnit' Documentation created: dist/doc/html/HUnit/index.html, dist/doc/html/HUnit/HUnit.txt Creating package registration file: /tmp/pkgConf-HUnit-1.3.0278722862233665123.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/HUnit-1.3.0.0-DDLSMCRs3jyLBDbJPCH01j Registering HUnit-1.3.0.0... Installed HUnit-1.3.0.0 Configuring base-compat-0.8.2... Building base-compat-0.8.2... Preprocessing library base-compat-0.8.2... [ 1 of 23] Compiling Text.Read.Compat ( src/Text/Read/Compat.hs, dist/build/Text/Read/Compat.o ) [ 2 of 23] Compiling System.Exit.Compat ( src/System/Exit/Compat.hs, dist/build/System/Exit/Compat.o ) [ 3 of 23] Compiling System.Environment.Compat ( src/System/Environment/Compat.hs, dist/build/System/Environment/Compat.o ) [ 4 of 23] Compiling Prelude.Compat ( src/Prelude/Compat.hs, dist/build/Prelude/Compat.o ) [ 5 of 23] Compiling Numeric.Compat ( src/Numeric/Compat.hs, dist/build/Numeric/Compat.o ) [ 6 of 23] Compiling Foreign.Marshal.Utils.Compat ( src/Foreign/Marshal/Utils/Compat.hs, dist/build/Foreign/Marshal/Utils/Compat.o ) [ 7 of 23] Compiling Foreign.Marshal.Array.Compat ( src/Foreign/Marshal/Array/Compat.hs, dist/build/Foreign/Marshal/Array/Compat.o ) [ 8 of 23] Compiling Foreign.Marshal.Alloc.Compat ( src/Foreign/Marshal/Alloc/Compat.hs, dist/build/Foreign/Marshal/Alloc/Compat.o ) [ 9 of 23] Compiling Foreign.Marshal.Compat ( src/Foreign/Marshal/Compat.hs, dist/build/Foreign/Marshal/Compat.o ) [10 of 23] Compiling Foreign.Compat ( src/Foreign/Compat.hs, dist/build/Foreign/Compat.o ) [11 of 23] Compiling Debug.Trace.Compat ( src/Debug/Trace/Compat.hs, dist/build/Debug/Trace/Compat.o ) [12 of 23] Compiling Data.Word.Compat ( src/Data/Word/Compat.hs, dist/build/Data/Word/Compat.o ) [13 of 23] Compiling Data.Version.Compat ( src/Data/Version/Compat.hs, dist/build/Data/Version/Compat.o ) [14 of 23] Compiling Data.Monoid.Compat ( src/Data/Monoid/Compat.hs, dist/build/Data/Monoid/Compat.o ) [15 of 23] Compiling Data.List.Compat ( src/Data/List/Compat.hs, dist/build/Data/List/Compat.o ) [16 of 23] Compiling Data.Functor.Compat ( src/Data/Functor/Compat.hs, dist/build/Data/Functor/Compat.o ) [17 of 23] Compiling Data.Function.Compat ( src/Data/Function/Compat.hs, dist/build/Data/Function/Compat.o ) [18 of 23] Compiling Data.Foldable.Compat ( src/Data/Foldable/Compat.hs, dist/build/Data/Foldable/Compat.o ) [19 of 23] Compiling Data.Either.Compat ( src/Data/Either/Compat.hs, dist/build/Data/Either/Compat.o ) [20 of 23] Compiling Data.Bool.Compat ( src/Data/Bool/Compat.hs, dist/build/Data/Bool/Compat.o ) [21 of 23] Compiling Data.Bits.Compat ( src/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o ) [22 of 23] Compiling Control.Monad.Compat ( src/Control/Monad/Compat.hs, dist/build/Control/Monad/Compat.o ) [23 of 23] Compiling Control.Concurrent.MVar.Compat ( src/Control/Concurrent/MVar/Compat.hs, dist/build/Control/Concurrent/MVar/Compat.o ) In-place registering base-compat-0.8.2... Running Haddock for base-compat-0.8.2... Running hscolour for base-compat-0.8.2... Preprocessing library base-compat-0.8.2... Preprocessing library base-compat-0.8.2... Haddock coverage: 89% ( 16 / 18) in 'Text.Read.Compat' Missing documentation for: Module header Lexeme Warning: System.Exit.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'System.Exit.Compat' Missing documentation for: Module header 100% ( 10 / 10) in 'System.Environment.Compat' Warning: Prelude.Compat: Could not find documentation for exported module: Base 0% ( 0 / 1) in 'Prelude.Compat' Missing documentation for: Module header Warning: Numeric.Compat: Could not find documentation for exported module: Base 67% ( 2 / 3) in 'Numeric.Compat' Missing documentation for: Module header Warning: Foreign.Marshal.Utils.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'Foreign.Marshal.Utils.Compat' Missing documentation for: Module header Warning: Foreign.Marshal.Array.Compat: Could not find documentation for exported module: Base 67% ( 2 / 3) in 'Foreign.Marshal.Array.Compat' Missing documentation for: Module header Warning: Foreign.Marshal.Alloc.Compat: Could not find documentation for exported module: Base 67% ( 2 / 3) in 'Foreign.Marshal.Alloc.Compat' Missing documentation for: Module header Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Base Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Alloc Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Array Warning: Foreign.Marshal.Compat: Could not find documentation for exported module: Utils 0% ( 0 / 1) in 'Foreign.Marshal.Compat' Missing documentation for: Module header Warning: Foreign.Compat: Could not find documentation for exported module: Base Warning: Foreign.Compat: Could not find documentation for exported module: Marshal 0% ( 0 / 1) in 'Foreign.Compat' Missing documentation for: Module header Warning: Debug.Trace.Compat: Could not find documentation for exported module: Base 80% ( 4 / 5) in 'Debug.Trace.Compat' Missing documentation for: Module header Warning: Data.Word.Compat: Could not find documentation for exported module: Base 75% ( 3 / 4) in 'Data.Word.Compat' Missing documentation for: Module header Warning: Data.Version.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'Data.Version.Compat' Missing documentation for: Module header Warning: Data.Monoid.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'Data.Monoid.Compat' Missing documentation for: Module header Warning: Data.List.Compat: Could not find documentation for exported module: Base 0% ( 0 / 1) in 'Data.List.Compat' Missing documentation for: Module header Warning: Data.Functor.Compat: Could not find documentation for exported module: Base 75% ( 3 / 4) in 'Data.Functor.Compat' Missing documentation for: Module header Warning: Data.Function.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'Data.Function.Compat' Missing documentation for: Module header Warning: Data.Foldable.Compat: Could not find documentation for exported module: Base 0% ( 0 / 1) in 'Data.Foldable.Compat' Missing documentation for: Module header Warning: Data.Either.Compat: Could not find documentation for exported module: Base 67% ( 2 / 3) in 'Data.Either.Compat' Missing documentation for: Module header Warning: Data.Bool.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'Data.Bool.Compat' Missing documentation for: Module header Warning: Data.Bits.Compat: Could not find documentation for exported module: Base 80% ( 4 / 5) in 'Data.Bits.Compat' Missing documentation for: Module header Warning: Control.Monad.Compat: Could not find documentation for exported module: Base 67% ( 2 / 3) in 'Control.Monad.Compat' Missing documentation for: Module header Warning: Control.Concurrent.MVar.Compat: Could not find documentation for exported module: Base 50% ( 1 / 2) in 'Control.Concurrent.MVar.Compat' Missing documentation for: Module header Warning: Data.Functor.Compat: could not find link destinations for: P Warning: Control.Monad.Compat: could not find link destinations for: P Documentation created: dist/doc/html/base-compat/index.html, dist/doc/html/base-compat/base-compat.txt Creating package registration file: /tmp/pkgConf-base-compat-0.83524062191600028624.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/base-compat-0.8.2-D4gHocz8sOX8PHzFB3nfQT Registering base-compat-0.8.2... Installed base-compat-0.8.2 Configuring data-binary-ieee754-0.4.4... Building data-binary-ieee754-0.4.4... Preprocessing library data-binary-ieee754-0.4.4... [1 of 1] Compiling Data.Binary.IEEE754 ( lib/Data/Binary/IEEE754.hs, dist/build/Data/Binary/IEEE754.o ) lib/Data/Binary/IEEE754.hs:12:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:13:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:14:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:15:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:16:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:17:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:18:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:19:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:20:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:21:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:22:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:23:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:78:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:79:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:83:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:84:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:88:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:89:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:90:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:91:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:92:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:93:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:94:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:95:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:96:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:97:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:98:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:99:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:100:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:101:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:102:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:103:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:104:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:105:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:106:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:107:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:108:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:109:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:110:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:111:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:112:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:113:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:114:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:115:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:116:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:117:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:118:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:119:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:120:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:121:1: Warning: Tab character In-place registering data-binary-ieee754-0.4.4... Running Haddock for data-binary-ieee754-0.4.4... Running hscolour for data-binary-ieee754-0.4.4... Preprocessing library data-binary-ieee754-0.4.4... Preprocessing library data-binary-ieee754-0.4.4... lib/Data/Binary/IEEE754.hs:12:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:13:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:14:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:15:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:16:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:17:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:18:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:19:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:20:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:21:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:22:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:23:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:78:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:79:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:83:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:84:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:88:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:89:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:90:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:91:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:92:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:93:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:94:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:95:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:96:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:97:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:98:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:99:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:100:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:101:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:102:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:103:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:104:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:105:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:106:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:107:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:108:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:109:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:110:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:111:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:112:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:113:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:114:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:115:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:116:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:117:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:118:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:119:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:120:1: Warning: Tab character lib/Data/Binary/IEEE754.hs:121:1: Warning: Tab character Haddock coverage: 22% ( 4 / 18) in 'Data.Binary.IEEE754' Missing documentation for: getFloat16be (lib/Data/Binary/IEEE754.hs:34) getFloat16le (lib/Data/Binary/IEEE754.hs:37) getFloat32be (lib/Data/Binary/IEEE754.hs:40) getFloat32le (lib/Data/Binary/IEEE754.hs:43) getFloat64be (lib/Data/Binary/IEEE754.hs:46) getFloat64le (lib/Data/Binary/IEEE754.hs:49) putFloat32be (lib/Data/Binary/IEEE754.hs:52) putFloat32le (lib/Data/Binary/IEEE754.hs:55) putFloat64be (lib/Data/Binary/IEEE754.hs:58) putFloat64le (lib/Data/Binary/IEEE754.hs:61) floatToWord (lib/Data/Binary/IEEE754.hs:64) wordToFloat (lib/Data/Binary/IEEE754.hs:67) doubleToWord (lib/Data/Binary/IEEE754.hs:70) wordToDouble (lib/Data/Binary/IEEE754.hs:73) Documentation created: dist/doc/html/data-binary-ieee754/index.html, dist/doc/html/data-binary-ieee754/data-binary-ieee754.txt Creating package registration file: /tmp/pkgConf-data-binary-ieee754-0.417801722611450956042.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-binary-ieee754-0.4.4-KzyGDnetmi56TA3jcsc9cN Registering data-binary-ieee754-0.4.4... Installed data-binary-ieee754-0.4.4 Configuring ieee754-0.7.6... Building ieee754-0.7.6... Preprocessing library ieee754-0.7.6... [1 of 2] Compiling Numeric.IEEE ( Numeric/IEEE.hs, dist/build/Numeric/IEEE.o ) [2 of 2] Compiling Data.AEq ( Data/AEq.hs, dist/build/Data/AEq.o ) In-place registering ieee754-0.7.6... Running Haddock for ieee754-0.7.6... Running hscolour for ieee754-0.7.6... Preprocessing library ieee754-0.7.6... Preprocessing library ieee754-0.7.6... Haddock coverage: 100% ( 8 / 8) in 'Numeric.IEEE' 100% ( 2 / 2) in 'Data.AEq' Documentation created: dist/doc/html/ieee754/index.html, dist/doc/html/ieee754/ieee754.txt Creating package registration file: /tmp/pkgConf-ieee754-0.712320568561745790417.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/ieee754-0.7.6-83kzroviKXw4npyWO9tKff Registering ieee754-0.7.6... Installed ieee754-0.7.6 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' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 5 / 5) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' Missing documentation for: MonadRWS (Control/Monad/RWS/Class.hs:44) 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) 100% ( 3 / 3) in 'Control.Monad.Trans' 93% ( 14 / 15) in 'Control.Monad.Error' Missing documentation for: runErrorT 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' Missing documentation for: runRWST 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' Missing documentation for: runReaderT 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' Missing documentation for: runRWST 96% ( 24 / 25) in 'Control.Monad.State.Lazy' Missing documentation for: runStateT 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' Missing documentation for: runStateT 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) runWriterT 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 91% ( 20 / 22) in 'Control.Monad.Cont' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) runContT Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.213722617962073785404.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU Registering mtl-2.2.1... Installed mtl-2.2.1 Configuring old-locale-1.0.0.7... Building old-locale-1.0.0.7... Preprocessing library old-locale-1.0.0.7... [1 of 1] Compiling System.Locale ( System/Locale.hs, dist/build/System/Locale.o ) In-place registering old-locale-1.0.0.7... Running Haddock for old-locale-1.0.0.7... Running hscolour for old-locale-1.0.0.7... Preprocessing library old-locale-1.0.0.7... Preprocessing library old-locale-1.0.0.7... Haddock coverage: 60% ( 3 / 5) in 'System.Locale' Missing documentation for: TimeLocale (System/Locale.hs:36) defaultTimeLocale (System/Locale.hs:49) Documentation created: dist/doc/html/old-locale/index.html, dist/doc/html/old-locale/old-locale.txt Creating package registration file: /tmp/pkgConf-old-locale-1.0.0627992393481928577.7 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-locale-1.0.0.7-D6X1KPq5Sui5XjrHMwvFwK Registering old-locale-1.0.0.7... Installed old-locale-1.0.0.7 Configuring primitive-0.6.1.0... Building primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... [ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o ) [ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o ) [ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o ) [ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o ) Control/Monad/Primitive.hs:41:1: Warning: Module ‘Control.Monad.Trans.Error’ is deprecated: Use Control.Monad.Trans.Except instead Control/Monad/Primitive.hs:100:11: Warning: In the use of type constructor or class ‘Error’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:100:47: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:101:19: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" [ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o ) [ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o ) [ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o ) [ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o ) [ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o ) [10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o ) In-place registering primitive-0.6.1.0... Running Haddock for primitive-0.6.1.0... Running hscolour for primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... Preprocessing library primitive-0.6.1.0... Control/Monad/Primitive.hs:41:1: Warning: Module ‘Control.Monad.Trans.Error’ is deprecated: Use Control.Monad.Trans.Except instead Control/Monad/Primitive.hs:100:11: Warning: In the use of type constructor or class ‘Error’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:100:47: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Primitive.hs:101:19: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Haddock coverage: 100% ( 3 / 3) in 'Data.Primitive.Internal.Compat' 3% ( 1 / 35) in 'Data.Primitive.MachDeps' Missing documentation for: sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19) sIZEOF_INT (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19) sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19) aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19) sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19) aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19) sIZEOF_PTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19) sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19) sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19) aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19) sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19) sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19) sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19) aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19) Word64_# (Data/Primitive/MachDeps.hs:120) Int64_# (Data/Primitive/MachDeps.hs:121) 3% ( 1 / 29) in 'Data.Primitive.Internal.Operations' Missing documentation for: setWord8Array# (Data/Primitive/Internal/Operations.hs:33) setWord16Array# (Data/Primitive/Internal/Operations.hs:35) setWord32Array# (Data/Primitive/Internal/Operations.hs:37) setWord64Array# (Data/Primitive/Internal/Operations.hs:39) setWordArray# (Data/Primitive/Internal/Operations.hs:41) setInt8Array# (Data/Primitive/Internal/Operations.hs:43) setInt16Array# (Data/Primitive/Internal/Operations.hs:45) setInt32Array# (Data/Primitive/Internal/Operations.hs:47) setInt64Array# (Data/Primitive/Internal/Operations.hs:49) setIntArray# (Data/Primitive/Internal/Operations.hs:51) setAddrArray# (Data/Primitive/Internal/Operations.hs:53) setFloatArray# (Data/Primitive/Internal/Operations.hs:55) setDoubleArray# (Data/Primitive/Internal/Operations.hs:57) setWideCharArray# (Data/Primitive/Internal/Operations.hs:59) setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62) setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64) setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66) setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68) setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70) setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72) setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74) setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76) setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78) setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80) setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82) setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84) setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86) setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88) 75% ( 12 / 16) in 'Control.Monad.Primitive' Missing documentation for: unsafeInlinePrim (Control/Monad/Primitive.hs:189) unsafeInlineIO (Control/Monad/Primitive.hs:193) unsafeInlineST (Control/Monad/Primitive.hs:197) touch (Control/Monad/Primitive.hs:201) 100% ( 3 / 3) in 'Data.Primitive.Types' 100% ( 15 / 15) in 'Data.Primitive.Array' 93% ( 27 / 29) in 'Data.Primitive.ByteArray' Missing documentation for: ByteArray# MutableByteArray# 100% ( 16 / 16) in 'Data.Primitive.Addr' 100% ( 7 / 7) in 'Data.Primitive' 100% ( 9 / 9) in 'Data.Primitive.MutVar' Documentation created: dist/doc/html/primitive/index.html, dist/doc/html/primitive/primitive.txt Creating package registration file: /tmp/pkgConf-primitive-0.6.11119399015610486506.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/primitive-0.6.1.0-5Jnw7oEuYtM9dmKXelGXVb Registering primitive-0.6.1.0... Installed primitive-0.6.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 ) System/Random.hs:43:1: Warning: Tab character System/Random.hs:45:1: Warning: Tab character System/Random.hs:47:1: Warning: Tab character System/Random.hs:53:1: Warning: Tab character System/Random.hs:55:1: Warning: Tab character System/Random.hs:56:1: Warning: Tab character System/Random.hs:57:1: Warning: Tab character System/Random.hs:59:1: Warning: Tab character System/Random.hs:61:1: Warning: Tab character System/Random.hs:63:1: Warning: Tab character System/Random.hs:64:1: Warning: Tab character System/Random.hs:65:1: Warning: Tab character System/Random.hs:66:1: Warning: Tab character System/Random.hs:68:1: Warning: Tab character System/Random.hs:69:1: Warning: Tab character System/Random.hs:70:1: Warning: Tab character System/Random.hs:71:1: Warning: Tab character System/Random.hs:73:1: Warning: Tab character System/Random.hs:74:1: Warning: Tab character System/Random.hs:76:1: Warning: Tab character System/Random.hs:90:22: Warning: Tab character System/Random.hs:91:17: Warning: Tab character System/Random.hs:94:17: Warning: Tab character System/Random.hs:102:15: Warning: Tab character System/Random.hs:240:1: Warning: Tab character System/Random.hs:241:1: Warning: Tab character System/Random.hs:249:1: Warning: Tab character System/Random.hs:269:1: Warning: Tab character System/Random.hs:270:1: Warning: Tab character System/Random.hs:271:1: Warning: Tab character System/Random.hs:272:1: Warning: Tab character System/Random.hs:273:1: Warning: Tab character System/Random.hs:326:11: Warning: Tab character System/Random.hs:343:11: Warning: Tab character System/Random.hs:384:11: Warning: Tab character System/Random.hs:395:1: Warning: Tab character System/Random.hs:396:1: Warning: Tab character System/Random.hs:396:20: Warning: Tab character System/Random.hs:397:1: Warning: Tab character System/Random.hs:397:20: Warning: Tab character System/Random.hs:399:11: Warning: Tab character System/Random.hs:406:1: Warning: Tab character System/Random.hs:415:1: Warning: Tab character System/Random.hs:428:1: Warning: Tab character System/Random.hs:429:1: Warning: Tab character System/Random.hs:430:1: Warning: Tab character System/Random.hs:440:3: Warning: Tab character System/Random.hs:502:1: Warning: Tab character System/Random.hs:503:1: Warning: Tab character System/Random.hs:504:1: Warning: Tab character System/Random.hs:506:1: Warning: Tab character System/Random.hs:507:1: Warning: Tab character System/Random.hs:508:1: Warning: Tab character System/Random.hs:519:1: Warning: Tab character System/Random.hs:519:14: Warning: Tab character System/Random.hs:520:1: Warning: Tab character System/Random.hs:522:1: Warning: Tab character System/Random.hs:523:1: Warning: Tab character System/Random.hs:524:1: Warning: Tab character System/Random.hs:526:1: Warning: Tab character System/Random.hs:527:1: Warning: Tab character System/Random.hs:528:1: Warning: Tab character 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... System/Random.hs:43:1: Warning: Tab character System/Random.hs:45:1: Warning: Tab character System/Random.hs:47:1: Warning: Tab character System/Random.hs:53:1: Warning: Tab character System/Random.hs:55:1: Warning: Tab character System/Random.hs:56:1: Warning: Tab character System/Random.hs:57:1: Warning: Tab character System/Random.hs:59:1: Warning: Tab character System/Random.hs:61:1: Warning: Tab character System/Random.hs:63:1: Warning: Tab character System/Random.hs:64:1: Warning: Tab character System/Random.hs:65:1: Warning: Tab character System/Random.hs:66:1: Warning: Tab character System/Random.hs:68:1: Warning: Tab character System/Random.hs:69:1: Warning: Tab character System/Random.hs:70:1: Warning: Tab character System/Random.hs:71:1: Warning: Tab character System/Random.hs:73:1: Warning: Tab character System/Random.hs:74:1: Warning: Tab character System/Random.hs:76:1: Warning: Tab character System/Random.hs:90:22: Warning: Tab character System/Random.hs:91:17: Warning: Tab character System/Random.hs:94:17: Warning: Tab character System/Random.hs:102:15: Warning: Tab character System/Random.hs:240:1: Warning: Tab character System/Random.hs:241:1: Warning: Tab character System/Random.hs:249:1: Warning: Tab character System/Random.hs:269:1: Warning: Tab character System/Random.hs:270:1: Warning: Tab character System/Random.hs:271:1: Warning: Tab character System/Random.hs:272:1: Warning: Tab character System/Random.hs:273:1: Warning: Tab character System/Random.hs:326:11: Warning: Tab character System/Random.hs:343:11: Warning: Tab character System/Random.hs:384:11: Warning: Tab character System/Random.hs:395:1: Warning: Tab character System/Random.hs:396:1: Warning: Tab character System/Random.hs:396:20: Warning: Tab character System/Random.hs:397:1: Warning: Tab character System/Random.hs:397:20: Warning: Tab character System/Random.hs:399:11: Warning: Tab character System/Random.hs:406:1: Warning: Tab character System/Random.hs:415:1: Warning: Tab character System/Random.hs:428:1: Warning: Tab character System/Random.hs:429:1: Warning: Tab character System/Random.hs:430:1: Warning: Tab character System/Random.hs:440:3: Warning: Tab character System/Random.hs:502:1: Warning: Tab character System/Random.hs:503:1: Warning: Tab character System/Random.hs:504:1: Warning: Tab character System/Random.hs:506:1: Warning: Tab character System/Random.hs:507:1: Warning: Tab character System/Random.hs:508:1: Warning: Tab character System/Random.hs:519:1: Warning: Tab character System/Random.hs:519:14: Warning: Tab character System/Random.hs:520:1: Warning: Tab character System/Random.hs:522:1: Warning: Tab character System/Random.hs:523:1: Warning: Tab character System/Random.hs:524:1: Warning: Tab character System/Random.hs:526:1: Warning: Tab character System/Random.hs:527:1: Warning: Tab character System/Random.hs:528:1: Warning: Tab character 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-1455843485827385948.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/random-1.1-1z8Ujelqc6aKgvPnbRUKkP 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' Missing documentation for: Module header STM (Control/Sequential/STM.hs:29) atomically (Control/Sequential/STM.hs:47) throwSTM (Control/Sequential/STM.hs:54) catchSTM (Control/Sequential/STM.hs:57) TVar (Control/Sequential/STM.hs:72) newTVar (Control/Sequential/STM.hs:75) newTVarIO (Control/Sequential/STM.hs:78) readTVar (Control/Sequential/STM.hs:83) readTVarIO (Control/Sequential/STM.hs:86) writeTVar (Control/Sequential/STM.hs:89) 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' Missing documentation for: check (Control/Monad/STM.hs:81) 100% ( 8 / 8) in 'Control.Concurrent.STM' 40% ( 2 / 5) in 'Control.Concurrent.STM.TSem' Missing documentation for: newTSem (Control/Concurrent/STM/TSem.hs:42) waitTSem (Control/Concurrent/STM/TSem.hs:45) signalTSem (Control/Concurrent/STM/TSem.hs:51) Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt Creating package registration file: /tmp/pkgConf-stm-2.4272312086359147515.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/stm-2.4.4-C1kFMnPqFjvDhFjgMZGUpr Registering stm-2.4.4... Installed stm-2.4.4 Configuring syb-0.6... Building syb-0.6... Preprocessing library syb-0.6... [ 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.6... Running Haddock for syb-0.6... Running hscolour for syb-0.6... Preprocessing library syb-0.6... Preprocessing library syb-0.6... 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' Missing documentation for: GenericQ' (src/Data/Generics/Aliases.hs:268) GenericM' (src/Data/Generics/Aliases.hs:269) 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-09431904951541417540.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR Registering syb-0.6... Installed syb-0.6 Configuring crackNum-1.3... Building crackNum-1.3... Preprocessing library crackNum-1.3... [1 of 3] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/Data/Numbers/CrackNum/Data.o ) [2 of 3] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, dist/build/Data/Numbers/CrackNum/Utils.o ) [3 of 3] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, dist/build/Data/Numbers/CrackNum.o ) In-place registering crackNum-1.3... Preprocessing executable 'crackNum' for crackNum-1.3... [1 of 5] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Data.o ) [2 of 5] Compiling Paths_crackNum ( dist/build/autogen/Paths_crackNum.hs, dist/build/crackNum/crackNum-tmp/Paths_crackNum.o ) [3 of 5] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Utils.o ) [4 of 5] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum.o ) [5 of 5] Compiling Main ( Data/Numbers/CrackNum/Main.hs, dist/build/crackNum/crackNum-tmp/Main.o ) Linking dist/build/crackNum/crackNum ... Running Haddock for crackNum-1.3... Running hscolour for crackNum-1.3... Preprocessing library crackNum-1.3... Preprocessing executable 'crackNum' for crackNum-1.3... Preprocessing library crackNum-1.3... Haddock coverage: 100% ( 7 / 7) in 'Data.Numbers.CrackNum.Data' 100% ( 34 / 34) in 'Data.Numbers.CrackNum.Utils' 100% ( 14 / 14) in 'Data.Numbers.CrackNum' Documentation created: dist/doc/html/crackNum/index.html, dist/doc/html/crackNum/crackNum.txt Preprocessing executable 'crackNum' for crackNum-1.3... Creating package registration file: /tmp/pkgConf-crackNum-12049197811716898500.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/crackNum-1.3-1eCcDcPz7qCApKTjiqogtz 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 crackNum-1.3... Installed crackNum-1.3 Configuring old-time-1.1.0.3... configure: WARNING: unrecognized options: --with-compiler, --with-gcc checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/timeb.h usability... yes checking sys/timeb.h presence... yes checking for sys/timeb.h... yes checking time.h usability... yes checking time.h presence... yes checking for time.h... yes checking for ftime... yes checking for gmtime_r... yes checking for localtime_r... yes checking for gettimeofday... yes checking whether struct tm is in sys/time.h or time.h... time.h checking for struct tm.tm_zone... yes checking whether time.h and sys/time.h may both be included... yes checking for sys/time.h... (cached) yes checking whether altzone is declared... no configure: creating ./config.status config.status: creating include/HsTimeConfig.h configure: WARNING: unrecognized options: --with-compiler, --with-gcc Building old-time-1.1.0.3... Preprocessing library old-time-1.1.0.3... [1 of 1] Compiling System.Time ( dist/build/System/Time.hs, dist/build/System/Time.o ) In-place registering old-time-1.1.0.3... Running Haddock for old-time-1.1.0.3... Running hscolour for old-time-1.1.0.3... Preprocessing library old-time-1.1.0.3... Preprocessing library old-time-1.1.0.3... Haddock coverage: 95% ( 20 / 21) in 'System.Time' Missing documentation for: getClockTime (System/Time.hsc:232) Documentation created: dist/doc/html/old-time/index.html, dist/doc/html/old-time/old-time.txt Creating package registration file: /tmp/pkgConf-old-time-1.1.0523782140936621968.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-time-1.1.0.3-FBWJJDS5FKr7UKFScBcUW2 Registering old-time-1.1.0.3... Installed old-time-1.1.0.3 Configuring tf-random-0.5... Building tf-random-0.5... Preprocessing library tf-random-0.5... [1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o ) [2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o ) src/System/Random/TF/Init.hs:94:5: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" [3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o ) [4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o ) In-place registering tf-random-0.5... Running Haddock for tf-random-0.5... Running hscolour for tf-random-0.5... Preprocessing library tf-random-0.5... Preprocessing library tf-random-0.5... src/System/Random/TF/Init.hs:94:5: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Haddock coverage: 100% ( 4 / 4) in 'System.Random.TF.Gen' 83% ( 5 / 6) in 'System.Random.TF.Init' Missing documentation for: Module header 33% ( 1 / 3) in 'System.Random.TF.Instances' Missing documentation for: Random (src/System/Random/TF/Instances.hs:37) randomEnum (src/System/Random/TF/Instances.hs:205) 100% ( 3 / 3) in 'System.Random.TF' Documentation created: dist/doc/html/tf-random/index.html, dist/doc/html/tf-random/tf-random.txt Creating package registration file: /tmp/pkgConf-tf-random-08601448541579952366.5 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tf-random-0.5-28prfR75qTK8HkPsc02Mdm Registering tf-random-0.5... Installed tf-random-0.5 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 ) Control/Concurrent/Async.hs:125:1: Warning: The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable() 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... Control/Concurrent/Async.hs:125:1: Warning: The import of ‘Data.Traversable’ is redundant except perhaps to import instances from ‘Data.Traversable’ To import instances alone, use: import Data.Traversable() 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.01999038585574620392.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/async-2.0.2-J3wPtBMkDlC1zlPIsbgEk9 Registering async-2.0.2... Installed async-2.0.2 Configuring QuickCheck-2.8.1... Building QuickCheck-2.8.1... Preprocessing library QuickCheck-2.8.1... Test/QuickCheck/Arbitrary.hs:6:37: Warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS [ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o ) [ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o ) [ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o ) [ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o ) [ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o ) [ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o ) [ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o ) [ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) [14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [15 of 15] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) In-place registering QuickCheck-2.8.1... Running Haddock for QuickCheck-2.8.1... Running hscolour for QuickCheck-2.8.1... Preprocessing library QuickCheck-2.8.1... Preprocessing library QuickCheck-2.8.1... Test/QuickCheck/Arbitrary.hs:6:37: Warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS Haddock coverage: 10% ( 2 / 20) in 'Test.QuickCheck.Random' Missing documentation for: newTheGen (Test/QuickCheck/Random.hs:17) bits (Test/QuickCheck/Random.hs:20) mask (Test/QuickCheck/Random.hs:20) doneBit (Test/QuickCheck/Random.hs:20) chip (Test/QuickCheck/Random.hs:25) chop (Test/QuickCheck/Random.hs:30) stop (Test/QuickCheck/Random.hs:33) mkTheGen (Test/QuickCheck/Random.hs:36) (Test/QuickCheck/Random.hs:65) (Test/QuickCheck/Random.hs:67) (Test/QuickCheck/Random.hs:70) newQCGen (Test/QuickCheck/Random.hs:79) mkQCGen (Test/QuickCheck/Random.hs:82) bigNatVariant (Test/QuickCheck/Random.hs:85) natVariant (Test/QuickCheck/Random.hs:91) variantTheGen (Test/QuickCheck/Random.hs:97) boolVariant (Test/QuickCheck/Random.hs:103) variantQCGen (Test/QuickCheck/Random.hs:107) 33% ( 3 / 9) in 'Test.QuickCheck.Exception' Missing documentation for: AnException (Test/QuickCheck/Exception.hs:47) tryEvaluate (Test/QuickCheck/Exception.hs:79) tryEvaluateIO (Test/QuickCheck/Exception.hs:82) evaluate (Test/QuickCheck/Exception.hs:86) isDiscard (Test/QuickCheck/Exception.hs:114) finally (Test/QuickCheck/Exception.hs:129) 6% ( 1 / 18) in 'Test.QuickCheck.Text' Missing documentation for: Str (Test/QuickCheck/Text.hs:46) ranges (Test/QuickCheck/Text.hs:51) number (Test/QuickCheck/Text.hs:59) short (Test/QuickCheck/Text.hs:62) showErr (Test/QuickCheck/Text.hs:70) oneLine (Test/QuickCheck/Text.hs:73) isOneLine (Test/QuickCheck/Text.hs:76) bold (Test/QuickCheck/Text.hs:79) newTerminal (Test/QuickCheck/Text.hs:90) withStdioTerminal (Test/QuickCheck/Text.hs:104) withNullTerminal (Test/QuickCheck/Text.hs:108) terminalOutput (Test/QuickCheck/Text.hs:112) handle (Test/QuickCheck/Text.hs:115) Terminal (Test/QuickCheck/Text.hs:87) putTemp (Test/QuickCheck/Text.hs:126) putPart (Test/QuickCheck/Text.hs:126) putLine (Test/QuickCheck/Text.hs:126) 100% ( 2 / 2) in 'Test.QuickCheck.State' 89% ( 25 / 28) in 'Test.QuickCheck.Gen' Missing documentation for: (Test/QuickCheck/Gen.hs:46) (Test/QuickCheck/Gen.hs:50) (Test/QuickCheck/Gen.hs:54) 80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe' Missing documentation for: Capture (Test/QuickCheck/Gen/Unsafe.hs:50) 100% ( 32 / 32) in 'Test.QuickCheck.Arbitrary' 93% ( 14 / 15) in 'Test.QuickCheck.Modifiers' Missing documentation for: ShrinkState (Test/QuickCheck/Modifiers.hs:323) 14% ( 1 / 7) in 'Test.QuickCheck.Poly' Missing documentation for: A (Test/QuickCheck/Poly.hs:29) B (Test/QuickCheck/Poly.hs:44) C (Test/QuickCheck/Poly.hs:59) OrdA (Test/QuickCheck/Poly.hs:77) OrdB (Test/QuickCheck/Poly.hs:96) OrdC (Test/QuickCheck/Poly.hs:115) 38% ( 3 / 8) in 'Test.QuickCheck.Function' Missing documentation for: Fun (Test/QuickCheck/Function.hs:275) apply (Test/QuickCheck/Function.hs:289) Function (Test/QuickCheck/Function.hs:106) functionMap (Test/QuickCheck/Function.hs:142) functionShow (Test/QuickCheck/Function.hs:145) 62% ( 44 / 71) in 'Test.QuickCheck.Property' Missing documentation for: (Test/QuickCheck/Property.hs:95) (Test/QuickCheck/Property.hs:99) (Test/QuickCheck/Property.hs:103) (Test/QuickCheck/Property.hs:107) (Test/QuickCheck/Property.hs:111) (Test/QuickCheck/Property.hs:114) (Test/QuickCheck/Property.hs:131) protect (Test/QuickCheck/Property.hs:135) Prop (Test/QuickCheck/Property.hs:141) Rose (Test/QuickCheck/Property.hs:145) ioRose (Test/QuickCheck/Property.hs:148) joinRose (Test/QuickCheck/Property.hs:151) (Test/QuickCheck/Property.hs:160) (Test/QuickCheck/Property.hs:165) (Test/QuickCheck/Property.hs:170) CallbackKind (Test/QuickCheck/Property.hs:204) exception (Test/QuickCheck/Property.hs:220) formatException (Test/QuickCheck/Property.hs:226) protectResult (Test/QuickCheck/Property.hs:231) succeeded (Test/QuickCheck/Property.hs:234) failed (Test/QuickCheck/Property.hs:234) rejected (Test/QuickCheck/Property.hs:234) liftBool (Test/QuickCheck/Property.hs:255) mapResult (Test/QuickCheck/Property.hs:259) mapTotalResult (Test/QuickCheck/Property.hs:262) mapRoseResult (Test/QuickCheck/Property.hs:266) mapProp (Test/QuickCheck/Property.hs:269) 50% ( 14 / 28) in 'Test.QuickCheck.Test' Missing documentation for: test (Test/QuickCheck/Test.hs:179) doneTesting (Test/QuickCheck/Test.hs:185) giveUp (Test/QuickCheck/Test.hs:215) runATest (Test/QuickCheck/Test.hs:231) summary (Test/QuickCheck/Test.hs:297) success (Test/QuickCheck/Test.hs:308) labelPercentage (Test/QuickCheck/Test.hs:338) insufficientCoverage (Test/QuickCheck/Test.hs:346) foundFailure (Test/QuickCheck/Test.hs:353) localMin (Test/QuickCheck/Test.hs:357) localMin' (Test/QuickCheck/Test.hs:387) localMinFound (Test/QuickCheck/Test.hs:399) callbackPostTest (Test/QuickCheck/Test.hs:424) callbackPostFinalFailure (Test/QuickCheck/Test.hs:429) 100% ( 9 / 9) in 'Test.QuickCheck.All' 78% ( 14 / 18) in 'Test.QuickCheck.Monadic' Missing documentation for: stop (Test/QuickCheck/Monadic.hs:118) monadic (Test/QuickCheck/Monadic.hs:204) monadic' (Test/QuickCheck/Monadic.hs:207) runSTGen (Test/QuickCheck/Monadic.hs:246) 99% (127 /128) in 'Test.QuickCheck' Missing documentation for: ShrinkState (Test/QuickCheck/Modifiers.hs:323) Warning: Test.QuickCheck.Arbitrary: could not find link destinations for: RecursivelyShrink GSubterms GCoArbitrary gSubterms gSubtermsIncl Warning: Test.QuickCheck: could not find link destinations for: GCoArbitrary RecursivelyShrink GSubterms Documentation created: dist/doc/html/QuickCheck/index.html, dist/doc/html/QuickCheck/QuickCheck.txt Creating package registration file: /tmp/pkgConf-QuickCheck-2.82008532428916768482.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/QuickCheck-2.8.1-BnZKeqxVf7FCbnejbqAnPL Registering QuickCheck-2.8.1... Installed QuickCheck-2.8.1 Downloading sbv-5.5... Configuring sbv-5.5... Building sbv-5.5... Preprocessing library sbv-5.5... [ 1 of 81] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o ) [ 2 of 81] Compiling GHC.SrcLoc.Compat ( GHC/SrcLoc/Compat.hs, dist/build/GHC/SrcLoc/Compat.o ) [ 3 of 81] Compiling GHC.Stack.Compat ( GHC/Stack/Compat.hs, dist/build/GHC/Stack/Compat.o ) [ 4 of 81] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o ) [ 5 of 81] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist/build/Data/SBV/Utils/Numeric.o ) [ 6 of 81] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o ) [ 7 of 81] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o ) [ 8 of 81] Compiling Data.SBV.BitVectors.Kind ( Data/SBV/BitVectors/Kind.hs, dist/build/Data/SBV/BitVectors/Kind.o ) [ 9 of 81] Compiling Data.SBV.BitVectors.Concrete ( Data/SBV/BitVectors/Concrete.hs, dist/build/Data/SBV/BitVectors/Concrete.o ) [10 of 81] Compiling Data.SBV.BitVectors.Symbolic ( Data/SBV/BitVectors/Symbolic.hs, dist/build/Data/SBV/BitVectors/Symbolic.o ) [11 of 81] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o ) [12 of 81] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o ) [13 of 81] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o ) [14 of 81] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o ) [15 of 81] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o ) [16 of 81] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o ) [17 of 81] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o ) [18 of 81] Compiling Data.SBV.BitVectors.Operations ( Data/SBV/BitVectors/Operations.hs, dist/build/Data/SBV/BitVectors/Operations.o ) [19 of 81] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o ) [20 of 81] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o ) [21 of 81] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o ) [22 of 81] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o ) [23 of 81] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o ) [24 of 81] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o ) [25 of 81] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o ) [26 of 81] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.o ) [27 of 81] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o ) [28 of 81] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o ) [29 of 81] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o ) [30 of 81] Compiling Data.SBV.BitVectors.Floating ( Data/SBV/BitVectors/Floating.hs, dist/build/Data/SBV/BitVectors/Floating.o ) [31 of 81] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o ) [32 of 81] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o ) [33 of 81] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o ) [34 of 81] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o ) [35 of 81] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o ) [36 of 81] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o ) [37 of 81] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o ) [38 of 81] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o ) [39 of 81] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o ) [40 of 81] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o ) [41 of 81] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o ) [42 of 81] Compiling Data.SBV.Bridge.ABC ( Data/SBV/Bridge/ABC.hs, dist/build/Data/SBV/Bridge/ABC.o ) [43 of 81] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.o ) [44 of 81] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o ) [45 of 81] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o ) [46 of 81] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o ) [47 of 81] Compiling Data.SBV.Examples.BitPrecise.MultMask ( Data/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Data/SBV/Examples/BitPrecise/MultMask.o ) [48 of 81] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o ) [49 of 81] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o ) [50 of 81] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o ) [51 of 81] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o ) [52 of 81] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o ) [53 of 81] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o ) [54 of 81] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o ) [55 of 81] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o ) [56 of 81] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o ) [57 of 81] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o ) [58 of 81] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o ) [59 of 81] Compiling Data.SBV.Examples.Misc.Enumerate ( Data/SBV/Examples/Misc/Enumerate.hs, dist/build/Data/SBV/Examples/Misc/Enumerate.o ) [60 of 81] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o ) [61 of 81] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o ) [62 of 81] Compiling Data.SBV.Examples.Misc.NoDiv0 ( Data/SBV/Examples/Misc/NoDiv0.hs, dist/build/Data/SBV/Examples/Misc/NoDiv0.o ) [63 of 81] Compiling Data.SBV.Examples.Misc.Word4 ( Data/SBV/Examples/Misc/Word4.hs, dist/build/Data/SBV/Examples/Misc/Word4.o ) [64 of 81] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o ) [65 of 81] Compiling Data.SBV.Examples.Puzzles.Birthday ( Data/SBV/Examples/Puzzles/Birthday.hs, dist/build/Data/SBV/Examples/Puzzles/Birthday.o ) [66 of 81] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o ) [67 of 81] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o ) [68 of 81] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o ) [69 of 81] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o ) [70 of 81] Compiling Data.SBV.Examples.Puzzles.Fish ( Data/SBV/Examples/Puzzles/Fish.hs, dist/build/Data/SBV/Examples/Puzzles/Fish.o ) [71 of 81] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o ) [72 of 81] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o ) [73 of 81] Compiling Data.SBV.Examples.Puzzles.SendMoreMoney ( Data/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Data/SBV/Examples/Puzzles/SendMoreMoney.o ) [74 of 81] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o ) [75 of 81] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o ) [76 of 81] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o ) [77 of 81] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o ) [78 of 81] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o ) [79 of 81] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o ) [80 of 81] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o ) [81 of 81] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o ) In-place registering sbv-5.5... Preprocessing executable 'SBVUnitTests' for sbv-5.5... [ 1 of 64] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o ) [ 2 of 64] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o ) [ 3 of 64] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o ) [ 4 of 64] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o ) [ 5 of 64] Compiling Examples.CRC.CCITT ( SBVUnitTest/Examples/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT.o ) [ 6 of 64] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o ) [ 7 of 64] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o ) [ 8 of 64] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o ) [ 9 of 64] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o ) [10 of 64] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o ) [11 of 64] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o ) [12 of 64] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o ) [13 of 64] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o ) [14 of 64] Compiling Paths_sbv ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o ) [15 of 64] Compiling SBVTest ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o ) [16 of 64] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o ) [17 of 64] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o ) [18 of 64] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o ) [19 of 64] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o ) [20 of 64] Compiling TestSuite.Basics.IteTest ( SBVUnitTest/TestSuite/Basics/IteTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/IteTest.o ) [21 of 64] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o ) [22 of 64] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o ) [23 of 64] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o ) [24 of 64] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o ) [25 of 64] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o ) [26 of 64] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o ) [27 of 64] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o ) [28 of 64] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o ) [29 of 64] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o ) [30 of 64] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o ) [31 of 64] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o ) [32 of 64] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o ) [33 of 64] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o ) [34 of 64] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o ) [35 of 64] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o ) [36 of 64] Compiling TestSuite.CodeGeneration.Floats ( SBVUnitTest/TestSuite/CodeGeneration/Floats.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Floats.o ) [37 of 64] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o ) [38 of 64] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o ) [39 of 64] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o ) [40 of 64] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o ) [41 of 64] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o ) [42 of 64] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o ) [43 of 64] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o ) [44 of 64] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o ) [45 of 64] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o ) [46 of 64] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o ) [47 of 64] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o ) [48 of 64] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o ) [49 of 64] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o ) [50 of 64] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o ) [51 of 64] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o ) [52 of 64] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o ) [53 of 64] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o ) [54 of 64] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o ) [55 of 64] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o ) [56 of 64] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o ) [57 of 64] Compiling TestSuite.Uninterpreted.Sort ( SBVUnitTest/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Sort.o ) [58 of 64] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o ) [59 of 64] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o ) [60 of 64] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o ) [61 of 64] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o ) [62 of 64] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o ) [63 of 64] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o ) [64 of 64] Compiling Main ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o ) Linking dist/build/SBVUnitTests/SBVUnitTests ... Running Haddock for sbv-5.5... Running hscolour for sbv-5.5... Preprocessing library sbv-5.5... Preprocessing executable 'SBVUnitTests' for sbv-5.5... Preprocessing library sbv-5.5... Haddock coverage: 100% ( 2 / 2) in 'Data.SBV.Utils.TDiff' 100% ( 2 / 2) in 'GHC.SrcLoc.Compat' 100% ( 2 / 2) in 'GHC.Stack.Compat' 100% ( 10 / 10) in 'Data.SBV.Utils.Lib' 100% ( 10 / 10) in 'Data.SBV.Utils.Numeric' 100% ( 6 / 6) in 'Data.SBV.Utils.Boolean' 100% ( 9 / 9) in 'Data.SBV.BitVectors.AlgReals' 100% ( 4 / 4) in 'Data.SBV.BitVectors.Kind' 100% ( 20 / 20) in 'Data.SBV.BitVectors.Concrete' 100% ( 72 / 72) in 'Data.SBV.BitVectors.Symbolic' 100% (109 /109) in 'Data.SBV.BitVectors.Data' 100% ( 16 / 16) in 'Data.SBV.BitVectors.PrettyNum' 100% ( 6 / 6) in 'Data.SBV.Tools.GenTest' 100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue' 100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib2' 100% ( 42 / 42) in 'Data.SBV.Compilers.CodeGen' 100% ( 5 / 5) in 'Data.SBV.Compilers.C' 100% ( 49 / 49) in 'Data.SBV.BitVectors.Operations' 100% ( 7 / 7) in 'Data.SBV.Provers.SExpr' 100% ( 7 / 7) in 'Data.SBV.SMT.SMTLib' 100% ( 59 / 59) in 'Data.SBV.SMT.SMT' 100% ( 2 / 2) in 'Data.SBV.Provers.Boolector' 100% ( 2 / 2) in 'Data.SBV.Provers.CVC4' 100% ( 2 / 2) in 'Data.SBV.Provers.Yices' 100% ( 2 / 2) in 'Data.SBV.Provers.MathSAT' 100% ( 2 / 2) in 'Data.SBV.Provers.ABC' 100% ( 2 / 2) in 'Data.SBV.Provers.Z3' 100% ( 42 / 42) in 'Data.SBV.Provers.Prover' 100% ( 76 / 76) in 'Data.SBV.BitVectors.Model' 100% ( 9 / 9) in 'Data.SBV.BitVectors.Floating' 100% ( 4 / 4) in 'Data.SBV.BitVectors.Splittable' 100% ( 5 / 5) in 'Data.SBV.BitVectors.STree' 100% ( 7 / 7) in 'Data.SBV.Tools.Polynomial' 100% ( 55 / 55) in 'Data.SBV.Internals' 100% ( 8 / 8) in 'Data.SBV.Tools.Optimize' 100% (304 /304) in 'Data.SBV' 100% ( 18 / 18) in 'Data.SBV.Bridge.Boolector' 100% ( 18 / 18) in 'Data.SBV.Bridge.CVC4' 100% ( 18 / 18) in 'Data.SBV.Bridge.MathSAT' 100% ( 18 / 18) in 'Data.SBV.Bridge.Yices' 100% ( 18 / 18) in 'Data.SBV.Bridge.Z3' 100% ( 16 / 16) in 'Data.SBV.Bridge.ABC' 100% (158 /158) in 'Data.SBV.Dynamic' 100% ( 7 / 7) in 'Data.SBV.Examples.BitPrecise.BitTricks' 100% ( 47 / 47) in 'Data.SBV.Examples.BitPrecise.Legato' 100% ( 13 / 13) in 'Data.SBV.Examples.BitPrecise.MergeSort' 100% ( 2 / 2) in 'Data.SBV.Examples.BitPrecise.MultMask' 100% ( 17 / 17) in 'Data.SBV.Examples.BitPrecise.PrefixSum' 100% ( 3 / 3) in 'Data.SBV.Examples.CodeGeneration.AddSub' 100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.CRC_USB5' 100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.Fibonacci' 100% ( 9 / 9) in 'Data.SBV.Examples.CodeGeneration.GCD' 100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.PopulationCount' 100% ( 4 / 4) in 'Data.SBV.Examples.CodeGeneration.Uninterpreted' 100% ( 70 / 70) in 'Data.SBV.Examples.Crypto.AES' 100% ( 18 / 18) in 'Data.SBV.Examples.Crypto.RC4' 100% ( 8 / 8) in 'Data.SBV.Examples.Existentials.CRCPolynomial' 100% ( 9 / 9) in 'Data.SBV.Examples.Existentials.Diophantine' 100% ( 7 / 7) in 'Data.SBV.Examples.Misc.Enumerate' 100% ( 10 / 10) in 'Data.SBV.Examples.Misc.Floating' 100% ( 3 / 3) in 'Data.SBV.Examples.Misc.ModelExtract' 100% ( 4 / 4) in 'Data.SBV.Examples.Misc.NoDiv0' 100% ( 21 / 21) in 'Data.SBV.Examples.Misc.Word4' 100% ( 8 / 8) in 'Data.SBV.Examples.Polynomials.Polynomials' 100% ( 17 / 17) in 'Data.SBV.Examples.Puzzles.Birthday' 100% ( 11 / 11) in 'Data.SBV.Examples.Puzzles.Coins' 100% ( 5 / 5) in 'Data.SBV.Examples.Puzzles.Counts' 100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.DogCatMouse' 100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.Euler185' 100% ( 7 / 7) in 'Data.SBV.Examples.Puzzles.Fish' 100% ( 9 / 9) in 'Data.SBV.Examples.Puzzles.MagicSquare' 100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.NQueens' 100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.SendMoreMoney' 100% ( 20 / 20) in 'Data.SBV.Examples.Puzzles.Sudoku' 100% ( 38 / 38) in 'Data.SBV.Examples.Puzzles.U2Bridge' 100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF' 100% ( 14 / 14) in 'Data.SBV.Examples.Uninterpreted.Deduce' 100% ( 3 / 3) in 'Data.SBV.Examples.Uninterpreted.Function' 100% ( 19 / 19) in 'Data.SBV.Examples.Uninterpreted.Shannon' 100% ( 5 / 5) in 'Data.SBV.Examples.Uninterpreted.Sort' 100% ( 6 / 6) in 'Data.SBV.Examples.Uninterpreted.UISortAllSat' Warning: Data.SBV.Internals: could not find link destinations for: Polynomial State Cached SW FPOp Warning: Data.SBV: could not find link destinations for: STreeInternal Outputtable SMTModel SMTEngine SolverCapabilities Warning: Data.SBV.Dynamic: could not find link destinations for: SMTModel SMTEngine SolverCapabilities Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt Preprocessing executable 'SBVUnitTests' for sbv-5.5... Creating package registration file: /tmp/pkgConf-sbv-512112702101517244564.5 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/sbv-5.5-KvHvnydRjFy7XXrDk2UD4P 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 sbv-5.5... Installed sbv-5.5