Build #1 for cryptol-2.2.6
| Package | cryptol-2.2.6 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-12-25 00:09:49.715283 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.2.0, template-haskell-2.10.0.0, syb-0.6, smtLib-1.0.7, sbv-5.7, 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-compat-0.8.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...
Downloading GraphSCC-1.0.4...
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.02145174067468703135.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.014693480941956297539.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.21395235128532670688.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.820586571991973387981.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.42032894977262692685.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.11265122573124666328.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
Downloading heredoc-0.2.0.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.01003886059168057522.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.7972058109343945053.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
Downloading monadLib-3.7.3...
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.71875641892500037525.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.21539942439987987334.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.07308329331090099484.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
Downloading presburger-1.3.1...
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.3303872261608340634.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.120898163391114646704.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-19346188342078480869.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
Downloading smtLib-1.0.7...
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.02536745351820965014.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.1...
Building stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
[ 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.1...
Running Haddock for stm-2.4.4.1...
Running hscolour for stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
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.4.416562417071113675743.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/stm-2.4.4.1-1j4HkbCZte434brW1xp4L8
Registering stm-2.4.4.1...
Installed stm-2.4.4.1
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-015594739501369520631.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.2.0...
Building text-1.2.2.0...
Preprocessing library text-1.2.2.0...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.2.0...
Running Haddock for text-1.2.2.0...
Running hscolour for text-1.2.2.0...
Preprocessing library text-1.2.2.0...
Preprocessing library text-1.2.2.0...
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% (127 /127) 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% (128 /129) 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:301)
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.21367743294441971924.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.2.0-BKzOMwCPkuv5n8xwLM3CQG
Registering text-1.2.2.0...
Installed text-1.2.2.0
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.181088258474061048.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...
Building crackNum-1.3...
Preprocessing library crackNum-1.3...
[1 of 3] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/Data/Numbers/CrackNum/Data.o )
[2 of 3] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, dist/build/Data/Numbers/CrackNum/Utils.o )
[3 of 3] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, dist/build/Data/Numbers/CrackNum.o )
In-place registering crackNum-1.3...
Preprocessing executable 'crackNum' for crackNum-1.3...
[1 of 5] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Data.o )
[2 of 5] Compiling Paths_crackNum ( dist/build/autogen/Paths_crackNum.hs, dist/build/crackNum/crackNum-tmp/Paths_crackNum.o )
[3 of 5] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Utils.o )
[4 of 5] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum.o )
[5 of 5] Compiling Main ( Data/Numbers/CrackNum/Main.hs, dist/build/crackNum/crackNum-tmp/Main.o )
Linking dist/build/crackNum/crackNum ...
Running Haddock for crackNum-1.3...
Running hscolour for crackNum-1.3...
Preprocessing library crackNum-1.3...
Preprocessing executable 'crackNum' for crackNum-1.3...
Preprocessing library crackNum-1.3...
Haddock coverage:
100% ( 7 / 7) in 'Data.Numbers.CrackNum.Data'
100% ( 34 / 34) in 'Data.Numbers.CrackNum.Utils'
100% ( 14 / 14) in 'Data.Numbers.CrackNum'
Documentation created: dist/doc/html/crackNum/index.html,
dist/doc/html/crackNum/crackNum.txt
Preprocessing executable 'crackNum' for crackNum-1.3...
Creating package registration file:
/tmp/pkgConf-crackNum-1126794893430310992.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/crackNum-1.3-1eCcDcPz7qCApKTjiqogtz
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering crackNum-1.3...
Installed crackNum-1.3
Configuring old-time-1.1.0.3...
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/timeb.h usability... yes
checking sys/timeb.h presence... yes
checking for sys/timeb.h... yes
checking time.h usability... yes
checking time.h presence... yes
checking for time.h... yes
checking for ftime... yes
checking for gmtime_r... yes
checking for localtime_r... yes
checking for gettimeofday... yes
checking whether struct tm is in sys/time.h or time.h... time.h
checking for struct tm.tm_zone... yes
checking whether time.h and sys/time.h may both be included... yes
checking for sys/time.h... (cached) yes
checking whether altzone is declared... no
configure: creating ./config.status
config.status: creating include/HsTimeConfig.h
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
Building old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
[1 of 1] Compiling System.Time ( dist/build/System/Time.hs, dist/build/System/Time.o )
In-place registering old-time-1.1.0.3...
Running Haddock for old-time-1.1.0.3...
Running hscolour for old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Preprocessing library old-time-1.1.0.3...
Haddock coverage:
95% ( 20 / 21) in 'System.Time'
Missing documentation for:
getClockTime (System/Time.hsc:232)
Documentation created: dist/doc/html/old-time/index.html,
dist/doc/html/old-time/old-time.txt
Creating package registration file:
/tmp/pkgConf-old-time-1.1.0475777610866360494.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-time-1.1.0.3-FBWJJDS5FKr7UKFScBcUW2
Registering old-time-1.1.0.3...
Installed old-time-1.1.0.3
Configuring tf-random-0.5...
Building tf-random-0.5...
Preprocessing library tf-random-0.5...
[1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o )
[2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o )
src/System/Random/TF/Init.hs:94:5: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
[3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o )
[4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o )
In-place registering tf-random-0.5...
Running Haddock for tf-random-0.5...
Running hscolour for tf-random-0.5...
Preprocessing library tf-random-0.5...
Preprocessing library tf-random-0.5...
src/System/Random/TF/Init.hs:94:5: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Haddock coverage:
100% ( 4 / 4) in 'System.Random.TF.Gen'
83% ( 5 / 6) in 'System.Random.TF.Init'
Missing documentation for:
Module header
33% ( 1 / 3) in 'System.Random.TF.Instances'
Missing documentation for:
Random (src/System/Random/TF/Instances.hs:37)
randomEnum (src/System/Random/TF/Instances.hs:205)
100% ( 3 / 3) in 'System.Random.TF'
Documentation created: dist/doc/html/tf-random/index.html,
dist/doc/html/tf-random/tf-random.txt
Creating package registration file:
/tmp/pkgConf-tf-random-016629193611614718295.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tf-random-0.5-28prfR75qTK8HkPsc02Mdm
Registering tf-random-0.5...
Installed tf-random-0.5
Configuring async-2.0.2...
Building async-2.0.2...
Preprocessing library async-2.0.2...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
Control/Concurrent/Async.hs:125:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
In-place registering async-2.0.2...
Running Haddock for async-2.0.2...
Running hscolour for async-2.0.2...
Preprocessing library async-2.0.2...
Preprocessing library async-2.0.2...
Control/Concurrent/Async.hs:125:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
Haddock coverage:
100% ( 46 / 46) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file:
/tmp/pkgConf-async-2.020418241301178341976.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/async-2.0.2-7uoTe13JDWV6U6vlyYGaII
Registering async-2.0.2...
Installed async-2.0.2
Configuring QuickCheck-2.8.1...
Building QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Test/QuickCheck/Arbitrary.hs:6:37: Warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )
[ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o )
[ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[15 of 15] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.8.1...
Running Haddock for QuickCheck-2.8.1...
Running hscolour for QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Preprocessing library QuickCheck-2.8.1...
Test/QuickCheck/Arbitrary.hs:6:37: Warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Haddock coverage:
10% ( 2 / 20) in 'Test.QuickCheck.Random'
Missing documentation for:
newTheGen (Test/QuickCheck/Random.hs:17)
bits (Test/QuickCheck/Random.hs:20)
mask (Test/QuickCheck/Random.hs:20)
doneBit (Test/QuickCheck/Random.hs:20)
chip (Test/QuickCheck/Random.hs:25)
chop (Test/QuickCheck/Random.hs:30)
stop (Test/QuickCheck/Random.hs:33)
mkTheGen (Test/QuickCheck/Random.hs:36)
(Test/QuickCheck/Random.hs:65)
(Test/QuickCheck/Random.hs:67)
(Test/QuickCheck/Random.hs:70)
newQCGen (Test/QuickCheck/Random.hs:79)
mkQCGen (Test/QuickCheck/Random.hs:82)
bigNatVariant (Test/QuickCheck/Random.hs:85)
natVariant (Test/QuickCheck/Random.hs:91)
variantTheGen (Test/QuickCheck/Random.hs:97)
boolVariant (Test/QuickCheck/Random.hs:103)
variantQCGen (Test/QuickCheck/Random.hs:107)
33% ( 3 / 9) in 'Test.QuickCheck.Exception'
Missing documentation for:
AnException (Test/QuickCheck/Exception.hs:47)
tryEvaluate (Test/QuickCheck/Exception.hs:79)
tryEvaluateIO (Test/QuickCheck/Exception.hs:82)
evaluate (Test/QuickCheck/Exception.hs:86)
isDiscard (Test/QuickCheck/Exception.hs:114)
finally (Test/QuickCheck/Exception.hs:129)
6% ( 1 / 18) in 'Test.QuickCheck.Text'
Missing documentation for:
Str (Test/QuickCheck/Text.hs:46)
ranges (Test/QuickCheck/Text.hs:51)
number (Test/QuickCheck/Text.hs:59)
short (Test/QuickCheck/Text.hs:62)
showErr (Test/QuickCheck/Text.hs:70)
oneLine (Test/QuickCheck/Text.hs:73)
isOneLine (Test/QuickCheck/Text.hs:76)
bold (Test/QuickCheck/Text.hs:79)
newTerminal (Test/QuickCheck/Text.hs:90)
withStdioTerminal (Test/QuickCheck/Text.hs:104)
withNullTerminal (Test/QuickCheck/Text.hs:108)
terminalOutput (Test/QuickCheck/Text.hs:112)
handle (Test/QuickCheck/Text.hs:115)
Terminal (Test/QuickCheck/Text.hs:87)
putTemp (Test/QuickCheck/Text.hs:126)
putPart (Test/QuickCheck/Text.hs:126)
putLine (Test/QuickCheck/Text.hs:126)
100% ( 2 / 2) in 'Test.QuickCheck.State'
89% ( 25 / 28) in 'Test.QuickCheck.Gen'
Missing documentation for:
(Test/QuickCheck/Gen.hs:46)
(Test/QuickCheck/Gen.hs:50)
(Test/QuickCheck/Gen.hs:54)
80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe'
Missing documentation for:
Capture (Test/QuickCheck/Gen/Unsafe.hs:50)
100% ( 32 / 32) in 'Test.QuickCheck.Arbitrary'
93% ( 14 / 15) in 'Test.QuickCheck.Modifiers'
Missing documentation for:
ShrinkState (Test/QuickCheck/Modifiers.hs:323)
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
Missing documentation for:
A (Test/QuickCheck/Poly.hs:29)
B (Test/QuickCheck/Poly.hs:44)
C (Test/QuickCheck/Poly.hs:59)
OrdA (Test/QuickCheck/Poly.hs:77)
OrdB (Test/QuickCheck/Poly.hs:96)
OrdC (Test/QuickCheck/Poly.hs:115)
38% ( 3 / 8) in 'Test.QuickCheck.Function'
Missing documentation for:
Fun (Test/QuickCheck/Function.hs:275)
apply (Test/QuickCheck/Function.hs:289)
Function (Test/QuickCheck/Function.hs:106)
functionMap (Test/QuickCheck/Function.hs:142)
functionShow (Test/QuickCheck/Function.hs:145)
62% ( 44 / 71) in 'Test.QuickCheck.Property'
Missing documentation for:
(Test/QuickCheck/Property.hs:95)
(Test/QuickCheck/Property.hs:99)
(Test/QuickCheck/Property.hs:103)
(Test/QuickCheck/Property.hs:107)
(Test/QuickCheck/Property.hs:111)
(Test/QuickCheck/Property.hs:114)
(Test/QuickCheck/Property.hs:131)
protect (Test/QuickCheck/Property.hs:135)
Prop (Test/QuickCheck/Property.hs:141)
Rose (Test/QuickCheck/Property.hs:145)
ioRose (Test/QuickCheck/Property.hs:148)
joinRose (Test/QuickCheck/Property.hs:151)
(Test/QuickCheck/Property.hs:160)
(Test/QuickCheck/Property.hs:165)
(Test/QuickCheck/Property.hs:170)
CallbackKind (Test/QuickCheck/Property.hs:204)
exception (Test/QuickCheck/Property.hs:220)
formatException (Test/QuickCheck/Property.hs:226)
protectResult (Test/QuickCheck/Property.hs:231)
succeeded (Test/QuickCheck/Property.hs:234)
failed (Test/QuickCheck/Property.hs:234)
rejected (Test/QuickCheck/Property.hs:234)
liftBool (Test/QuickCheck/Property.hs:255)
mapResult (Test/QuickCheck/Property.hs:259)
mapTotalResult (Test/QuickCheck/Property.hs:262)
mapRoseResult (Test/QuickCheck/Property.hs:266)
mapProp (Test/QuickCheck/Property.hs:269)
50% ( 14 / 28) in 'Test.QuickCheck.Test'
Missing documentation for:
test (Test/QuickCheck/Test.hs:179)
doneTesting (Test/QuickCheck/Test.hs:185)
giveUp (Test/QuickCheck/Test.hs:215)
runATest (Test/QuickCheck/Test.hs:231)
summary (Test/QuickCheck/Test.hs:297)
success (Test/QuickCheck/Test.hs:308)
labelPercentage (Test/QuickCheck/Test.hs:338)
insufficientCoverage (Test/QuickCheck/Test.hs:346)
foundFailure (Test/QuickCheck/Test.hs:353)
localMin (Test/QuickCheck/Test.hs:357)
localMin' (Test/QuickCheck/Test.hs:387)
localMinFound (Test/QuickCheck/Test.hs:399)
callbackPostTest (Test/QuickCheck/Test.hs:424)
callbackPostFinalFailure (Test/QuickCheck/Test.hs:429)
100% ( 9 / 9) in 'Test.QuickCheck.All'
78% ( 14 / 18) in 'Test.QuickCheck.Monadic'
Missing documentation for:
stop (Test/QuickCheck/Monadic.hs:118)
monadic (Test/QuickCheck/Monadic.hs:204)
monadic' (Test/QuickCheck/Monadic.hs:207)
runSTGen (Test/QuickCheck/Monadic.hs:246)
99% (127 /128) in 'Test.QuickCheck'
Missing documentation for:
ShrinkState (Test/QuickCheck/Modifiers.hs:323)
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
RecursivelyShrink GSubterms GCoArbitrary gSubterms gSubtermsIncl
Warning: Test.QuickCheck: could not find link destinations for:
GCoArbitrary RecursivelyShrink GSubterms
Documentation created: dist/doc/html/QuickCheck/index.html,
dist/doc/html/QuickCheck/QuickCheck.txt
Creating package registration file:
/tmp/pkgConf-QuickCheck-2.813079641931151572322.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/QuickCheck-2.8.1-BnZKeqxVf7FCbnejbqAnPL
Registering QuickCheck-2.8.1...
Installed QuickCheck-2.8.1
Configuring sbv-5.7...
Building sbv-5.7...
Preprocessing library sbv-5.7...
[ 1 of 82] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 82] Compiling GHC.SrcLoc.Compat ( GHC/SrcLoc/Compat.hs, dist/build/GHC/SrcLoc/Compat.o )
[ 3 of 82] Compiling GHC.Stack.Compat ( GHC/Stack/Compat.hs, dist/build/GHC/Stack/Compat.o )
[ 4 of 82] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 5 of 82] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist/build/Data/SBV/SMT/SMTLibNames.o )
[ 6 of 82] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist/build/Data/SBV/Utils/Numeric.o )
[ 7 of 82] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 8 of 82] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 9 of 82] Compiling Data.SBV.BitVectors.Kind ( Data/SBV/BitVectors/Kind.hs, dist/build/Data/SBV/BitVectors/Kind.o )
[10 of 82] Compiling Data.SBV.BitVectors.Concrete ( Data/SBV/BitVectors/Concrete.hs, dist/build/Data/SBV/BitVectors/Concrete.o )
[11 of 82] Compiling Data.SBV.BitVectors.Symbolic ( Data/SBV/BitVectors/Symbolic.hs, dist/build/Data/SBV/BitVectors/Symbolic.o )
[12 of 82] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[13 of 82] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[14 of 82] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[15 of 82] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[16 of 82] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[17 of 82] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[18 of 82] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[19 of 82] Compiling Data.SBV.BitVectors.Operations ( Data/SBV/BitVectors/Operations.hs, dist/build/Data/SBV/BitVectors/Operations.o )
[20 of 82] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[21 of 82] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
[22 of 82] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[23 of 82] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[24 of 82] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[25 of 82] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[26 of 82] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o )
[27 of 82] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.o )
[28 of 82] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[29 of 82] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[30 of 82] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o )
[31 of 82] Compiling Data.SBV.BitVectors.Floating ( Data/SBV/BitVectors/Floating.hs, dist/build/Data/SBV/BitVectors/Floating.o )
[32 of 82] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[33 of 82] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[34 of 82] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )
[35 of 82] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[36 of 82] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[37 of 82] Compiling Data.SBV ( Data/SBV.hs, dist/build/Data/SBV.o )
[38 of 82] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[39 of 82] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[40 of 82] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o )
[41 of 82] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[42 of 82] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[43 of 82] Compiling Data.SBV.Bridge.ABC ( Data/SBV/Bridge/ABC.hs, dist/build/Data/SBV/Bridge/ABC.o )
[44 of 82] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.o )
[45 of 82] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[46 of 82] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[47 of 82] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[48 of 82] Compiling Data.SBV.Examples.BitPrecise.MultMask ( Data/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Data/SBV/Examples/BitPrecise/MultMask.o )
[49 of 82] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[50 of 82] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[51 of 82] Compiling Data.SBV.Examples.CodeGeneration.CRC_USB5 ( Data/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist/build/Data/SBV/Examples/CodeGeneration/CRC_USB5.o )
[52 of 82] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[53 of 82] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[54 of 82] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[55 of 82] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )
[56 of 82] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[57 of 82] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[58 of 82] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[59 of 82] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[60 of 82] Compiling Data.SBV.Examples.Misc.Enumerate ( Data/SBV/Examples/Misc/Enumerate.hs, dist/build/Data/SBV/Examples/Misc/Enumerate.o )
[61 of 82] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o )
[62 of 82] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o )
[63 of 82] Compiling Data.SBV.Examples.Misc.NoDiv0 ( Data/SBV/Examples/Misc/NoDiv0.hs, dist/build/Data/SBV/Examples/Misc/NoDiv0.o )
[64 of 82] Compiling Data.SBV.Examples.Misc.Word4 ( Data/SBV/Examples/Misc/Word4.hs, dist/build/Data/SBV/Examples/Misc/Word4.o )
[65 of 82] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )
[66 of 82] Compiling Data.SBV.Examples.Puzzles.Birthday ( Data/SBV/Examples/Puzzles/Birthday.hs, dist/build/Data/SBV/Examples/Puzzles/Birthday.o )
[67 of 82] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[68 of 82] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[69 of 82] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[70 of 82] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[71 of 82] Compiling Data.SBV.Examples.Puzzles.Fish ( Data/SBV/Examples/Puzzles/Fish.hs, dist/build/Data/SBV/Examples/Puzzles/Fish.o )
[72 of 82] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[73 of 82] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[74 of 82] Compiling Data.SBV.Examples.Puzzles.SendMoreMoney ( Data/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Data/SBV/Examples/Puzzles/SendMoreMoney.o )
[75 of 82] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[76 of 82] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[77 of 82] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[78 of 82] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[79 of 82] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[80 of 82] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[81 of 82] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
[82 of 82] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o )
In-place registering sbv-5.7...
Preprocessing executable 'SBVUnitTests' for sbv-5.7...
[ 1 of 64] Compiling Examples.Arrays.Memory ( SBVUnitTest/Examples/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Arrays/Memory.o )
[ 2 of 64] Compiling Examples.Basics.Higher ( SBVUnitTest/Examples/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Higher.o )
[ 3 of 64] Compiling Examples.Basics.ProofTests ( SBVUnitTest/Examples/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/ProofTests.o )
[ 4 of 64] Compiling Examples.Basics.QRem ( SBVUnitTest/Examples/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/QRem.o )
[ 5 of 64] Compiling Examples.CRC.CCITT ( SBVUnitTest/Examples/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT.o )
[ 6 of 64] Compiling Examples.CRC.CCITT_Unidir ( SBVUnitTest/Examples/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/CCITT_Unidir.o )
[ 7 of 64] Compiling Examples.CRC.GenPoly ( SBVUnitTest/Examples/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/GenPoly.o )
[ 8 of 64] Compiling Examples.CRC.Parity ( SBVUnitTest/Examples/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/Parity.o )
[ 9 of 64] Compiling Examples.CRC.USB5 ( SBVUnitTest/Examples/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/CRC/USB5.o )
[10 of 64] Compiling Examples.Puzzles.PowerSet ( SBVUnitTest/Examples/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/PowerSet.o )
[11 of 64] Compiling Examples.Puzzles.Temperature ( SBVUnitTest/Examples/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Puzzles/Temperature.o )
[12 of 64] Compiling Examples.Uninterpreted.Uninterpreted ( SBVUnitTest/Examples/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Uninterpreted/Uninterpreted.o )
[13 of 64] Compiling SBVUnitTestBuildTime ( SBVUnitTest/SBVUnitTestBuildTime.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVUnitTestBuildTime.o )
[14 of 64] Compiling Paths_sbv ( dist/build/autogen/Paths_sbv.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Paths_sbv.o )
[15 of 64] Compiling SBVTest ( SBVUnitTest/SBVTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTest.o )
[16 of 64] Compiling TestSuite.Arrays.Memory ( SBVUnitTest/TestSuite/Arrays/Memory.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Arrays/Memory.o )
[17 of 64] Compiling TestSuite.Basics.ArithNoSolver ( SBVUnitTest/TestSuite/Basics/ArithNoSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithNoSolver.o )
[18 of 64] Compiling TestSuite.Basics.ArithSolver ( SBVUnitTest/TestSuite/Basics/ArithSolver.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ArithSolver.o )
[19 of 64] Compiling TestSuite.Basics.Higher ( SBVUnitTest/TestSuite/Basics/Higher.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Higher.o )
[20 of 64] Compiling TestSuite.Basics.IteTest ( SBVUnitTest/TestSuite/Basics/IteTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/IteTest.o )
[21 of 64] Compiling TestSuite.Basics.ProofTests ( SBVUnitTest/TestSuite/Basics/ProofTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/ProofTests.o )
[22 of 64] Compiling TestSuite.Basics.QRem ( SBVUnitTest/TestSuite/Basics/QRem.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/QRem.o )
[23 of 64] Compiling TestSuite.BitPrecise.BitTricks ( SBVUnitTest/TestSuite/BitPrecise/BitTricks.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/BitTricks.o )
[24 of 64] Compiling TestSuite.BitPrecise.Legato ( SBVUnitTest/TestSuite/BitPrecise/Legato.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/Legato.o )
[25 of 64] Compiling TestSuite.BitPrecise.MergeSort ( SBVUnitTest/TestSuite/BitPrecise/MergeSort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/MergeSort.o )
[26 of 64] Compiling TestSuite.BitPrecise.PrefixSum ( SBVUnitTest/TestSuite/BitPrecise/PrefixSum.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/BitPrecise/PrefixSum.o )
[27 of 64] Compiling TestSuite.CRC.CCITT ( SBVUnitTest/TestSuite/CRC/CCITT.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT.o )
[28 of 64] Compiling TestSuite.CRC.CCITT_Unidir ( SBVUnitTest/TestSuite/CRC/CCITT_Unidir.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/CCITT_Unidir.o )
[29 of 64] Compiling TestSuite.CRC.GenPoly ( SBVUnitTest/TestSuite/CRC/GenPoly.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/GenPoly.o )
[30 of 64] Compiling TestSuite.CRC.Parity ( SBVUnitTest/TestSuite/CRC/Parity.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/Parity.o )
[31 of 64] Compiling TestSuite.CRC.USB5 ( SBVUnitTest/TestSuite/CRC/USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CRC/USB5.o )
[32 of 64] Compiling TestSuite.CodeGeneration.AddSub ( SBVUnitTest/TestSuite/CodeGeneration/AddSub.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/AddSub.o )
[33 of 64] Compiling TestSuite.CodeGeneration.CgTests ( SBVUnitTest/TestSuite/CodeGeneration/CgTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CgTests.o )
[34 of 64] Compiling TestSuite.CodeGeneration.CRC_USB5 ( SBVUnitTest/TestSuite/CodeGeneration/CRC_USB5.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/CRC_USB5.o )
[35 of 64] Compiling TestSuite.CodeGeneration.Fibonacci ( SBVUnitTest/TestSuite/CodeGeneration/Fibonacci.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Fibonacci.o )
[36 of 64] Compiling TestSuite.CodeGeneration.Floats ( SBVUnitTest/TestSuite/CodeGeneration/Floats.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Floats.o )
[37 of 64] Compiling TestSuite.CodeGeneration.GCD ( SBVUnitTest/TestSuite/CodeGeneration/GCD.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/GCD.o )
[38 of 64] Compiling TestSuite.CodeGeneration.PopulationCount ( SBVUnitTest/TestSuite/CodeGeneration/PopulationCount.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/PopulationCount.o )
[39 of 64] Compiling TestSuite.CodeGeneration.Uninterpreted ( SBVUnitTest/TestSuite/CodeGeneration/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/CodeGeneration/Uninterpreted.o )
[40 of 64] Compiling TestSuite.Crypto.AES ( SBVUnitTest/TestSuite/Crypto/AES.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/AES.o )
[41 of 64] Compiling TestSuite.Crypto.RC4 ( SBVUnitTest/TestSuite/Crypto/RC4.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Crypto/RC4.o )
[42 of 64] Compiling TestSuite.Existentials.CRCPolynomial ( SBVUnitTest/TestSuite/Existentials/CRCPolynomial.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Existentials/CRCPolynomial.o )
[43 of 64] Compiling TestSuite.Polynomials.Polynomials ( SBVUnitTest/TestSuite/Polynomials/Polynomials.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Polynomials/Polynomials.o )
[44 of 64] Compiling TestSuite.Puzzles.Coins ( SBVUnitTest/TestSuite/Puzzles/Coins.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Coins.o )
[45 of 64] Compiling TestSuite.Puzzles.Counts ( SBVUnitTest/TestSuite/Puzzles/Counts.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Counts.o )
[46 of 64] Compiling TestSuite.Puzzles.DogCatMouse ( SBVUnitTest/TestSuite/Puzzles/DogCatMouse.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/DogCatMouse.o )
[47 of 64] Compiling TestSuite.Puzzles.Euler185 ( SBVUnitTest/TestSuite/Puzzles/Euler185.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Euler185.o )
[48 of 64] Compiling TestSuite.Puzzles.MagicSquare ( SBVUnitTest/TestSuite/Puzzles/MagicSquare.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/MagicSquare.o )
[49 of 64] Compiling TestSuite.Puzzles.NQueens ( SBVUnitTest/TestSuite/Puzzles/NQueens.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/NQueens.o )
[50 of 64] Compiling TestSuite.Puzzles.PowerSet ( SBVUnitTest/TestSuite/Puzzles/PowerSet.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/PowerSet.o )
[51 of 64] Compiling TestSuite.Puzzles.Sudoku ( SBVUnitTest/TestSuite/Puzzles/Sudoku.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Sudoku.o )
[52 of 64] Compiling TestSuite.Puzzles.Temperature ( SBVUnitTest/TestSuite/Puzzles/Temperature.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/Temperature.o )
[53 of 64] Compiling TestSuite.Puzzles.U2Bridge ( SBVUnitTest/TestSuite/Puzzles/U2Bridge.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Puzzles/U2Bridge.o )
[54 of 64] Compiling TestSuite.Uninterpreted.AUF ( SBVUnitTest/TestSuite/Uninterpreted/AUF.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/AUF.o )
[55 of 64] Compiling TestSuite.Uninterpreted.Axioms ( SBVUnitTest/TestSuite/Uninterpreted/Axioms.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Axioms.o )
[56 of 64] Compiling TestSuite.Uninterpreted.Function ( SBVUnitTest/TestSuite/Uninterpreted/Function.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Function.o )
[57 of 64] Compiling TestSuite.Uninterpreted.Sort ( SBVUnitTest/TestSuite/Uninterpreted/Sort.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Sort.o )
[58 of 64] Compiling TestSuite.Uninterpreted.Uninterpreted ( SBVUnitTest/TestSuite/Uninterpreted/Uninterpreted.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Uninterpreted/Uninterpreted.o )
[59 of 64] Compiling Examples.Basics.Index ( SBVUnitTest/Examples/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/Index.o )
[60 of 64] Compiling TestSuite.Basics.Index ( SBVUnitTest/TestSuite/Basics/Index.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/Index.o )
[61 of 64] Compiling Examples.Basics.BasicTests ( SBVUnitTest/Examples/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Examples/Basics/BasicTests.o )
[62 of 64] Compiling TestSuite.Basics.BasicTests ( SBVUnitTest/TestSuite/Basics/BasicTests.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/TestSuite/Basics/BasicTests.o )
[63 of 64] Compiling SBVTestCollection ( SBVUnitTest/SBVTestCollection.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/SBVTestCollection.o )
[64 of 64] Compiling Main ( SBVUnitTest/SBVUnitTest.hs, dist/build/SBVUnitTests/SBVUnitTests-tmp/Main.o )
Linking dist/build/SBVUnitTests/SBVUnitTests ...
Running Haddock for sbv-5.7...
Running hscolour for sbv-5.7...
Preprocessing library sbv-5.7...
Preprocessing executable 'SBVUnitTests' for sbv-5.7...
Preprocessing library sbv-5.7...
Haddock coverage:
100% ( 2 / 2) in 'Data.SBV.Utils.TDiff'
100% ( 2 / 2) in 'GHC.SrcLoc.Compat'
100% ( 2 / 2) in 'GHC.Stack.Compat'
100% ( 10 / 10) in 'Data.SBV.Utils.Lib'
100% ( 2 / 2) in 'Data.SBV.SMT.SMTLibNames'
100% ( 10 / 10) in 'Data.SBV.Utils.Numeric'
100% ( 6 / 6) in 'Data.SBV.Utils.Boolean'
100% ( 9 / 9) in 'Data.SBV.BitVectors.AlgReals'
100% ( 4 / 4) in 'Data.SBV.BitVectors.Kind'
100% ( 20 / 20) in 'Data.SBV.BitVectors.Concrete'
100% ( 69 / 69) in 'Data.SBV.BitVectors.Symbolic'
100% (109 /109) in 'Data.SBV.BitVectors.Data'
100% ( 16 / 16) in 'Data.SBV.BitVectors.PrettyNum'
100% ( 6 / 6) in 'Data.SBV.Tools.GenTest'
100% ( 3 / 3) in 'Data.SBV.Tools.ExpectedValue'
100% ( 3 / 3) in 'Data.SBV.SMT.SMTLib2'
100% ( 42 / 42) in 'Data.SBV.Compilers.CodeGen'
100% ( 5 / 5) in 'Data.SBV.Compilers.C'
100% ( 54 / 54) in 'Data.SBV.BitVectors.Operations'
100% ( 7 / 7) in 'Data.SBV.Provers.SExpr'
100% ( 7 / 7) in 'Data.SBV.SMT.SMTLib'
100% ( 59 / 59) in 'Data.SBV.SMT.SMT'
100% ( 2 / 2) in 'Data.SBV.Provers.Boolector'
100% ( 2 / 2) in 'Data.SBV.Provers.CVC4'
100% ( 2 / 2) in 'Data.SBV.Provers.Yices'
100% ( 2 / 2) in 'Data.SBV.Provers.MathSAT'
100% ( 2 / 2) in 'Data.SBV.Provers.ABC'
100% ( 2 / 2) in 'Data.SBV.Provers.Z3'
100% ( 42 / 42) in 'Data.SBV.Provers.Prover'
100% ( 77 / 77) in 'Data.SBV.BitVectors.Model'
100% ( 9 / 9) in 'Data.SBV.BitVectors.Floating'
100% ( 4 / 4) in 'Data.SBV.BitVectors.Splittable'
100% ( 5 / 5) in 'Data.SBV.BitVectors.STree'
100% ( 7 / 7) in 'Data.SBV.Tools.Polynomial'
100% ( 59 / 59) in 'Data.SBV.Internals'
100% ( 8 / 8) in 'Data.SBV.Tools.Optimize'
100% (306 /306) in 'Data.SBV'
100% ( 18 / 18) in 'Data.SBV.Bridge.Boolector'
100% ( 18 / 18) in 'Data.SBV.Bridge.CVC4'
100% ( 18 / 18) in 'Data.SBV.Bridge.MathSAT'
100% ( 18 / 18) in 'Data.SBV.Bridge.Yices'
100% ( 18 / 18) in 'Data.SBV.Bridge.Z3'
100% ( 16 / 16) in 'Data.SBV.Bridge.ABC'
100% (165 /165) in 'Data.SBV.Dynamic'
100% ( 7 / 7) in 'Data.SBV.Examples.BitPrecise.BitTricks'
100% ( 47 / 47) in 'Data.SBV.Examples.BitPrecise.Legato'
100% ( 13 / 13) in 'Data.SBV.Examples.BitPrecise.MergeSort'
100% ( 2 / 2) in 'Data.SBV.Examples.BitPrecise.MultMask'
100% ( 17 / 17) in 'Data.SBV.Examples.BitPrecise.PrefixSum'
100% ( 3 / 3) in 'Data.SBV.Examples.CodeGeneration.AddSub'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.CRC_USB5'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.Fibonacci'
100% ( 9 / 9) in 'Data.SBV.Examples.CodeGeneration.GCD'
100% ( 11 / 11) in 'Data.SBV.Examples.CodeGeneration.PopulationCount'
100% ( 4 / 4) in 'Data.SBV.Examples.CodeGeneration.Uninterpreted'
100% ( 70 / 70) in 'Data.SBV.Examples.Crypto.AES'
100% ( 18 / 18) in 'Data.SBV.Examples.Crypto.RC4'
100% ( 8 / 8) in 'Data.SBV.Examples.Existentials.CRCPolynomial'
100% ( 9 / 9) in 'Data.SBV.Examples.Existentials.Diophantine'
100% ( 7 / 7) in 'Data.SBV.Examples.Misc.Enumerate'
100% ( 10 / 10) in 'Data.SBV.Examples.Misc.Floating'
100% ( 3 / 3) in 'Data.SBV.Examples.Misc.ModelExtract'
100% ( 4 / 4) in 'Data.SBV.Examples.Misc.NoDiv0'
100% ( 21 / 21) in 'Data.SBV.Examples.Misc.Word4'
100% ( 8 / 8) in 'Data.SBV.Examples.Polynomials.Polynomials'
100% ( 17 / 17) in 'Data.SBV.Examples.Puzzles.Birthday'
100% ( 11 / 11) in 'Data.SBV.Examples.Puzzles.Coins'
100% ( 5 / 5) in 'Data.SBV.Examples.Puzzles.Counts'
100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.DogCatMouse'
100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.Euler185'
100% ( 7 / 7) in 'Data.SBV.Examples.Puzzles.Fish'
100% ( 9 / 9) in 'Data.SBV.Examples.Puzzles.MagicSquare'
100% ( 4 / 4) in 'Data.SBV.Examples.Puzzles.NQueens'
100% ( 2 / 2) in 'Data.SBV.Examples.Puzzles.SendMoreMoney'
100% ( 20 / 20) in 'Data.SBV.Examples.Puzzles.Sudoku'
100% ( 38 / 38) in 'Data.SBV.Examples.Puzzles.U2Bridge'
100% ( 10 / 10) in 'Data.SBV.Examples.Uninterpreted.AUF'
100% ( 14 / 14) in 'Data.SBV.Examples.Uninterpreted.Deduce'
100% ( 3 / 3) in 'Data.SBV.Examples.Uninterpreted.Function'
100% ( 19 / 19) in 'Data.SBV.Examples.Uninterpreted.Shannon'
100% ( 5 / 5) in 'Data.SBV.Examples.Uninterpreted.Sort'
100% ( 6 / 6) in 'Data.SBV.Examples.Uninterpreted.UISortAllSat'
Warning: Data.SBV.Internals: could not find link destinations for:
NamedSymVar SW ArrayInfo SBVPgm Polynomial State Cached FPOp
Warning: Data.SBV: could not find link destinations for:
STreeInternal Outputtable SMTEngine SolverCapabilities
Warning: Data.SBV.Dynamic: could not find link destinations for:
SMTEngine SolverCapabilities
Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt
Preprocessing executable 'SBVUnitTests' for sbv-5.7...
Creating package registration file: /tmp/pkgConf-sbv-512645371141926315612.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/sbv-5.7-B3rO1gXw3FS38SyEG3IV2d
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering sbv-5.7...
Installed sbv-5.7
Downloading cryptol-2.2.6...
Configuring cryptol-2.2.6...
Building cryptol-2.2.6...
Preprocessing library cryptol-2.2.6...
[ 1 of 71] Compiling GitRev ( src/GitRev.hs, dist/build/GitRev.o )
[ 2 of 71] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist/build/Cryptol/Version.o )
[ 3 of 71] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/Paths_cryptol.o )
[ 4 of 71] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist/build/Cryptol/Eval/Arch.o )
[ 5 of 71] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist/build/Cryptol/Utils/Panic.o )
[ 6 of 71] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist/build/Cryptol/TypeCheck/Solver/InfNat.o )
[ 7 of 71] Compiling Cryptol.TypeCheck.Solver.Interval ( src/Cryptol/TypeCheck/Solver/Interval.hs, dist/build/Cryptol/TypeCheck/Solver/Interval.o )
[ 8 of 71] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist/build/Cryptol/Parser/Unlit.o )
[ 9 of 71] Compiling Cryptol.TypeCheck.Solver.CrySAT ( src/Cryptol/TypeCheck/Solver/CrySAT.hs, dist/build/Cryptol/TypeCheck/Solver/CrySAT.o )
[10 of 71] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist/build/Cryptol/REPL/Trie.o )
[11 of 71] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist/build/Cryptol/Utils/PP.o )
[12 of 71] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist/build/Cryptol/Parser/Position.o )
[13 of 71] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist/build/Cryptol/Parser/LexerUtils.o )
[14 of 71] Compiling Cryptol.Parser.Lexer ( dist/build/Cryptol/Parser/Lexer.hs, dist/build/Cryptol/Parser/Lexer.o )
[15 of 71] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist/build/Cryptol/Utils/Debug.o )
[16 of 71] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist/build/Cryptol/TypeCheck/PP.o )
[17 of 71] Compiling Cryptol.Prims.Syntax ( src/Cryptol/Prims/Syntax.hs, dist/build/Cryptol/Prims/Syntax.o )
[18 of 71] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist/build/Cryptol/Parser/AST.o )
[19 of 71] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist/build/Cryptol/TypeCheck/AST.o )
[20 of 71] Compiling Cryptol.Prims.Types ( src/Cryptol/Prims/Types.hs, dist/build/Cryptol/Prims/Types.o )
[21 of 71] Compiling Cryptol.Prims.Doc ( src/Cryptol/Prims/Doc.hs, dist/build/Cryptol/Prims/Doc.o )
[22 of 71] Compiling Cryptol.Eval.Error ( src/Cryptol/Eval/Error.hs, dist/build/Cryptol/Eval/Error.o )
[23 of 71] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist/build/Cryptol/Eval/Value.o )
[24 of 71] Compiling Cryptol.Testing.Eval ( src/Cryptol/Testing/Eval.hs, dist/build/Cryptol/Testing/Eval.o )
[25 of 71] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist/build/Cryptol/Symbolic/Value.o )
[26 of 71] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist/build/Cryptol/Testing/Random.o )
[27 of 71] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist/build/Cryptol/Eval/Env.o )
[28 of 71] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist/build/Cryptol/Eval/Type.o )
[29 of 71] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist/build/Cryptol/Prims/Eval.o )
[30 of 71] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist/build/Cryptol/Eval.o )
[31 of 71] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist/build/Cryptol/TypeCheck/TypeMap.o )
[32 of 71] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist/build/Cryptol/TypeCheck/Subst.o )
[33 of 71] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist/build/Cryptol/TypeCheck/Unify.o )
[34 of 71] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist/build/Cryptol/TypeCheck/TypeOf.o )
[35 of 71] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist/build/Cryptol/TypeCheck/Solver/Utils.o )
[36 of 71] Compiling Cryptol.Testing.Exhaust ( src/Cryptol/Testing/Exhaust.hs, dist/build/Cryptol/Testing/Exhaust.o )
[37 of 71] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist/build/Cryptol/Parser/Names.o )
[38 of 71] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist/build/Cryptol/ModuleSystem/Interface.o )
[39 of 71] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist/build/Cryptol/Transform/MonoValues.o )
[40 of 71] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist/build/Cryptol/ModuleSystem/NamingEnv.o )
[41 of 71] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist/build/Cryptol/Parser/NoPat.o )
[42 of 71] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist/build/Cryptol/Parser/Utils.o )
[43 of 71] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist/build/Cryptol/Parser/ParserUtils.o )
[44 of 71] Compiling Cryptol.Parser ( dist/build/Cryptol/Parser.hs, dist/build/Cryptol/Parser.o )
[45 of 71] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist/build/Cryptol/Parser/NoInclude.o )
[46 of 71] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist/build/Cryptol/ModuleSystem/Renamer.o )
[47 of 71] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist/build/Cryptol/TypeCheck/InferTypes.o )
[48 of 71] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist/build/Cryptol/TypeCheck/Monad.o )
[49 of 71] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist/build/Cryptol/TypeCheck/Depends.o )
[50 of 71] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist/build/Cryptol/TypeCheck/Instantiate.o )
[51 of 71] Compiling Cryptol.TypeCheck.Solver.FinOrd ( src/Cryptol/TypeCheck/Solver/FinOrd.hs, dist/build/Cryptol/TypeCheck/Solver/FinOrd.o )
[52 of 71] Compiling Cryptol.TypeCheck.Solver.Eval ( src/Cryptol/TypeCheck/Solver/Eval.hs, dist/build/Cryptol/TypeCheck/Solver/Eval.o )
[53 of 71] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric.o )
[54 of 71] Compiling Cryptol.TypeCheck.Defaulting ( src/Cryptol/TypeCheck/Defaulting.hs, dist/build/Cryptol/TypeCheck/Defaulting.o )
[55 of 71] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist/build/Cryptol/TypeCheck/Solver/Class.o )
[56 of 71] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist/build/Cryptol/TypeCheck/Solver/Selector.o )
[57 of 71] Compiling Cryptol.TypeCheck.Solver.Smtlib ( src/Cryptol/TypeCheck/Solver/Smtlib.hs, dist/build/Cryptol/TypeCheck/Solver/Smtlib.o )
[58 of 71] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist/build/Cryptol/TypeCheck/Solve.o )
[59 of 71] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist/build/Cryptol/TypeCheck/Kind.o )
[60 of 71] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist/build/Cryptol/TypeCheck/Infer.o )
[61 of 71] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist/build/Cryptol/TypeCheck.o )
[62 of 71] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist/build/Cryptol/ModuleSystem/Env.o )
[63 of 71] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist/build/Cryptol/ModuleSystem/Monad.o )
[64 of 71] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist/build/Cryptol/Prelude.o )
[65 of 71] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist/build/Cryptol/ModuleSystem/Base.o )
[66 of 71] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist/build/Cryptol/ModuleSystem.o )
[67 of 71] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist/build/Cryptol/Transform/Specialize.o )
[68 of 71] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist/build/Cryptol/Symbolic/Prims.o )
[69 of 71] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist/build/Cryptol/Symbolic.o )
[70 of 71] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist/build/Cryptol/REPL/Monad.o )
[71 of 71] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist/build/Cryptol/REPL/Command.o )
In-place registering cryptol-2.2.6...
Preprocessing executable 'cryptol' for cryptol-2.2.6...
[1 of 5] Compiling REPL.Haskeline ( cryptol/REPL/Haskeline.hs, dist/build/cryptol/cryptol-tmp/REPL/Haskeline.o )
[2 of 5] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/cryptol/cryptol-tmp/Paths_cryptol.o )
[3 of 5] Compiling REPL.Logo ( cryptol/REPL/Logo.hs, dist/build/cryptol/cryptol-tmp/REPL/Logo.o )
[4 of 5] Compiling OptParser ( cryptol/OptParser.hs, dist/build/cryptol/cryptol-tmp/OptParser.o )
[5 of 5] Compiling Main ( cryptol/Main.hs, dist/build/cryptol/cryptol-tmp/Main.o )
Linking dist/build/cryptol/cryptol ...
Running Haddock for cryptol-2.2.6...
Running hscolour for cryptol-2.2.6...
Preprocessing library cryptol-2.2.6...
Preprocessing executable 'cryptol' for cryptol-2.2.6...
Preprocessing library cryptol-2.2.6...
Haddock coverage:
25% ( 1 / 4) in 'GitRev'
Missing documentation for:
hash (src/GitRev.hs:19)
branch (src/GitRev.hs:22)
dirty (src/GitRev.hs:25)
20% ( 1 / 5) in 'Cryptol.Version'
Missing documentation for:
commitHash (src/Cryptol/Version.hs:15)
commitShortHash (src/Cryptol/Version.hs:18)
commitBranch (src/Cryptol/Version.hs:21)
commitDirty (src/Cryptol/Version.hs:24)
0% ( 0 / 8) in 'Paths_cryptol'
Missing documentation for:
Module header
version (dist/build/autogen/Paths_cryptol.hs:15)
getBinDir (dist/build/autogen/Paths_cryptol.hs:25)
getLibDir (dist/build/autogen/Paths_cryptol.hs:25)
getDataDir (dist/build/autogen/Paths_cryptol.hs:25)
getLibexecDir (dist/build/autogen/Paths_cryptol.hs:25)
getDataFileName (dist/build/autogen/Paths_cryptol.hs:32)
getSysconfDir (dist/build/autogen/Paths_cryptol.hs:25)
100% ( 2 / 2) in 'Cryptol.Eval.Arch'
50% ( 1 / 2) in 'Cryptol.Utils.Panic'
Missing documentation for:
panic (src/Cryptol/Utils/Panic.hs:19)
59% ( 10 / 17) in 'Cryptol.TypeCheck.Solver.InfNat'
Missing documentation for:
fromNat (src/Cryptol/TypeCheck/Solver/InfNat.hs:22)
nAdd (src/Cryptol/TypeCheck/Solver/InfNat.hs:28)
nMin (src/Cryptol/TypeCheck/Solver/InfNat.hs:66)
nMax (src/Cryptol/TypeCheck/Solver/InfNat.hs:71)
nMod (src/Cryptol/TypeCheck/Solver/InfNat.hs:101)
nLenFromThen (src/Cryptol/TypeCheck/Solver/InfNat.hs:125)
nLenFromThenTo (src/Cryptol/TypeCheck/Solver/InfNat.hs:132)
30% ( 6 / 20) in 'Cryptol.TypeCheck.Solver.Interval'
Missing documentation for:
iConst (src/Cryptol/TypeCheck/Solver/Interval.hs:64)
iAdd (src/Cryptol/TypeCheck/Solver/Interval.hs:67)
iMul (src/Cryptol/TypeCheck/Solver/Interval.hs:70)
iExp (src/Cryptol/TypeCheck/Solver/Interval.hs:86)
iMin (src/Cryptol/TypeCheck/Solver/Interval.hs:73)
iMax (src/Cryptol/TypeCheck/Solver/Interval.hs:76)
iLg2 (src/Cryptol/TypeCheck/Solver/Interval.hs:79)
iWidth (src/Cryptol/TypeCheck/Solver/Interval.hs:82)
iSub (src/Cryptol/TypeCheck/Solver/Interval.hs:106)
iDiv (src/Cryptol/TypeCheck/Solver/Interval.hs:109)
iMod (src/Cryptol/TypeCheck/Solver/Interval.hs:112)
iLenFromThen (src/Cryptol/TypeCheck/Solver/Interval.hs:121)
iLenFromTo (src/Cryptol/TypeCheck/Solver/Interval.hs:125)
iLenFromThenTo (src/Cryptol/TypeCheck/Solver/Interval.hs:129)
20% ( 1 / 5) in 'Cryptol.Parser.Unlit'
Missing documentation for:
unLit (src/Cryptol/Parser/Unlit.hs:40)
PreProc (src/Cryptol/Parser/Unlit.hs:23)
guessPreProc (src/Cryptol/Parser/Unlit.hs:33)
knownExts (src/Cryptol/Parser/Unlit.hs:25)
8% ( 1 / 13) in 'Cryptol.TypeCheck.Solver.CrySAT'
Missing documentation for:
debug (src/Cryptol/TypeCheck/Solver/CrySAT.hs:93)
Prop (src/Cryptol/TypeCheck/Solver/CrySAT.hs:70)
Expr (src/Cryptol/TypeCheck/Solver/CrySAT.hs:77)
PropSet (src/Cryptol/TypeCheck/Solver/CrySAT.hs:96)
noProps (src/Cryptol/TypeCheck/Solver/CrySAT.hs:98)
assert (src/Cryptol/TypeCheck/Solver/CrySAT.hs:108)
checkSat (src/Cryptol/TypeCheck/Solver/CrySAT.hs:145)
Result (src/Cryptol/TypeCheck/Solver/CrySAT.hs:140)
InfNat (src/Cryptol/TypeCheck/Solver/CrySAT.hs:137)
Name (src/Cryptol/TypeCheck/Solver/CrySAT.hs:41)
toName (src/Cryptol/TypeCheck/Solver/CrySAT.hs:44)
fromName (src/Cryptol/TypeCheck/Solver/CrySAT.hs:47)
86% ( 6 / 7) in 'Cryptol.REPL.Trie'
Missing documentation for:
emptyTrie (src/Cryptol/REPL/Trie.hs:20)
58% ( 7 / 12) in 'Cryptol.Utils.PP'
Missing documentation for:
PP (src/Cryptol/Utils/PP.hs:27)
pp (src/Cryptol/Utils/PP.hs:30)
pretty (src/Cryptol/Utils/PP.hs:33)
optParens (src/Cryptol/Utils/PP.hs:36)
commaSep (src/Cryptol/Utils/PP.hs:54)
9% ( 2 / 22) in 'Cryptol.Parser.Position'
Missing documentation for:
Located (src/Cryptol/Parser/Position.hs:16)
Position (src/Cryptol/Parser/Position.hs:19)
Range (src/Cryptol/Parser/Position.hs:22)
start (src/Cryptol/Parser/Position.hs:34)
move (src/Cryptol/Parser/Position.hs:37)
moves (src/Cryptol/Parser/Position.hs:43)
rComb (src/Cryptol/Parser/Position.hs:46)
rCombs (src/Cryptol/Parser/Position.hs:51)
(src/Cryptol/Parser/Position.hs:54)
(src/Cryptol/Parser/Position.hs:59)
(src/Cryptol/Parser/Position.hs:62)
(src/Cryptol/Parser/Position.hs:66)
HasLoc (src/Cryptol/Parser/Position.hs:73)
(src/Cryptol/Parser/Position.hs:76)
(src/Cryptol/Parser/Position.hs:79)
(src/Cryptol/Parser/Position.hs:82)
(src/Cryptol/Parser/Position.hs:90)
AddLoc (src/Cryptol/Parser/Position.hs:99)
(src/Cryptol/Parser/Position.hs:103)
at (src/Cryptol/Parser/Position.hs:107)
8% ( 3 / 38) in 'Cryptol.Parser.LexerUtils'
Missing documentation for:
Config (src/Cryptol/Parser/LexerUtils.hs:23)
defaultConfig (src/Cryptol/Parser/LexerUtils.hs:33)
Action (src/Cryptol/Parser/LexerUtils.hs:43)
LexS (src/Cryptol/Parser/LexerUtils.hs:46)
startComment (src/Cryptol/Parser/LexerUtils.hs:52)
endComent (src/Cryptol/Parser/LexerUtils.hs:59)
addToComment (src/Cryptol/Parser/LexerUtils.hs:71)
startString (src/Cryptol/Parser/LexerUtils.hs:79)
endString (src/Cryptol/Parser/LexerUtils.hs:82)
addToString (src/Cryptol/Parser/LexerUtils.hs:101)
startChar (src/Cryptol/Parser/LexerUtils.hs:107)
endChar (src/Cryptol/Parser/LexerUtils.hs:110)
addToChar (src/Cryptol/Parser/LexerUtils.hs:134)
mkIdent (src/Cryptol/Parser/LexerUtils.hs:140)
emit (src/Cryptol/Parser/LexerUtils.hs:146)
emitS (src/Cryptol/Parser/LexerUtils.hs:151)
numToken (src/Cryptol/Parser/LexerUtils.hs:157)
fromDecDigit (src/Cryptol/Parser/LexerUtils.hs:163)
fromHexDigit (src/Cryptol/Parser/LexerUtils.hs:166)
AlexInput (src/Cryptol/Parser/LexerUtils.hs:176)
alexGetByte (src/Cryptol/Parser/LexerUtils.hs:182)
Layout (src/Cryptol/Parser/LexerUtils.hs:195)
Block (src/Cryptol/Parser/LexerUtils.hs:207)
isExplicit (src/Cryptol/Parser/LexerUtils.hs:212)
startsLayout (src/Cryptol/Parser/LexerUtils.hs:216)
layout (src/Cryptol/Parser/LexerUtils.hs:222)
virt (src/Cryptol/Parser/LexerUtils.hs:288)
Token (src/Cryptol/Parser/LexerUtils.hs:302)
TokenW (src/Cryptol/Parser/LexerUtils.hs:309)
TokenKW (src/Cryptol/Parser/LexerUtils.hs:312)
TokenOp (src/Cryptol/Parser/LexerUtils.hs:355)
TokenSym (src/Cryptol/Parser/LexerUtils.hs:364)
TokenErr (src/Cryptol/Parser/LexerUtils.hs:383)
TokenT (src/Cryptol/Parser/LexerUtils.hs:391)
(src/Cryptol/Parser/LexerUtils.hs:404)
20% ( 3 / 15) in 'Cryptol.Parser.Lexer'
Missing documentation for:
Module header
Layout (src/Cryptol/Parser/LexerUtils.hs:195)
Token (src/Cryptol/Parser/LexerUtils.hs:302)
TokenT (src/Cryptol/Parser/LexerUtils.hs:391)
TokenKW (src/Cryptol/Parser/LexerUtils.hs:312)
TokenErr (src/Cryptol/Parser/LexerUtils.hs:383)
TokenOp (src/Cryptol/Parser/LexerUtils.hs:355)
TokenSym (src/Cryptol/Parser/LexerUtils.hs:364)
TokenW (src/Cryptol/Parser/LexerUtils.hs:309)
Located (src/Cryptol/Parser/Position.hs:16)
Config (src/Cryptol/Parser/LexerUtils.hs:23)
defaultConfig (src/Cryptol/Parser/LexerUtils.hs:33)
33% ( 1 / 3) in 'Cryptol.Utils.Debug'
Missing documentation for:
trace (src/Cryptol/Utils/Debug.hs:24)
ppTrace (src/Cryptol/Utils/Debug.hs:31)
40% ( 4 / 10) in 'Cryptol.TypeCheck.PP'
Missing documentation for:
NameMap (src/Cryptol/TypeCheck/PP.hs:26)
emptyNameMap (src/Cryptol/TypeCheck/PP.hs:28)
ppWithNamesPrec (src/Cryptol/TypeCheck/PP.hs:35)
ppWithNames (src/Cryptol/TypeCheck/PP.hs:38)
intToName (src/Cryptol/TypeCheck/PP.hs:60)
dump (src/Cryptol/TypeCheck/PP.hs:41)
50% ( 3 / 6) in 'Cryptol.Prims.Syntax'
Missing documentation for:
eBinOpPrec (src/Cryptol/Prims/Syntax.hs:90)
tBinOpPrec (src/Cryptol/Prims/Syntax.hs:91)
ppPrefix (src/Cryptol/Prims/Syntax.hs:203)
47% ( 26 / 55) in 'Cryptol.Parser.AST'
Missing documentation for:
modRange (src/Cryptol/Parser/AST.hs:120)
QName (src/Cryptol/Parser/AST.hs:87)
mkQual (src/Cryptol/Parser/AST.hs:90)
mkUnqual (src/Cryptol/Parser/AST.hs:93)
unqual (src/Cryptol/Parser/AST.hs:96)
Name (src/Cryptol/Parser/AST.hs:83)
Named (src/Cryptol/Parser/AST.hs:310)
Pass (src/Cryptol/Parser/AST.hs:100)
Schema (src/Cryptol/Parser/AST.hs:317)
TParam (src/Cryptol/Parser/AST.hs:323)
tpQName (src/Cryptol/Parser/AST.hs:329)
Kind (src/Cryptol/Parser/AST.hs:320)
Type (src/Cryptol/Parser/AST.hs:333)
Prop (src/Cryptol/Parser/AST.hs:347)
Module (src/Cryptol/Parser/AST.hs:115)
Program (src/Cryptol/Parser/AST.hs:112)
TopDecl (src/Cryptol/Parser/AST.hs:129)
Decl (src/Cryptol/Parser/AST.hs:134)
TySyn (src/Cryptol/Parser/AST.hs:157)
Pragma (src/Cryptol/Parser/AST.hs:180)
ExportSpec (src/Cryptol/Parser/AST.hs:207)
TopLevel (src/Cryptol/Parser/AST.hs:200)
Newtype (src/Cryptol/Parser/AST.hs:184)
Expr (src/Cryptol/Parser/AST.hs:251)
Match (src/Cryptol/Parser/AST.hs:295)
Pattern (src/Cryptol/Parser/AST.hs:299)
TypeInst (src/Cryptol/Parser/AST.hs:271)
Located (src/Cryptol/Parser/Position.hs:16)
NoPos (src/Cryptol/Parser/AST.hs:823)
22% ( 31 /138) in 'Cryptol.TypeCheck.AST'
Missing documentation for:
(src/Cryptol/TypeCheck/AST.hs:85)
(src/Cryptol/TypeCheck/AST.hs:88)
tpVar (src/Cryptol/TypeCheck/AST.hs:91)
UserTC (src/Cryptol/TypeCheck/AST.hs:158)
(src/Cryptol/TypeCheck/AST.hs:161)
(src/Cryptol/TypeCheck/AST.hs:164)
(src/Cryptol/TypeCheck/AST.hs:167)
(src/Cryptol/TypeCheck/AST.hs:172)
Expr (src/Cryptol/TypeCheck/AST.hs:181)
Match (src/Cryptol/TypeCheck/AST.hs:241)
DeclGroup (src/Cryptol/TypeCheck/AST.hs:248)
groupDecls (src/Cryptol/TypeCheck/AST.hs:252)
Decl (src/Cryptol/TypeCheck/AST.hs:257)
isFreeTV (src/Cryptol/TypeCheck/AST.hs:268)
isBoundTV (src/Cryptol/TypeCheck/AST.hs:272)
tIsNum (src/Cryptol/TypeCheck/AST.hs:278)
tIsInf (src/Cryptol/TypeCheck/AST.hs:283)
tIsVar (src/Cryptol/TypeCheck/AST.hs:288)
tIsFun (src/Cryptol/TypeCheck/AST.hs:293)
tIsSeq (src/Cryptol/TypeCheck/AST.hs:298)
tIsBit (src/Cryptol/TypeCheck/AST.hs:303)
tIsTuple (src/Cryptol/TypeCheck/AST.hs:308)
pIsFin (src/Cryptol/TypeCheck/AST.hs:313)
pIsGeq (src/Cryptol/TypeCheck/AST.hs:318)
pIsEq (src/Cryptol/TypeCheck/AST.hs:323)
pIsArith (src/Cryptol/TypeCheck/AST.hs:328)
pIsCmp (src/Cryptol/TypeCheck/AST.hs:333)
pIsNumeric (src/Cryptol/TypeCheck/AST.hs:340)
tNum (src/Cryptol/TypeCheck/AST.hs:353)
tZero (src/Cryptol/TypeCheck/AST.hs:356)
tOne (src/Cryptol/TypeCheck/AST.hs:359)
tTwo (src/Cryptol/TypeCheck/AST.hs:362)
tInf (src/Cryptol/TypeCheck/AST.hs:365)
tBit (src/Cryptol/TypeCheck/AST.hs:368)
eTrue (src/Cryptol/TypeCheck/AST.hs:371)
eFalse (src/Cryptol/TypeCheck/AST.hs:374)
tWord (src/Cryptol/TypeCheck/AST.hs:377)
tSeq (src/Cryptol/TypeCheck/AST.hs:380)
tChar (src/Cryptol/TypeCheck/AST.hs:383)
eChar (src/Cryptol/TypeCheck/AST.hs:386)
tString (src/Cryptol/TypeCheck/AST.hs:391)
eString (src/Cryptol/TypeCheck/AST.hs:394)
tRec (src/Cryptol/TypeCheck/AST.hs:403)
tTuple (src/Cryptol/TypeCheck/AST.hs:406)
tWidth (src/Cryptol/TypeCheck/AST.hs:422)
tLenFromThen (src/Cryptol/TypeCheck/AST.hs:425)
tLenFromThenTo (src/Cryptol/TypeCheck/AST.hs:428)
tMax (src/Cryptol/TypeCheck/AST.hs:431)
=/= (src/Cryptol/TypeCheck/AST.hs:442)
pArith (src/Cryptol/TypeCheck/AST.hs:445)
pCmp (src/Cryptol/TypeCheck/AST.hs:448)
pFin (src/Cryptol/TypeCheck/AST.hs:459)
.-. (src/Cryptol/TypeCheck/AST.hs:472)
.^. (src/Cryptol/TypeCheck/AST.hs:475)
tDiv (src/Cryptol/TypeCheck/AST.hs:478)
tMod (src/Cryptol/TypeCheck/AST.hs:481)
newtypeTyCon (src/Cryptol/TypeCheck/AST.hs:489)
newtypeConType (src/Cryptol/TypeCheck/AST.hs:492)
HasKind (src/Cryptol/TypeCheck/AST.hs:501)
(src/Cryptol/TypeCheck/AST.hs:504)
(src/Cryptol/TypeCheck/AST.hs:508)
(src/Cryptol/TypeCheck/AST.hs:513)
(src/Cryptol/TypeCheck/AST.hs:516)
(src/Cryptol/TypeCheck/AST.hs:527)
(src/Cryptol/TypeCheck/AST.hs:538)
(src/Cryptol/TypeCheck/AST.hs:556)
(src/Cryptol/TypeCheck/AST.hs:564)
(src/Cryptol/TypeCheck/AST.hs:567)
(src/Cryptol/TypeCheck/AST.hs:570)
quickApply (src/Cryptol/TypeCheck/AST.hs:573)
(src/Cryptol/TypeCheck/AST.hs:581)
(src/Cryptol/TypeCheck/AST.hs:588)
(src/Cryptol/TypeCheck/AST.hs:598)
(src/Cryptol/TypeCheck/AST.hs:601)
(src/Cryptol/TypeCheck/AST.hs:604)
addTNames (src/Cryptol/TypeCheck/AST.hs:659)
ppNewtypeShort (src/Cryptol/TypeCheck/AST.hs:670)
(src/Cryptol/TypeCheck/AST.hs:678)
(src/Cryptol/TypeCheck/AST.hs:681)
(src/Cryptol/TypeCheck/AST.hs:694)
(src/Cryptol/TypeCheck/AST.hs:697)
(src/Cryptol/TypeCheck/AST.hs:703)
(src/Cryptol/TypeCheck/AST.hs:707)
(src/Cryptol/TypeCheck/AST.hs:712)
(src/Cryptol/TypeCheck/AST.hs:723)
(src/Cryptol/TypeCheck/AST.hs:736)
(src/Cryptol/TypeCheck/AST.hs:739)
ppLam (src/Cryptol/TypeCheck/AST.hs:799)
splitWhile (src/Cryptol/TypeCheck/AST.hs:818)
splitAbs (src/Cryptol/TypeCheck/AST.hs:824)
splitTAbs (src/Cryptol/TypeCheck/AST.hs:828)
splitProofAbs (src/Cryptol/TypeCheck/AST.hs:832)
(src/Cryptol/TypeCheck/AST.hs:836)
(src/Cryptol/TypeCheck/AST.hs:840)
(src/Cryptol/TypeCheck/AST.hs:846)
(src/Cryptol/TypeCheck/AST.hs:849)
(src/Cryptol/TypeCheck/AST.hs:859)
(src/Cryptol/TypeCheck/AST.hs:862)
(src/Cryptol/TypeCheck/AST.hs:871)
(src/Cryptol/TypeCheck/AST.hs:874)
(src/Cryptol/TypeCheck/AST.hs:877)
Name (src/Cryptol/Parser/AST.hs:83)
QName (src/Cryptol/Parser/AST.hs:87)
mkUnqual (src/Cryptol/Parser/AST.hs:93)
unqual (src/Cryptol/Parser/AST.hs:96)
ExportSpec (src/Cryptol/Parser/AST.hs:207)
Pragma (src/Cryptol/Parser/AST.hs:180)
100% ( 2 / 2) in 'Cryptol.Prims.Types'
33% ( 1 / 3) in 'Cryptol.Prims.Doc'
Missing documentation for:
helpDoc (src/Cryptol/Prims/Doc.hs:18)
description (src/Cryptol/Prims/Doc.hs:51)
70% ( 7 / 10) in 'Cryptol.Eval.Error'
Missing documentation for:
EvalError (src/Cryptol/Eval/Error.hs:29)
(src/Cryptol/Eval/Error.hs:37)
(src/Cryptol/Eval/Error.hs:46)
43% ( 20 / 47) in 'Cryptol.Eval.Value'
Missing documentation for:
isTBit (src/Cryptol/Eval/Value.hs:33)
isTSeq (src/Cryptol/Eval/Value.hs:38)
isTFun (src/Cryptol/Eval/Value.hs:42)
isTTuple (src/Cryptol/Eval/Value.hs:46)
isTRec (src/Cryptol/Eval/Value.hs:50)
tvSeq (src/Cryptol/Eval/Value.hs:54)
numTValue (src/Cryptol/Eval/Value.hs:59)
toNumTValue (src/Cryptol/Eval/Value.hs:66)
finTValue (src/Cryptol/Eval/Value.hs:70)
BV (src/Cryptol/Eval/Value.hs:79)
Value (src/Cryptol/Eval/Value.hs:100)
(src/Cryptol/Eval/Value.hs:106)
PPOpts (src/Cryptol/Eval/Value.hs:112)
defaultPPOpts (src/Cryptol/Eval/Value.hs:118)
ppValue (src/Cryptol/Eval/Value.hs:121)
asciiMode (src/Cryptol/Eval/Value.hs:151)
integerToChar (src/Cryptol/Eval/Value.hs:154)
WithBase (src/Cryptol/Eval/Value.hs:157)
(src/Cryptol/Eval/Value.hs:160)
ppWord (src/Cryptol/Eval/Value.hs:163)
BitWord (src/Cryptol/Eval/Value.hs:192)
mask (src/Cryptol/Eval/Value.hs:203)
(src/Cryptol/Eval/Value.hs:210)
lam (src/Cryptol/Eval/Value.hs:232)
toFinSeq (src/Cryptol/Eval/Value.hs:243)
fromStr (src/Cryptol/Eval/Value.hs:291)
vWordLen (src/Cryptol/Eval/Value.hs:302)
100% ( 3 / 3) in 'Cryptol.Testing.Eval'
38% ( 14 / 37) in 'Cryptol.Symbolic.Value'
Missing documentation for:
SBool (src/Cryptol/Symbolic/Value.hs:43)
SWord (src/Cryptol/Symbolic/Value.hs:44)
literalSWord (src/Cryptol/Symbolic/Value.hs:50)
fromBitsLE (src/Cryptol/Symbolic/Value.hs:46)
forallBV_ (src/Cryptol/Symbolic/Value.hs:53)
existsBV_ (src/Cryptol/Symbolic/Value.hs:56)
forallSBool_ (src/Cryptol/Symbolic/Value.hs:59)
existsSBool_ (src/Cryptol/Symbolic/Value.hs:62)
Value (src/Cryptol/Symbolic/Value.hs:67)
numTValue (src/Cryptol/Eval/Value.hs:59)
toNumTValue (src/Cryptol/Eval/Value.hs:66)
finTValue (src/Cryptol/Eval/Value.hs:70)
isTBit (src/Cryptol/Eval/Value.hs:33)
isTFun (src/Cryptol/Eval/Value.hs:42)
isTSeq (src/Cryptol/Eval/Value.hs:38)
isTTuple (src/Cryptol/Eval/Value.hs:46)
isTRec (src/Cryptol/Eval/Value.hs:50)
tvSeq (src/Cryptol/Eval/Value.hs:54)
lam (src/Cryptol/Eval/Value.hs:232)
toFinSeq (src/Cryptol/Eval/Value.hs:243)
evalPanic (src/Cryptol/Symbolic/Value.hs:111)
iteValue (src/Cryptol/Symbolic/Value.hs:71)
mergeValue (src/Cryptol/Symbolic/Value.hs:78)
91% ( 10 / 11) in 'Cryptol.Testing.Random'
Missing documentation for:
Gen (src/Cryptol/Testing/Random.hs:22)
50% ( 5 / 10) in 'Cryptol.Eval.Env'
Missing documentation for:
ReadEnv (src/Cryptol/Eval/Env.hs:26)
EvalEnv (src/Cryptol/Eval/Env.hs:28)
(src/Cryptol/Eval/Env.hs:33)
(src/Cryptol/Eval/Env.hs:44)
emptyEnv (src/Cryptol/Eval/Env.hs:49)
100% ( 3 / 3) in 'Cryptol.Eval.Type'
25% ( 14 / 55) in 'Cryptol.Prims.Eval'
Missing documentation for:
evalECon (src/Cryptol/Prims/Eval.hs:83)
divModPoly (src/Cryptol/Prims/Eval.hs:220)
doubleAndAdd (src/Cryptol/Prims/Eval.hs:261)
GenBinary (src/Cryptol/Prims/Eval.hs:282)
Binary (src/Cryptol/Prims/Eval.hs:283)
binary (src/Cryptol/Prims/Eval.hs:285)
GenUnary (src/Cryptol/Prims/Eval.hs:290)
Unary (src/Cryptol/Prims/Eval.hs:291)
unary (src/Cryptol/Prims/Eval.hs:293)
BinArith (src/Cryptol/Prims/Eval.hs:304)
arithBinary (src/Cryptol/Prims/Eval.hs:306)
arithUnary (src/Cryptol/Prims/Eval.hs:337)
lg2 (src/Cryptol/Prims/Eval.hs:365)
divWrap (src/Cryptol/Prims/Eval.hs:371)
modWrap (src/Cryptol/Prims/Eval.hs:375)
zipLexCompare (src/Cryptol/Prims/Eval.hs:410)
withOrder (src/Cryptol/Prims/Eval.hs:421)
maxV (src/Cryptol/Prims/Eval.hs:424)
minV (src/Cryptol/Prims/Eval.hs:429)
funCmp (src/Cryptol/Prims/Eval.hs:435)
zeroV (src/Cryptol/Prims/Eval.hs:446)
splitAtV (src/Cryptol/Prims/Eval.hs:480)
ccatV (src/Cryptol/Prims/Eval.hs:529)
logicUnary (src/Cryptol/Prims/Eval.hs:567)
logicShift (src/Cryptol/Prims/Eval.hs:597)
shiftLW (src/Cryptol/Prims/Eval.hs:616)
shiftLS (src/Cryptol/Prims/Eval.hs:621)
shiftRW (src/Cryptol/Prims/Eval.hs:629)
shiftRS (src/Cryptol/Prims/Eval.hs:634)
rotateLW (src/Cryptol/Prims/Eval.hs:643)
rotateLS (src/Cryptol/Prims/Eval.hs:649)
rotateRW (src/Cryptol/Prims/Eval.hs:658)
rotateRS (src/Cryptol/Prims/Eval.hs:663)
indexFront (src/Cryptol/Prims/Eval.hs:686)
indexBack (src/Cryptol/Prims/Eval.hs:692)
indexFrontRange (src/Cryptol/Prims/Eval.hs:713)
indexBackRange (src/Cryptol/Prims/Eval.hs:716)
fromThenV (src/Cryptol/Prims/Eval.hs:720)
fromToV (src/Cryptol/Prims/Eval.hs:735)
fromThenToV (src/Cryptol/Prims/Eval.hs:751)
tlamN (src/Cryptol/Prims/Eval.hs:781)
12% ( 1 / 8) in 'Cryptol.Eval'
Missing documentation for:
moduleEnv (src/Cryptol/Eval.hs:40)
EvalEnv (src/Cryptol/Eval/Env.hs:28)
emptyEnv (src/Cryptol/Eval/Env.hs:49)
evalExpr (src/Cryptol/Eval.hs:43)
evalDecls (src/Cryptol/Eval.hs:113)
EvalError (src/Cryptol/Eval/Error.hs:29)
WithBase (src/Cryptol/Eval/Value.hs:157)
9% ( 1 / 11) in 'Cryptol.TypeCheck.TypeMap'
Missing documentation for:
TypeMap (src/Cryptol/TypeCheck/TypeMap.hs:116)
TypesMap (src/Cryptol/TypeCheck/TypeMap.hs:114)
TrieMap (src/Cryptol/TypeCheck/TypeMap.hs:32)
insertTM (src/Cryptol/TypeCheck/TypeMap.hs:45)
insertWithTM (src/Cryptol/TypeCheck/TypeMap.hs:48)
membersTM (src/Cryptol/TypeCheck/TypeMap.hs:42)
mapTM (src/Cryptol/TypeCheck/TypeMap.hs:54)
mapWithKeyTM (src/Cryptol/TypeCheck/TypeMap.hs:58)
mapMaybeTM (src/Cryptol/TypeCheck/TypeMap.hs:62)
List (src/Cryptol/TypeCheck/TypeMap.hs:65)
16% ( 5 / 31) in 'Cryptol.TypeCheck.Subst'
Missing documentation for:
Subst (src/Cryptol/TypeCheck/Subst.hs:27)
emptySubst (src/Cryptol/TypeCheck/Subst.hs:30)
singleSubst (src/Cryptol/TypeCheck/Subst.hs:33)
@@ (src/Cryptol/TypeCheck/Subst.hs:36)
defaultingSubst (src/Cryptol/TypeCheck/Subst.hs:41)
isEmptySubst (src/Cryptol/TypeCheck/Subst.hs:50)
substToList (src/Cryptol/TypeCheck/Subst.hs:54)
(src/Cryptol/TypeCheck/Subst.hs:59)
(src/Cryptol/TypeCheck/Subst.hs:64)
FVS (src/Cryptol/TypeCheck/Subst.hs:70)
(src/Cryptol/TypeCheck/Subst.hs:73)
(src/Cryptol/TypeCheck/Subst.hs:83)
(src/Cryptol/TypeCheck/Subst.hs:86)
(src/Cryptol/TypeCheck/Subst.hs:89)
TVars (src/Cryptol/TypeCheck/Subst.hs:97)
(src/Cryptol/TypeCheck/Subst.hs:100)
(src/Cryptol/TypeCheck/Subst.hs:103)
(src/Cryptol/TypeCheck/Subst.hs:106)
(src/Cryptol/TypeCheck/Subst.hs:109)
(src/Cryptol/TypeCheck/Subst.hs:135)
(src/Cryptol/TypeCheck/Subst.hs:138)
(src/Cryptol/TypeCheck/Subst.hs:199)
(src/Cryptol/TypeCheck/Subst.hs:224)
(src/Cryptol/TypeCheck/Subst.hs:228)
(src/Cryptol/TypeCheck/Subst.hs:232)
(src/Cryptol/TypeCheck/Subst.hs:237)
18% ( 2 / 11) in 'Cryptol.TypeCheck.Unify'
Missing documentation for:
Result (src/Cryptol/TypeCheck/Unify.hs:30)
UnificationError (src/Cryptol/TypeCheck/Unify.hs:33)
(src/Cryptol/TypeCheck/Unify.hs:41)
(src/Cryptol/TypeCheck/Unify.hs:48)
uniError (src/Cryptol/TypeCheck/Unify.hs:56)
emptyMGU (src/Cryptol/TypeCheck/Unify.hs:60)
mgu (src/Cryptol/TypeCheck/Unify.hs:63)
mguMany (src/Cryptol/TypeCheck/Unify.hs:104)
bindVar (src/Cryptol/TypeCheck/Unify.hs:113)
67% ( 2 / 3) in 'Cryptol.TypeCheck.TypeOf'
Missing documentation for:
fastSchemaOf (src/Cryptol/TypeCheck/TypeOf.hs:60)
83% ( 5 / 6) in 'Cryptol.TypeCheck.Solver.Utils'
Missing documentation for:
splitMins (src/Cryptol/TypeCheck/Solver/Utils.hs:16)
100% ( 5 / 5) in 'Cryptol.Testing.Exhaust'
88% ( 22 / 25) in 'Cryptol.Parser.Names'
Missing documentation for:
modExports (src/Cryptol/Parser/Names.hs:21)
tsName (src/Cryptol/Parser/Names.hs:67)
tnamesTI (src/Cryptol/Parser/Names.hs:210)
42% ( 5 / 12) in 'Cryptol.ModuleSystem.Interface'
Missing documentation for:
IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:39)
IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:72)
ifTySynName (src/Cryptol/ModuleSystem/Interface.hs:74)
IfaceNewtype (src/Cryptol/ModuleSystem/Interface.hs:77)
IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:79)
mkIfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:85)
unqualified (src/Cryptol/ModuleSystem/Interface.hs:109)
100% ( 2 / 2) in 'Cryptol.Transform.MonoValues'
48% ( 13 / 27) in 'Cryptol.ModuleSystem.NamingEnv'
Missing documentation for:
NameOrigin (src/Cryptol/ModuleSystem/NamingEnv.hs:30)
(src/Cryptol/ModuleSystem/NamingEnv.hs:34)
EName (src/Cryptol/ModuleSystem/NamingEnv.hs:46)
TName (src/Cryptol/ModuleSystem/NamingEnv.hs:51)
HasQName (src/Cryptol/ModuleSystem/NamingEnv.hs:57)
(src/Cryptol/ModuleSystem/NamingEnv.hs:61)
(src/Cryptol/ModuleSystem/NamingEnv.hs:74)
NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:88)
(src/Cryptol/ModuleSystem/NamingEnv.hs:94)
travNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:121)
(src/Cryptol/ModuleSystem/NamingEnv.hs:141)
(src/Cryptol/ModuleSystem/NamingEnv.hs:144)
(src/Cryptol/ModuleSystem/NamingEnv.hs:147)
(src/Cryptol/ModuleSystem/NamingEnv.hs:187)
33% ( 1 / 3) in 'Cryptol.Parser.NoPat'
Missing documentation for:
RemovePatterns (src/Cryptol/Parser/NoPat.hs:33)
Error (src/Cryptol/Parser/NoPat.hs:370)
50% ( 1 / 2) in 'Cryptol.Parser.Utils'
Missing documentation for:
translateExprToNumT (src/Cryptol/Parser/Utils.hs:19)
5% ( 2 / 41) in 'Cryptol.Parser.ParserUtils'
Missing documentation for:
parse (src/Cryptol/Parser/ParserUtils.hs:30)
ParseM (src/Cryptol/Parser/ParserUtils.hs:38)
lexerP (src/Cryptol/Parser/ParserUtils.hs:41)
ParseError (src/Cryptol/Parser/ParserUtils.hs:58)
S (src/Cryptol/Parser/ParserUtils.hs:62)
(src/Cryptol/Parser/ParserUtils.hs:64)
ppError (src/Cryptol/Parser/ParserUtils.hs:70)
(src/Cryptol/Parser/ParserUtils.hs:81)
(src/Cryptol/Parser/ParserUtils.hs:88)
(src/Cryptol/Parser/ParserUtils.hs:91)
happyError (src/Cryptol/Parser/ParserUtils.hs:95)
errorMessage (src/Cryptol/Parser/ParserUtils.hs:101)
customError (src/Cryptol/Parser/ParserUtils.hs:104)
mkModName (src/Cryptol/Parser/ParserUtils.hs:107)
mkQName (src/Cryptol/Parser/ParserUtils.hs:114)
mkSchema (src/Cryptol/Parser/ParserUtils.hs:124)
getName (src/Cryptol/Parser/ParserUtils.hs:127)
getNum (src/Cryptol/Parser/ParserUtils.hs:132)
getStr (src/Cryptol/Parser/ParserUtils.hs:138)
numLit (src/Cryptol/Parser/ParserUtils.hs:143)
mkTupleSel (src/Cryptol/Parser/ParserUtils.hs:153)
fromStrLit (src/Cryptol/Parser/ParserUtils.hs:161)
validDemotedType (src/Cryptol/Parser/ParserUtils.hs:167)
mkEApp (src/Cryptol/Parser/ParserUtils.hs:186)
op (src/Cryptol/Parser/ParserUtils.hs:216)
unOp (src/Cryptol/Parser/ParserUtils.hs:219)
binOp (src/Cryptol/Parser/ParserUtils.hs:222)
eFromTo (src/Cryptol/Parser/ParserUtils.hs:225)
exprToNumT (src/Cryptol/Parser/ParserUtils.hs:229)
exportDecl (src/Cryptol/Parser/ParserUtils.hs:252)
exportNewtype (src/Cryptol/Parser/ParserUtils.hs:255)
changeExport (src/Cryptol/Parser/ParserUtils.hs:258)
mkTypeInst (src/Cryptol/Parser/ParserUtils.hs:264)
mkTParam (src/Cryptol/Parser/ParserUtils.hs:269)
mkTySyn (src/Cryptol/Parser/ParserUtils.hs:274)
polyTerm (src/Cryptol/Parser/ParserUtils.hs:279)
mkPoly (src/Cryptol/Parser/ParserUtils.hs:285)
mkProperty (src/Cryptol/Parser/ParserUtils.hs:302)
mkIf (src/Cryptol/Parser/ParserUtils.hs:311)
0% ( 0 / 24) in 'Cryptol.Parser'
Missing documentation for:
Module header
parseModule (dist/build/Cryptol/Parser.hs:3688)
parseProgram (dist/build/Cryptol/Parser.hs:3691)
parseProgramWith (dist/build/Cryptol/Parser.hs:3679)
parseExpr (dist/build/Cryptol/Parser.hs:3697)
parseExprWith (dist/build/Cryptol/Parser.hs:3694)
parseDecl (dist/build/Cryptol/Parser.hs:3703)
parseDeclWith (dist/build/Cryptol/Parser.hs:3700)
parseDecls (dist/build/Cryptol/Parser.hs:3712)
parseDeclsWith (dist/build/Cryptol/Parser.hs:3706)
parseLetDecl (dist/build/Cryptol/Parser.hs:3718)
parseLetDeclWith (dist/build/Cryptol/Parser.hs:3715)
parseRepl (dist/build/Cryptol/Parser.hs:3724)
parseReplWith (dist/build/Cryptol/Parser.hs:3721)
parseSchema (dist/build/Cryptol/Parser.hs:3730)
parseSchemaWith (dist/build/Cryptol/Parser.hs:3727)
parseModName (dist/build/Cryptol/Parser.hs:3666)
ParseError (src/Cryptol/Parser/ParserUtils.hs:58)
ppError (src/Cryptol/Parser/ParserUtils.hs:70)
Layout (src/Cryptol/Parser/LexerUtils.hs:195)
Config (src/Cryptol/Parser/LexerUtils.hs:23)
defaultConfig (src/Cryptol/Parser/LexerUtils.hs:33)
guessPreProc (src/Cryptol/Parser/Unlit.hs:33)
PreProc (src/Cryptol/Parser/Unlit.hs:23)
20% ( 1 / 5) in 'Cryptol.Parser.NoInclude'
Missing documentation for:
removeIncludes (src/Cryptol/Parser/NoInclude.hs:28)
removeIncludesModule (src/Cryptol/Parser/NoInclude.hs:31)
IncludeError (src/Cryptol/Parser/NoInclude.hs:35)
ppIncludeError (src/Cryptol/Parser/NoInclude.hs:41)
44% ( 4 / 9) in 'Cryptol.ModuleSystem.Renamer'
Missing documentation for:
NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:88)
Rename (src/Cryptol/ModuleSystem/Renamer.hs:227)
runRenamer (src/Cryptol/ModuleSystem/Renamer.hs:155)
RenamerError (src/Cryptol/ModuleSystem/Renamer.hs:41)
RenamerWarning (src/Cryptol/ModuleSystem/Renamer.hs:97)
18% ( 7 / 38) in 'Cryptol.TypeCheck.InferTypes'
Missing documentation for:
Goals (src/Cryptol/TypeCheck/InferTypes.hs:35)
emptyGoals (src/Cryptol/TypeCheck/InferTypes.hs:38)
nullGoals (src/Cryptol/TypeCheck/InferTypes.hs:41)
fromGoals (src/Cryptol/TypeCheck/InferTypes.hs:44)
insertGoal (src/Cryptol/TypeCheck/InferTypes.hs:47)
HasGoal (src/Cryptol/TypeCheck/InferTypes.hs:57)
Solved (src/Cryptol/TypeCheck/InferTypes.hs:70)
Warning (src/Cryptol/TypeCheck/InferTypes.hs:75)
TyFunName (src/Cryptol/TypeCheck/InferTypes.hs:170)
(src/Cryptol/TypeCheck/InferTypes.hs:173)
(src/Cryptol/TypeCheck/InferTypes.hs:177)
(src/Cryptol/TypeCheck/InferTypes.hs:190)
(src/Cryptol/TypeCheck/InferTypes.hs:197)
(src/Cryptol/TypeCheck/InferTypes.hs:206)
(src/Cryptol/TypeCheck/InferTypes.hs:233)
(src/Cryptol/TypeCheck/InferTypes.hs:260)
(src/Cryptol/TypeCheck/InferTypes.hs:263)
(src/Cryptol/TypeCheck/InferTypes.hs:271)
(src/Cryptol/TypeCheck/InferTypes.hs:282)
(src/Cryptol/TypeCheck/InferTypes.hs:288)
(src/Cryptol/TypeCheck/InferTypes.hs:291)
addTVarsDescs (src/Cryptol/TypeCheck/InferTypes.hs:326)
(src/Cryptol/TypeCheck/InferTypes.hs:337)
(src/Cryptol/TypeCheck/InferTypes.hs:340)
(src/Cryptol/TypeCheck/InferTypes.hs:344)
(src/Cryptol/TypeCheck/InferTypes.hs:357)
(src/Cryptol/TypeCheck/InferTypes.hs:477)
ppUse (src/Cryptol/TypeCheck/InferTypes.hs:490)
(src/Cryptol/TypeCheck/InferTypes.hs:501)
(src/Cryptol/TypeCheck/InferTypes.hs:508)
(src/Cryptol/TypeCheck/InferTypes.hs:527)
69% ( 58 / 84) in 'Cryptol.TypeCheck.Monad'
Missing documentation for:
runInferM (src/Cryptol/TypeCheck/Monad.hs:77)
InferM (src/Cryptol/TypeCheck/Monad.hs:124)
DefLoc (src/Cryptol/TypeCheck/Monad.hs:126)
(src/Cryptol/TypeCheck/Monad.hs:193)
(src/Cryptol/TypeCheck/Monad.hs:196)
(src/Cryptol/TypeCheck/Monad.hs:200)
(src/Cryptol/TypeCheck/Monad.hs:205)
io (src/Cryptol/TypeCheck/Monad.hs:209)
inRangeMb (src/Cryptol/TypeCheck/Monad.hs:217)
recordWarning (src/Cryptol/TypeCheck/Monad.hs:231)
newGoal (src/Cryptol/TypeCheck/Monad.hs:237)
newName (src/Cryptol/TypeCheck/Monad.hs:314)
withTParams (src/Cryptol/TypeCheck/Monad.hs:523)
withNewtype (src/Cryptol/TypeCheck/Monad.hs:533)
withVarTypes (src/Cryptol/TypeCheck/Monad.hs:544)
withVar (src/Cryptol/TypeCheck/Monad.hs:547)
KindM (src/Cryptol/TypeCheck/Monad.hs:582)
KRO (src/Cryptol/TypeCheck/Monad.hs:584)
KRW (src/Cryptol/TypeCheck/Monad.hs:588)
(src/Cryptol/TypeCheck/Monad.hs:591)
(src/Cryptol/TypeCheck/Monad.hs:594)
(src/Cryptol/TypeCheck/Monad.hs:598)
kRecordWarning (src/Cryptol/TypeCheck/Monad.hs:646)
kExistTVar (src/Cryptol/TypeCheck/Monad.hs:664)
kNewGoals (src/Cryptol/TypeCheck/Monad.hs:687)
kInInferM (src/Cryptol/TypeCheck/Monad.hs:690)
64% ( 7 / 11) in 'Cryptol.TypeCheck.Depends'
Missing documentation for:
TyDecl (src/Cryptol/TypeCheck/Depends.hs:28)
FromDecl (src/Cryptol/TypeCheck/Depends.hs:81)
(src/Cryptol/TypeCheck/Depends.hs:86)
(src/Cryptol/TypeCheck/Depends.hs:96)
50% ( 1 / 2) in 'Cryptol.TypeCheck.Instantiate'
Missing documentation for:
instantiateWith (src/Cryptol/TypeCheck/Instantiate.hs:24)
50% ( 6 / 12) in 'Cryptol.TypeCheck.Solver.FinOrd'
Missing documentation for:
OrdFacts (src/Cryptol/TypeCheck/Solver/FinOrd.hs:177)
noFacts (src/Cryptol/TypeCheck/Solver/FinOrd.hs:270)
addFact (src/Cryptol/TypeCheck/Solver/FinOrd.hs:66)
ordFactsToGoals (src/Cryptol/TypeCheck/Solver/FinOrd.hs:128)
ordFactsToProps (src/Cryptol/TypeCheck/Solver/FinOrd.hs:136)
dumpDoc (src/Cryptol/TypeCheck/Solver/FinOrd.hs:517)
26% ( 7 / 27) in 'Cryptol.TypeCheck.Solver.Eval'
Missing documentation for:
isSimpleType (src/Cryptol/TypeCheck/Solver/Eval.hs:103)
simpType (src/Cryptol/TypeCheck/Solver/Eval.hs:114)
reorderArgs (src/Cryptol/TypeCheck/Solver/Eval.hs:126)
commuteArgs (src/Cryptol/TypeCheck/Solver/Eval.hs:133)
evalTFun (src/Cryptol/TypeCheck/Solver/Eval.hs:151)
typeInterval (src/Cryptol/TypeCheck/Solver/Eval.hs:172)
typeKnownLeq (src/Cryptol/TypeCheck/Solver/Eval.hs:197)
typeKnownFin (src/Cryptol/TypeCheck/Solver/Eval.hs:212)
tfAdd (src/Cryptol/TypeCheck/Solver/Eval.hs:219)
tfDiv (src/Cryptol/TypeCheck/Solver/Eval.hs:347)
tfMod (src/Cryptol/TypeCheck/Solver/Eval.hs:379)
tfMin (src/Cryptol/TypeCheck/Solver/Eval.hs:406)
tfMax (src/Cryptol/TypeCheck/Solver/Eval.hs:412)
tfExp (src/Cryptol/TypeCheck/Solver/Eval.hs:423)
tfLenFromThen (src/Cryptol/TypeCheck/Solver/Eval.hs:478)
tfLenFromThenTo (src/Cryptol/TypeCheck/Solver/Eval.hs:495)
toNat' (src/Cryptol/TypeCheck/Solver/Eval.hs:509)
fromNat' (src/Cryptol/TypeCheck/Solver/Eval.hs:517)
oneOrMore (src/Cryptol/TypeCheck/Solver/Eval.hs:521)
twoOrMore (src/Cryptol/TypeCheck/Solver/Eval.hs:524)
75% ( 3 / 4) in 'Cryptol.TypeCheck.Solver.Numeric'
Missing documentation for:
simpFin (src/Cryptol/TypeCheck/Solver/Numeric.hs:138)
50% ( 2 / 4) in 'Cryptol.TypeCheck.Defaulting'
Missing documentation for:
tryDefault (src/Cryptol/TypeCheck/Defaulting.hs:59)
tryDefaultWith (src/Cryptol/TypeCheck/Defaulting.hs:62)
100% ( 3 / 3) in 'Cryptol.TypeCheck.Solver.Class'
100% ( 2 / 2) in 'Cryptol.TypeCheck.Solver.Selector'
50% ( 1 / 2) in 'Cryptol.TypeCheck.Solver.Smtlib'
Missing documentation for:
simpDelayed (src/Cryptol/TypeCheck/Solver/Smtlib.hs:33)
40% ( 2 / 5) in 'Cryptol.TypeCheck.Solve'
Missing documentation for:
simplifyAllConstraints (src/Cryptol/TypeCheck/Solve.hs:46)
proveImplication (src/Cryptol/TypeCheck/Solve.hs:52)
checkTypeFunction (src/Cryptol/TypeCheck/Solve.hs:35)
80% ( 4 / 5) in 'Cryptol.TypeCheck.Kind'
Missing documentation for:
checkType (src/Cryptol/TypeCheck/Kind.hs:93)
43% ( 12 / 28) in 'Cryptol.TypeCheck.Infer'
Missing documentation for:
inferModule (src/Cryptol/TypeCheck/Infer.hs:55)
desugarLiteral (src/Cryptol/TypeCheck/Infer.hs:72)
inferTyParam (src/Cryptol/TypeCheck/Infer.hs:155)
checkTypeOfKind (src/Cryptol/TypeCheck/Infer.hs:168)
expectSeq (src/Cryptol/TypeCheck/Infer.hs:326)
expectTuple (src/Cryptol/TypeCheck/Infer.hs:352)
expectRec (src/Cryptol/TypeCheck/Infer.hs:379)
expectFin (src/Cryptol/TypeCheck/Infer.hs:412)
expectFun (src/Cryptol/TypeCheck/Infer.hs:428)
checkHasType (src/Cryptol/TypeCheck/Infer.hs:458)
checkFun (src/Cryptol/TypeCheck/Infer.hs:466)
checkP (src/Cryptol/TypeCheck/Infer.hs:491)
checkMonoB (src/Cryptol/TypeCheck/Infer.hs:726)
checkSigB (src/Cryptol/TypeCheck/Infer.hs:738)
inferDs (src/Cryptol/TypeCheck/Infer.hs:793)
tcPanic (src/Cryptol/TypeCheck/Infer.hs:825)
50% ( 6 / 12) in 'Cryptol.TypeCheck'
Missing documentation for:
tcModule (src/Cryptol/TypeCheck.hs:42)
tcExpr (src/Cryptol/TypeCheck.hs:48)
tcDecls (src/Cryptol/TypeCheck.hs:86)
Warning (src/Cryptol/TypeCheck/InferTypes.hs:75)
ppWarning (src/Cryptol/TypeCheck.hs:91)
ppError (src/Cryptol/TypeCheck.hs:94)
42% ( 8 / 19) in 'Cryptol.ModuleSystem.Env'
Missing documentation for:
ModuleEnv (src/Cryptol/ModuleSystem/Env.hs:41)
resetModuleEnv (src/Cryptol/ModuleSystem/Env.hs:51)
initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:60)
loadModuleEnv (src/Cryptol/ModuleSystem/Env.hs:127)
(src/Cryptol/ModuleSystem/Env.hs:147)
LoadedModule (src/Cryptol/ModuleSystem/Env.hs:152)
isLoaded (src/Cryptol/ModuleSystem/Env.hs:159)
lookupModule (src/Cryptol/ModuleSystem/Env.hs:162)
addLoadedModule (src/Cryptol/ModuleSystem/Env.hs:165)
removeLoadedModule (src/Cryptol/ModuleSystem/Env.hs:177)
(src/Cryptol/ModuleSystem/Env.hs:200)
8% ( 5 / 60) in 'Cryptol.ModuleSystem.Monad'
Missing documentation for:
ImportSource (src/Cryptol/ModuleSystem/Monad.hs:39)
(src/Cryptol/ModuleSystem/Monad.hs:44)
(src/Cryptol/ModuleSystem/Monad.hs:47)
importedModule (src/Cryptol/ModuleSystem/Monad.hs:52)
ModuleError (src/Cryptol/ModuleSystem/Monad.hs:58)
(src/Cryptol/ModuleSystem/Monad.hs:85)
moduleNotFound (src/Cryptol/ModuleSystem/Monad.hs:137)
cantFindFile (src/Cryptol/ModuleSystem/Monad.hs:140)
otherIOError (src/Cryptol/ModuleSystem/Monad.hs:143)
moduleParseError (src/Cryptol/ModuleSystem/Monad.hs:146)
recursiveModules (src/Cryptol/ModuleSystem/Monad.hs:150)
renamerErrors (src/Cryptol/ModuleSystem/Monad.hs:153)
noPatErrors (src/Cryptol/ModuleSystem/Monad.hs:158)
noIncludeErrors (src/Cryptol/ModuleSystem/Monad.hs:163)
typeCheckingFailed (src/Cryptol/ModuleSystem/Monad.hs:168)
moduleNameMismatch (src/Cryptol/ModuleSystem/Monad.hs:173)
duplicateModuleName (src/Cryptol/ModuleSystem/Monad.hs:177)
ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:184)
(src/Cryptol/ModuleSystem/Monad.hs:189)
warn (src/Cryptol/ModuleSystem/Monad.hs:194)
typeCheckWarnings (src/Cryptol/ModuleSystem/Monad.hs:197)
renamerWarnings (src/Cryptol/ModuleSystem/Monad.hs:202)
RO (src/Cryptol/ModuleSystem/Monad.hs:210)
emptyRO (src/Cryptol/ModuleSystem/Monad.hs:214)
ModuleT (src/Cryptol/ModuleSystem/Monad.hs:217)
(src/Cryptol/ModuleSystem/Monad.hs:222)
(src/Cryptol/ModuleSystem/Monad.hs:226)
(src/Cryptol/ModuleSystem/Monad.hs:233)
(src/Cryptol/ModuleSystem/Monad.hs:242)
runModuleT (src/Cryptol/ModuleSystem/Monad.hs:246)
ModuleM (src/Cryptol/ModuleSystem/Monad.hs:259)
runModuleM (src/Cryptol/ModuleSystem/Monad.hs:261)
io (src/Cryptol/ModuleSystem/Monad.hs:267)
getModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:270)
setModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:273)
modifyModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:276)
isLoaded (src/Cryptol/ModuleSystem/Monad.hs:281)
loadingImport (src/Cryptol/ModuleSystem/Monad.hs:286)
loadingModule (src/Cryptol/ModuleSystem/Monad.hs:289)
loading (src/Cryptol/ModuleSystem/Monad.hs:297)
getIface (src/Cryptol/ModuleSystem/Monad.hs:316)
getNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:323)
getMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:326)
setMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:329)
setNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:334)
loadedModule (src/Cryptol/ModuleSystem/Monad.hs:345)
modifyEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:350)
getEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:355)
getFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:358)
setFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:361)
getSearchPath (src/Cryptol/ModuleSystem/Monad.hs:366)
getFocusedEnv (src/Cryptol/ModuleSystem/Monad.hs:383)
getQualifiedEnv (src/Cryptol/ModuleSystem/Monad.hs:386)
getDynEnv (src/Cryptol/ModuleSystem/Monad.hs:389)
setDynEnv (src/Cryptol/ModuleSystem/Monad.hs:392)
100% ( 2 / 2) in 'Cryptol.Prelude'
71% ( 20 / 28) in 'Cryptol.ModuleSystem.Base'
Missing documentation for:
rename (src/Cryptol/ModuleSystem/Base.hs:57)
parseModule (src/Cryptol/ModuleSystem/Base.hs:106)
moduleFile (src/Cryptol/ModuleSystem/Base.hs:200)
preludeName (src/Cryptol/ModuleSystem/Base.hs:246)
TCAction (src/Cryptol/ModuleSystem/Base.hs:319)
typecheck (src/Cryptol/ModuleSystem/Base.hs:321)
evalExpr (src/Cryptol/ModuleSystem/Base.hs:377)
evalDecls (src/Cryptol/ModuleSystem/Base.hs:383)
58% ( 14 / 24) in 'Cryptol.ModuleSystem'
Missing documentation for:
ModuleEnv (src/Cryptol/ModuleSystem/Env.hs:41)
initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:60)
ModuleError (src/Cryptol/ModuleSystem/Monad.hs:58)
ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:184)
ModuleCmd (src/Cryptol/ModuleSystem.hs:45)
ModuleRes (src/Cryptol/ModuleSystem.hs:47)
noPat (src/Cryptol/ModuleSystem.hs:96)
IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:39)
IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:72)
IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:79)
27% ( 8 / 30) in 'Cryptol.Transform.Specialize'
Missing documentation for:
SpecM (src/Cryptol/Transform/Specialize.hs:40)
runSpecT (src/Cryptol/Transform/Specialize.hs:42)
liftSpecT (src/Cryptol/Transform/Specialize.hs:45)
getSpecCache (src/Cryptol/Transform/Specialize.hs:48)
setSpecCache (src/Cryptol/Transform/Specialize.hs:51)
modifySpecCache (src/Cryptol/Transform/Specialize.hs:54)
modify (src/Cryptol/Transform/Specialize.hs:57)
specializeExpr (src/Cryptol/Transform/Specialize.hs:75)
specializeMatch (src/Cryptol/Transform/Specialize.hs:109)
specializeConst (src/Cryptol/Transform/Specialize.hs:174)
destEProofApps (src/Cryptol/Transform/Specialize.hs:199)
destETApps (src/Cryptol/Transform/Specialize.hs:205)
destEProofAbs (src/Cryptol/Transform/Specialize.hs:211)
destETAbs (src/Cryptol/Transform/Specialize.hs:217)
freshName (src/Cryptol/Transform/Specialize.hs:228)
matchingBoundNames (src/Cryptol/Transform/Specialize.hs:242)
reifyName (src/Cryptol/Transform/Specialize.hs:247)
instantiateSchema (src/Cryptol/Transform/Specialize.hs:308)
allDeclGroups (src/Cryptol/Transform/Specialize.hs:325)
allLoadedModules (src/Cryptol/Transform/Specialize.hs:330)
allPublicQNames (src/Cryptol/Transform/Specialize.hs:335)
traverseSnd (src/Cryptol/Transform/Specialize.hs:345)
27% ( 12 / 45) in 'Cryptol.Symbolic.Prims'
Missing documentation for:
traverseSnd (src/Cryptol/Symbolic/Prims.hs:31)
evalECon (src/Cryptol/Symbolic/Prims.hs:37)
selectV (src/Cryptol/Symbolic/Prims.hs:290)
replicateV (src/Cryptol/Symbolic/Prims.hs:301)
nth (src/Cryptol/Symbolic/Prims.hs:308)
nthV (src/Cryptol/Symbolic/Prims.hs:314)
mapV (src/Cryptol/Symbolic/Prims.hs:324)
catV (src/Cryptol/Symbolic/Prims.hs:331)
dropV (src/Cryptol/Symbolic/Prims.hs:338)
takeV (src/Cryptol/Symbolic/Prims.hs:347)
toTypeVal (src/Cryptol/Symbolic/Prims.hs:381)
Binary (src/Cryptol/Symbolic/Prims.hs:394)
Unary (src/Cryptol/Symbolic/Prims.hs:395)
sExp (src/Cryptol/Symbolic/Prims.hs:425)
cmpValue (src/Cryptol/Symbolic/Prims.hs:442)
cmpEq (src/Cryptol/Symbolic/Prims.hs:469)
cmpNotEq (src/Cryptol/Symbolic/Prims.hs:472)
cmpLt (src/Cryptol/Symbolic/Prims.hs:475)
cmpGt (src/Cryptol/Symbolic/Prims.hs:475)
cmpLtEq (src/Cryptol/Symbolic/Prims.hs:479)
cmpGtEq (src/Cryptol/Symbolic/Prims.hs:479)
cmpBinary (src/Cryptol/Symbolic/Prims.hs:483)
errorV (src/Cryptol/Symbolic/Prims.hs:491)
zeroV (src/Cryptol/Symbolic/Prims.hs:503)
logicUnary (src/Cryptol/Symbolic/Prims.hs:560)
fromThenV (src/Cryptol/Symbolic/Prims.hs:574)
fromToV (src/Cryptol/Symbolic/Prims.hs:588)
fromThenToV (src/Cryptol/Symbolic/Prims.hs:604)
ites (src/Cryptol/Symbolic/Prims.hs:631)
degree (src/Cryptol/Symbolic/Prims.hs:643)
mdp (src/Cryptol/Symbolic/Prims.hs:652)
idx (src/Cryptol/Symbolic/Prims.hs:666)
divx (src/Cryptol/Symbolic/Prims.hs:671)
22% ( 10 / 45) in 'Cryptol.Symbolic'
Missing documentation for:
smtMode (src/Cryptol/Symbolic.hs:46)
proverConfigs (src/Cryptol/Symbolic.hs:55)
proverNames (src/Cryptol/Symbolic.hs:67)
lookupProver (src/Cryptol/Symbolic.hs:70)
SatResult (src/Cryptol/Symbolic.hs:77)
SatNum (src/Cryptol/Symbolic.hs:79)
QueryType (src/Cryptol/Symbolic.hs:82)
ProverCommand (src/Cryptol/Symbolic.hs:85)
satSMTResults (src/Cryptol/Symbolic.hs:111)
allSatSMTResults (src/Cryptol/Symbolic.hs:114)
thmSMTResults (src/Cryptol/Symbolic.hs:117)
proverError (src/Cryptol/Symbolic.hs:120)
satProve (src/Cryptol/Symbolic.hs:123)
satProveOffline (src/Cryptol/Symbolic.hs:205)
protectStack (src/Cryptol/Symbolic.hs:225)
parseValues (src/Cryptol/Symbolic.hs:235)
parseValue (src/Cryptol/Symbolic.hs:241)
allDeclGroups (src/Cryptol/Symbolic.hs:258)
FinType (src/Cryptol/Symbolic.hs:261)
numType (src/Cryptol/Symbolic.hs:267)
finType (src/Cryptol/Symbolic.hs:273)
unFinType (src/Cryptol/Symbolic.hs:283)
predArgTypes (src/Cryptol/Symbolic.hs:294)
forallFinType (src/Cryptol/Symbolic.hs:307)
existsFinType (src/Cryptol/Symbolic.hs:317)
Env (src/Cryptol/Symbolic.hs:329)
(src/Cryptol/Symbolic.hs:334)
emptyEnv (src/Cryptol/Symbolic.hs:345)
evalExpr (src/Cryptol/Symbolic.hs:366)
evalType (src/Cryptol/Symbolic.hs:391)
evalSel (src/Cryptol/Symbolic.hs:396)
evalDecls (src/Cryptol/Symbolic.hs:424)
evalDeclGroup (src/Cryptol/Symbolic.hs:427)
evalDecl (src/Cryptol/Symbolic.hs:437)
copyByType (src/Cryptol/Symbolic.hs:450)
50% ( 28 / 56) in 'Cryptol.REPL.Monad'
Missing documentation for:
io (src/Cryptol/REPL/Monad.hs:236)
stop (src/Cryptol/REPL/Monad.hs:272)
catch (src/Cryptol/REPL/Monad.hs:218)
rethrowEvalError (src/Cryptol/REPL/Monad.hs:221)
getModuleEnv (src/Cryptol/REPL/Monad.hs:400)
setModuleEnv (src/Cryptol/REPL/Monad.hs:403)
getDynEnv (src/Cryptol/REPL/Monad.hs:406)
setDynEnv (src/Cryptol/REPL/Monad.hs:409)
getTSyns (src/Cryptol/REPL/Monad.hs:367)
getNewtypes (src/Cryptol/REPL/Monad.hs:373)
getVars (src/Cryptol/REPL/Monad.hs:342)
whenDebug (src/Cryptol/REPL/Monad.hs:596)
getPropertyNames (src/Cryptol/REPL/Monad.hs:391)
LoadedModule (src/Cryptol/REPL/Monad.hs:105)
getLoadedMod (src/Cryptol/REPL/Monad.hs:256)
setSearchPath (src/Cryptol/REPL/Monad.hs:259)
prependSearchPath (src/Cryptol/REPL/Monad.hs:264)
builtIns (src/Cryptol/REPL/Monad.hs:332)
shouldContinue (src/Cryptol/REPL/Monad.hs:269)
unlessBatch (src/Cryptol/REPL/Monad.hs:275)
disableLet (src/Cryptol/REPL/Monad.hs:289)
enableLet (src/Cryptol/REPL/Monad.hs:292)
EnvVal (src/Cryptol/REPL/Monad.hs:431)
OptionDescr (src/Cryptol/REPL/Monad.hs:503)
userOptions (src/Cryptol/REPL/Monad.hs:516)
getUserSatNum (src/Cryptol/REPL/Monad.hs:585)
smokeTest (src/Cryptol/REPL/Monad.hs:603)
Smoke (src/Cryptol/REPL/Monad.hs:610)
63% ( 12 / 19) in 'Cryptol.REPL.Command'
Missing documentation for:
CommandBody (src/Cryptol/REPL/Command.hs:109)
moduleCmd (src/Cryptol/REPL/Command.hs:528)
loadCmd (src/Cryptol/REPL/Command.hs:539)
loadPrelude (src/Cryptol/REPL/Command.hs:536)
handleCtrlC (src/Cryptol/REPL/Command.hs:666)
liftModuleCmd (src/Cryptol/REPL/Command.hs:700)
moduleCmdResult (src/Cryptol/REPL/Command.hs:703)
Warning: Cryptol.Parser.Unlit: could not find link destinations for:
markdown latex
Warning: Cryptol.TypeCheck.Solver.CrySAT: could not find link destinations for:
S
Warning: Cryptol.ModuleSystem.Renamer: could not find link destinations for:
RenameM
Warning: Cryptol.TypeCheck.Solver.FinOrd: could not find link destinations for:
EdgeSrc fin FinNat''
Warning: Cryptol.REPL.Monad: could not find link destinations for:
RW OptionMap
Documentation created: dist/doc/html/cryptol/index.html,
dist/doc/html/cryptol/cryptol.txt
Preprocessing executable 'cryptol' for cryptol-2.2.6...
Creating package registration file:
/tmp/pkgConf-cryptol-2.2928096382335486058.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/cryptol-2.2.6-IlQBYdA8Z9V0KxKyaoRKWn
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering cryptol-2.2.6...
Installed cryptol-2.2.6
Test log
No test log was submitted for this report.