Build #1 for Wired-0.3

[all reports]

Package Wired-0.3
Install InstallOk
Docs Ok
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies mtl-2.1.2, containers-0.5.0.0, chalmers-lava2000-1.3, base-4.6.0.1, QuickCheck-2.7.3
Flags none

Build log

[view raw]

Resolving dependencies...
Configuring chalmers-lava2000-1.3...
Building chalmers-lava2000-1.3...
Preprocessing library chalmers-lava2000-1.3...
[ 1 of 40] Compiling Paths_chalmers_lava2000 ( dist/build/autogen/Paths_chalmers_lava2000.hs, dist/build/Paths_chalmers_lava2000.o )
[ 2 of 40] Compiling Lava.LavaRandom  ( Lava/LavaRandom.hs, dist/build/Lava/LavaRandom.o )
[ 3 of 40] Compiling Lava.MyST        ( Lava/MyST.hs, dist/build/Lava/MyST.o )
[ 4 of 40] Compiling Lava.Ref         ( Lava/Ref.hs, dist/build/Lava/Ref.o )
[ 5 of 40] Compiling Lava.SignalTry   ( Lava/SignalTry.hs, dist/build/Lava/SignalTry.o )
[ 6 of 40] Compiling Lava.IOBuffering ( Lava/IOBuffering.hs, dist/build/Lava/IOBuffering.o )
[ 7 of 40] Compiling Lava.LavaDir     ( Lava/LavaDir.hs, dist/build/Lava/LavaDir.o )
[ 8 of 40] Compiling Lava.Error       ( Lava/Error.hs, dist/build/Lava/Error.o )
[ 9 of 40] Compiling Lava.Sequent     ( Lava/Sequent.hs, dist/build/Lava/Sequent.o )
[10 of 40] Compiling Lava.Signal      ( Lava/Signal.hs, dist/build/Lava/Signal.o )
[11 of 40] Compiling Lava.Generic     ( Lava/Generic.hs, dist/build/Lava/Generic.o )
[12 of 40] Compiling Lava.Operators   ( Lava/Operators.hs, dist/build/Lava/Operators.o )
[13 of 40] Compiling Lava.ConstructiveAnalysis ( Lava/ConstructiveAnalysis.hs, dist/build/Lava/ConstructiveAnalysis.o )
[14 of 40] Compiling Lava.Property    ( Lava/Property.hs, dist/build/Lava/Property.o )
[15 of 40] Compiling Lava.Netlist     ( Lava/Netlist.hs, dist/build/Lava/Netlist.o )
[16 of 40] Compiling Lava.Combinational ( Lava/Combinational.hs, dist/build/Lava/Combinational.o )
[17 of 40] Compiling Lava.Sequential  ( Lava/Sequential.hs, dist/build/Lava/Sequential.o )
[18 of 40] Compiling Lava.Test        ( Lava/Test.hs, dist/build/Lava/Test.o )
[19 of 40] Compiling Lava.SequentialConstructive ( Lava/SequentialConstructive.hs, dist/build/Lava/SequentialConstructive.o )
[20 of 40] Compiling Lava.Verification ( Lava/Verification.hs, dist/build/Lava/Verification.o )
[21 of 40] Compiling Lava.Vis         ( Lava/Vis.hs, dist/build/Lava/Vis.o )
[22 of 40] Compiling Lava.Fixit       ( Lava/Fixit.hs, dist/build/Lava/Fixit.o )
[23 of 40] Compiling Lava.Smv         ( Lava/Smv.hs, dist/build/Lava/Smv.o )
[24 of 40] Compiling Lava.Satzoo      ( Lava/Satzoo.hs, dist/build/Lava/Satzoo.o )
[25 of 40] Compiling Lava.Retime      ( Lava/Retime.hs, dist/build/Lava/Retime.o )
[26 of 40] Compiling Lava.Vhdl        ( Lava/Vhdl.hs, dist/build/Lava/Vhdl.o )
[27 of 40] Compiling Lava.Captain     ( Lava/Captain.hs, dist/build/Lava/Captain.o )
[28 of 40] Compiling Lava.Eprover     ( Lava/Eprover.hs, dist/build/Lava/Eprover.o )
[29 of 40] Compiling Lava.HeerHugo    ( Lava/HeerHugo.hs, dist/build/Lava/HeerHugo.o )
[30 of 40] Compiling Lava.Isc         ( Lava/Isc.hs, dist/build/Lava/Isc.o )
[31 of 40] Compiling Lava.Limmat      ( Lava/Limmat.hs, dist/build/Lava/Limmat.o )
[32 of 40] Compiling Lava.Modoc       ( Lava/Modoc.hs, dist/build/Lava/Modoc.o )
[33 of 40] Compiling Lava.Satnik      ( Lava/Satnik.hs, dist/build/Lava/Satnik.o )
[34 of 40] Compiling Lava.Stable      ( Lava/Stable.hs, dist/build/Lava/Stable.o )
[35 of 40] Compiling Lava.Table       ( Lava/Table.hs, dist/build/Lava/Table.o )
[36 of 40] Compiling Lava.Zchaff      ( Lava/Zchaff.hs, dist/build/Lava/Zchaff.o )
[37 of 40] Compiling Lava             ( Lava.hs, dist/build/Lava.o )
[38 of 40] Compiling Lava.Patterns    ( Lava/Patterns.hs, dist/build/Lava/Patterns.o )
[39 of 40] Compiling Lava.Arithmetic  ( Lava/Arithmetic.hs, dist/build/Lava/Arithmetic.o )
[40 of 40] Compiling Lava.SequentialCircuits ( Lava/SequentialCircuits.hs, dist/build/Lava/SequentialCircuits.o )
In-place registering chalmers-lava2000-1.3...
Running Haddock for chalmers-lava2000-1.3...
Running hscolour for chalmers-lava2000-1.3...
Preprocessing library chalmers-lava2000-1.3...
Preprocessing library chalmers-lava2000-1.3...
Haddock coverage:
   0% (  0 /  8) in 'Paths_chalmers_lava2000'
  40% (  2 /  5) in 'Lava.LavaRandom'
   0% (  0 / 11) in 'Lava.MyST'
   0% (  0 / 15) in 'Lava.Ref'
   0% (  0 /  4) in 'Lava.SignalTry'
   0% (  0 /  2) in 'Lava.IOBuffering'
   0% (  0 /  2) in 'Lava.LavaDir'
   0% (  0 /  3) in 'Lava.Error'
   0% (  0 /  3) in 'Lava.Sequent'
   0% (  0 / 38) in 'Lava.Signal'
   0% (  0 / 29) in 'Lava.Generic'
   0% (  0 / 32) in 'Lava.Operators'
   0% (  0 /  2) in 'Lava.ConstructiveAnalysis'
   0% (  0 / 18) in 'Lava.Property'
   0% (  0 /  4) in 'Lava.Netlist'
   0% (  0 /  2) in 'Lava.Combinational'
   0% (  0 /  2) in 'Lava.Sequential'
   0% (  0 /  2) in 'Lava.Test'
   0% (  0 /  2) in 'Lava.SequentialConstructive'
   0% (  0 /  7) in 'Lava.Verification'
   0% (  0 /  6) in 'Lava.Vis'
   0% (  0 /  2) in 'Lava.Fixit'
   0% (  0 /  2) in 'Lava.Smv'
   0% (  0 /  2) in 'Lava.Satzoo'
   0% (  0 /  2) in 'Lava.Retime'
   0% (  0 /  4) in 'Lava.Vhdl'
   0% (  0 /  2) in 'Lava.Captain'
   0% (  0 /  2) in 'Lava.Eprover'
   0% (  0 /  2) in 'Lava.HeerHugo'
   0% (  0 /  4) in 'Lava.Isc'
   0% (  0 /  2) in 'Lava.Limmat'
   0% (  0 /  2) in 'Lava.Modoc'
   0% (  0 /  2) in 'Lava.Satnik'
   0% (  0 /  2) in 'Lava.Stable'
   0% (  0 /  3) in 'Lava.Table'
   0% (  0 /  2) in 'Lava.Zchaff'
  94% ( 16 / 17) in 'Lava'
   0% (  0 / 31) in 'Lava.Patterns'
   0% (  0 / 11) in 'Lava.Arithmetic'
   0% (  0 / 12) in 'Lava.SequentialCircuits'
Documentation created: dist/doc/html/chalmers-lava2000/index.html,
dist/doc/html/chalmers-lava2000/chalmers-lava2000.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/chalmers-lava2000-1.3
Registering chalmers-lava2000-1.3...
Installed chalmers-lava2000-1.3
Configuring primitive-0.5.2.1...
Building primitive-0.5.2.1...
Preprocessing library primitive-0.5.2.1...
[ 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 )
[ 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.5.2.1...
Running Haddock for primitive-0.5.2.1...
Running hscolour for primitive-0.5.2.1...
Preprocessing library primitive-0.5.2.1...
Preprocessing library primitive-0.5.2.1...
Haddock coverage:
  67% (  2 /  3) in 'Data.Primitive.Internal.Compat'
   3% (  1 / 35) in 'Data.Primitive.MachDeps'
   3% (  1 / 29) in 'Data.Primitive.Internal.Operations'
Warning: Control.Monad.Primitive: We do not support associated types in instances yet. These instances are affected:
Control.Monad.Primitive.PrimMonad GHC.Types.IO, Control.Monad.Primitive.PrimMonad (GHC.ST.ST s)
  71% ( 10 / 14) in 'Control.Monad.Primitive'
 100% (  3 /  3) in 'Data.Primitive.Types'
 100% ( 13 / 13) in 'Data.Primitive.Array'
  93% ( 27 / 29) in 'Data.Primitive.ByteArray'
 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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/primitive-0.5.2.1
Registering primitive-0.5.2.1...
Installed primitive-0.5.2.1
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 )
[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...
Haddock coverage:
 100% (  4 /  4) in 'System.Random.TF.Gen'
  83% (  5 /  6) in 'System.Random.TF.Init'
  33% (  1 /  3) in 'System.Random.TF.Instances'
 100% (  3 /  3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tf-random-0.5
Registering tf-random-0.5...
Installed tf-random-0.5
Configuring QuickCheck-2.7.3...
Building QuickCheck-2.7.3...
Preprocessing library QuickCheck-2.7.3...
[ 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.7.3...
Running Haddock for QuickCheck-2.7.3...
Running hscolour for QuickCheck-2.7.3...
Preprocessing library QuickCheck-2.7.3...
Preprocessing library QuickCheck-2.7.3...
Haddock coverage:
  12% (  2 / 17) in 'Test.QuickCheck.Random'
  25% (  2 /  8) in 'Test.QuickCheck.Exception'
   6% (  1 / 18) in 'Test.QuickCheck.Text'
 100% (  2 /  2) in 'Test.QuickCheck.State'
 100% ( 22 / 22) in 'Test.QuickCheck.Gen'
  80% (  4 /  5) in 'Test.QuickCheck.Gen.Unsafe'
 100% ( 30 / 30) in 'Test.QuickCheck.Arbitrary'
  93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
  14% (  1 /  7) in 'Test.QuickCheck.Poly'
  14% (  1 /  7) in 'Test.QuickCheck.Function'
  65% ( 40 / 62) in 'Test.QuickCheck.Property'
  52% ( 14 / 27) in 'Test.QuickCheck.Test'
 100% (  9 /  9) in 'Test.QuickCheck.All'
   7% (  1 / 15) in 'Test.QuickCheck.Monadic'
  98% (121 /123) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Text: could not find link destinations for:
    Test.QuickCheck.Text.Output
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
    Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms
Warning: Test.QuickCheck: could not find link destinations for:
    Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.Subterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.7.3
Registering QuickCheck-2.7.3...
Installed QuickCheck-2.7.3
Downloading Wired-0.3...
Configuring Wired-0.3...
Building Wired-0.3...
Preprocessing library Wired-0.3...
[ 1 of 25] Compiling Libs.Nangate45.LICENSE ( Libs/Nangate45/LICENSE.hs, dist/build/Libs/Nangate45/LICENSE.o )
[ 2 of 25] Compiling Data.Hardware.Internal ( Data/Hardware/Internal.hs, dist/build/Data/Hardware/Internal.o )
[ 3 of 25] Compiling Data.Hardware    ( Data/Hardware.hs, dist/build/Data/Hardware.o )
[ 4 of 25] Compiling Lava.Model       ( Lava/Model.hs, dist/build/Lava/Model.o )
[ 5 of 25] Compiling Lava.Patterns    ( Lava/Patterns.hs, dist/build/Lava/Patterns.o )
[ 6 of 25] Compiling Lava.Loop        ( Lava/Loop.hs, dist/build/Lava/Loop.o )
[ 7 of 25] Compiling Lava.Port        ( Lava/Port.hs, dist/build/Lava/Port.o )
[ 8 of 25] Compiling Layout.Floorplan ( Layout/Floorplan.hs, dist/build/Layout/Floorplan.o )
[ 9 of 25] Compiling Layout.Postscript ( Layout/Postscript.hs, dist/build/Layout/Postscript.o )
[10 of 25] Compiling Layout.Internal  ( Layout/Internal.hs, dist/build/Layout/Internal.o )
[11 of 25] Compiling Layout           ( Layout.hs, dist/build/Layout.o )
[12 of 25] Compiling Data.Logical.Knot ( Data/Logical/Knot.hs, dist/build/Data/Logical/Knot.o )
[13 of 25] Compiling Data.Logical.Let ( Data/Logical/Let.hs, dist/build/Data/Logical/Let.o )
[14 of 25] Compiling Lava.Interpret   ( Lava/Interpret.hs, dist/build/Lava/Interpret.o )
[15 of 25] Compiling Lava.Misc        ( Lava/Misc.hs, dist/build/Lava/Misc.o )
[16 of 25] Compiling Lava.Internal    ( Lava/Internal.hs, dist/build/Lava/Internal.o )
[17 of 25] Compiling Lava             ( Lava.hs, dist/build/Lava.o )
[18 of 25] Compiling Wired.Model      ( Wired/Model.hs, dist/build/Wired/Model.o )
[19 of 25] Compiling Wired            ( Wired.hs, dist/build/Wired.o )
[20 of 25] Compiling Analysis.Timing.Library ( Analysis/Timing/Library.hs, dist/build/Analysis/Timing/Library.o )
[21 of 25] Compiling Libs.Nangate45.Timing ( Libs/Nangate45/Timing.hs, dist/build/Libs/Nangate45/Timing.o )
[22 of 25] Compiling Analysis.Timing  ( Analysis/Timing.hs, dist/build/Analysis/Timing.o )
[23 of 25] Compiling Export.DEF       ( Export/DEF.hs, dist/build/Export/DEF.o )
[24 of 25] Compiling Libs.Nangate45.Lava ( Libs/Nangate45/Lava.hs, dist/build/Libs/Nangate45/Lava.o )
[25 of 25] Compiling Libs.Nangate45.Wired ( Libs/Nangate45/Wired.hs, dist/build/Libs/Nangate45/Wired.o )
In-place registering Wired-0.3...
Running Haddock for Wired-0.3...
Running hscolour for Wired-0.3...
Preprocessing library Wired-0.3...
Preprocessing library Wired-0.3...
Haddock coverage:
 100% (  1 /  1) in 'Libs.Nangate45.LICENSE'
  19% ( 13 / 70) in 'Data.Hardware.Internal'
   5% (  1 / 22) in 'Lava.Model'
   0% (  0 /  4) in 'Lava.Loop'
   0% (  0 /  7) in 'Lava.Port'
   0% (  0 / 19) in 'Layout.Floorplan'
   0% (  0 / 18) in 'Layout.Postscript'
   0% (  0 / 56) in 'Layout.Internal'
   0% (  0 / 26) in 'Layout'
  12% (  2 / 17) in 'Data.Hardware'
Warning: Data.Logical.Knot: askKnot is exported separately but will be documented under MonadKnot. Consider exporting it together with its parent(s) for code clarity.
Warning: Data.Logical.Knot: askKnotDef is exported separately but will be documented under MonadKnot. Consider exporting it together with its parent(s) for code clarity.
Warning: Data.Logical.Knot: *= is exported separately but will be documented under MonadKnot. Consider exporting it together with its parent(s) for code clarity.
   0% (  0 /  8) in 'Data.Logical.Knot'
Warning: Data.Logical.Let: free is exported separately but will be documented under MonadLet. Consider exporting it together with its parent(s) for code clarity.
   0% (  0 /  9) in 'Data.Logical.Let'
   0% (  0 / 10) in 'Lava.Interpret'
   5% (  1 / 20) in 'Lava.Misc'
   3% (  2 / 59) in 'Lava.Internal'
   4% (  1 / 26) in 'Wired.Model'
   0% (  0 /  2) in 'Export.DEF'
  12% (  3 / 25) in 'Lava'
  22% (  4 / 18) in 'Wired'
   0% (  0 / 11) in 'Analysis.Timing.Library'
   0% (  0 /  6) in 'Analysis.Timing'
   0% (  1 /865) in 'Libs.Nangate45.Timing'
  83% ( 35 / 42) in 'Libs.Nangate45.Lava'
  83% ( 35 / 42) in 'Libs.Nangate45.Wired'
   0% (  0 / 35) in 'Lava.Patterns'
Warning: Data.Logical.Let: could not find link destinations for:
    Data.Logical.Let.VarId
Documentation created: dist/doc/html/Wired/index.html,
dist/doc/html/Wired/Wired.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Wired-0.3
Registering Wired-0.3...
Installed Wired-0.3