Resolving dependencies... 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.2278722862233665123.1 Installing library in /home/builder/rebuild/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 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.1711645630195740084.0 Installing library in /home/builder/rebuild/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-11402961682672655340.1 Installing library in /home/builder/rebuild/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 chalmers-lava2000-1.6... Building chalmers-lava2000-1.6... Preprocessing library chalmers-lava2000-1.6... [ 1 of 41] Compiling Paths_chalmers_lava2000 ( dist/build/autogen/Paths_chalmers_lava2000.hs, dist/build/Paths_chalmers_lava2000.o ) [ 2 of 41] Compiling Lava.LavaRandom ( Lava/LavaRandom.hs, dist/build/Lava/LavaRandom.o ) [ 3 of 41] Compiling Lava.MyST ( Lava/MyST.hs, dist/build/Lava/MyST.o ) [ 4 of 41] Compiling Lava.Ref ( Lava/Ref.hs, dist/build/Lava/Ref.o ) [ 5 of 41] Compiling Lava.SignalTry ( Lava/SignalTry.hs, dist/build/Lava/SignalTry.o ) [ 6 of 41] Compiling Lava.IOBuffering ( Lava/IOBuffering.hs, dist/build/Lava/IOBuffering.o ) [ 7 of 41] Compiling Lava.LavaDir ( Lava/LavaDir.hs, dist/build/Lava/LavaDir.o ) [ 8 of 41] Compiling Lava.Error ( Lava/Error.hs, dist/build/Lava/Error.o ) [ 9 of 41] Compiling Lava.Sequent ( Lava/Sequent.hs, dist/build/Lava/Sequent.o ) [10 of 41] Compiling Lava.Signal ( Lava/Signal.hs, dist/build/Lava/Signal.o ) [11 of 41] Compiling Lava.Generic ( Lava/Generic.hs, dist/build/Lava/Generic.o ) [12 of 41] Compiling Lava.Operators ( Lava/Operators.hs, dist/build/Lava/Operators.o ) [13 of 41] Compiling Lava.ConstructiveAnalysis ( Lava/ConstructiveAnalysis.hs, dist/build/Lava/ConstructiveAnalysis.o ) [14 of 41] Compiling Lava.Property ( Lava/Property.hs, dist/build/Lava/Property.o ) [15 of 41] Compiling Lava.Netlist ( Lava/Netlist.hs, dist/build/Lava/Netlist.o ) [16 of 41] Compiling Lava.Combinational ( Lava/Combinational.hs, dist/build/Lava/Combinational.o ) [17 of 41] Compiling Lava.Sequential ( Lava/Sequential.hs, dist/build/Lava/Sequential.o ) [18 of 41] Compiling Lava.Test ( Lava/Test.hs, dist/build/Lava/Test.o ) [19 of 41] Compiling Lava.SequentialConstructive ( Lava/SequentialConstructive.hs, dist/build/Lava/SequentialConstructive.o ) [20 of 41] Compiling Lava.Verification ( Lava/Verification.hs, dist/build/Lava/Verification.o ) [21 of 41] Compiling Lava.Vis ( Lava/Vis.hs, dist/build/Lava/Vis.o ) [22 of 41] Compiling Lava.Fixit ( Lava/Fixit.hs, dist/build/Lava/Fixit.o ) [23 of 41] Compiling Lava.Smv ( Lava/Smv.hs, dist/build/Lava/Smv.o ) [24 of 41] Compiling Lava.Satzoo ( Lava/Satzoo.hs, dist/build/Lava/Satzoo.o ) [25 of 41] Compiling Lava.Retime ( Lava/Retime.hs, dist/build/Lava/Retime.o ) [26 of 41] Compiling Lava.Vhdl ( Lava/Vhdl.hs, dist/build/Lava/Vhdl.o ) [27 of 41] Compiling Lava.Captain ( Lava/Captain.hs, dist/build/Lava/Captain.o ) [28 of 41] Compiling Lava.Eprover ( Lava/Eprover.hs, dist/build/Lava/Eprover.o ) [29 of 41] Compiling Lava.HeerHugo ( Lava/HeerHugo.hs, dist/build/Lava/HeerHugo.o ) [30 of 41] Compiling Lava.Isc ( Lava/Isc.hs, dist/build/Lava/Isc.o ) [31 of 41] Compiling Lava.Limmat ( Lava/Limmat.hs, dist/build/Lava/Limmat.o ) [32 of 41] Compiling Lava.Minisat ( Lava/Minisat.hs, dist/build/Lava/Minisat.o ) [33 of 41] Compiling Lava.Modoc ( Lava/Modoc.hs, dist/build/Lava/Modoc.o ) [34 of 41] Compiling Lava.Satnik ( Lava/Satnik.hs, dist/build/Lava/Satnik.o ) [35 of 41] Compiling Lava.Stable ( Lava/Stable.hs, dist/build/Lava/Stable.o ) [36 of 41] Compiling Lava.Table ( Lava/Table.hs, dist/build/Lava/Table.o ) [37 of 41] Compiling Lava.Zchaff ( Lava/Zchaff.hs, dist/build/Lava/Zchaff.o ) [38 of 41] Compiling Lava ( Lava.hs, dist/build/Lava.o ) [39 of 41] Compiling Lava.Patterns ( Lava/Patterns.hs, dist/build/Lava/Patterns.o ) [40 of 41] Compiling Lava.Arithmetic ( Lava/Arithmetic.hs, dist/build/Lava/Arithmetic.o ) [41 of 41] Compiling Lava.SequentialCircuits ( Lava/SequentialCircuits.hs, dist/build/Lava/SequentialCircuits.o ) In-place registering chalmers-lava2000-1.6... Running Haddock for chalmers-lava2000-1.6... Running hscolour for chalmers-lava2000-1.6... Preprocessing library chalmers-lava2000-1.6... Preprocessing library chalmers-lava2000-1.6... Haddock coverage: 0% ( 0 / 8) in 'Paths_chalmers_lava2000' Missing documentation for: Module header version (dist/build/autogen/Paths_chalmers_lava2000.hs:15) getBinDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25) getLibDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25) getDataDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25) getLibexecDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25) getDataFileName (dist/build/autogen/Paths_chalmers_lava2000.hs:32) getSysconfDir (dist/build/autogen/Paths_chalmers_lava2000.hs:25) 40% ( 2 / 5) in 'Lava.LavaRandom' Missing documentation for: Module header Rnd (Lava/LavaRandom.hs:16) newRnd (Lava/LavaRandom.hs:18) 0% ( 0 / 11) in 'Lava.MyST' Missing documentation for: Module header ST (Lava/MyST.hs:22) STRef (Lava/MyST.hs:39) newSTRef (Lava/MyST.hs:45) readSTRef (Lava/MyST.hs:48) writeSTRef (Lava/MyST.hs:51) runST (Lava/MyST.hs:54) fixST (Lava/MyST.hs:57) unsafePerformST (Lava/MyST.hs:60) unsafeInterleaveST (Lava/MyST.hs:63) unsafeIOtoST (Lava/MyST.hs:66) 0% ( 0 / 15) in 'Lava.Ref' Missing documentation for: Module header Ref (Lava/Ref.hs:81) ref (Lava/Ref.hs:90) deref (Lava/Ref.hs:95) memoRef (Lava/Ref.hs:140) TableIO (Lava/Ref.hs:104) tableIO (Lava/Ref.hs:108) extendIO (Lava/Ref.hs:116) findIO (Lava/Ref.hs:111) memoRefIO (Lava/Ref.hs:143) TableST (Lava/Ref.hs:124) tableST (Lava/Ref.hs:128) extendST (Lava/Ref.hs:134) findST (Lava/Ref.hs:131) memoRefST (Lava/Ref.hs:154) 0% ( 0 / 4) in 'Lava.SignalTry' Missing documentation for: Module header Signal (Lava/SignalTry.hs:5) Symbol (Lava/SignalTry.hs:9) and2 (Lava/SignalTry.hs:14) 0% ( 0 / 2) in 'Lava.IOBuffering' Missing documentation for: Module header noBuffering (Lava/IOBuffering.hs:9) 0% ( 0 / 2) in 'Lava.LavaDir' Missing documentation for: Module header getLavaDir (Lava/LavaDir.hs:5) 0% ( 0 / 3) in 'Lava.Error' Missing documentation for: Module header Error (Lava/Error.hs:10) wrong (Lava/Error.hs:24) 0% ( 0 / 4) in 'Lava.Sequent' Missing documentation for: Module header Sequent (Lava/Sequent.hs:6) (Lava/Sequent.hs:9) mmap (Lava/Sequent.hs:12) 0% ( 0 / 44) in 'Lava.Signal' Missing documentation for: Module header Signal (Lava/Signal.hs:14) Symbol (Lava/Signal.hs:17) S (Lava/Signal.hs:20) symbol (Lava/Signal.hs:41) unsymbol (Lava/Signal.hs:44) (Lava/Signal.hs:47) bool (Lava/Signal.hs:55) low (Lava/Signal.hs:58) high (Lava/Signal.hs:58) inv (Lava/Signal.hs:62) andl (Lava/Signal.hs:65) orl (Lava/Signal.hs:65) xorl (Lava/Signal.hs:65) equalBool (Lava/Signal.hs:70) ifBool (Lava/Signal.hs:73) delayBool (Lava/Signal.hs:76) varBool (Lava/Signal.hs:79) int (Lava/Signal.hs:84) neg (Lava/Signal.hs:87) divide (Lava/Signal.hs:90) modulo (Lava/Signal.hs:90) plusl (Lava/Signal.hs:94) timesl (Lava/Signal.hs:94) equall (Lava/Signal.hs:98) gteInt (Lava/Signal.hs:101) equalInt (Lava/Signal.hs:104) ifInt (Lava/Signal.hs:107) delayInt (Lava/Signal.hs:110) varInt (Lava/Signal.hs:113) lift0 (Lava/Signal.hs:118) lift1 (Lava/Signal.hs:121) lift2 (Lava/Signal.hs:124) lift3 (Lava/Signal.hs:127) liftl (Lava/Signal.hs:131) eval (Lava/Signal.hs:137) evalLazy (Lava/Signal.hs:167) arguments (Lava/Signal.hs:191) zips (Lava/Signal.hs:215) (Lava/Signal.hs:242) (Lava/Signal.hs:266) (Lava/Signal.hs:312) (Lava/Signal.hs:316) (Lava/Signal.hs:320) 0% ( 0 / 71) in 'Lava.Generic' Missing documentation for: Module header Struct (Lava/Generic.hs:20) flatten (Lava/Generic.hs:25) transStruct (Lava/Generic.hs:29) (Lava/Generic.hs:36) (Lava/Generic.hs:40) Generic (Lava/Generic.hs:52) (Lava/Generic.hs:56) (Lava/Generic.hs:60) (Lava/Generic.hs:64) (Lava/Generic.hs:68) (Lava/Generic.hs:72) (Lava/Generic.hs:76) (Lava/Generic.hs:80) (Lava/Generic.hs:84) (Lava/Generic.hs:88) (Lava/Generic.hs:92) Ops (Lava/Generic.hs:99) opsBool (Lava/Generic.hs:107) opsInt (Lava/Generic.hs:116) unSignal (Lava/Generic.hs:125) ops (Lava/Generic.hs:128) equal (Lava/Generic.hs:155) delay (Lava/Generic.hs:166) zeroify (Lava/Generic.hs:173) symbolize (Lava/Generic.hs:179) pickSymbol (Lava/Generic.hs:187) ConstructiveSig (Lava/Generic.hs:201) Constructive (Lava/Generic.hs:206) zeroList (Lava/Generic.hs:211) varList (Lava/Generic.hs:214) randomList (Lava/Generic.hs:217) splitRndList (Lava/Generic.hs:220) valRnd (Lava/Generic.hs:223) (Lava/Generic.hs:228) (Lava/Generic.hs:238) (Lava/Generic.hs:248) (Lava/Generic.hs:253) (Lava/Generic.hs:258) (Lava/Generic.hs:265) (Lava/Generic.hs:272) (Lava/Generic.hs:279) (Lava/Generic.hs:286) (Lava/Generic.hs:293) FiniteSig (Lava/Generic.hs:303) Finite (Lava/Generic.hs:306) domainList (Lava/Generic.hs:309) (Lava/Generic.hs:315) (Lava/Generic.hs:318) (Lava/Generic.hs:321) (Lava/Generic.hs:324) (Lava/Generic.hs:328) (Lava/Generic.hs:332) (Lava/Generic.hs:336) (Lava/Generic.hs:340) (Lava/Generic.hs:344) Choice (Lava/Generic.hs:351) (Lava/Generic.hs:356) (Lava/Generic.hs:359) (Lava/Generic.hs:363) (Lava/Generic.hs:366) (Lava/Generic.hs:370) (Lava/Generic.hs:374) (Lava/Generic.hs:378) (Lava/Generic.hs:382) (Lava/Generic.hs:386) (Lava/Generic.hs:391) (Lava/Generic.hs:396) mux (Lava/Generic.hs:400) strongZipWith (Lava/Generic.hs:406) lazyZipWith (Lava/Generic.hs:411) 0% ( 0 / 37) in 'Lava.Operators' Missing documentation for: Module header and2 (Lava/Operators.hs:16) or2 (Lava/Operators.hs:17) xor2 (Lava/Operators.hs:18) nand2 (Lava/Operators.hs:20) nor2 (Lava/Operators.hs:21) xnor2 (Lava/Operators.hs:22) equiv (Lava/Operators.hs:24) impl (Lava/Operators.hs:25) nandl (Lava/Operators.hs:27) norl (Lava/Operators.hs:28) plus (Lava/Operators.hs:30) sub (Lava/Operators.hs:31) times (Lava/Operators.hs:32) imod (Lava/Operators.hs:33) idiv (Lava/Operators.hs:34) |-> (Lava/Operators.hs:39) <==> (Lava/Operators.hs:40) <&> (Lava/Operators.hs:42) <|> (Lava/Operators.hs:43) <#> (Lava/Operators.hs:44) <=> (Lava/Operators.hs:45) ==> (Lava/Operators.hs:46) <== (Lava/Operators.hs:47) %% (Lava/Operators.hs:49) gte (Lava/Operators.hs:50) >>== (Lava/Operators.hs:51) imin (Lava/Operators.hs:53) imax (Lava/Operators.hs:54) SignalInt (Lava/Operators.hs:56) (Lava/Operators.hs:60) (Lava/Operators.hs:64) (Lava/Operators.hs:72) (Lava/Operators.hs:75) (Lava/Operators.hs:82) int2bit (Lava/Operators.hs:91) bit2int (Lava/Operators.hs:92) 0% ( 0 / 2) in 'Lava.ConstructiveAnalysis' Missing documentation for: Module header constructive (Lava/ConstructiveAnalysis.hs:27) 0% ( 0 / 18) in 'Lava.Property' Missing documentation for: Module header Gen (Lava/Property.hs:46) generate (Lava/Property.hs:63) ChoiceWithSig (Lava/Property.hs:122) Fresh (Lava/Property.hs:93) CoFresh (Lava/Property.hs:125) double (Lava/Property.hs:197) triple (Lava/Property.hs:200) list (Lava/Property.hs:203) listOf (Lava/Property.hs:206) results (Lava/Property.hs:212) sequential (Lava/Property.hs:217) forAll (Lava/Property.hs:367) Property (Lava/Property.hs:231) Checkable (Lava/Property.hs:234) ShowModel (Lava/Property.hs:270) Model (Lava/Property.hs:260) properties (Lava/Property.hs:377) 0% ( 0 / 4) in 'Lava.Netlist' Missing documentation for: Module header netlist (Lava/Netlist.hs:20) netlistIO (Lava/Netlist.hs:26) netlistST (Lava/Netlist.hs:42) 0% ( 0 / 2) in 'Lava.Combinational' Missing documentation for: Module header simulate (Lava/Combinational.hs:22) 0% ( 0 / 2) in 'Lava.Sequential' Missing documentation for: Module header simulateSeq (Lava/Sequential.hs:37) 0% ( 0 / 2) in 'Lava.Test' Missing documentation for: Module header test (Lava/Test.hs:14) 0% ( 0 / 2) in 'Lava.SequentialConstructive' Missing documentation for: Module header simulateCon (Lava/SequentialConstructive.hs:38) 0% ( 0 / 7) in 'Lava.Verification' Missing documentation for: Module header Option (Lava/Verification.hs:47) verify (Lava/Verification.hs:86) verifyWith (Lava/Verification.hs:89) ProofResult (Lava/Verification.hs:256) verifyDir (Lava/Verification.hs:41) checkVerifyDir (Lava/Verification.hs:468) 0% ( 0 / 6) in 'Lava.Vis' Missing documentation for: Module header vis (Lava/Vis.hs:43) writeVis (Lava/Vis.hs:57) writeVisInput (Lava/Vis.hs:61) writeVisInputOutput (Lava/Vis.hs:65) equivCheckVisInput (Lava/Vis.hs:219) 0% ( 0 / 2) in 'Lava.Fixit' Missing documentation for: Module header fixit (Lava/Fixit.hs:39) 0% ( 0 / 2) in 'Lava.Smv' Missing documentation for: Module header smv (Lava/Smv.hs:39) 0% ( 0 / 2) in 'Lava.Satzoo' Missing documentation for: Module header satzoo (Lava/Satzoo.hs:39) 0% ( 0 / 2) in 'Lava.Retime' Missing documentation for: Module header timeTransform (Lava/Retime.hs:18) 0% ( 0 / 4) in 'Lava.Vhdl' Missing documentation for: Module header writeVhdl (Lava/Vhdl.hs:41) writeVhdlInput (Lava/Vhdl.hs:45) writeVhdlInputOutput (Lava/Vhdl.hs:49) 0% ( 0 / 2) in 'Lava.Captain' Missing documentation for: Module header captain (Lava/Captain.hs:41) 0% ( 0 / 2) in 'Lava.Eprover' Missing documentation for: Module header eprover (Lava/Eprover.hs:43) 0% ( 0 / 2) in 'Lava.HeerHugo' Missing documentation for: Module header heerhugo (Lava/HeerHugo.hs:39) 0% ( 0 / 4) in 'Lava.Isc' Missing documentation for: Module header IscMethod (Lava/Isc.hs:27) isc (Lava/Isc.hs:36) iscWith (Lava/Isc.hs:39) 0% ( 0 / 2) in 'Lava.Limmat' Missing documentation for: Module header limmat (Lava/Limmat.hs:39) 0% ( 0 / 2) in 'Lava.Minisat' Missing documentation for: Module header minisat (Lava/Minisat.hs:39) 0% ( 0 / 2) in 'Lava.Modoc' Missing documentation for: Module header modoc (Lava/Modoc.hs:39) 0% ( 0 / 2) in 'Lava.Satnik' Missing documentation for: Module header satnik (Lava/Satnik.hs:39) 0% ( 0 / 2) in 'Lava.Stable' Missing documentation for: Module header stable (Lava/Stable.hs:25) 0% ( 0 / 3) in 'Lava.Table' Missing documentation for: Module header table (Lava/Table.hs:49) tableProp (Lava/Table.hs:43) 0% ( 0 / 2) in 'Lava.Zchaff' Missing documentation for: Module header zchaff (Lava/Zchaff.hs:39) 94% ( 16 / 17) in 'Lava' Missing documentation for: Module header 0% ( 0 / 31) in 'Lava.Patterns' Missing documentation for: Module header swap (Lava/Patterns.hs:16) swapl (Lava/Patterns.hs:17) copy (Lava/Patterns.hs:19) riffle (Lava/Patterns.hs:21) unriffle (Lava/Patterns.hs:22) zipp (Lava/Patterns.hs:24) unzipp (Lava/Patterns.hs:27) pair (Lava/Patterns.hs:32) unpair (Lava/Patterns.hs:35) halveList (Lava/Patterns.hs:38) append (Lava/Patterns.hs:44) serial (Lava/Patterns.hs:49) ->- (Lava/Patterns.hs:50) compose (Lava/Patterns.hs:52) composeN (Lava/Patterns.hs:55) par (Lava/Patterns.hs:57) -|- (Lava/Patterns.hs:58) parl (Lava/Patterns.hs:60) two (Lava/Patterns.hs:63) ilv (Lava/Patterns.hs:64) iter (Lava/Patterns.hs:66) twoN (Lava/Patterns.hs:69) ilvN (Lava/Patterns.hs:70) bfly (Lava/Patterns.hs:72) pmap (Lava/Patterns.hs:75) tri (Lava/Patterns.hs:77) mirror (Lava/Patterns.hs:80) row (Lava/Patterns.hs:84) column (Lava/Patterns.hs:90) grid (Lava/Patterns.hs:92) 0% ( 0 / 11) in 'Lava.Arithmetic' Missing documentation for: Module header halfAdd (Lava/Arithmetic.hs:9) fullAdd (Lava/Arithmetic.hs:14) bitAdder (Lava/Arithmetic.hs:20) adder (Lava/Arithmetic.hs:22) binAdder (Lava/Arithmetic.hs:30) bitMulti (Lava/Arithmetic.hs:34) multi (Lava/Arithmetic.hs:36) numBreak (Lava/Arithmetic.hs:45) int2bin (Lava/Arithmetic.hs:51) bin2int (Lava/Arithmetic.hs:57) 0% ( 0 / 12) in 'Lava.SequentialCircuits' Missing documentation for: Module header edge (Lava/SequentialCircuits.hs:8) toggle (Lava/SequentialCircuits.hs:13) delayClk (Lava/SequentialCircuits.hs:18) delayN (Lava/SequentialCircuits.hs:23) always (Lava/SequentialCircuits.hs:29) constant (Lava/SequentialCircuits.hs:34) puls (Lava/SequentialCircuits.hs:40) outputList (Lava/SequentialCircuits.hs:45) rowSeq (Lava/SequentialCircuits.hs:49) rowSeqReset (Lava/SequentialCircuits.hs:54) rowSeqPeriod (Lava/SequentialCircuits.hs:60) Warning: Lava.Property: could not find link destinations for: ifThenElseWithSig Documentation created: dist/doc/html/chalmers-lava2000/index.html, dist/doc/html/chalmers-lava2000/chalmers-lava2000.txt Creating package registration file: /tmp/pkgConf-chalmers-lava2000-1309198987887077888.6 Installing library in /home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/chalmers-lava2000-1.6-77o8aCmxH0WJ5Uii5KqkZc Registering chalmers-lava2000-1.6... Installed chalmers-lava2000-1.6 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-0160777454878374295.5 Installing library in /home/builder/rebuild/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 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.8505593010895873480.1 Installing library in /home/builder/rebuild/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 Wired-0.1.1... Configuring Wired-0.1.1... Building Wired-0.1.1... Preprocessing library Wired-0.1.1... on the commandline: Warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS Lava/Internal.hs:34:18: Could not find module ‘Lava2000.Ref’ Use -v to see a list of the files searched for. Libs/Simple130nm/Lava.hs:11:18: Could not find module ‘Lava2000’ Use -v to see a list of the files searched for. Libs/Simple130nm/Lava.hs:12:18: Could not find module ‘Lava2000.Arithmetic’ Perhaps you meant Lava.Arithmetic (from chalmers-lava2000-1.6@chalm_77o8aCmxH0WJ5Uii5KqkZc) Use -v to see a list of the files searched for. Failed to install Wired-0.1.1 cabal: Error: some packages failed to install: Wired-0.1.1 failed during the building phase. The exception was: ExitFailure 1