Build #5 for cryptol-2.2.0
| Package | cryptol-2.2.0 |
|---|
| Install | DependencyFailed async-2.0.2 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-11-17 02:19:12.198047 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | utf8-string-1.0.1.1, transformers-0.4.2.0, tf-random-0.5, text-1.2.1.3, template-haskell-2.10.0.0, syb-0.6, smtLib-1.0.7, sbv-5.5, random-1.1, process-1.2.3.0, pretty-1.1.2.0, presburger-1.3.1, old-time-1.1.0.3, monadLib-3.7.3, heredoc-0.2.0.0, haskeline-0.7.2.1, gitrev-1.1.0, filepath-1.4.0.0, directory-1.2.2.0, deepseq-1.4.1.1, containers-0.5.6.2, base-4.8.1.0, async-2.0.2, array-0.5.1.0, ansi-terminal-0.6.2.3, QuickCheck-2.8.1, GraphSCC-1.0.4 |
| Flags | -static self-contained relocatable |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring GraphSCC-1.0.4...
Building GraphSCC-1.0.4...
Preprocessing library GraphSCC-1.0.4...
[1 of 2] Compiling Data.Graph.ArraySCC ( Data/Graph/ArraySCC.hs, dist/build/Data/Graph/ArraySCC.o )
[2 of 2] Compiling Data.Graph.SCC ( Data/Graph/SCC.hs, dist/build/Data/Graph/SCC.o )
In-place registering GraphSCC-1.0.4...
Running Haddock for GraphSCC-1.0.4...
Running hscolour for GraphSCC-1.0.4...
Preprocessing library GraphSCC-1.0.4...
Preprocessing library GraphSCC-1.0.4...
Haddock coverage:
100% ( 2 / 2) in 'Data.Graph.ArraySCC'
57% ( 4 / 7) in 'Data.Graph.SCC'
Missing documentation for:
Module header
stronglyConnComp (Data/Graph/SCC.hs:56)
stronglyConnCompR (Data/Graph/SCC.hs:67)
Documentation created: dist/doc/html/GraphSCC/index.html,
dist/doc/html/GraphSCC/GraphSCC.txt
Creating package registration file:
/tmp/pkgConf-GraphSCC-1.0278722862233665123.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/GraphSCC-1.0.4-1NhADU18BkFIdVj9iGdYD8
Registering GraphSCC-1.0.4...
Installed GraphSCC-1.0.4
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.08556362261749698586.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 ansi-terminal-0.6.2.3...
Building ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
[1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o )
[2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o )
[3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o )
In-place registering ansi-terminal-0.6.2.3...
Running Haddock for ansi-terminal-0.6.2.3...
Running hscolour for ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
Haddock coverage:
88% ( 7 / 8) in 'System.Console.ANSI.Common'
Missing documentation for:
Module header
38% ( 30 / 79) in 'System.Console.ANSI.Unix'
Missing documentation for:
Module header
cursorUp (includes/Common-Include.hs:9)
cursorDown (includes/Common-Include.hs:9)
cursorForward (includes/Common-Include.hs:9)
cursorBackward (includes/Common-Include.hs:9)
hCursorUp (includes/Common-Include.hs:6)
hCursorDown (includes/Common-Include.hs:6)
hCursorForward (includes/Common-Include.hs:6)
hCursorBackward (includes/Common-Include.hs:6)
cursorUpCode (includes/Common-Include.hs:11)
cursorDownCode (includes/Common-Include.hs:11)
cursorForwardCode (includes/Common-Include.hs:11)
cursorBackwardCode (includes/Common-Include.hs:11)
cursorUpLine (includes/Common-Include.hs:23)
cursorDownLine (includes/Common-Include.hs:23)
hCursorUpLine (includes/Common-Include.hs:20)
hCursorDownLine (includes/Common-Include.hs:20)
cursorUpLineCode (includes/Common-Include.hs:25)
cursorDownLineCode (includes/Common-Include.hs:25)
setCursorColumn (includes/Common-Include.hs:35)
hSetCursorColumn (includes/Common-Include.hs:32)
setCursorColumnCode (includes/Common-Include.hs:37)
setCursorPosition (includes/Common-Include.hs:47)
hSetCursorPosition (includes/Common-Include.hs:43)
setCursorPositionCode (includes/Common-Include.hs:50)
clearFromCursorToScreenEnd (includes/Common-Include.hs:59)
clearFromCursorToScreenBeginning (includes/Common-Include.hs:59)
clearScreen (includes/Common-Include.hs:59)
hClearFromCursorToScreenEnd (includes/Common-Include.hs:57)
hClearFromCursorToScreenBeginning (includes/Common-Include.hs:57)
hClearScreen (includes/Common-Include.hs:57)
clearFromCursorToScreenEndCode (includes/Common-Include.hs:60)
clearFromCursorToScreenBeginningCode (includes/Common-Include.hs:60)
clearScreenCode (includes/Common-Include.hs:60)
clearFromCursorToLineEnd (includes/Common-Include.hs:69)
clearFromCursorToLineBeginning (includes/Common-Include.hs:69)
clearLine (includes/Common-Include.hs:69)
hClearFromCursorToLineEnd (includes/Common-Include.hs:67)
hClearFromCursorToLineBeginning (includes/Common-Include.hs:67)
hClearLine (includes/Common-Include.hs:67)
clearFromCursorToLineEndCode (includes/Common-Include.hs:70)
clearFromCursorToLineBeginningCode (includes/Common-Include.hs:70)
clearLineCode (includes/Common-Include.hs:70)
hideCursor (includes/Common-Include.hs:114)
showCursor (includes/Common-Include.hs:114)
hHideCursor (includes/Common-Include.hs:112)
hShowCursor (includes/Common-Include.hs:112)
hideCursorCode (includes/Common-Include.hs:115)
showCursorCode (includes/Common-Include.hs:115)
39% ( 31 / 79) in 'System.Console.ANSI'
Missing documentation for:
cursorUp (includes/Common-Include.hs:9)
cursorDown (includes/Common-Include.hs:9)
cursorForward (includes/Common-Include.hs:9)
cursorBackward (includes/Common-Include.hs:9)
hCursorUp (includes/Common-Include.hs:6)
hCursorDown (includes/Common-Include.hs:6)
hCursorForward (includes/Common-Include.hs:6)
hCursorBackward (includes/Common-Include.hs:6)
cursorUpCode (includes/Common-Include.hs:11)
cursorDownCode (includes/Common-Include.hs:11)
cursorForwardCode (includes/Common-Include.hs:11)
cursorBackwardCode (includes/Common-Include.hs:11)
cursorUpLine (includes/Common-Include.hs:23)
cursorDownLine (includes/Common-Include.hs:23)
hCursorUpLine (includes/Common-Include.hs:20)
hCursorDownLine (includes/Common-Include.hs:20)
cursorUpLineCode (includes/Common-Include.hs:25)
cursorDownLineCode (includes/Common-Include.hs:25)
setCursorColumn (includes/Common-Include.hs:35)
hSetCursorColumn (includes/Common-Include.hs:32)
setCursorColumnCode (includes/Common-Include.hs:37)
setCursorPosition (includes/Common-Include.hs:47)
hSetCursorPosition (includes/Common-Include.hs:43)
setCursorPositionCode (includes/Common-Include.hs:50)
clearFromCursorToScreenEnd (includes/Common-Include.hs:59)
clearFromCursorToScreenBeginning (includes/Common-Include.hs:59)
clearScreen (includes/Common-Include.hs:59)
hClearFromCursorToScreenEnd (includes/Common-Include.hs:57)
hClearFromCursorToScreenBeginning (includes/Common-Include.hs:57)
hClearScreen (includes/Common-Include.hs:57)
clearFromCursorToScreenEndCode (includes/Common-Include.hs:60)
clearFromCursorToScreenBeginningCode (includes/Common-Include.hs:60)
clearScreenCode (includes/Common-Include.hs:60)
clearFromCursorToLineEnd (includes/Common-Include.hs:69)
clearFromCursorToLineBeginning (includes/Common-Include.hs:69)
clearLine (includes/Common-Include.hs:69)
hClearFromCursorToLineEnd (includes/Common-Include.hs:67)
hClearFromCursorToLineBeginning (includes/Common-Include.hs:67)
hClearLine (includes/Common-Include.hs:67)
clearFromCursorToLineEndCode (includes/Common-Include.hs:70)
clearFromCursorToLineBeginningCode (includes/Common-Include.hs:70)
clearLineCode (includes/Common-Include.hs:70)
hideCursor (includes/Common-Include.hs:114)
showCursor (includes/Common-Include.hs:114)
hHideCursor (includes/Common-Include.hs:112)
hShowCursor (includes/Common-Include.hs:112)
hideCursorCode (includes/Common-Include.hs:115)
showCursorCode (includes/Common-Include.hs:115)
Documentation created: dist/doc/html/ansi-terminal/index.html,
dist/doc/html/ansi-terminal/ansi-terminal.txt
Creating package registration file:
/tmp/pkgConf-ansi-terminal-0.6.21909002904165344818.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/ansi-terminal-0.6.2.3-KW0LUY2zB7JCYzE4ZYrwBg
Registering ansi-terminal-0.6.2.3...
Installed ansi-terminal-0.6.2.3
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.8404158660937370163.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.41021784812586235379.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 gitrev-1.1.0...
Building gitrev-1.1.0...
Preprocessing library gitrev-1.1.0...
[1 of 1] Compiling Development.GitRev ( src/Development/GitRev.hs, dist/build/Development/GitRev.o )
In-place registering gitrev-1.1.0...
Running Haddock for gitrev-1.1.0...
Running hscolour for gitrev-1.1.0...
Preprocessing library gitrev-1.1.0...
Preprocessing library gitrev-1.1.0...
Haddock coverage:
100% ( 5 / 5) in 'Development.GitRev'
Documentation created: dist/doc/html/gitrev/index.html,
dist/doc/html/gitrev/gitrev.txt
Creating package registration file:
/tmp/pkgConf-gitrev-1.1524305153292423943.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/gitrev-1.1.0-DbWnIqXKCbR1oS3lXy7p2G
Registering gitrev-1.1.0...
Installed gitrev-1.1.0
Configuring heredoc-0.2.0.0...
Building heredoc-0.2.0.0...
Preprocessing library heredoc-0.2.0.0...
[1 of 1] Compiling Text.Heredoc ( src/Text/Heredoc.hs, dist/build/Text/Heredoc.o )
In-place registering heredoc-0.2.0.0...
Running Haddock for heredoc-0.2.0.0...
Running hscolour for heredoc-0.2.0.0...
Preprocessing library heredoc-0.2.0.0...
Preprocessing library heredoc-0.2.0.0...
Haddock coverage:
75% ( 3 / 4) in 'Text.Heredoc'
Missing documentation for:
Module header
Documentation created: dist/doc/html/heredoc/index.html,
dist/doc/html/heredoc/heredoc.txt
Creating package registration file:
/tmp/pkgConf-heredoc-0.2.06289669501520982030.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/heredoc-0.2.0.0-9GPjDqIABKIAfoa8byjFM6
Registering heredoc-0.2.0.0...
Installed heredoc-0.2.0.0
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.7821731091105816539.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 monadLib-3.7.3...
Building monadLib-3.7.3...
Preprocessing library monadLib-3.7.3...
[1 of 3] Compiling MonadLib ( src/MonadLib.hs, dist/build/MonadLib.o )
src/MonadLib.hs:5:14: Warning:
‘MonadLib’ is marked as Trustworthy but has been inferred as safe!
[2 of 3] Compiling MonadLib.Derive ( src/MonadLib/Derive.hs, dist/build/MonadLib/Derive.o )
[3 of 3] Compiling MonadLib.Monads ( src/MonadLib/Monads.hs, dist/build/MonadLib/Monads.o )
src/MonadLib/Monads.hs:18:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/MonadLib/Monads.hs:20:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
In-place registering monadLib-3.7.3...
Running Haddock for monadLib-3.7.3...
Running hscolour for monadLib-3.7.3...
Preprocessing library monadLib-3.7.3...
Preprocessing library monadLib-3.7.3...
src/MonadLib.hs:5:14: Warning:
‘MonadLib’ is marked as Trustworthy but has been inferred as safe!
src/MonadLib/Monads.hs:18:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/MonadLib/Monads.hs:20:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Haddock coverage:
97% ( 62 / 64) in 'MonadLib'
Missing documentation for:
MonadT (src/MonadLib.hs:234)
BaseM (src/MonadLib.hs:287)
92% ( 24 / 26) in 'MonadLib.Derive'
Missing documentation for:
derive_fail (src/MonadLib/Derive.hs:69)
derive_abort (src/MonadLib/Derive.hs:101)
17% ( 2 / 12) in 'MonadLib.Monads'
Missing documentation for:
Reader (src/MonadLib/Monads.hs:22)
Writer (src/MonadLib/Monads.hs:23)
State (src/MonadLib/Monads.hs:24)
Exception (src/MonadLib/Monads.hs:25)
Cont (src/MonadLib/Monads.hs:26)
runReader (src/MonadLib/Monads.hs:94)
runWriter (src/MonadLib/Monads.hs:95)
runState (src/MonadLib/Monads.hs:96)
runException (src/MonadLib/Monads.hs:97)
runCont (src/MonadLib/Monads.hs:98)
Documentation created: dist/doc/html/monadLib/index.html,
dist/doc/html/monadLib/monadLib.txt
Creating package registration file:
/tmp/pkgConf-monadLib-3.716717359902010794583.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/monadLib-3.7.3-JtyiEuBx8E8ExLbUWdxc6q
Registering monadLib-3.7.3...
Installed monadLib-3.7.3
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.21446648412695466127.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.01756098480845954166.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 presburger-1.3.1...
Building presburger-1.3.1...
Preprocessing library presburger-1.3.1...
[1 of 1] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, dist/build/Data/Integer/SAT.o )
src/Data/Integer/SAT.hs:44:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
src/Data/Integer/SAT.hs:50:1: Warning:
The import of ‘Applicative, <$>’
from module ‘Control.Applicative’ is redundant
In-place registering presburger-1.3.1...
Running Haddock for presburger-1.3.1...
Running hscolour for presburger-1.3.1...
Preprocessing library presburger-1.3.1...
Preprocessing library presburger-1.3.1...
src/Data/Integer/SAT.hs:44:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
src/Data/Integer/SAT.hs:50:1: Warning:
The import of ‘Applicative, <$>’
from module ‘Control.Applicative’ is redundant
Haddock coverage:
46% ( 13 / 28) in 'Data.Integer.SAT'
Missing documentation for:
BoundType (src/Data/Integer/SAT.hs:241)
Name (src/Data/Integer/SAT.hs:806)
toName (src/Data/Integer/SAT.hs:813)
fromName (src/Data/Integer/SAT.hs:816)
allSolutions (src/Data/Integer/SAT.hs:95)
slnCurrent (src/Data/Integer/SAT.hs:361)
slnNextVal (src/Data/Integer/SAT.hs:412)
slnNextVar (src/Data/Integer/SAT.hs:434)
slnEnumerate (src/Data/Integer/SAT.hs:398)
dotPropSet (src/Data/Integer/SAT.hs:67)
sizePropSet (src/Data/Integer/SAT.hs:70)
allInerts (src/Data/Integer/SAT.hs:92)
ppInerts (src/Data/Integer/SAT.hs:265)
iPickBounded (src/Data/Integer/SAT.hs:444)
Bound (src/Data/Integer/SAT.hs:238)
Warning: Data.Integer.SAT: could not find link destinations for:
Solutions Inerts Term
Documentation created: dist/doc/html/presburger/index.html,
dist/doc/html/presburger/presburger.txt
Creating package registration file:
/tmp/pkgConf-presburger-1.31131352346848934683.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/presburger-1.3.1-0yq1UYUm0bOLuMd0SWbBpP
Registering presburger-1.3.1...
Installed presburger-1.3.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.112213898731173002606.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-120000330621933084303.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 smtLib-1.0.7...
Building smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
[ 1 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.o )
[ 2 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.o )
[ 3 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.o )
[ 4 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.o )
[ 5 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.o )
[ 6 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.o )
[ 7 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist/build/SMTLib2.o )
[ 8 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.o )
[ 9 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.o )
[10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.o )
src/SMTLib2/Compat1.hs:9:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/SMTLib2/Compat1.hs:10: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()
[11 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist/build/SMTLib1.o )
[12 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.o )
[13 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.o )
In-place registering smtLib-1.0.7...
Running Haddock for smtLib-1.0.7...
Running hscolour for smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
src/SMTLib2/Compat1.hs:9:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/SMTLib2/Compat1.hs:10: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:
0% ( 0 / 22) in 'SMTLib2.AST'
Missing documentation for:
Module header
Name (src/SMTLib2/AST.hs:16)
Ident (src/SMTLib2/AST.hs:19)
Quant (src/SMTLib2/AST.hs:22)
Binder (src/SMTLib2/AST.hs:25)
Defn (src/SMTLib2/AST.hs:28)
Literal (src/SMTLib2/AST.hs:31)
Type (src/SMTLib2/AST.hs:37)
Expr (src/SMTLib2/AST.hs:41)
Attr (src/SMTLib2/AST.hs:48)
AttrVal (src/SMTLib2/AST.hs:51)
Option (src/SMTLib2/AST.hs:54)
InfoFlag (src/SMTLib2/AST.hs:68)
Command (src/SMTLib2/AST.hs:78)
Script (src/SMTLib2/AST.hs:98)
(src/SMTLib2/AST.hs:108)
(src/SMTLib2/AST.hs:109)
(src/SMTLib2/AST.hs:110)
(src/SMTLib2/AST.hs:111)
(src/SMTLib2/AST.hs:116)
(src/SMTLib2/AST.hs:126)
app (src/SMTLib2/AST.hs:130)
0% ( 0 / 18) in 'SMTLib2.PP'
Missing documentation for:
Module header
PP (src/SMTLib2/PP.hs:9)
(src/SMTLib2/PP.hs:12)
(src/SMTLib2/PP.hs:16)
ppString (src/SMTLib2/PP.hs:19)
(src/SMTLib2/PP.hs:22)
(src/SMTLib2/PP.hs:25)
(src/SMTLib2/PP.hs:29)
(src/SMTLib2/PP.hs:32)
(src/SMTLib2/PP.hs:36)
(src/SMTLib2/PP.hs:67)
(src/SMTLib2/PP.hs:70)
(src/SMTLib2/PP.hs:73)
(src/SMTLib2/PP.hs:82)
(src/SMTLib2/PP.hs:106)
(src/SMTLib2/PP.hs:126)
(src/SMTLib2/PP.hs:139)
(src/SMTLib2/PP.hs:165)
0% ( 0 / 12) in 'SMTLib2.Core'
Missing documentation for:
Module header
tBool (src/SMTLib2/Core.hs:6)
true (src/SMTLib2/Core.hs:9)
false (src/SMTLib2/Core.hs:12)
not (src/SMTLib2/Core.hs:15)
==> (src/SMTLib2/Core.hs:18)
and (src/SMTLib2/Core.hs:21)
or (src/SMTLib2/Core.hs:24)
xor (src/SMTLib2/Core.hs:27)
=== (src/SMTLib2/Core.hs:30)
=/= (src/SMTLib2/Core.hs:33)
ite (src/SMTLib2/Core.hs:36)
0% ( 0 / 38) in 'SMTLib2.BitVector'
Missing documentation for:
Module header
tBitVec (src/SMTLib2/BitVector.hs:6)
bv (src/SMTLib2/BitVector.hs:9)
concat (src/SMTLib2/BitVector.hs:12)
extract (src/SMTLib2/BitVector.hs:15)
bvnot (src/SMTLib2/BitVector.hs:18)
bvand (src/SMTLib2/BitVector.hs:21)
bvor (src/SMTLib2/BitVector.hs:24)
bvneg (src/SMTLib2/BitVector.hs:27)
bvadd (src/SMTLib2/BitVector.hs:30)
bvmul (src/SMTLib2/BitVector.hs:33)
bvudiv (src/SMTLib2/BitVector.hs:36)
bvurem (src/SMTLib2/BitVector.hs:39)
bvshl (src/SMTLib2/BitVector.hs:42)
bvlshr (src/SMTLib2/BitVector.hs:45)
bvult (src/SMTLib2/BitVector.hs:48)
bvnand (src/SMTLib2/BitVector.hs:51)
bvnor (src/SMTLib2/BitVector.hs:54)
bvxor (src/SMTLib2/BitVector.hs:57)
bvxnor (src/SMTLib2/BitVector.hs:60)
bvcomp (src/SMTLib2/BitVector.hs:63)
bvsub (src/SMTLib2/BitVector.hs:66)
bvsdiv (src/SMTLib2/BitVector.hs:69)
bvsrem (src/SMTLib2/BitVector.hs:72)
bvsmod (src/SMTLib2/BitVector.hs:75)
bvashr (src/SMTLib2/BitVector.hs:78)
repeat (src/SMTLib2/BitVector.hs:81)
zero_extend (src/SMTLib2/BitVector.hs:84)
sign_extend (src/SMTLib2/BitVector.hs:87)
rotate_left (src/SMTLib2/BitVector.hs:90)
rotate_right (src/SMTLib2/BitVector.hs:93)
bvule (src/SMTLib2/BitVector.hs:96)
bvugt (src/SMTLib2/BitVector.hs:99)
bvuge (src/SMTLib2/BitVector.hs:102)
bvslt (src/SMTLib2/BitVector.hs:105)
bvsle (src/SMTLib2/BitVector.hs:108)
bvsgt (src/SMTLib2/BitVector.hs:111)
bvsge (src/SMTLib2/BitVector.hs:114)
0% ( 0 / 4) in 'SMTLib2.Array'
Missing documentation for:
Module header
tArray (src/SMTLib2/Array.hs:6)
select (src/SMTLib2/Array.hs:9)
store (src/SMTLib2/Array.hs:12)
0% ( 0 / 14) in 'SMTLib2.Int'
Missing documentation for:
Module header
tInt (src/SMTLib2/Int.hs:6)
num (src/SMTLib2/Int.hs:9)
nNeg (src/SMTLib2/Int.hs:12)
nSub (src/SMTLib2/Int.hs:15)
nAdd (src/SMTLib2/Int.hs:18)
nMul (src/SMTLib2/Int.hs:21)
nDiv (src/SMTLib2/Int.hs:24)
nMod (src/SMTLib2/Int.hs:27)
nAbs (src/SMTLib2/Int.hs:30)
nLeq (src/SMTLib2/Int.hs:33)
nLt (src/SMTLib2/Int.hs:36)
nGeq (src/SMTLib2/Int.hs:39)
nGt (src/SMTLib2/Int.hs:42)
0% ( 0 / 17) in 'SMTLib2'
Missing documentation for:
Module header
Script (src/SMTLib2/AST.hs:98)
Binder (src/SMTLib2/AST.hs:25)
Defn (src/SMTLib2/AST.hs:28)
Type (src/SMTLib2/AST.hs:37)
Expr (src/SMTLib2/AST.hs:41)
Name (src/SMTLib2/AST.hs:16)
Ident (src/SMTLib2/AST.hs:19)
Quant (src/SMTLib2/AST.hs:22)
Literal (src/SMTLib2/AST.hs:31)
Attr (src/SMTLib2/AST.hs:48)
AttrVal (src/SMTLib2/AST.hs:51)
Command (src/SMTLib2/AST.hs:78)
Option (src/SMTLib2/AST.hs:54)
InfoFlag (src/SMTLib2/AST.hs:68)
app (src/SMTLib2/AST.hs:130)
PP (src/SMTLib2/PP.hs:9)
6% ( 2 / 31) in 'SMTLib1.AST'
Missing documentation for:
Module header
Name (src/SMTLib1/AST.hs:16)
Ident (src/SMTLib1/AST.hs:19)
Quant (src/SMTLib1/AST.hs:22)
Conn (src/SMTLib1/AST.hs:25)
Formula (src/SMTLib1/AST.hs:28)
Sort (src/SMTLib1/AST.hs:39)
Binder (src/SMTLib1/AST.hs:41)
Term (src/SMTLib1/AST.hs:44)
Literal (src/SMTLib1/AST.hs:51)
Annot (src/SMTLib1/AST.hs:56)
FunDecl (src/SMTLib1/AST.hs:59)
PredDecl (src/SMTLib1/AST.hs:65)
Status (src/SMTLib1/AST.hs:70)
Command (src/SMTLib1/AST.hs:72)
Script (src/SMTLib1/AST.hs:84)
(src/SMTLib1/AST.hs:94)
(src/SMTLib1/AST.hs:95)
(src/SMTLib1/AST.hs:96)
(src/SMTLib1/AST.hs:99)
(src/SMTLib1/AST.hs:108)
=== (src/SMTLib1/AST.hs:115)
=/= (src/SMTLib1/AST.hs:118)
tInt (src/SMTLib1/AST.hs:129)
funDef (src/SMTLib1/AST.hs:132)
constDef (src/SMTLib1/AST.hs:139)
logic (src/SMTLib1/AST.hs:143)
assume (src/SMTLib1/AST.hs:146)
goal (src/SMTLib1/AST.hs:149)
0% ( 0 / 16) in 'SMTLib1.PP'
Missing documentation for:
Module header
PP (src/SMTLib1/PP.hs:7)
(src/SMTLib1/PP.hs:10)
(src/SMTLib1/PP.hs:13)
(src/SMTLib1/PP.hs:19)
(src/SMTLib1/PP.hs:23)
(src/SMTLib1/PP.hs:34)
(src/SMTLib1/PP.hs:37)
(src/SMTLib1/PP.hs:63)
(src/SMTLib1/PP.hs:71)
(src/SMTLib1/PP.hs:88)
(src/SMTLib1/PP.hs:95)
(src/SMTLib1/PP.hs:99)
(src/SMTLib1/PP.hs:103)
(src/SMTLib1/PP.hs:110)
(src/SMTLib1/PP.hs:139)
0% ( 0 / 18) in 'SMTLib2.Compat1'
Missing documentation for:
Module header
Trans (src/SMTLib2/Compat1.hs:14)
toMaybe (src/SMTLib2/Compat1.hs:16)
toEither (src/SMTLib2/Compat1.hs:22)
(src/SMTLib2/Compat1.hs:28)
(src/SMTLib2/Compat1.hs:34)
err (src/SMTLib2/Compat1.hs:42)
name (src/SMTLib2/Compat1.hs:47)
ident (src/SMTLib2/Compat1.hs:50)
quant (src/SMTLib2/Compat1.hs:53)
binder (src/SMTLib2/Compat1.hs:59)
sort (src/SMTLib2/Compat1.hs:64)
literal (src/SMTLib2/Compat1.hs:67)
term (src/SMTLib2/Compat1.hs:74)
formula (src/SMTLib2/Compat1.hs:84)
annot (src/SMTLib2/Compat1.hs:122)
command (src/SMTLib2/Compat1.hs:130)
script (src/SMTLib2/Compat1.hs:178)
7% ( 2 / 27) in 'SMTLib1'
Missing documentation for:
Module header
Name (src/SMTLib1/AST.hs:16)
Ident (src/SMTLib1/AST.hs:19)
Quant (src/SMTLib1/AST.hs:22)
Conn (src/SMTLib1/AST.hs:25)
Formula (src/SMTLib1/AST.hs:28)
Sort (src/SMTLib1/AST.hs:39)
Binder (src/SMTLib1/AST.hs:41)
Term (src/SMTLib1/AST.hs:44)
Literal (src/SMTLib1/AST.hs:51)
Annot (src/SMTLib1/AST.hs:56)
FunDecl (src/SMTLib1/AST.hs:59)
PredDecl (src/SMTLib1/AST.hs:65)
Status (src/SMTLib1/AST.hs:70)
Command (src/SMTLib1/AST.hs:72)
Script (src/SMTLib1/AST.hs:84)
=== (src/SMTLib1/AST.hs:115)
=/= (src/SMTLib1/AST.hs:118)
tInt (src/SMTLib1/AST.hs:129)
funDef (src/SMTLib1/AST.hs:132)
constDef (src/SMTLib1/AST.hs:139)
logic (src/SMTLib1/AST.hs:143)
assume (src/SMTLib1/AST.hs:146)
goal (src/SMTLib1/AST.hs:149)
PP (src/SMTLib1/PP.hs:7)
Warning: SMTLib1.QF_BV: Could not find documentation for exported module: X
8% ( 3 / 40) in 'SMTLib1.QF_BV'
Missing documentation for:
Module header
tBitVec (src/SMTLib1/QF_BV.hs:8)
isBitVec (src/SMTLib1/QF_BV.hs:11)
extract (src/SMTLib1/QF_BV.hs:27)
bvnot (src/SMTLib1/QF_BV.hs:30)
bvand (src/SMTLib1/QF_BV.hs:33)
bvor (src/SMTLib1/QF_BV.hs:36)
bvneg (src/SMTLib1/QF_BV.hs:39)
bvadd (src/SMTLib1/QF_BV.hs:42)
bvmul (src/SMTLib1/QF_BV.hs:45)
bvudiv (src/SMTLib1/QF_BV.hs:48)
bvurem (src/SMTLib1/QF_BV.hs:51)
bvshl (src/SMTLib1/QF_BV.hs:54)
bvlshr (src/SMTLib1/QF_BV.hs:57)
bv (src/SMTLib1/QF_BV.hs:61)
bvnand (src/SMTLib1/QF_BV.hs:65)
bvnor (src/SMTLib1/QF_BV.hs:68)
bvxor (src/SMTLib1/QF_BV.hs:71)
bvxnor (src/SMTLib1/QF_BV.hs:74)
bvcomp (src/SMTLib1/QF_BV.hs:77)
bvsub (src/SMTLib1/QF_BV.hs:80)
bvsdiv (src/SMTLib1/QF_BV.hs:83)
bvsrem (src/SMTLib1/QF_BV.hs:86)
bvsmod (src/SMTLib1/QF_BV.hs:89)
bvashr (src/SMTLib1/QF_BV.hs:92)
repeat (src/SMTLib1/QF_BV.hs:95)
zero_extend (src/SMTLib1/QF_BV.hs:98)
sign_extend (src/SMTLib1/QF_BV.hs:101)
rotate_left (src/SMTLib1/QF_BV.hs:104)
rotate_right (src/SMTLib1/QF_BV.hs:107)
bvule (src/SMTLib1/QF_BV.hs:110)
bvugt (src/SMTLib1/QF_BV.hs:113)
bvuge (src/SMTLib1/QF_BV.hs:116)
bvslt (src/SMTLib1/QF_BV.hs:119)
bvsle (src/SMTLib1/QF_BV.hs:122)
bvsgt (src/SMTLib1/QF_BV.hs:125)
bvsge (src/SMTLib1/QF_BV.hs:128)
Warning: SMTLib1.QF_AUFBV: Could not find documentation for exported module: X
75% ( 3 / 4) in 'SMTLib1.QF_AUFBV'
Missing documentation for:
Module header
Documentation created: dist/doc/html/smtLib/index.html,
dist/doc/html/smtLib/smtLib.txt
Creating package registration file:
/tmp/pkgConf-smtLib-1.018457169511821115873.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/smtLib-1.0.7-9ySxzNMcZkeKacRn9efYYs
Registering smtLib-1.0.7...
Installed smtLib-1.0.7
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.411795291281961415139.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-01445834946257009719.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 text-1.2.1.3...
Building text-1.2.1.3...
Preprocessing library text-1.2.1.3...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
In-place registering text-1.2.1.3...
Running Haddock for text-1.2.1.3...
Running hscolour for text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
Missing documentation for:
IReader (Data/Text/Internal/Read.hs:26)
IParser (Data/Text/Internal/Read.hs:28)
T (Data/Text/Internal/Read.hs:48)
digitToInt (Data/Text/Internal/Read.hs:61)
hexDigitToInt (Data/Text/Internal/Read.hs:55)
perhaps (Data/Text/Internal/Read.hs:50)
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
Missing documentation for:
validate (Data/Text/Internal/Encoding/Utf32.hs:24)
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
Missing documentation for:
roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17)
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
Missing documentation for:
Module header
digits (Data/Text/Internal/Builder/Int/Digits.hs:21)
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
Missing documentation for:
chr2 (Data/Text/Internal/Encoding/Utf16.hs:29)
validate1 (Data/Text/Internal/Encoding/Utf16.hs:38)
validate2 (Data/Text/Internal/Encoding/Utf16.hs:42)
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
Missing documentation for:
ord (Data/Text/Internal/Unsafe/Char.hs:39)
unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43)
unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47)
unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51)
95% ( 19 / 20) in 'Data.Text.Internal'
Missing documentation for:
textP (Data/Text/Internal.hs:97)
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
Missing documentation for:
Size (Data/Text/Internal/Fusion/Size.hs:40)
exactly (Data/Text/Internal/Fusion/Size.hs:44)
exactSize (Data/Text/Internal/Fusion/Size.hs:49)
maxSize (Data/Text/Internal/Fusion/Size.hs:57)
betweenSize (Data/Text/Internal/Fusion/Size.hs:65)
unknownSize (Data/Text/Internal/Fusion/Size.hs:74)
compareSize (Data/Text/Internal/Fusion/Size.hs:143)
isEmpty (Data/Text/Internal/Fusion/Size.hs:151)
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
Missing documentation for:
Module header
upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13)
lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220)
titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225)
foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324)
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
Missing documentation for:
singleton (Data/Text/Internal/Fusion/Common.hs:119)
streamList (Data/Text/Internal/Fusion/Common.hs:125)
unstreamList (Data/Text/Internal/Fusion/Common.hs:131)
intercalate (Data/Text/Internal/Fusion/Common.hs:577)
justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479)
scanl (Data/Text/Internal/Fusion/Common.hs:656)
replicateCharI (Data/Text/Internal/Fusion/Common.hs:671)
replicateI (Data/Text/Internal/Fusion/Common.hs:682)
93% ( 13 / 14) in 'Data.Text.Unsafe'
Missing documentation for:
Iter (Data/Text/Unsafe.hs:62)
33% ( 1 / 3) in 'Data.Text.Internal.Private'
Missing documentation for:
runText (Data/Text/Internal/Private.hs:33)
span_ (Data/Text/Internal/Private.hs:23)
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
length (Data/Text/Internal/Fusion.hs:127)
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
Missing documentation for:
restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63)
restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39)
restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106)
restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87)
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
Missing documentation for:
ord2 (Data/Text/Internal/Encoding/Utf8.hs:58)
ord3 (Data/Text/Internal/Encoding/Utf8.hs:69)
ord4 (Data/Text/Internal/Encoding/Utf8.hs:81)
chr2 (Data/Text/Internal/Encoding/Utf8.hs:94)
chr3 (Data/Text/Internal/Encoding/Utf8.hs:103)
chr4 (Data/Text/Internal/Encoding/Utf8.hs:114)
validate1 (Data/Text/Internal/Encoding/Utf8.hs:128)
validate2 (Data/Text/Internal/Encoding/Utf8.hs:132)
validate3 (Data/Text/Internal/Encoding/Utf8.hs:136)
validate4 (Data/Text/Internal/Encoding/Utf8.hs:153)
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
Missing documentation for:
streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57)
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (126 /126) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
Missing documentation for:
encodeUtf8 (Data/Text/Lazy/Encoding.hs:148)
encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162)
encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167)
99% (127 /128) in 'Data.Text.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
Missing documentation for:
append' (Data/Text/Internal/Builder.hs:288)
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
Missing documentation for:
Module header
decimal (Data/Text/Lazy/Builder/Int.hs:52)
hexadecimal (Data/Text/Lazy/Builder/Int.hs:162)
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
Missing documentation for:
formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46)
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
bracket
Warning: Data.Text: could not find link destinations for:
replicateChar countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
replicateChar dropWords splitAtWord countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
empty append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file:
/tmp/pkgConf-text-1.2.15604136401171142496.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.1.3-1l1AN4I48k37RaQ6fm6CEh
Registering text-1.2.1.3...
Installed text-1.2.1.3
Configuring utf8-string-1.0.1.1...
Building utf8-string-1.0.1.1...
Preprocessing library utf8-string-1.0.1.1...
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o )
[3 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[4 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o )
[5 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o )
In-place registering utf8-string-1.0.1.1...
Running Haddock for utf8-string-1.0.1.1...
Running hscolour for utf8-string-1.0.1.1...
Preprocessing library utf8-string-1.0.1.1...
Preprocessing library utf8-string-1.0.1.1...
Haddock coverage:
100% ( 8 / 8) in 'Codec.Binary.UTF8.String'
94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
Missing documentation for:
UTF8Bytes (Codec/Binary/UTF8/Generic.hs:48)
89% ( 24 / 27) in 'Data.String.UTF8'
Missing documentation for:
UTF8Bytes (Codec/Binary/UTF8/Generic.hs:48)
fromRep (Data/String/UTF8.hs:59)
toRep (Data/String/UTF8.hs:62)
100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
100% ( 17 / 17) in 'Data.ByteString.UTF8'
Documentation created: dist/doc/html/utf8-string/index.html,
dist/doc/html/utf8-string/utf8-string.txt
Creating package registration file:
/tmp/pkgConf-utf8-string-1.0.1769823461989833661.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/utf8-string-1.0.1.1-HWC8Qen5AZrArJxFQJuE72
Registering utf8-string-1.0.1.1...
Installed utf8-string-1.0.1.1
Configuring crackNum-1.3...
cabal: The following package dependencies were requested
--dependency='ieee754=ieee754-0.7.6-86a7ace3ab5845fa8946432e8dc71e5c'
--dependency='data-binary-ieee754=data-binary-ieee754-0.4.4-0b283849310911ea371238bdafd612a9'
however the given installed package instance does not exist.
Failed to install crackNum-1.3
Configuring old-time-1.1.0.3...
cabal: The following package dependencies were requested
--dependency='old-locale=old-locale-1.0.0.7-dc15dd805edac3bd819285f8edb51d07'
however the given installed package instance does not exist.
Failed to install old-time-1.1.0.3
Configuring tf-random-0.5...
cabal: The following package dependencies were requested
--dependency='random=random-1.1-b321acff6e39d1736faf38033c371054'
--dependency='primitive=primitive-0.6.1.0-f4f138cbd19dac63b233331b4afef43e'
however the given installed package instance does not exist.
Failed to install tf-random-0.5
Configuring async-2.0.2...
cabal: The following package dependencies were requested
--dependency='stm=stm-2.4.4-70007269a30de6ec60a981b188ba0f29'
however the given installed package instance does not exist.
Failed to install async-2.0.2
cabal: Error: some packages failed to install:
QuickCheck-2.8.1 depends on tf-random-0.5 which failed to install.
async-2.0.2 failed during the configure step. The exception was:
ExitFailure 1
crackNum-1.3 failed during the configure step. The exception was:
ExitFailure 1
cryptol-2.2.0 depends on async-2.0.2 which failed to install.
old-time-1.1.0.3 failed during the configure step. The exception was:
ExitFailure 1
sbv-5.5 depends on async-2.0.2 which failed to install.
tf-random-0.5 failed during the configure step. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.