Build #1 for cryptol-2.4.0

[all reports]

Package cryptol-2.4.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-07-06 15:46:48.889923 UTC
Compiler ghc-8.0.1.20160521
OS linux
Arch x86_64
Dependencies GraphSCC-1.0.4, QuickCheck-2.8.2, array-0.5.1.1, async-2.1.0, base-4.9.0.0, base-compat-0.9.1, bytestring-0.10.8.1, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, gitrev-1.2.0, heredoc-0.2.0.0, monad-control-1.0.1.0, monadLib-3.7.3, old-time-1.1.0.3, presburger-1.3.1, pretty-1.1.3.3, process-1.4.2.0, random-1.1, sbv-5.12, simple-smt-0.6.0, smtLib-1.0.8, syb-0.6, template-haskell-2.11.0.0, text-1.2.2.1, tf-random-0.5, transformers-0.5.2.0, transformers-base-0.4.4, utf8-string-1.0.1.1, ansi-terminal-0.6.2.3, base-4.9.0.0, base-compat-0.9.1, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, haskeline-0.7.2.3, monad-control-1.0.1.0, monadLib-3.7.3, process-1.4.2.0, random-1.1, sbv-5.12, tf-random-0.5, transformers-0.5.2.0
Flags -static -server relocatable

Build log

[view raw]

Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-28182/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 )
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-8.0.1.20160521/GraphSCC-1.0.4-6csGp56oNA3J9pzacLAFnH
Registering GraphSCC-1.0.4...
cabal: Leaving directory '/tmp/cabal-tmp-28182/GraphSCC-1.0.4'
Installed GraphSCC-1.0.4
cabal: Entering directory '/tmp/cabal-tmp-28182/HUnit-1.3.1.1'
Configuring HUnit-1.3.1.1...
Building HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
[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 )
Running Haddock for HUnit-1.3.1.1...
Running hscolour for HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
Preprocessing library HUnit-1.3.1.1...
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:40)
    Result (Test/HUnit/Lang.hs:76)
    HUnitFailure (Test/HUnit/Lang.hs:46)
  97% ( 33 / 34) in 'Test.HUnit.Base'
  Missing documentation for:
    Location (Test/HUnit/Lang.hs:40)
 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.11036140795463480570.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/HUnit-1.3.1.1-21JuQs5D85SLjuJsLVrBpA
Registering HUnit-1.3.1.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/HUnit-1.3.1.1'
Installed HUnit-1.3.1.1
cabal: Entering directory '/tmp/cabal-tmp-28182/ansi-terminal-0.6.2.3'
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 )
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)
Warning: System.Console.ANSI: could not find link destinations for:
    unsafeIndex unsafeRangeSize
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.23521186061782436840.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/ansi-terminal-0.6.2.3-AKTYR0nthhUCHW4HMZvJFX
Registering ansi-terminal-0.6.2.3...
cabal: Leaving directory '/tmp/cabal-tmp-28182/ansi-terminal-0.6.2.3'
Installed ansi-terminal-0.6.2.3
cabal: Entering directory '/tmp/cabal-tmp-28182/base-compat-0.9.1'
Configuring base-compat-0.9.1...
Building base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
[ 1 of 37] Compiling Text.Read.Compat ( src/Text/Read/Compat.hs, dist/build/Text/Read/Compat.o )
[ 2 of 37] Compiling System.IO.Unsafe.Compat ( src/System/IO/Unsafe/Compat.hs, dist/build/System/IO/Unsafe/Compat.o )
[ 3 of 37] Compiling System.Exit.Compat ( src/System/Exit/Compat.hs, dist/build/System/Exit/Compat.o )
[ 4 of 37] Compiling System.Environment.Compat ( src/System/Environment/Compat.hs, dist/build/System/Environment/Compat.o )
[ 5 of 37] Compiling Prelude.Compat   ( src/Prelude/Compat.hs, dist/build/Prelude/Compat.o )
[ 6 of 37] Compiling Numeric.Compat   ( src/Numeric/Compat.hs, dist/build/Numeric/Compat.o )
[ 7 of 37] Compiling Foreign.Marshal.Unsafe.Compat ( src/Foreign/Marshal/Unsafe/Compat.hs, dist/build/Foreign/Marshal/Unsafe/Compat.o )
[ 8 of 37] Compiling Foreign.Marshal.Safe.Compat ( src/Foreign/Marshal/Safe/Compat.hs, dist/build/Foreign/Marshal/Safe/Compat.o )
[ 9 of 37] Compiling Foreign.Marshal.Utils.Compat ( src/Foreign/Marshal/Utils/Compat.hs, dist/build/Foreign/Marshal/Utils/Compat.o )
[10 of 37] Compiling Foreign.Marshal.Array.Compat ( src/Foreign/Marshal/Array/Compat.hs, dist/build/Foreign/Marshal/Array/Compat.o )
[11 of 37] Compiling Foreign.Marshal.Alloc.Compat ( src/Foreign/Marshal/Alloc/Compat.hs, dist/build/Foreign/Marshal/Alloc/Compat.o )
[12 of 37] Compiling Foreign.ForeignPtr.Unsafe.Compat ( src/Foreign/ForeignPtr/Unsafe/Compat.hs, dist/build/Foreign/ForeignPtr/Unsafe/Compat.o )
[13 of 37] Compiling Foreign.ForeignPtr.Safe.Compat ( src/Foreign/ForeignPtr/Safe/Compat.hs, dist/build/Foreign/ForeignPtr/Safe/Compat.o )
[14 of 37] Compiling Foreign.Marshal.Compat ( src/Foreign/Marshal/Compat.hs, dist/build/Foreign/Marshal/Compat.o )
[15 of 37] Compiling Foreign.Compat   ( src/Foreign/Compat.hs, dist/build/Foreign/Compat.o )
[16 of 37] Compiling Debug.Trace.Compat ( src/Debug/Trace/Compat.hs, dist/build/Debug/Trace/Compat.o )
[17 of 37] Compiling Data.Word.Compat ( src/Data/Word/Compat.hs, dist/build/Data/Word/Compat.o )
[18 of 37] Compiling Data.Version.Compat ( src/Data/Version/Compat.hs, dist/build/Data/Version/Compat.o )
[19 of 37] Compiling Data.String.Compat ( src/Data/String/Compat.hs, dist/build/Data/String/Compat.o )
[20 of 37] Compiling Data.STRef.Compat ( src/Data/STRef/Compat.hs, dist/build/Data/STRef/Compat.o )
[21 of 37] Compiling Data.Ratio.Compat ( src/Data/Ratio/Compat.hs, dist/build/Data/Ratio/Compat.o )
[22 of 37] Compiling Data.Monoid.Compat ( src/Data/Monoid/Compat.hs, dist/build/Data/Monoid/Compat.o )
[23 of 37] Compiling Data.List.Compat ( src/Data/List/Compat.hs, dist/build/Data/List/Compat.o )
[24 of 37] Compiling Data.IORef.Compat ( src/Data/IORef/Compat.hs, dist/build/Data/IORef/Compat.o )
[25 of 37] Compiling Data.Functor.Const.Compat ( src/Data/Functor/Const/Compat.hs, dist/build/Data/Functor/Const/Compat.o )
[26 of 37] Compiling Data.Functor.Compat ( src/Data/Functor/Compat.hs, dist/build/Data/Functor/Compat.o )
[27 of 37] Compiling Data.Function.Compat ( src/Data/Function/Compat.hs, dist/build/Data/Function/Compat.o )
[28 of 37] Compiling Data.Foldable.Compat ( src/Data/Foldable/Compat.hs, dist/build/Data/Foldable/Compat.o )
[29 of 37] Compiling Data.Either.Compat ( src/Data/Either/Compat.hs, dist/build/Data/Either/Compat.o )
[30 of 37] Compiling Data.Complex.Compat ( src/Data/Complex/Compat.hs, dist/build/Data/Complex/Compat.o )
[31 of 37] Compiling Data.Bool.Compat ( src/Data/Bool/Compat.hs, dist/build/Data/Bool/Compat.o )
[32 of 37] Compiling Data.Bits.Compat ( src/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o )
[33 of 37] Compiling Control.Monad.ST.Unsafe.Compat ( src/Control/Monad/ST/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Unsafe/Compat.o )
[34 of 37] Compiling Control.Monad.ST.Lazy.Unsafe.Compat ( src/Control/Monad/ST/Lazy/Unsafe/Compat.hs, dist/build/Control/Monad/ST/Lazy/Unsafe/Compat.o )
[35 of 37] Compiling Control.Monad.Compat ( src/Control/Monad/Compat.hs, dist/build/Control/Monad/Compat.o )
[36 of 37] Compiling Control.Concurrent.MVar.Compat ( src/Control/Concurrent/MVar/Compat.hs, dist/build/Control/Concurrent/MVar/Compat.o )
[37 of 37] Compiling Control.Concurrent.Compat ( src/Control/Concurrent/Compat.hs, dist/build/Control/Concurrent/Compat.o )
Running Haddock for base-compat-0.9.1...
Running hscolour for base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Preprocessing library base-compat-0.9.1...
Haddock coverage:
  89% ( 16 / 18) in 'Text.Read.Compat'
  Missing documentation for:
    Module header
    Lexeme
Warning: System.IO.Unsafe.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'System.IO.Unsafe.Compat'
  Missing documentation for:
    Module header
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
  67% (  2 /  3) in 'Foreign.Marshal.Unsafe.Compat'
  Missing documentation for:
    Module header
  86% (  6 /  7) in 'Foreign.Marshal.Safe.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
  67% (  2 /  3) in 'Foreign.ForeignPtr.Unsafe.Compat'
  Missing documentation for:
    Module header
  90% ( 19 / 21) in 'Foreign.ForeignPtr.Safe.Compat'
  Missing documentation for:
    Module header
    FinalizerEnvPtr
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.String.Compat: Could not find documentation for exported module: Base
  83% (  5 /  6) in 'Data.String.Compat'
  Missing documentation for:
    Module header
Warning: Data.STRef.Compat: Could not find documentation for exported module: Base
  50% (  1 /  2) in 'Data.STRef.Compat'
  Missing documentation for:
    Module header
Warning: Data.Ratio.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Data.Ratio.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.IORef.Compat: Could not find documentation for exported module: Base
  75% (  3 /  4) in 'Data.IORef.Compat'
  Missing documentation for:
    Module header
  50% (  1 /  2) in 'Data.Functor.Const.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.Complex.Compat: Could not find documentation for exported module: Base
   0% (  0 /  1) in 'Data.Complex.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
  20% (  1 /  5) in 'Control.Monad.ST.Unsafe.Compat'
  Missing documentation for:
    Module header
    unsafeInterleaveST
    unsafeIOToST
    unsafeSTToIO
  25% (  1 /  4) in 'Control.Monad.ST.Lazy.Unsafe.Compat'
  Missing documentation for:
    Module header
    unsafeInterleaveST
    unsafeIOToST
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: Control.Concurrent.Compat: Could not find documentation for exported module: Base
  67% (  2 /  3) in 'Control.Concurrent.Compat'
  Missing documentation for:
    Module header
Warning: Text.Read.Compat: could not find link destinations for:
    ~
Warning: Data.Functor.Const.Compat: could not find link destinations for:
    unsafeIndex unsafeRangeSize
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.9404158660937370163.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/base-compat-0.9.1-tmPpmtbHbvIDjFWbkjGrR
Registering base-compat-0.9.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/base-compat-0.9.1'
Installed base-compat-0.9.1
cabal: Entering directory '/tmp/cabal-tmp-28182/data-binary-ieee754-0.4.4'
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: [-Wtabs]
    Tab character found here, and in 70 further locations.
    Please use spaces instead.
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: [-Wtabs]
    Tab character found here, and in 70 further locations.
    Please use spaces instead.
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.412425610411581539848.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/data-binary-ieee754-0.4.4-F1HjhwdV1xx5grS0eMjeg2
Registering data-binary-ieee754-0.4.4...
cabal: Leaving directory '/tmp/cabal-tmp-28182/data-binary-ieee754-0.4.4'
Installed data-binary-ieee754-0.4.4
cabal: Entering directory '/tmp/cabal-tmp-28182/gitrev-1.2.0'
Configuring gitrev-1.2.0...
Building gitrev-1.2.0...
Preprocessing library gitrev-1.2.0...
[1 of 1] Compiling Development.GitRev ( src/Development/GitRev.hs, dist/build/Development/GitRev.o )
Running Haddock for gitrev-1.2.0...
Running hscolour for gitrev-1.2.0...
Preprocessing library gitrev-1.2.0...
Preprocessing library gitrev-1.2.0...
Haddock coverage:
 100% (  6 /  6) 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.28332153501280311131.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/gitrev-1.2.0-Ium1ewHFPiqb1Q41BfwuH
Registering gitrev-1.2.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/gitrev-1.2.0'
Installed gitrev-1.2.0
cabal: Entering directory '/tmp/cabal-tmp-28182/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 )
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.016401703371663080928.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/heredoc-0.2.0.0-6aTHSgLV4FEVhWSrwgNKK
Registering heredoc-0.2.0.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/heredoc-0.2.0.0'
Installed heredoc-0.2.0.0
cabal: Entering directory '/tmp/cabal-tmp-28182/ieee754-0.7.8'
Configuring ieee754-0.7.8...
Building ieee754-0.7.8...
Preprocessing library ieee754-0.7.8...
[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 )
Running Haddock for ieee754-0.7.8...
Running hscolour for ieee754-0.7.8...
Preprocessing library ieee754-0.7.8...
Preprocessing library ieee754-0.7.8...
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.71799560997332238283.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/ieee754-0.7.8-hSToga77ICuzAtDrK6Dj
Registering ieee754-0.7.8...
cabal: Leaving directory '/tmp/cabal-tmp-28182/ieee754-0.7.8'
Installed ieee754-0.7.8
cabal: Entering directory '/tmp/cabal-tmp-28182/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: [-Wtrustworthy-safe]
    ‘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: [-Wunused-imports]
    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: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
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: [-Wtrustworthy-safe]
    ‘MonadLib’ is marked as Trustworthy but has been inferred as safe!

src/MonadLib/Monads.hs:18:1: warning: [-Wunused-imports]
    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: [-Wunused-imports]
    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.71020406649825726814.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/monadLib-3.7.3-BDu0cc8anRRCNEPEV0sh1Q
Registering monadLib-3.7.3...
cabal: Leaving directory '/tmp/cabal-tmp-28182/monadLib-3.7.3'
Installed monadLib-3.7.3
cabal: Entering directory '/tmp/cabal-tmp-28182/mtl-2.2.1'
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 )
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.25184345731450238957.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-28182/old-locale-1.0.0.7'
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 )
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.01025246431764892438.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/old-locale-1.0.0.7-6glXNhHF891B41ZfuI8hU8
Registering old-locale-1.0.0.7...
cabal: Leaving directory '/tmp/cabal-tmp-28182/old-locale-1.0.0.7'
Installed old-locale-1.0.0.7
cabal: Entering directory '/tmp/cabal-tmp-28182/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: [-Wunused-imports]
    The import of ‘Debug.Trace’ is redundant
      except perhaps to import instances from ‘Debug.Trace’
    To import instances alone, use: import Debug.Trace()
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: [-Wunused-imports]
    The import of ‘Debug.Trace’ is redundant
      except perhaps to import instances from ‘Debug.Trace’
    To import instances alone, use: import Debug.Trace()
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.3384295879104852634.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/presburger-1.3.1-EA6mCNyD2RY1G0M9uMSBQ1
Registering presburger-1.3.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/presburger-1.3.1'
Installed presburger-1.3.1
cabal: Entering directory '/tmp/cabal-tmp-28182/primitive-0.6.1.0'
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: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    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: [-Wdeprecations]
    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: [-Wdeprecations]
    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 )
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: [-Wdeprecations]
    Module ‘Control.Monad.Trans.Error’ is deprecated:
      Use Control.Monad.Trans.Except instead

Control/Monad/Primitive.hs:100:11: warning: [-Wdeprecations]
    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: [-Wdeprecations]
    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: [-Wdeprecations]
    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'
Warning: Control.Monad.Primitive: could not find link destinations for:
    ~
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.11468519716421825361.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/primitive-0.6.1.0-Ip44DqhfCp21tTUYbecwa
Registering primitive-0.6.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/primitive-0.6.1.0'
Installed primitive-0.6.1.0
cabal: Entering directory '/tmp/cabal-tmp-28182/random-1.1'
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: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
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: [-Wtabs]
    Tab character found here, and in 74 further locations.
    Please use spaces instead.
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-115696549681401422376.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-28182/simple-smt-0.6.0'
Configuring simple-smt-0.6.0...
Building simple-smt-0.6.0...
Preprocessing library simple-smt-0.6.0...
[1 of 1] Compiling SimpleSMT        ( SimpleSMT.hs, dist/build/SimpleSMT.o )
Running Haddock for simple-smt-0.6.0...
Running hscolour for simple-smt-0.6.0...
Preprocessing library simple-smt-0.6.0...
Preprocessing library simple-smt-0.6.0...
Haddock coverage:
  99% (107 /108) in 'SimpleSMT'
  Missing documentation for:
    logIndented (SimpleSMT.hs:765)
Documentation created: dist/doc/html/simple-smt/index.html,
dist/doc/html/simple-smt/simple-smt.txt
Creating package registration file:
/tmp/pkgConf-simple-smt-0.611821766201955769409.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/simple-smt-0.6.0-5543C8DvAUK2J6JWTZHsRF
Registering simple-smt-0.6.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/simple-smt-0.6.0'
Installed simple-smt-0.6.0
cabal: Entering directory '/tmp/cabal-tmp-28182/smtLib-1.0.8'
Configuring smtLib-1.0.8...
Building smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
[ 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 )
[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 )
Running Haddock for smtLib-1.0.8...
Running hscolour for smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
Preprocessing library smtLib-1.0.8...
Haddock coverage:
   0% (  0 / 22) in 'SMTLib2.AST'
  Missing documentation for:
    Module header
    Name (src/SMTLib2/AST.hs:18)
    Ident (src/SMTLib2/AST.hs:21)
    Quant (src/SMTLib2/AST.hs:24)
    Binder (src/SMTLib2/AST.hs:27)
    Defn (src/SMTLib2/AST.hs:30)
    Literal (src/SMTLib2/AST.hs:33)
    Type (src/SMTLib2/AST.hs:39)
    Expr (src/SMTLib2/AST.hs:43)
    Attr (src/SMTLib2/AST.hs:50)
    AttrVal (src/SMTLib2/AST.hs:53)
    Option (src/SMTLib2/AST.hs:56)
    InfoFlag (src/SMTLib2/AST.hs:71)
    Command (src/SMTLib2/AST.hs:82)
    Script (src/SMTLib2/AST.hs:104)
     (src/SMTLib2/AST.hs:114)
     (src/SMTLib2/AST.hs:115)
     (src/SMTLib2/AST.hs:116)
     (src/SMTLib2/AST.hs:117)
     (src/SMTLib2/AST.hs:122)
     (src/SMTLib2/AST.hs:132)
    app (src/SMTLib2/AST.hs:136)
   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:167)
   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:104)
    Binder (src/SMTLib2/AST.hs:27)
    Defn (src/SMTLib2/AST.hs:30)
    Type (src/SMTLib2/AST.hs:39)
    Expr (src/SMTLib2/AST.hs:43)
    Name (src/SMTLib2/AST.hs:18)
    Ident (src/SMTLib2/AST.hs:21)
    Quant (src/SMTLib2/AST.hs:24)
    Literal (src/SMTLib2/AST.hs:33)
    Attr (src/SMTLib2/AST.hs:50)
    AttrVal (src/SMTLib2/AST.hs:53)
    Command (src/SMTLib2/AST.hs:82)
    Option (src/SMTLib2/AST.hs:56)
    InfoFlag (src/SMTLib2/AST.hs:71)
    app (src/SMTLib2/AST.hs:136)
    PP (src/SMTLib2/PP.hs:9)
   6% (  2 / 31) in 'SMTLib1.AST'
  Missing documentation for:
    Module header
    Name (src/SMTLib1/AST.hs:18)
    Ident (src/SMTLib1/AST.hs:21)
    Quant (src/SMTLib1/AST.hs:24)
    Conn (src/SMTLib1/AST.hs:27)
    Formula (src/SMTLib1/AST.hs:30)
    Sort (src/SMTLib1/AST.hs:41)
    Binder (src/SMTLib1/AST.hs:43)
    Term (src/SMTLib1/AST.hs:46)
    Literal (src/SMTLib1/AST.hs:53)
    Annot (src/SMTLib1/AST.hs:58)
    FunDecl (src/SMTLib1/AST.hs:61)
    PredDecl (src/SMTLib1/AST.hs:68)
    Status (src/SMTLib1/AST.hs:74)
    Command (src/SMTLib1/AST.hs:77)
    Script (src/SMTLib1/AST.hs:90)
     (src/SMTLib1/AST.hs:100)
     (src/SMTLib1/AST.hs:101)
     (src/SMTLib1/AST.hs:102)
     (src/SMTLib1/AST.hs:105)
     (src/SMTLib1/AST.hs:114)
    === (src/SMTLib1/AST.hs:121)
    =/= (src/SMTLib1/AST.hs:124)
    tInt (src/SMTLib1/AST.hs:135)
    funDef (src/SMTLib1/AST.hs:138)
    constDef (src/SMTLib1/AST.hs:145)
    logic (src/SMTLib1/AST.hs:149)
    assume (src/SMTLib1/AST.hs:152)
    goal (src/SMTLib1/AST.hs:155)
   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:18)
    Ident (src/SMTLib1/AST.hs:21)
    Quant (src/SMTLib1/AST.hs:24)
    Conn (src/SMTLib1/AST.hs:27)
    Formula (src/SMTLib1/AST.hs:30)
    Sort (src/SMTLib1/AST.hs:41)
    Binder (src/SMTLib1/AST.hs:43)
    Term (src/SMTLib1/AST.hs:46)
    Literal (src/SMTLib1/AST.hs:53)
    Annot (src/SMTLib1/AST.hs:58)
    FunDecl (src/SMTLib1/AST.hs:61)
    PredDecl (src/SMTLib1/AST.hs:68)
    Status (src/SMTLib1/AST.hs:74)
    Command (src/SMTLib1/AST.hs:77)
    Script (src/SMTLib1/AST.hs:90)
    === (src/SMTLib1/AST.hs:121)
    =/= (src/SMTLib1/AST.hs:124)
    tInt (src/SMTLib1/AST.hs:135)
    funDef (src/SMTLib1/AST.hs:138)
    constDef (src/SMTLib1/AST.hs:145)
    logic (src/SMTLib1/AST.hs:149)
    assume (src/SMTLib1/AST.hs:152)
    goal (src/SMTLib1/AST.hs:155)
    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.014431453251908681983.8
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/smtLib-1.0.8-Bt3Tk60TVnX767HaeKW2tG
Registering smtLib-1.0.8...
cabal: Leaving directory '/tmp/cabal-tmp-28182/smtLib-1.0.8'
Installed smtLib-1.0.8
cabal: Entering directory '/tmp/cabal-tmp-28182/stm-2.4.4.1'
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 )
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)
Warning: Control.Concurrent.STM.TArray: could not find link destinations for:
    getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Warning: Control.Monad.STM: could not find link destinations for:
    getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.4.4327305250435482362.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/stm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF
Registering stm-2.4.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/stm-2.4.4.1'
Installed stm-2.4.4.1
cabal: Entering directory '/tmp/cabal-tmp-28182/syb-0.6'
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 )

src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extM :: (Monad m, Typeable a, Typeable b) =>
                   (a -> m a) -> (b -> m b) -> a -> m a

src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a

src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall f. Data f => t f -> m (t f)) -> d -> m d

src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall e. Data e => m (t e)) -> m d

src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
                    -> d
                    -> m d

src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d
[ 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 )

src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
    • Redundant constraint: Data a
    • In the type signature for:
           general :: Data a => a
      In an equation for ‘empty’:
          empty
            = general `extB` char `extB` int `extB` integer `extB` float
              `extB` double
            where
                general :: Data a => a
                general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
                char = '\NUL'
                int = 0 :: Int
                ....
[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 )
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...

src/Data/Generics/Aliases.hs:181:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extM :: (Monad m, Typeable a, Typeable b) =>
                   (a -> m a) -> (b -> m b) -> a -> m a

src/Data/Generics/Aliases.hs:207:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           extR :: (Monad m, Typeable a, Typeable b) => m a -> m b -> m a

src/Data/Generics/Aliases.hs:338:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall f. Data f => t f -> m (t f)) -> d -> m d

src/Data/Generics/Aliases.hs:354:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext1R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall e. Data e => m (t e)) -> m d

src/Data/Generics/Aliases.hs:389:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2M :: (Monad m, Data d, Typeable t) =>
                    (forall e. Data e => e -> m e)
                    -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> m (t d1 d2))
                    -> d
                    -> m d

src/Data/Generics/Aliases.hs:405:1: warning: [-Wredundant-constraints]
    • Redundant constraint: Monad m
    • In the type signature for:
           ext2R :: (Monad m, Data d, Typeable t) =>
                    m d -> (forall d1 d2. (Data d1, Data d2) => m (t d1 d2)) -> m d

src/Data/Generics/Builders.hs:33:3: warning: [-Wredundant-constraints]
    • Redundant constraint: Data a
    • In the type signature for:
           general :: Data a => a
      In an equation for ‘empty’:
          empty
            = general `extB` char `extB` int `extB` integer `extB` float
              `extB` double
            where
                general :: Data a => a
                general = fromConstrB empty (indexConstr (dataTypeOf general) 1)
                char = '\NUL'
                int = 0 :: Int
                ....
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-01268126901742949164.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/syb-0.6-C65vWCsht6A8uLstpQIXyj
Registering syb-0.6...
cabal: Leaving directory '/tmp/cabal-tmp-28182/syb-0.6'
Installed syb-0.6
cabal: Entering directory '/tmp/cabal-tmp-28182/text-1.2.2.1'
Configuring text-1.2.2.1...
Building text-1.2.2.1...
Preprocessing library text-1.2.2.1...
[ 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 )

Data/Text.hs:587:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT compareN/length -> compareLength" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:592:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT ==N/length -> compareLength/==EQ" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:597:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT /=N/length -> compareLength//=EQ" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:602:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT <N/length -> compareLength/==LT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:607:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT <=N/length -> compareLength//=GT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:612:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT >N/length -> compareLength/==GT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’

Data/Text.hs:617:1: warning: [-Winline-rule-shadowing]
    Rule "TEXT >=N/length -> compareLength//=LT" may never fire
      because ‘length’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘length’
[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 )

Data/Text/Internal/Builder.hs:324:1: warning: [-Winline-rule-shadowing]
    Rule "flush/flush" may never fire
      because ‘flush’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘flush’
[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 )
Running Haddock for text-1.2.2.1...
Running hscolour for text-1.2.2.1...
Preprocessing library text-1.2.2.1...
Preprocessing library text-1.2.2.1...
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: 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.22138704485243253491.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/text-1.2.2.1-9Yh8rJoh8fO2JMLWffT3Qs
Registering text-1.2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/text-1.2.2.1'
Installed text-1.2.2.1
cabal: Entering directory '/tmp/cabal-tmp-28182/transformers-compat-0.5.1.4'
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Preprocessing library transformers-compat-0.5.1.4...
[1 of 2] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o )
[2 of 2] Compiling Control.Monad.Trans.Instances ( src/Control/Monad/Trans/Instances.hs, dist/build/Control/Monad/Trans/Instances.o )
Running Haddock for transformers-compat-0.5.1.4...
Running hscolour for transformers-compat-0.5.1.4...
Preprocessing library transformers-compat-0.5.1.4...
Preprocessing library transformers-compat-0.5.1.4...
Haddock coverage:
   0% (  0 /  8) in 'Paths_transformers_compat'
  Missing documentation for:
    Module header
    version (dist/build/autogen/Paths_transformers_compat.hs:28)
    getBinDir (dist/build/autogen/Paths_transformers_compat.hs:38)
    getLibDir (dist/build/autogen/Paths_transformers_compat.hs:38)
    getDataDir (dist/build/autogen/Paths_transformers_compat.hs:38)
    getLibexecDir (dist/build/autogen/Paths_transformers_compat.hs:38)
    getDataFileName (dist/build/autogen/Paths_transformers_compat.hs:45)
    getSysconfDir (dist/build/autogen/Paths_transformers_compat.hs:38)
 100% (  1 /  1) in 'Control.Monad.Trans.Instances'
Documentation created: dist/doc/html/transformers-compat/index.html,
dist/doc/html/transformers-compat/transformers-compat.txt
Creating package registration file:
/tmp/pkgConf-transformers-compat-0.5.111468103361246447757.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/transformers-compat-0.5.1.4-G5tKvPrwhggJRvSwXNMs1N
Registering transformers-compat-0.5.1.4...
cabal: Leaving directory '/tmp/cabal-tmp-28182/transformers-compat-0.5.1.4'
Installed transformers-compat-0.5.1.4
cabal: Entering directory '/tmp/cabal-tmp-28182/utf8-string-1.0.1.1'
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 )
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.11847344718513912055.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/utf8-string-1.0.1.1-2T8mBCuEDlXDo8zed8Onw4
Registering utf8-string-1.0.1.1...
cabal: Leaving directory '/tmp/cabal-tmp-28182/utf8-string-1.0.1.1'
Installed utf8-string-1.0.1.1
cabal: Entering directory '/tmp/cabal-tmp-28182/crackNum-1.5'
Configuring crackNum-1.5...
Building crackNum-1.5...
Preprocessing library crackNum-1.5...
[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 )
Preprocessing executable 'crackNum' for crackNum-1.5...
[1 of 5] Compiling Paths_crackNum   ( dist/build/autogen/Paths_crackNum.hs, dist/build/crackNum/crackNum-tmp/Paths_crackNum.o )
[2 of 5] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, dist/build/crackNum/crackNum-tmp/Data/Numbers/CrackNum/Data.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.5...
Running hscolour for crackNum-1.5...
Preprocessing library crackNum-1.5...
Preprocessing executable 'crackNum' for crackNum-1.5...
Preprocessing library crackNum-1.5...
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.5...
Creating package registration file: /tmp/pkgConf-crackNum-155119204120214107.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/crackNum-1.5-Fn4w3rfGqvZEQeB52qUWLx
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.5...
cabal: Leaving directory '/tmp/cabal-tmp-28182/crackNum-1.5'
Installed crackNum-1.5
cabal: Entering directory '/tmp/cabal-tmp-28182/old-time-1.1.0.3'
Configuring old-time-1.1.0.3...
configure: WARNING: unrecognized options: --with-compiler
checking for gcc... /usr/bin/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 /usr/bin/gcc accepts -g... yes
checking for /usr/bin/gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... /usr/bin/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
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 )
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)
Warning: System.Time: could not find link destinations for:
    unsafeIndex unsafeRangeSize
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.05548417462091729405.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/old-time-1.1.0.3-IcvdkJUsE9M8t3io8peAEp
Registering old-time-1.1.0.3...
cabal: Leaving directory '/tmp/cabal-tmp-28182/old-time-1.1.0.3'
Installed old-time-1.1.0.3
cabal: Entering directory '/tmp/cabal-tmp-28182/tf-random-0.5'
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: [-Wdeprecations]
    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 )
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: [-Wdeprecations]
    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-01742853661747040077.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD
Registering tf-random-0.5...
cabal: Leaving directory '/tmp/cabal-tmp-28182/tf-random-0.5'
Installed tf-random-0.5
cabal: Entering directory '/tmp/cabal-tmp-28182/async-2.1.0'
Configuring async-2.1.0...
Building async-2.1.0...
Preprocessing library async-2.1.0...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
Running Haddock for async-2.1.0...
Running hscolour for async-2.1.0...
Preprocessing library async-2.1.0...
Preprocessing library async-2.1.0...
Haddock coverage:
 100% ( 54 / 54) 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.120067771632142010736.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf
Registering async-2.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/async-2.1.0'
Installed async-2.1.0
cabal: Entering directory '/tmp/cabal-tmp-28182/transformers-base-0.4.4'
Configuring transformers-base-0.4.4...
Building transformers-base-0.4.4...
Preprocessing library transformers-base-0.4.4...
[1 of 1] Compiling Control.Monad.Base ( src/Control/Monad/Base.hs, dist/build/Control/Monad/Base.o )

src/Control/Monad/Base.hs:22:1: warning: [-Wunused-imports]
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
Running Haddock for transformers-base-0.4.4...
Running hscolour for transformers-base-0.4.4...
Preprocessing library transformers-base-0.4.4...
Preprocessing library transformers-base-0.4.4...

src/Control/Monad/Base.hs:22:1: warning: [-Wunused-imports]
    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:
  33% (  1 /  3) in 'Control.Monad.Base'
  Missing documentation for:
    Module header
    MonadBase (src/Control/Monad/Base.hs:50)
Documentation created: dist/doc/html/transformers-base/index.html,
dist/doc/html/transformers-base/transformers-base.txt
Creating package registration file:
/tmp/pkgConf-transformers-base-0.4443286196910492930.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/transformers-base-0.4.4-FMTbgPqmqMsCiOz3biyAGx
Registering transformers-base-0.4.4...
cabal: Leaving directory '/tmp/cabal-tmp-28182/transformers-base-0.4.4'
Installed transformers-base-0.4.4
cabal: Entering directory '/tmp/cabal-tmp-28182/QuickCheck-2.8.2'
Configuring QuickCheck-2.8.2...
Building QuickCheck-2.8.2...
Preprocessing library QuickCheck-2.8.2...
[ 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 )
Running Haddock for QuickCheck-2.8.2...
Running hscolour for QuickCheck-2.8.2...
Preprocessing library QuickCheck-2.8.2...
Preprocessing library QuickCheck-2.8.2...
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:47)
    ranges (Test/QuickCheck/Text.hs:52)
    number (Test/QuickCheck/Text.hs:60)
    short (Test/QuickCheck/Text.hs:63)
    showErr (Test/QuickCheck/Text.hs:71)
    oneLine (Test/QuickCheck/Text.hs:74)
    isOneLine (Test/QuickCheck/Text.hs:77)
    bold (Test/QuickCheck/Text.hs:80)
    newTerminal (Test/QuickCheck/Text.hs:91)
    withStdioTerminal (Test/QuickCheck/Text.hs:105)
    withNullTerminal (Test/QuickCheck/Text.hs:111)
    terminalOutput (Test/QuickCheck/Text.hs:115)
    handle (Test/QuickCheck/Text.hs:118)
    Terminal (Test/QuickCheck/Text.hs:88)
    putTemp (Test/QuickCheck/Text.hs:129)
    putPart (Test/QuickCheck/Text.hs:129)
    putLine (Test/QuickCheck/Text.hs:129)
 100% (  2 /  2) in 'Test.QuickCheck.State'
  89% ( 25 / 28) in 'Test.QuickCheck.Gen'
  Missing documentation for:
     (Test/QuickCheck/Gen.hs:48)
     (Test/QuickCheck/Gen.hs:52)
     (Test/QuickCheck/Gen.hs:56)
  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:188)
    doneTesting (Test/QuickCheck/Test.hs:194)
    giveUp (Test/QuickCheck/Test.hs:224)
    runATest (Test/QuickCheck/Test.hs:240)
    summary (Test/QuickCheck/Test.hs:306)
    success (Test/QuickCheck/Test.hs:317)
    labelPercentage (Test/QuickCheck/Test.hs:347)
    insufficientCoverage (Test/QuickCheck/Test.hs:355)
    foundFailure (Test/QuickCheck/Test.hs:362)
    localMin (Test/QuickCheck/Test.hs:366)
    localMin' (Test/QuickCheck/Test.hs:396)
    localMinFound (Test/QuickCheck/Test.hs:408)
    callbackPostTest (Test/QuickCheck/Test.hs:433)
    callbackPostFinalFailure (Test/QuickCheck/Test.hs:438)
 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:
    GCoArbitrary RecursivelyShrink GSubterms 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.81509887186119764672.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/QuickCheck-2.8.2-KPm3V9n9OMa9urRrdeE4gm
Registering QuickCheck-2.8.2...
cabal: Leaving directory '/tmp/cabal-tmp-28182/QuickCheck-2.8.2'
Installed QuickCheck-2.8.2
cabal: Entering directory '/tmp/cabal-tmp-28182/monad-control-1.0.1.0'
Configuring monad-control-1.0.1.0...
Building monad-control-1.0.1.0...
Preprocessing library monad-control-1.0.1.0...
[1 of 1] Compiling Control.Monad.Trans.Control ( Control/Monad/Trans/Control.hs, dist/build/Control/Monad/Trans/Control.o )

Control/Monad/Trans/Control.hs:208:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Error e
    • In the instance declaration for ‘MonadTransControl (ErrorT e)’
Running Haddock for monad-control-1.0.1.0...
Running hscolour for monad-control-1.0.1.0...
Preprocessing library monad-control-1.0.1.0...
Preprocessing library monad-control-1.0.1.0...

Control/Monad/Trans/Control.hs:208:10: warning: [-Wredundant-constraints]
    • Redundant constraint: Error e
    • In the instance declaration for ‘MonadTransControl (ErrorT e)’
Haddock coverage:
  93% ( 27 / 29) in 'Control.Monad.Trans.Control'
  Missing documentation for:
    MonadTransControl (Control/Monad/Trans/Control.hs:110)
    MonadBaseControl (Control/Monad/Trans/Control.hs:292)
Documentation created: dist/doc/html/monad-control/index.html,
dist/doc/html/monad-control/monad-control.txt
Creating package registration file:
/tmp/pkgConf-monad-control-1.0.1925988871945359154.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/monad-control-1.0.1.0-1xoC3YihUKYHLar1SsWtYe
Registering monad-control-1.0.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/monad-control-1.0.1.0'
Installed monad-control-1.0.1.0
cabal: Entering directory '/tmp/cabal-tmp-28182/sbv-5.12'
Configuring sbv-5.12...
Building sbv-5.12...
Preprocessing library sbv-5.12...
[ 1 of 83] Compiling GHC.SrcLoc.Compat ( GHC/SrcLoc/Compat.hs, dist/build/GHC/SrcLoc/Compat.o )
[ 2 of 83] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 3 of 83] Compiling GHC.Stack.Compat ( GHC/Stack/Compat.hs, dist/build/GHC/Stack/Compat.o )
[ 4 of 83] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 5 of 83] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist/build/Data/SBV/SMT/SMTLibNames.o )
[ 6 of 83] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist/build/Data/SBV/Utils/Numeric.o )
[ 7 of 83] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 8 of 83] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 9 of 83] Compiling Data.SBV.BitVectors.Kind ( Data/SBV/BitVectors/Kind.hs, dist/build/Data/SBV/BitVectors/Kind.o )
[10 of 83] Compiling Data.SBV.BitVectors.Concrete ( Data/SBV/BitVectors/Concrete.hs, dist/build/Data/SBV/BitVectors/Concrete.o )
[11 of 83] Compiling Data.SBV.BitVectors.Symbolic ( Data/SBV/BitVectors/Symbolic.hs, dist/build/Data/SBV/BitVectors/Symbolic.o )
[12 of 83] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )
[13 of 83] Compiling Data.SBV.BitVectors.PrettyNum ( Data/SBV/BitVectors/PrettyNum.hs, dist/build/Data/SBV/BitVectors/PrettyNum.o )
[14 of 83] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist/build/Data/SBV/Tools/GenTest.o )
[15 of 83] Compiling Data.SBV.Tools.ExpectedValue ( Data/SBV/Tools/ExpectedValue.hs, dist/build/Data/SBV/Tools/ExpectedValue.o )
[16 of 83] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist/build/Data/SBV/SMT/SMTLib2.o )
[17 of 83] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist/build/Data/SBV/Compilers/CodeGen.o )
[18 of 83] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist/build/Data/SBV/Compilers/C.o )
[19 of 83] Compiling Data.SBV.BitVectors.Operations ( Data/SBV/BitVectors/Operations.hs, dist/build/Data/SBV/BitVectors/Operations.o )
[20 of 83] Compiling Data.SBV.Provers.SExpr ( Data/SBV/Provers/SExpr.hs, dist/build/Data/SBV/Provers/SExpr.o )
[21 of 83] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist/build/Data/SBV/SMT/SMTLib.o )
[22 of 83] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist/build/Data/SBV/SMT/SMT.o )
[23 of 83] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist/build/Data/SBV/Provers/Boolector.o )
[24 of 83] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist/build/Data/SBV/Provers/CVC4.o )
[25 of 83] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist/build/Data/SBV/Provers/Yices.o )
[26 of 83] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist/build/Data/SBV/Provers/MathSAT.o )
[27 of 83] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist/build/Data/SBV/Provers/ABC.o )
[28 of 83] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist/build/Data/SBV/Provers/Z3.o )
[29 of 83] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist/build/Data/SBV/Provers/Prover.o )
[30 of 83] Compiling Data.SBV.BitVectors.Model ( Data/SBV/BitVectors/Model.hs, dist/build/Data/SBV/BitVectors/Model.o )
[31 of 83] Compiling Data.SBV.BitVectors.Floating ( Data/SBV/BitVectors/Floating.hs, dist/build/Data/SBV/BitVectors/Floating.o )
[32 of 83] Compiling Data.SBV.BitVectors.Splittable ( Data/SBV/BitVectors/Splittable.hs, dist/build/Data/SBV/BitVectors/Splittable.o )
[33 of 83] Compiling Data.SBV.BitVectors.STree ( Data/SBV/BitVectors/STree.hs, dist/build/Data/SBV/BitVectors/STree.o )
[34 of 83] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist/build/Data/SBV/Tools/Polynomial.o )
[35 of 83] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist/build/Data/SBV/Internals.o )
[36 of 83] Compiling Data.SBV.Tools.Optimize ( Data/SBV/Tools/Optimize.hs, dist/build/Data/SBV/Tools/Optimize.o )
[37 of 83] Compiling Data.SBV         ( Data/SBV.hs, dist/build/Data/SBV.o )
[38 of 83] Compiling Data.SBV.Bridge.Boolector ( Data/SBV/Bridge/Boolector.hs, dist/build/Data/SBV/Bridge/Boolector.o )
[39 of 83] Compiling Data.SBV.Bridge.CVC4 ( Data/SBV/Bridge/CVC4.hs, dist/build/Data/SBV/Bridge/CVC4.o )
[40 of 83] Compiling Data.SBV.Bridge.MathSAT ( Data/SBV/Bridge/MathSAT.hs, dist/build/Data/SBV/Bridge/MathSAT.o )
[41 of 83] Compiling Data.SBV.Bridge.Yices ( Data/SBV/Bridge/Yices.hs, dist/build/Data/SBV/Bridge/Yices.o )
[42 of 83] Compiling Data.SBV.Bridge.Z3 ( Data/SBV/Bridge/Z3.hs, dist/build/Data/SBV/Bridge/Z3.o )
[43 of 83] Compiling Data.SBV.Bridge.ABC ( Data/SBV/Bridge/ABC.hs, dist/build/Data/SBV/Bridge/ABC.o )
[44 of 83] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist/build/Data/SBV/Dynamic.o )
[45 of 83] Compiling Data.SBV.Examples.BitPrecise.BitTricks ( Data/SBV/Examples/BitPrecise/BitTricks.hs, dist/build/Data/SBV/Examples/BitPrecise/BitTricks.o )
[46 of 83] Compiling Data.SBV.Examples.BitPrecise.Legato ( Data/SBV/Examples/BitPrecise/Legato.hs, dist/build/Data/SBV/Examples/BitPrecise/Legato.o )
[47 of 83] Compiling Data.SBV.Examples.BitPrecise.MergeSort ( Data/SBV/Examples/BitPrecise/MergeSort.hs, dist/build/Data/SBV/Examples/BitPrecise/MergeSort.o )
[48 of 83] Compiling Data.SBV.Examples.BitPrecise.MultMask ( Data/SBV/Examples/BitPrecise/MultMask.hs, dist/build/Data/SBV/Examples/BitPrecise/MultMask.o )
[49 of 83] Compiling Data.SBV.Examples.BitPrecise.PrefixSum ( Data/SBV/Examples/BitPrecise/PrefixSum.hs, dist/build/Data/SBV/Examples/BitPrecise/PrefixSum.o )
[50 of 83] Compiling Data.SBV.Examples.CodeGeneration.AddSub ( Data/SBV/Examples/CodeGeneration/AddSub.hs, dist/build/Data/SBV/Examples/CodeGeneration/AddSub.o )
[51 of 83] 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 83] Compiling Data.SBV.Examples.CodeGeneration.Fibonacci ( Data/SBV/Examples/CodeGeneration/Fibonacci.hs, dist/build/Data/SBV/Examples/CodeGeneration/Fibonacci.o )
[53 of 83] Compiling Data.SBV.Examples.CodeGeneration.GCD ( Data/SBV/Examples/CodeGeneration/GCD.hs, dist/build/Data/SBV/Examples/CodeGeneration/GCD.o )
[54 of 83] Compiling Data.SBV.Examples.CodeGeneration.PopulationCount ( Data/SBV/Examples/CodeGeneration/PopulationCount.hs, dist/build/Data/SBV/Examples/CodeGeneration/PopulationCount.o )
[55 of 83] Compiling Data.SBV.Examples.CodeGeneration.Uninterpreted ( Data/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist/build/Data/SBV/Examples/CodeGeneration/Uninterpreted.o )
[56 of 83] Compiling Data.SBV.Examples.Crypto.AES ( Data/SBV/Examples/Crypto/AES.hs, dist/build/Data/SBV/Examples/Crypto/AES.o )
[57 of 83] Compiling Data.SBV.Examples.Crypto.RC4 ( Data/SBV/Examples/Crypto/RC4.hs, dist/build/Data/SBV/Examples/Crypto/RC4.o )
[58 of 83] Compiling Data.SBV.Examples.Existentials.CRCPolynomial ( Data/SBV/Examples/Existentials/CRCPolynomial.hs, dist/build/Data/SBV/Examples/Existentials/CRCPolynomial.o )
[59 of 83] Compiling Data.SBV.Examples.Existentials.Diophantine ( Data/SBV/Examples/Existentials/Diophantine.hs, dist/build/Data/SBV/Examples/Existentials/Diophantine.o )
[60 of 83] Compiling Data.SBV.Examples.Misc.Enumerate ( Data/SBV/Examples/Misc/Enumerate.hs, dist/build/Data/SBV/Examples/Misc/Enumerate.o )
[61 of 83] Compiling Data.SBV.Examples.Misc.Floating ( Data/SBV/Examples/Misc/Floating.hs, dist/build/Data/SBV/Examples/Misc/Floating.o )
[62 of 83] Compiling Data.SBV.Examples.Misc.ModelExtract ( Data/SBV/Examples/Misc/ModelExtract.hs, dist/build/Data/SBV/Examples/Misc/ModelExtract.o )
[63 of 83] Compiling Data.SBV.Examples.Misc.Auxiliary ( Data/SBV/Examples/Misc/Auxiliary.hs, dist/build/Data/SBV/Examples/Misc/Auxiliary.o )
[64 of 83] Compiling Data.SBV.Examples.Misc.NoDiv0 ( Data/SBV/Examples/Misc/NoDiv0.hs, dist/build/Data/SBV/Examples/Misc/NoDiv0.o )
[65 of 83] Compiling Data.SBV.Examples.Misc.Word4 ( Data/SBV/Examples/Misc/Word4.hs, dist/build/Data/SBV/Examples/Misc/Word4.o )
[66 of 83] Compiling Data.SBV.Examples.Polynomials.Polynomials ( Data/SBV/Examples/Polynomials/Polynomials.hs, dist/build/Data/SBV/Examples/Polynomials/Polynomials.o )
[67 of 83] Compiling Data.SBV.Examples.Puzzles.Birthday ( Data/SBV/Examples/Puzzles/Birthday.hs, dist/build/Data/SBV/Examples/Puzzles/Birthday.o )
[68 of 83] Compiling Data.SBV.Examples.Puzzles.Coins ( Data/SBV/Examples/Puzzles/Coins.hs, dist/build/Data/SBV/Examples/Puzzles/Coins.o )
[69 of 83] Compiling Data.SBV.Examples.Puzzles.Counts ( Data/SBV/Examples/Puzzles/Counts.hs, dist/build/Data/SBV/Examples/Puzzles/Counts.o )
[70 of 83] Compiling Data.SBV.Examples.Puzzles.DogCatMouse ( Data/SBV/Examples/Puzzles/DogCatMouse.hs, dist/build/Data/SBV/Examples/Puzzles/DogCatMouse.o )
[71 of 83] Compiling Data.SBV.Examples.Puzzles.Euler185 ( Data/SBV/Examples/Puzzles/Euler185.hs, dist/build/Data/SBV/Examples/Puzzles/Euler185.o )
[72 of 83] Compiling Data.SBV.Examples.Puzzles.Fish ( Data/SBV/Examples/Puzzles/Fish.hs, dist/build/Data/SBV/Examples/Puzzles/Fish.o )
[73 of 83] Compiling Data.SBV.Examples.Puzzles.MagicSquare ( Data/SBV/Examples/Puzzles/MagicSquare.hs, dist/build/Data/SBV/Examples/Puzzles/MagicSquare.o )
[74 of 83] Compiling Data.SBV.Examples.Puzzles.NQueens ( Data/SBV/Examples/Puzzles/NQueens.hs, dist/build/Data/SBV/Examples/Puzzles/NQueens.o )
[75 of 83] Compiling Data.SBV.Examples.Puzzles.SendMoreMoney ( Data/SBV/Examples/Puzzles/SendMoreMoney.hs, dist/build/Data/SBV/Examples/Puzzles/SendMoreMoney.o )
[76 of 83] Compiling Data.SBV.Examples.Puzzles.Sudoku ( Data/SBV/Examples/Puzzles/Sudoku.hs, dist/build/Data/SBV/Examples/Puzzles/Sudoku.o )
[77 of 83] Compiling Data.SBV.Examples.Puzzles.U2Bridge ( Data/SBV/Examples/Puzzles/U2Bridge.hs, dist/build/Data/SBV/Examples/Puzzles/U2Bridge.o )
[78 of 83] Compiling Data.SBV.Examples.Uninterpreted.AUF ( Data/SBV/Examples/Uninterpreted/AUF.hs, dist/build/Data/SBV/Examples/Uninterpreted/AUF.o )
[79 of 83] Compiling Data.SBV.Examples.Uninterpreted.Deduce ( Data/SBV/Examples/Uninterpreted/Deduce.hs, dist/build/Data/SBV/Examples/Uninterpreted/Deduce.o )
[80 of 83] Compiling Data.SBV.Examples.Uninterpreted.Function ( Data/SBV/Examples/Uninterpreted/Function.hs, dist/build/Data/SBV/Examples/Uninterpreted/Function.o )
[81 of 83] Compiling Data.SBV.Examples.Uninterpreted.Shannon ( Data/SBV/Examples/Uninterpreted/Shannon.hs, dist/build/Data/SBV/Examples/Uninterpreted/Shannon.o )
[82 of 83] Compiling Data.SBV.Examples.Uninterpreted.Sort ( Data/SBV/Examples/Uninterpreted/Sort.hs, dist/build/Data/SBV/Examples/Uninterpreted/Sort.o )
[83 of 83] Compiling Data.SBV.Examples.Uninterpreted.UISortAllSat ( Data/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist/build/Data/SBV/Examples/Uninterpreted/UISortAllSat.o )
Preprocessing executable 'SBVUnitTests' for sbv-5.12...
[ 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.12...
Running hscolour for sbv-5.12...
Preprocessing library sbv-5.12...
Preprocessing executable 'SBVUnitTests' for sbv-5.12...
Preprocessing library sbv-5.12...
Haddock coverage:
Warning: GHC.SrcLoc.Compat: Could not find documentation for exported module: X
 100% (  1 /  1) in 'GHC.SrcLoc.Compat'
 100% (  2 /  2) in 'Data.SBV.Utils.TDiff'
 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% ( 64 / 64) 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% (176 /176) in 'Data.SBV.Dynamic'
 100% (  7 /  7) in 'Data.SBV.Examples.BitPrecise.BitTricks'
 100% ( 46 / 46) 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.Auxiliary'
 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% ( 37 / 37) 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 GMergeable Outputtable SMTEngine SolverCapabilities
Warning: Data.SBV.Dynamic: could not find link destinations for:
    SMTEngine SolverCapabilities
Warning: Data.SBV.Examples.BitPrecise.Legato: could not find link destinations for:
    unsafeIndex unsafeRangeSize
Documentation created: dist/doc/html/sbv/index.html, dist/doc/html/sbv/sbv.txt
Preprocessing executable 'SBVUnitTests' for sbv-5.12...
Creating package registration file: /tmp/pkgConf-sbv-58696355871075156181.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/sbv-5.12-Alqt1yO5EzfHCGIVBcRt25
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.12...
cabal: Leaving directory '/tmp/cabal-tmp-28182/sbv-5.12'
Installed sbv-5.12
Downloading cryptol-2.4.0...
cabal: Entering directory '/tmp/cabal-tmp-28182/cryptol-2.4.0'
Configuring cryptol-2.4.0...
Building cryptol-2.4.0...
Preprocessing library cryptol-2.4.0...
[ 1 of 78] Compiling GitRev           ( src/GitRev.hs, dist/build/GitRev.o )
[ 2 of 78] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist/build/Cryptol/Utils/Misc.o )
[ 3 of 78] Compiling Paths_cryptol    ( dist/build/autogen/Paths_cryptol.hs, dist/build/Paths_cryptol.o )
[ 4 of 78] Compiling Cryptol.Version  ( src/Cryptol/Version.hs, dist/build/Cryptol/Version.o )
[ 5 of 78] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist/build/Cryptol/Utils/Panic.o )
[ 6 of 78] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist/build/Cryptol/Parser/Unlit.o )
[ 7 of 78] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist/build/Cryptol/REPL/Trie.o )
[ 8 of 78] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist/build/Cryptol/Eval/Arch.o )
[ 9 of 78] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist/build/Cryptol/TypeCheck/Solver/InfNat.o )
[10 of 78] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist/build/Cryptol/Utils/Ident.o )
[11 of 78] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist/build/Cryptol/Utils/PP.o )
[12 of 78] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist/build/Cryptol/Parser/Position.o )
[13 of 78] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist/build/Cryptol/Parser/LexerUtils.o )
[14 of 78] Compiling Cryptol.Parser.Lexer ( dist/build/Cryptol/Parser/Lexer.hs, dist/build/Cryptol/Parser/Lexer.o )
[15 of 78] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist/build/Cryptol/Utils/Debug.o )
[16 of 78] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist/build/Cryptol/TypeCheck/PP.o )
[17 of 78] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist/build/Cryptol/Parser/Name.o )
[18 of 78] Compiling Cryptol.Prims.Syntax ( src/Cryptol/Prims/Syntax.hs, dist/build/Cryptol/Prims/Syntax.o )
[19 of 78] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist/build/Cryptol/Parser/AST.o )
[20 of 78] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist/build/Cryptol/ModuleSystem/Name.o )
[21 of 78] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist/build/Cryptol/TypeCheck/AST.o )
[22 of 78] Compiling Cryptol.Eval.Error ( src/Cryptol/Eval/Error.hs, dist/build/Cryptol/Eval/Error.o )
[23 of 78] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist/build/Cryptol/Eval/Value.o )
[24 of 78] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist/build/Cryptol/Symbolic/Value.o )
[25 of 78] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist/build/Cryptol/TypeCheck/TypeMap.o )
[26 of 78] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist/build/Cryptol/TypeCheck/Subst.o )
[27 of 78] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist/build/Cryptol/TypeCheck/Sanity.o )
[28 of 78] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist/build/Cryptol/TypeCheck/Unify.o )
[29 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.AST ( src/Cryptol/TypeCheck/Solver/Numeric/AST.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/AST.o )
[30 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr ( src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.o )
[31 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.Simplify1 ( src/Cryptol/TypeCheck/Solver/Numeric/Simplify1.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/Simplify1.o )
[32 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.Defined ( src/Cryptol/TypeCheck/Solver/Numeric/Defined.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/Defined.o )
[33 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.Simplify ( src/Cryptol/TypeCheck/Solver/Numeric/Simplify.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/Simplify.o )
[34 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.NonLin ( src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/NonLin.o )
[35 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.ImportExport ( src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/ImportExport.o )
[36 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/Interval.o )
[37 of 78] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist/build/Cryptol/TypeCheck/TypeOf.o )
[38 of 78] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist/build/Cryptol/TypeCheck/Solver/Utils.o )
[39 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.SMT ( src/Cryptol/TypeCheck/Solver/Numeric/SMT.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/SMT.o )
[40 of 78] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist/build/Cryptol/Testing/Concrete.o )
[41 of 78] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist/build/Cryptol/ModuleSystem/Interface.o )
[42 of 78] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist/build/Cryptol/Transform/MonoValues.o )
[43 of 78] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist/build/Cryptol/Eval/Env.o )
[44 of 78] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist/build/Cryptol/Eval/Type.o )
[45 of 78] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist/build/Cryptol/Parser/Names.o )
[46 of 78] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist/build/Cryptol/Parser/NoPat.o )
[47 of 78] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist/build/Cryptol/ModuleSystem/NamingEnv.o )
[48 of 78] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist/build/Cryptol/TypeCheck/InferTypes.o )
[49 of 78] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist/build/Cryptol/TypeCheck/Solver/Class.o )
[50 of 78] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist/build/Cryptol/TypeCheck/Solver/Numeric/Fin.o )
[51 of 78] Compiling Cryptol.TypeCheck.Solver.CrySAT ( src/Cryptol/TypeCheck/Solver/CrySAT.hs, dist/build/Cryptol/TypeCheck/Solver/CrySAT.o )
[52 of 78] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist/build/Cryptol/TypeCheck/Monad.o )
[53 of 78] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist/build/Cryptol/TypeCheck/Depends.o )
[54 of 78] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist/build/Cryptol/TypeCheck/Instantiate.o )
[55 of 78] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist/build/Cryptol/TypeCheck/Solver/Selector.o )
[56 of 78] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist/build/Cryptol/Parser/Utils.o )
[57 of 78] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist/build/Cryptol/Parser/ParserUtils.o )
[58 of 78] Compiling Cryptol.Parser   ( dist/build/Cryptol/Parser.hs, dist/build/Cryptol/Parser.o )
[59 of 78] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist/build/Cryptol/Parser/NoInclude.o )
[60 of 78] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist/build/Cryptol/ModuleSystem/Renamer.o )
[61 of 78] Compiling Cryptol.TypeCheck.Solver.Simplify ( src/Cryptol/TypeCheck/Solver/Simplify.hs, dist/build/Cryptol/TypeCheck/Solver/Simplify.o )
[62 of 78] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist/build/Cryptol/TypeCheck/Solve.o )
[63 of 78] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist/build/Cryptol/Testing/Random.o )
[64 of 78] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist/build/Cryptol/Prims/Eval.o )
[65 of 78] Compiling Cryptol.Eval     ( src/Cryptol/Eval.hs, dist/build/Cryptol/Eval.o )
[66 of 78] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist/build/Cryptol/Symbolic/Prims.o )
[67 of 78] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist/build/Cryptol/TypeCheck/Kind.o )
[68 of 78] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist/build/Cryptol/TypeCheck/Infer.o )
[69 of 78] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist/build/Cryptol/TypeCheck.o )
[70 of 78] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist/build/Cryptol/ModuleSystem/Env.o )
[71 of 78] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist/build/Cryptol/ModuleSystem/Monad.o )
[72 of 78] Compiling Cryptol.Prelude  ( src/Cryptol/Prelude.hs, dist/build/Cryptol/Prelude.o )
[73 of 78] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist/build/Cryptol/ModuleSystem/Base.o )
[74 of 78] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist/build/Cryptol/ModuleSystem.o )
[75 of 78] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist/build/Cryptol/Transform/Specialize.o )
[76 of 78] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist/build/Cryptol/Symbolic.o )
[77 of 78] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist/build/Cryptol/REPL/Monad.o )
[78 of 78] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist/build/Cryptol/REPL/Command.o )
Preprocessing executable 'cryptol' for cryptol-2.4.0...
[1 of 5] Compiling REPL.Haskeline   ( cryptol/REPL/Haskeline.hs, dist/build/cryptol/cryptol-tmp/REPL/Haskeline.o )
[2 of 5] Compiling OptParser        ( cryptol/OptParser.hs, dist/build/cryptol/cryptol-tmp/OptParser.o )
[3 of 5] Compiling Paths_cryptol    ( dist/build/autogen/Paths_cryptol.hs, dist/build/cryptol/cryptol-tmp/Paths_cryptol.o )
[4 of 5] Compiling REPL.Logo        ( cryptol/REPL/Logo.hs, dist/build/cryptol/cryptol-tmp/REPL/Logo.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.4.0...
Running hscolour for cryptol-2.4.0...
Preprocessing library cryptol-2.4.0...
Preprocessing executable 'cryptol' for cryptol-2.4.0...
Preprocessing library cryptol-2.4.0...
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)
 100% (  3 /  3) in 'Cryptol.Utils.Misc'
   0% (  0 /  8) in 'Paths_cryptol'
  Missing documentation for:
    Module header
    version (dist/build/autogen/Paths_cryptol.hs:28)
    getBinDir (dist/build/autogen/Paths_cryptol.hs:38)
    getLibDir (dist/build/autogen/Paths_cryptol.hs:38)
    getDataDir (dist/build/autogen/Paths_cryptol.hs:38)
    getLibexecDir (dist/build/autogen/Paths_cryptol.hs:38)
    getDataFileName (dist/build/autogen/Paths_cryptol.hs:45)
    getSysconfDir (dist/build/autogen/Paths_cryptol.hs:38)
  17% (  1 /  6) in 'Cryptol.Version'
  Missing documentation for:
    commitHash (src/Cryptol/Version.hs:22)
    commitShortHash (src/Cryptol/Version.hs:25)
    commitBranch (src/Cryptol/Version.hs:28)
    commitDirty (src/Cryptol/Version.hs:31)
    version (dist/build/autogen/Paths_cryptol.hs:28)
  50% (  1 /  2) in 'Cryptol.Utils.Panic'
  Missing documentation for:
    panic (src/Cryptol/Utils/Panic.hs:19)
  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)
  86% (  6 /  7) in 'Cryptol.REPL.Trie'
  Missing documentation for:
    emptyTrie (src/Cryptol/REPL/Trie.hs:20)
 100% (  2 /  2) in 'Cryptol.Eval.Arch'
  64% ( 14 / 22) in 'Cryptol.TypeCheck.Solver.InfNat'
  Missing documentation for:
    fromNat (src/Cryptol/TypeCheck/Solver/InfNat.hs:28)
    nEq (src/Cryptol/TypeCheck/Solver/InfNat.hs:36)
    nGt (src/Cryptol/TypeCheck/Solver/InfNat.hs:40)
    nFin (src/Cryptol/TypeCheck/Solver/InfNat.hs:44)
    nAdd (src/Cryptol/TypeCheck/Solver/InfNat.hs:54)
    nMin (src/Cryptol/TypeCheck/Solver/InfNat.hs:92)
    nMax (src/Cryptol/TypeCheck/Solver/InfNat.hs:97)
    nMod (src/Cryptol/TypeCheck/Solver/InfNat.hs:132)
  15% (  3 / 20) in 'Cryptol.Utils.Ident'
  Missing documentation for:
    unpackModName (src/Cryptol/Utils/Ident.hs:24)
    packModName (src/Cryptol/Utils/Ident.hs:32)
    modSep (src/Cryptol/Utils/Ident.hs:38)
     (src/Cryptol/Utils/Ident.hs:47)
     (src/Cryptol/Utils/Ident.hs:51)
     (src/Cryptol/Utils/Ident.hs:54)
     (src/Cryptol/Utils/Ident.hs:57)
    packIdent (src/Cryptol/Utils/Ident.hs:59)
    packInfix (src/Cryptol/Utils/Ident.hs:62)
    unpackIdent (src/Cryptol/Utils/Ident.hs:65)
    mkIdent (src/Cryptol/Utils/Ident.hs:68)
    mkInfix (src/Cryptol/Utils/Ident.hs:71)
    isInfixIdent (src/Cryptol/Utils/Ident.hs:74)
    nullIdent (src/Cryptol/Utils/Ident.hs:77)
    identText (src/Cryptol/Utils/Ident.hs:80)
    preludeName (src/Cryptol/Utils/Ident.hs:86)
    interactiveName (src/Cryptol/Utils/Ident.hs:89)
  21% ( 12 / 58) in 'Cryptol.Utils.PP'
  Missing documentation for:
     (src/Cryptol/Utils/PP.hs:37)
     (src/Cryptol/Utils/PP.hs:40)
    NameFormat (src/Cryptol/Utils/PP.hs:49)
    alwaysQualify (src/Cryptol/Utils/PP.hs:60)
    neverQualify (src/Cryptol/Utils/PP.hs:63)
    fmtModName (src/Cryptol/Utils/PP.hs:66)
    Doc (src/Cryptol/Utils/PP.hs:93)
     (src/Cryptol/Utils/PP.hs:95)
    runDoc (src/Cryptol/Utils/PP.hs:99)
     (src/Cryptol/Utils/PP.hs:102)
     (src/Cryptol/Utils/PP.hs:105)
    render (src/Cryptol/Utils/PP.hs:108)
    PP (src/Cryptol/Utils/PP.hs:111)
    PPName (src/Cryptol/Utils/PP.hs:114)
    pp (src/Cryptol/Utils/PP.hs:124)
    pretty (src/Cryptol/Utils/PP.hs:127)
    optParens (src/Cryptol/Utils/PP.hs:130)
    commaSep (src/Cryptol/Utils/PP.hs:148)
    liftPJ (src/Cryptol/Utils/PP.hs:192)
    liftPJ1 (src/Cryptol/Utils/PP.hs:195)
    liftPJ2 (src/Cryptol/Utils/PP.hs:198)
    liftSep (src/Cryptol/Utils/PP.hs:201)
    <> (src/Cryptol/Utils/PP.hs:206)
    <+> (src/Cryptol/Utils/PP.hs:209)
    $$ (src/Cryptol/Utils/PP.hs:214)
    sep (src/Cryptol/Utils/PP.hs:217)
    fsep (src/Cryptol/Utils/PP.hs:220)
    hsep (src/Cryptol/Utils/PP.hs:223)
    hcat (src/Cryptol/Utils/PP.hs:226)
    vcat (src/Cryptol/Utils/PP.hs:229)
    hang (src/Cryptol/Utils/PP.hs:232)
    nest (src/Cryptol/Utils/PP.hs:235)
    parens (src/Cryptol/Utils/PP.hs:238)
    braces (src/Cryptol/Utils/PP.hs:241)
    brackets (src/Cryptol/Utils/PP.hs:244)
    quotes (src/Cryptol/Utils/PP.hs:247)
    punctuate (src/Cryptol/Utils/PP.hs:250)
    text (src/Cryptol/Utils/PP.hs:257)
    char (src/Cryptol/Utils/PP.hs:260)
    integer (src/Cryptol/Utils/PP.hs:263)
    int (src/Cryptol/Utils/PP.hs:266)
    comma (src/Cryptol/Utils/PP.hs:269)
    empty (src/Cryptol/Utils/PP.hs:272)
    colon (src/Cryptol/Utils/PP.hs:275)
     (src/Cryptol/Utils/PP.hs:278)
     (src/Cryptol/Utils/PP.hs:281)
   9% (  2 / 23) in 'Cryptol.Parser.Position'
  Missing documentation for:
    Located (src/Cryptol/Parser/Position.hs:24)
    Position (src/Cryptol/Parser/Position.hs:27)
    Range (src/Cryptol/Parser/Position.hs:30)
    start (src/Cryptol/Parser/Position.hs:42)
    move (src/Cryptol/Parser/Position.hs:45)
    moves (src/Cryptol/Parser/Position.hs:51)
    rComb (src/Cryptol/Parser/Position.hs:54)
    rCombs (src/Cryptol/Parser/Position.hs:59)
     (src/Cryptol/Parser/Position.hs:62)
     (src/Cryptol/Parser/Position.hs:67)
     (src/Cryptol/Parser/Position.hs:70)
     (src/Cryptol/Parser/Position.hs:74)
     (src/Cryptol/Parser/Position.hs:77)
    HasLoc (src/Cryptol/Parser/Position.hs:84)
     (src/Cryptol/Parser/Position.hs:87)
     (src/Cryptol/Parser/Position.hs:90)
     (src/Cryptol/Parser/Position.hs:93)
     (src/Cryptol/Parser/Position.hs:101)
    AddLoc (src/Cryptol/Parser/Position.hs:110)
     (src/Cryptol/Parser/Position.hs:114)
    at (src/Cryptol/Parser/Position.hs:118)
  14% (  6 / 43) in 'Cryptol.Parser.LexerUtils'
  Missing documentation for:
    Config (src/Cryptol/Parser/LexerUtils.hs:29)
    defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39)
    Action (src/Cryptol/Parser/LexerUtils.hs:49)
    LexS (src/Cryptol/Parser/LexerUtils.hs:52)
    startComment (src/Cryptol/Parser/LexerUtils.hs:58)
    endComent (src/Cryptol/Parser/LexerUtils.hs:65)
    addToComment (src/Cryptol/Parser/LexerUtils.hs:79)
    startEndComment (src/Cryptol/Parser/LexerUtils.hs:87)
    startString (src/Cryptol/Parser/LexerUtils.hs:101)
    endString (src/Cryptol/Parser/LexerUtils.hs:104)
    addToString (src/Cryptol/Parser/LexerUtils.hs:127)
    startChar (src/Cryptol/Parser/LexerUtils.hs:133)
    endChar (src/Cryptol/Parser/LexerUtils.hs:136)
    addToChar (src/Cryptol/Parser/LexerUtils.hs:162)
    mkIdent (src/Cryptol/Parser/LexerUtils.hs:168)
    mkQualIdent (src/Cryptol/Parser/LexerUtils.hs:174)
    mkQualOp (src/Cryptol/Parser/LexerUtils.hs:181)
    emit (src/Cryptol/Parser/LexerUtils.hs:188)
    emitS (src/Cryptol/Parser/LexerUtils.hs:193)
    numToken (src/Cryptol/Parser/LexerUtils.hs:216)
    fromDecDigit (src/Cryptol/Parser/LexerUtils.hs:222)
    fromHexDigit (src/Cryptol/Parser/LexerUtils.hs:225)
    AlexInput (src/Cryptol/Parser/LexerUtils.hs:235)
    alexGetByte (src/Cryptol/Parser/LexerUtils.hs:240)
    Layout (src/Cryptol/Parser/LexerUtils.hs:247)
    Block (src/Cryptol/Parser/LexerUtils.hs:259)
    isExplicit (src/Cryptol/Parser/LexerUtils.hs:264)
    startsLayout (src/Cryptol/Parser/LexerUtils.hs:268)
    layout (src/Cryptol/Parser/LexerUtils.hs:274)
    virt (src/Cryptol/Parser/LexerUtils.hs:343)
    Token (src/Cryptol/Parser/LexerUtils.hs:357)
    TokenW (src/Cryptol/Parser/LexerUtils.hs:364)
    TokenKW (src/Cryptol/Parser/LexerUtils.hs:367)
    TokenSym (src/Cryptol/Parser/LexerUtils.hs:409)
    TokenErr (src/Cryptol/Parser/LexerUtils.hs:427)
    TokenT (src/Cryptol/Parser/LexerUtils.hs:435)
     (src/Cryptol/Parser/LexerUtils.hs:448)
  29% (  4 / 14) in 'Cryptol.Parser.Lexer'
  Missing documentation for:
    Layout (src/Cryptol/Parser/LexerUtils.hs:247)
    Token (src/Cryptol/Parser/LexerUtils.hs:357)
    TokenT (src/Cryptol/Parser/LexerUtils.hs:435)
    TokenKW (src/Cryptol/Parser/LexerUtils.hs:367)
    TokenErr (src/Cryptol/Parser/LexerUtils.hs:427)
    TokenSym (src/Cryptol/Parser/LexerUtils.hs:409)
    TokenW (src/Cryptol/Parser/LexerUtils.hs:364)
    Located (src/Cryptol/Parser/Position.hs:24)
    Config (src/Cryptol/Parser/LexerUtils.hs:29)
    defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39)
  33% (  1 /  3) in 'Cryptol.Utils.Debug'
  Missing documentation for:
    trace (src/Cryptol/Utils/Debug.hs:14)
    ppTrace (src/Cryptol/Utils/Debug.hs:17)
  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)
  27% (  3 / 11) in 'Cryptol.Parser.Name'
  Missing documentation for:
     (src/Cryptol/Parser/Name.hs:38)
     (src/Cryptol/Parser/Name.hs:39)
    mkUnqual (src/Cryptol/Parser/Name.hs:41)
    mkQual (src/Cryptol/Parser/Name.hs:44)
    getModName (src/Cryptol/Parser/Name.hs:47)
    getIdent (src/Cryptol/Parser/Name.hs:51)
     (src/Cryptol/Parser/Name.hs:60)
     (src/Cryptol/Parser/Name.hs:63)
  75% (  3 /  4) in 'Cryptol.Prims.Syntax'
  Missing documentation for:
    tBinOpPrec (src/Cryptol/Prims/Syntax.hs:45)
  46% ( 31 / 68) in 'Cryptol.Parser.AST'
  Missing documentation for:
    mkIdent (src/Cryptol/Utils/Ident.hs:68)
    mkInfix (src/Cryptol/Utils/Ident.hs:71)
    isInfixIdent (src/Cryptol/Utils/Ident.hs:74)
    nullIdent (src/Cryptol/Utils/Ident.hs:77)
    identText (src/Cryptol/Utils/Ident.hs:80)
    modRange (src/Cryptol/Parser/AST.hs:113)
    getModName (src/Cryptol/Parser/Name.hs:47)
    getIdent (src/Cryptol/Parser/Name.hs:51)
    mkUnqual (src/Cryptol/Parser/Name.hs:41)
    mkQual (src/Cryptol/Parser/Name.hs:44)
    Named (src/Cryptol/Parser/AST.hs:335)
    Schema (src/Cryptol/Parser/AST.hs:338)
    TParam (src/Cryptol/Parser/AST.hs:344)
    Kind (src/Cryptol/Parser/AST.hs:341)
    Type (src/Cryptol/Parser/AST.hs:350)
    tconNames (src/Cryptol/Parser/AST.hs:366)
    Prop (src/Cryptol/Parser/AST.hs:372)
    Module (src/Cryptol/Parser/AST.hs:107)
    Program (src/Cryptol/Parser/AST.hs:104)
    TopDecl (src/Cryptol/Parser/AST.hs:122)
    Decl (src/Cryptol/Parser/AST.hs:127)
    Fixity (src/Cryptol/Parser/AST.hs:183)
    FixityCmp (src/Cryptol/Parser/AST.hs:187)
    compareFixity (src/Cryptol/Parser/AST.hs:192)
    TySyn (src/Cryptol/Parser/AST.hs:151)
    BindDef (src/Cryptol/Parser/AST.hs:179)
    LBindDef (src/Cryptol/Parser/AST.hs:177)
    Pragma (src/Cryptol/Parser/AST.hs:206)
    ExportSpec (src/Cryptol/Parser/AST.hs:232)
    TopLevel (src/Cryptol/Parser/AST.hs:226)
    Newtype (src/Cryptol/Parser/AST.hs:210)
    Expr (src/Cryptol/Parser/AST.hs:276)
    Match (src/Cryptol/Parser/AST.hs:321)
    Pattern (src/Cryptol/Parser/AST.hs:325)
    TypeInst (src/Cryptol/Parser/AST.hs:298)
    Located (src/Cryptol/Parser/Position.hs:24)
    NoPos (src/Cryptol/Parser/AST.hs:837)
  61% ( 17 / 28) in 'Cryptol.ModuleSystem.Name'
  Missing documentation for:
    Name (src/Cryptol/ModuleSystem/Name.hs:73)
    nameUnique (src/Cryptol/ModuleSystem/Name.hs:176)
    nameIdent (src/Cryptol/ModuleSystem/Name.hs:179)
    nameInfo (src/Cryptol/ModuleSystem/Name.hs:182)
    nameLoc (src/Cryptol/ModuleSystem/Name.hs:185)
    nameFixity (src/Cryptol/ModuleSystem/Name.hs:188)
    asPrim (src/Cryptol/ModuleSystem/Name.hs:191)
    FreshM (src/Cryptol/ModuleSystem/Name.hs:199)
    runSupplyT (src/Cryptol/ModuleSystem/Name.hs:224)
    Supply (src/Cryptol/ModuleSystem/Name.hs:264)
    nextUnique (src/Cryptol/ModuleSystem/Name.hs:274)
  23% ( 33 /142) in 'Cryptol.TypeCheck.AST'
  Missing documentation for:
     (src/Cryptol/TypeCheck/AST.hs:93)
     (src/Cryptol/TypeCheck/AST.hs:96)
    tpVar (src/Cryptol/TypeCheck/AST.hs:99)
    UserTC (src/Cryptol/TypeCheck/AST.hs:166)
     (src/Cryptol/TypeCheck/AST.hs:169)
     (src/Cryptol/TypeCheck/AST.hs:172)
     (src/Cryptol/TypeCheck/AST.hs:175)
     (src/Cryptol/TypeCheck/AST.hs:180)
    Expr (src/Cryptol/TypeCheck/AST.hs:189)
    Match (src/Cryptol/TypeCheck/AST.hs:247)
    DeclGroup (src/Cryptol/TypeCheck/AST.hs:252)
    groupDecls (src/Cryptol/TypeCheck/AST.hs:256)
    Decl (src/Cryptol/TypeCheck/AST.hs:261)
    DeclDef (src/Cryptol/TypeCheck/AST.hs:270)
    isFreeTV (src/Cryptol/TypeCheck/AST.hs:277)
    isBoundTV (src/Cryptol/TypeCheck/AST.hs:281)
    tIsNat' (src/Cryptol/TypeCheck/AST.hs:288)
    tIsNum (src/Cryptol/TypeCheck/AST.hs:295)
    tIsInf (src/Cryptol/TypeCheck/AST.hs:299)
    tIsVar (src/Cryptol/TypeCheck/AST.hs:302)
    tIsFun (src/Cryptol/TypeCheck/AST.hs:307)
    tIsSeq (src/Cryptol/TypeCheck/AST.hs:312)
    tIsBit (src/Cryptol/TypeCheck/AST.hs:317)
    tIsTuple (src/Cryptol/TypeCheck/AST.hs:322)
    tIsBinFun (src/Cryptol/TypeCheck/AST.hs:327)
    pIsFin (src/Cryptol/TypeCheck/AST.hs:340)
    pIsGeq (src/Cryptol/TypeCheck/AST.hs:345)
    pIsEq (src/Cryptol/TypeCheck/AST.hs:350)
    pIsArith (src/Cryptol/TypeCheck/AST.hs:355)
    pIsCmp (src/Cryptol/TypeCheck/AST.hs:360)
    pIsNumeric (src/Cryptol/TypeCheck/AST.hs:367)
    tNum (src/Cryptol/TypeCheck/AST.hs:380)
    tZero (src/Cryptol/TypeCheck/AST.hs:383)
    tOne (src/Cryptol/TypeCheck/AST.hs:386)
    tTwo (src/Cryptol/TypeCheck/AST.hs:389)
    tInf (src/Cryptol/TypeCheck/AST.hs:392)
    tNat' (src/Cryptol/TypeCheck/AST.hs:395)
    tBit (src/Cryptol/TypeCheck/AST.hs:400)
    tWord (src/Cryptol/TypeCheck/AST.hs:403)
    tSeq (src/Cryptol/TypeCheck/AST.hs:406)
    tChar (src/Cryptol/TypeCheck/AST.hs:409)
    tString (src/Cryptol/TypeCheck/AST.hs:412)
    tRec (src/Cryptol/TypeCheck/AST.hs:415)
    tTuple (src/Cryptol/TypeCheck/AST.hs:418)
    tWidth (src/Cryptol/TypeCheck/AST.hs:434)
    tLenFromThen (src/Cryptol/TypeCheck/AST.hs:437)
    tLenFromThenTo (src/Cryptol/TypeCheck/AST.hs:440)
    tMax (src/Cryptol/TypeCheck/AST.hs:443)
    =/= (src/Cryptol/TypeCheck/AST.hs:454)
    pArith (src/Cryptol/TypeCheck/AST.hs:457)
    pCmp (src/Cryptol/TypeCheck/AST.hs:460)
    pFin (src/Cryptol/TypeCheck/AST.hs:471)
    .-. (src/Cryptol/TypeCheck/AST.hs:484)
    .^. (src/Cryptol/TypeCheck/AST.hs:487)
    tDiv (src/Cryptol/TypeCheck/AST.hs:490)
    tMod (src/Cryptol/TypeCheck/AST.hs:493)
    newtypeTyCon (src/Cryptol/TypeCheck/AST.hs:501)
    newtypeConType (src/Cryptol/TypeCheck/AST.hs:504)
    eString (src/Cryptol/TypeCheck/AST.hs:524)
    eChar (src/Cryptol/TypeCheck/AST.hs:527)
    HasKind (src/Cryptol/TypeCheck/AST.hs:535)
     (src/Cryptol/TypeCheck/AST.hs:538)
     (src/Cryptol/TypeCheck/AST.hs:542)
     (src/Cryptol/TypeCheck/AST.hs:547)
     (src/Cryptol/TypeCheck/AST.hs:550)
     (src/Cryptol/TypeCheck/AST.hs:561)
     (src/Cryptol/TypeCheck/AST.hs:572)
     (src/Cryptol/TypeCheck/AST.hs:589)
     (src/Cryptol/TypeCheck/AST.hs:597)
     (src/Cryptol/TypeCheck/AST.hs:600)
     (src/Cryptol/TypeCheck/AST.hs:603)
    quickApply (src/Cryptol/TypeCheck/AST.hs:606)
     (src/Cryptol/TypeCheck/AST.hs:614)
     (src/Cryptol/TypeCheck/AST.hs:621)
     (src/Cryptol/TypeCheck/AST.hs:631)
     (src/Cryptol/TypeCheck/AST.hs:634)
     (src/Cryptol/TypeCheck/AST.hs:637)
     (src/Cryptol/TypeCheck/AST.hs:640)
    addTNames (src/Cryptol/TypeCheck/AST.hs:695)
    ppNewtypeShort (src/Cryptol/TypeCheck/AST.hs:706)
     (src/Cryptol/TypeCheck/AST.hs:714)
     (src/Cryptol/TypeCheck/AST.hs:717)
     (src/Cryptol/TypeCheck/AST.hs:730)
     (src/Cryptol/TypeCheck/AST.hs:733)
     (src/Cryptol/TypeCheck/AST.hs:739)
     (src/Cryptol/TypeCheck/AST.hs:743)
     (src/Cryptol/TypeCheck/AST.hs:748)
     (src/Cryptol/TypeCheck/AST.hs:759)
     (src/Cryptol/TypeCheck/AST.hs:772)
     (src/Cryptol/TypeCheck/AST.hs:775)
    ppLam (src/Cryptol/TypeCheck/AST.hs:841)
    splitWhile (src/Cryptol/TypeCheck/AST.hs:860)
    splitAbs (src/Cryptol/TypeCheck/AST.hs:866)
    splitTAbs (src/Cryptol/TypeCheck/AST.hs:870)
    splitProofAbs (src/Cryptol/TypeCheck/AST.hs:874)
     (src/Cryptol/TypeCheck/AST.hs:878)
     (src/Cryptol/TypeCheck/AST.hs:882)
     (src/Cryptol/TypeCheck/AST.hs:888)
     (src/Cryptol/TypeCheck/AST.hs:891)
     (src/Cryptol/TypeCheck/AST.hs:901)
     (src/Cryptol/TypeCheck/AST.hs:904)
     (src/Cryptol/TypeCheck/AST.hs:913)
     (src/Cryptol/TypeCheck/AST.hs:917)
     (src/Cryptol/TypeCheck/AST.hs:920)
     (src/Cryptol/TypeCheck/AST.hs:923)
    Name (src/Cryptol/ModuleSystem/Name.hs:73)
    ExportSpec (src/Cryptol/Parser/AST.hs:232)
    Pragma (src/Cryptol/Parser/AST.hs:206)
    Fixity (src/Cryptol/Parser/AST.hs:183)
  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)
  48% ( 23 / 48) in 'Cryptol.Eval.Value'
  Missing documentation for:
    isTBit (src/Cryptol/Eval/Value.hs:38)
    isTSeq (src/Cryptol/Eval/Value.hs:42)
    isTFun (src/Cryptol/Eval/Value.hs:47)
    isTTuple (src/Cryptol/Eval/Value.hs:51)
    isTRec (src/Cryptol/Eval/Value.hs:55)
    tvSeq (src/Cryptol/Eval/Value.hs:59)
    finNat' (src/Cryptol/Eval/Value.hs:63)
    Value (src/Cryptol/Eval/Value.hs:94)
    tValTy (src/Cryptol/Eval/Value.hs:107)
     (src/Cryptol/Eval/Value.hs:117)
    PPOpts (src/Cryptol/Eval/Value.hs:123)
    defaultPPOpts (src/Cryptol/Eval/Value.hs:129)
    ppValue (src/Cryptol/Eval/Value.hs:132)
    asciiMode (src/Cryptol/Eval/Value.hs:163)
    integerToChar (src/Cryptol/Eval/Value.hs:166)
    WithBase (src/Cryptol/Eval/Value.hs:169)
     (src/Cryptol/Eval/Value.hs:172)
    ppWord (src/Cryptol/Eval/Value.hs:175)
    BitWord (src/Cryptol/Eval/Value.hs:204)
    mask (src/Cryptol/Eval/Value.hs:215)
     (src/Cryptol/Eval/Value.hs:222)
    lam (src/Cryptol/Eval/Value.hs:244)
    toFinSeq (src/Cryptol/Eval/Value.hs:259)
    fromStr (src/Cryptol/Eval/Value.hs:307)
    vWordLen (src/Cryptol/Eval/Value.hs:317)
  48% ( 16 / 33) 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)
    isTBit (src/Cryptol/Eval/Value.hs:38)
    tvSeq (src/Cryptol/Eval/Value.hs:59)
    lam (src/Cryptol/Eval/Value.hs:244)
    toFinSeq (src/Cryptol/Eval/Value.hs:259)
    finNat' (src/Cryptol/Eval/Value.hs:63)
    evalPanic (src/Cryptol/Symbolic/Value.hs:111)
    iteValue (src/Cryptol/Symbolic/Value.hs:71)
    mergeValue (src/Cryptol/Symbolic/Value.hs:78)
   9% (  1 / 11) in 'Cryptol.TypeCheck.TypeMap'
  Missing documentation for:
    TypeMap (src/Cryptol/TypeCheck/TypeMap.hs:117)
    TypesMap (src/Cryptol/TypeCheck/TypeMap.hs:115)
    TrieMap (src/Cryptol/TypeCheck/TypeMap.hs:33)
    insertTM (src/Cryptol/TypeCheck/TypeMap.hs:46)
    insertWithTM (src/Cryptol/TypeCheck/TypeMap.hs:49)
    membersTM (src/Cryptol/TypeCheck/TypeMap.hs:43)
    mapTM (src/Cryptol/TypeCheck/TypeMap.hs:55)
    mapWithKeyTM (src/Cryptol/TypeCheck/TypeMap.hs:59)
    mapMaybeTM (src/Cryptol/TypeCheck/TypeMap.hs:63)
    List (src/Cryptol/TypeCheck/TypeMap.hs:66)
  18% (  6 / 33) in 'Cryptol.TypeCheck.Subst'
  Missing documentation for:
    Subst (src/Cryptol/TypeCheck/Subst.hs:28)
    emptySubst (src/Cryptol/TypeCheck/Subst.hs:33)
    singleSubst (src/Cryptol/TypeCheck/Subst.hs:36)
    @@ (src/Cryptol/TypeCheck/Subst.hs:39)
    defaultingSubst (src/Cryptol/TypeCheck/Subst.hs:50)
    isEmptySubst (src/Cryptol/TypeCheck/Subst.hs:59)
    substToList (src/Cryptol/TypeCheck/Subst.hs:63)
     (src/Cryptol/TypeCheck/Subst.hs:68)
     (src/Cryptol/TypeCheck/Subst.hs:75)
    FVS (src/Cryptol/TypeCheck/Subst.hs:81)
     (src/Cryptol/TypeCheck/Subst.hs:84)
     (src/Cryptol/TypeCheck/Subst.hs:94)
     (src/Cryptol/TypeCheck/Subst.hs:97)
     (src/Cryptol/TypeCheck/Subst.hs:100)
    TVars (src/Cryptol/TypeCheck/Subst.hs:129)
     (src/Cryptol/TypeCheck/Subst.hs:132)
     (src/Cryptol/TypeCheck/Subst.hs:135)
     (src/Cryptol/TypeCheck/Subst.hs:138)
     (src/Cryptol/TypeCheck/Subst.hs:141)
     (src/Cryptol/TypeCheck/Subst.hs:167)
     (src/Cryptol/TypeCheck/Subst.hs:170)
     (src/Cryptol/TypeCheck/Subst.hs:232)
     (src/Cryptol/TypeCheck/Subst.hs:256)
     (src/Cryptol/TypeCheck/Subst.hs:260)
     (src/Cryptol/TypeCheck/Subst.hs:264)
     (src/Cryptol/TypeCheck/Subst.hs:269)
     (src/Cryptol/TypeCheck/Subst.hs:273)
  14% (  1 /  7) in 'Cryptol.TypeCheck.Sanity'
  Missing documentation for:
    tcExpr (src/Cryptol/TypeCheck/Sanity.hs:32)
    tcDecls (src/Cryptol/TypeCheck/Sanity.hs:35)
    tcModule (src/Cryptol/TypeCheck/Sanity.hs:44)
    ProofObligation (src/Cryptol/TypeCheck/Sanity.hs:430)
    Error (src/Cryptol/TypeCheck/Sanity.hs:465)
    same (src/Cryptol/TypeCheck/Sanity.hs:108)
  18% (  2 / 11) in 'Cryptol.TypeCheck.Unify'
  Missing documentation for:
    Result (src/Cryptol/TypeCheck/Unify.hs:29)
    UnificationError (src/Cryptol/TypeCheck/Unify.hs:32)
     (src/Cryptol/TypeCheck/Unify.hs:40)
     (src/Cryptol/TypeCheck/Unify.hs:47)
    uniError (src/Cryptol/TypeCheck/Unify.hs:55)
    emptyMGU (src/Cryptol/TypeCheck/Unify.hs:59)
    mgu (src/Cryptol/TypeCheck/Unify.hs:62)
    mguMany (src/Cryptol/TypeCheck/Unify.hs:103)
    bindVar (src/Cryptol/TypeCheck/Unify.hs:112)
  77% ( 23 / 30) in 'Cryptol.TypeCheck.Solver.Numeric.AST'
  Missing documentation for:
    Name (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:61)
    IfExpr (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:215)
    IfExpr' (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:212)
    Subst (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:237)
    cryLet (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:244)
    composeSubst (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:239)
    doAppSubst (src/Cryptol/TypeCheck/Solver/Numeric/AST.hs:247)
  40% (  4 / 10) in 'Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr'
  Missing documentation for:
    Sign (src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs:47)
    otherSign (src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs:49)
    signed (src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs:54)
    splitSum (src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs:60)
    normSum (src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs:66)
    crySimpExprStep (src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs:119)
  33% (  1 /  3) in 'Cryptol.TypeCheck.Solver.Numeric.Simplify1'
  Missing documentation for:
    propToProp' (src/Cryptol/TypeCheck/Solver/Numeric/Simplify1.hs:50)
    ppProp' (src/Cryptol/TypeCheck/Solver/Numeric/Simplify1.hs:118)
 100% (  3 /  3) in 'Cryptol.TypeCheck.Solver.Numeric.Defined'
 100% (  7 /  7) in 'Cryptol.TypeCheck.Solver.Numeric.Simplify'
  71% (  5 /  7) in 'Cryptol.TypeCheck.Solver.Numeric.NonLin'
  Missing documentation for:
    NonLinS (src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs:250)
    lookupNL (src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs:75)
  11% (  1 /  9) in 'Cryptol.TypeCheck.Solver.Numeric.ImportExport'
  Missing documentation for:
    ExportM (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:36)
    exportProp (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:25)
    exportType (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:28)
    runExportM (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:31)
    exportPropM (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:38)
    exportTypeM (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:54)
    importProp (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:85)
    importType (src/Cryptol/TypeCheck/Solver/Numeric/ImportExport.hs:132)
  30% (  8 / 27) in 'Cryptol.TypeCheck.Solver.Numeric.Interval'
  Missing documentation for:
    IntervalUpdate (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:57)
    updateInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:62)
    computePropIntervals (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:74)
    Interval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:126)
    ppIntervals (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:133)
    ppInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:138)
    iIsExact (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:148)
    iIsFin (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:151)
    iAdd (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:207)
    iMul (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:220)
    iExp (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:234)
    iMin (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:254)
    iMax (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:265)
    iSub (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:276)
    iDiv (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:293)
    iMod (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:309)
    iWidth (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:317)
    iLenFromThen (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:324)
    iLenFromThenTo (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:335)
  67% (  2 /  3) in 'Cryptol.TypeCheck.TypeOf'
  Missing documentation for:
    fastSchemaOf (src/Cryptol/TypeCheck/TypeOf.hs:58)
 100% (  5 /  5) in 'Cryptol.TypeCheck.Solver.Utils'
  88% (  7 /  8) in 'Cryptol.TypeCheck.Solver.Numeric.SMT'
  Missing documentation for:
    ifPropToSmtLib (src/Cryptol/TypeCheck/Solver/Numeric/SMT.hs:92)
  60% (  6 / 10) in 'Cryptol.Testing.Concrete'
  Missing documentation for:
    isPass (src/Cryptol/Testing/Concrete.hs:30)
    TestSpec (src/Cryptol/Testing/Concrete.hs:133)
    TestReport (src/Cryptol/Testing/Concrete.hs:144)
    runTests (src/Cryptol/Testing/Concrete.hs:151)
  40% (  4 / 10) in 'Cryptol.ModuleSystem.Interface'
  Missing documentation for:
    IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:45)
    IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:64)
    ifTySynName (src/Cryptol/ModuleSystem/Interface.hs:66)
    IfaceNewtype (src/Cryptol/ModuleSystem/Interface.hs:69)
    IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:71)
    mkIfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:80)
 100% (  2 /  2) in 'Cryptol.Transform.MonoValues'
  50% (  5 / 10) in 'Cryptol.Eval.Env'
  Missing documentation for:
    ReadEnv (src/Cryptol/Eval/Env.hs:33)
    EvalEnv (src/Cryptol/Eval/Env.hs:35)
     (src/Cryptol/Eval/Env.hs:40)
     (src/Cryptol/Eval/Env.hs:51)
    emptyEnv (src/Cryptol/Eval/Env.hs:56)
  80% (  4 /  5) in 'Cryptol.Eval.Type'
  Missing documentation for:
    evalNumType (src/Cryptol/Eval/Type.hs:58)
  81% ( 22 / 27) in 'Cryptol.Parser.Names'
  Missing documentation for:
    modExports (src/Cryptol/Parser/Names.hs:21)
    tsName (src/Cryptol/Parser/Names.hs:69)
    namesDef (src/Cryptol/Parser/Names.hs:77)
    tnamesDef (src/Cryptol/Parser/Names.hs:198)
    tnamesTI (src/Cryptol/Parser/Names.hs:229)
  33% (  1 /  3) in 'Cryptol.Parser.NoPat'
  Missing documentation for:
    RemovePatterns (src/Cryptol/Parser/NoPat.hs:39)
    Error (src/Cryptol/Parser/NoPat.hs:443)
  59% ( 19 / 32) in 'Cryptol.ModuleSystem.NamingEnv'
  Missing documentation for:
    NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:44)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:52)
    filterNames (src/Cryptol/ModuleSystem/NamingEnv.hs:139)
    travNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:164)
    InModule (src/Cryptol/ModuleSystem/NamingEnv.hs:171)
    BuildNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:180)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:182)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:198)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:202)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:206)
    ImportIface (src/Cryptol/ModuleSystem/NamingEnv.hs:261)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:296)
     (src/Cryptol/ModuleSystem/NamingEnv.hs:303)
  18% (  7 / 39) in 'Cryptol.TypeCheck.InferTypes'
  Missing documentation for:
    SolverConfig (src/Cryptol/TypeCheck/InferTypes.hs:39)
    Goals (src/Cryptol/TypeCheck/InferTypes.hs:49)
    emptyGoals (src/Cryptol/TypeCheck/InferTypes.hs:52)
    nullGoals (src/Cryptol/TypeCheck/InferTypes.hs:55)
    fromGoals (src/Cryptol/TypeCheck/InferTypes.hs:58)
    insertGoal (src/Cryptol/TypeCheck/InferTypes.hs:61)
    HasGoal (src/Cryptol/TypeCheck/InferTypes.hs:71)
    Solved (src/Cryptol/TypeCheck/InferTypes.hs:84)
    Warning (src/Cryptol/TypeCheck/InferTypes.hs:89)
    TyFunName (src/Cryptol/TypeCheck/InferTypes.hs:188)
     (src/Cryptol/TypeCheck/InferTypes.hs:191)
     (src/Cryptol/TypeCheck/InferTypes.hs:195)
     (src/Cryptol/TypeCheck/InferTypes.hs:210)
     (src/Cryptol/TypeCheck/InferTypes.hs:217)
     (src/Cryptol/TypeCheck/InferTypes.hs:226)
     (src/Cryptol/TypeCheck/InferTypes.hs:253)
     (src/Cryptol/TypeCheck/InferTypes.hs:280)
     (src/Cryptol/TypeCheck/InferTypes.hs:283)
     (src/Cryptol/TypeCheck/InferTypes.hs:291)
     (src/Cryptol/TypeCheck/InferTypes.hs:302)
     (src/Cryptol/TypeCheck/InferTypes.hs:308)
     (src/Cryptol/TypeCheck/InferTypes.hs:311)
    addTVarsDescs (src/Cryptol/TypeCheck/InferTypes.hs:346)
     (src/Cryptol/TypeCheck/InferTypes.hs:357)
     (src/Cryptol/TypeCheck/InferTypes.hs:360)
     (src/Cryptol/TypeCheck/InferTypes.hs:364)
     (src/Cryptol/TypeCheck/InferTypes.hs:377)
     (src/Cryptol/TypeCheck/InferTypes.hs:499)
    ppUse (src/Cryptol/TypeCheck/InferTypes.hs:514)
     (src/Cryptol/TypeCheck/InferTypes.hs:526)
     (src/Cryptol/TypeCheck/InferTypes.hs:533)
     (src/Cryptol/TypeCheck/InferTypes.hs:552)
 100% (  3 /  3) in 'Cryptol.TypeCheck.Solver.Class'
  33% (  1 /  3) in 'Cryptol.TypeCheck.Solver.Numeric.Fin'
  Missing documentation for:
    cryIsFin (src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:22)
    cryIsFinType (src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:28)
  75% ( 12 / 16) in 'Cryptol.TypeCheck.Solver.CrySAT'
  Missing documentation for:
    getIntervals (src/Cryptol/TypeCheck/Solver/CrySAT.hs:397)
    debugBlock (src/Cryptol/TypeCheck/Solver/CrySAT.hs:625)
    DebugLog (src/Cryptol/TypeCheck/Solver/CrySAT.hs:633)
    knownDefined (src/Cryptol/TypeCheck/Solver/CrySAT.hs:84)
  68% ( 59 / 87) in 'Cryptol.TypeCheck.Monad'
  Missing documentation for:
    runInferM (src/Cryptol/TypeCheck/Monad.hs:90)
    InferM (src/Cryptol/TypeCheck/Monad.hs:157)
    DefLoc (src/Cryptol/TypeCheck/Monad.hs:159)
     (src/Cryptol/TypeCheck/Monad.hs:232)
     (src/Cryptol/TypeCheck/Monad.hs:235)
     (src/Cryptol/TypeCheck/Monad.hs:239)
     (src/Cryptol/TypeCheck/Monad.hs:244)
     (src/Cryptol/TypeCheck/Monad.hs:247)
    io (src/Cryptol/TypeCheck/Monad.hs:255)
    inRangeMb (src/Cryptol/TypeCheck/Monad.hs:263)
    recordWarning (src/Cryptol/TypeCheck/Monad.hs:277)
    getSolver (src/Cryptol/TypeCheck/Monad.hs:282)
    newGoal (src/Cryptol/TypeCheck/Monad.hs:295)
    newName (src/Cryptol/TypeCheck/Monad.hs:372)
    withTParams (src/Cryptol/TypeCheck/Monad.hs:581)
    withNewtype (src/Cryptol/TypeCheck/Monad.hs:591)
    withVarTypes (src/Cryptol/TypeCheck/Monad.hs:602)
    withVar (src/Cryptol/TypeCheck/Monad.hs:605)
    KindM (src/Cryptol/TypeCheck/Monad.hs:640)
    KRO (src/Cryptol/TypeCheck/Monad.hs:642)
    KRW (src/Cryptol/TypeCheck/Monad.hs:646)
     (src/Cryptol/TypeCheck/Monad.hs:649)
     (src/Cryptol/TypeCheck/Monad.hs:652)
     (src/Cryptol/TypeCheck/Monad.hs:656)
    kRecordWarning (src/Cryptol/TypeCheck/Monad.hs:704)
    kExistTVar (src/Cryptol/TypeCheck/Monad.hs:722)
    kNewGoals (src/Cryptol/TypeCheck/Monad.hs:745)
    kInInferM (src/Cryptol/TypeCheck/Monad.hs:748)
  64% (  7 / 11) in 'Cryptol.TypeCheck.Depends'
  Missing documentation for:
    TyDecl (src/Cryptol/TypeCheck/Depends.hs:29)
    FromDecl (src/Cryptol/TypeCheck/Depends.hs:82)
     (src/Cryptol/TypeCheck/Depends.hs:87)
     (src/Cryptol/TypeCheck/Depends.hs:97)
  50% (  1 /  2) in 'Cryptol.TypeCheck.Instantiate'
  Missing documentation for:
    instantiateWith (src/Cryptol/TypeCheck/Instantiate.hs:26)
 100% (  2 /  2) in 'Cryptol.TypeCheck.Solver.Selector'
  33% (  1 /  3) in 'Cryptol.Parser.Utils'
  Missing documentation for:
    translateExprToNumT (src/Cryptol/Parser/Utils.hs:26)
    widthIdent (src/Cryptol/Parser/Utils.hs:23)
   8% (  4 / 48) in 'Cryptol.Parser.ParserUtils'
  Missing documentation for:
    parseString (src/Cryptol/Parser/ParserUtils.hs:38)
    parse (src/Cryptol/Parser/ParserUtils.hs:41)
    ParseM (src/Cryptol/Parser/ParserUtils.hs:49)
    lexerP (src/Cryptol/Parser/ParserUtils.hs:52)
    ParseError (src/Cryptol/Parser/ParserUtils.hs:69)
    S (src/Cryptol/Parser/ParserUtils.hs:73)
     (src/Cryptol/Parser/ParserUtils.hs:75)
    ppError (src/Cryptol/Parser/ParserUtils.hs:81)
     (src/Cryptol/Parser/ParserUtils.hs:92)
     (src/Cryptol/Parser/ParserUtils.hs:99)
     (src/Cryptol/Parser/ParserUtils.hs:102)
    happyError (src/Cryptol/Parser/ParserUtils.hs:106)
    errorMessage (src/Cryptol/Parser/ParserUtils.hs:112)
    customError (src/Cryptol/Parser/ParserUtils.hs:115)
    mkModName (src/Cryptol/Parser/ParserUtils.hs:118)
    mkSchema (src/Cryptol/Parser/ParserUtils.hs:122)
    getName (src/Cryptol/Parser/ParserUtils.hs:125)
    getNum (src/Cryptol/Parser/ParserUtils.hs:130)
    getStr (src/Cryptol/Parser/ParserUtils.hs:136)
    numLit (src/Cryptol/Parser/ParserUtils.hs:141)
    intVal (src/Cryptol/Parser/ParserUtils.hs:150)
    mkFixity (src/Cryptol/Parser/ParserUtils.hs:156)
    mkTupleSel (src/Cryptol/Parser/ParserUtils.hs:163)
    fromStrLit (src/Cryptol/Parser/ParserUtils.hs:171)
    validDemotedType (src/Cryptol/Parser/ParserUtils.hs:177)
    mkEApp (src/Cryptol/Parser/ParserUtils.hs:199)
    unOp (src/Cryptol/Parser/ParserUtils.hs:229)
    binOp (src/Cryptol/Parser/ParserUtils.hs:233)
    eFromTo (src/Cryptol/Parser/ParserUtils.hs:236)
    exprToNumT (src/Cryptol/Parser/ParserUtils.hs:240)
    exportDecl (src/Cryptol/Parser/ParserUtils.hs:263)
    exportNewtype (src/Cryptol/Parser/ParserUtils.hs:268)
    changeExport (src/Cryptol/Parser/ParserUtils.hs:273)
    mkTypeInst (src/Cryptol/Parser/ParserUtils.hs:280)
    mkTParam (src/Cryptol/Parser/ParserUtils.hs:285)
    mkTySyn (src/Cryptol/Parser/ParserUtils.hs:290)
    polyTerm (src/Cryptol/Parser/ParserUtils.hs:298)
    mkPoly (src/Cryptol/Parser/ParserUtils.hs:304)
    mkProperty (src/Cryptol/Parser/ParserUtils.hs:321)
    mkIf (src/Cryptol/Parser/ParserUtils.hs:333)
    mkProp (src/Cryptol/Parser/ParserUtils.hs:394)
    arithIdent (src/Cryptol/Parser/ParserUtils.hs:438)
    finIdent (src/Cryptol/Parser/ParserUtils.hs:438)
    cmpIdent (src/Cryptol/Parser/ParserUtils.hs:438)
   4% (  1 / 25) in 'Cryptol.Parser'
  Missing documentation for:
    parseModule (dist/build/Cryptol/Parser.hs:3187)
    parseProgram (dist/build/Cryptol/Parser.hs:3190)
    parseProgramWith (dist/build/Cryptol/Parser.hs:3178)
    parseExpr (dist/build/Cryptol/Parser.hs:3196)
    parseExprWith (dist/build/Cryptol/Parser.hs:3193)
    parseDecl (dist/build/Cryptol/Parser.hs:3202)
    parseDeclWith (dist/build/Cryptol/Parser.hs:3199)
    parseDecls (dist/build/Cryptol/Parser.hs:3211)
    parseDeclsWith (dist/build/Cryptol/Parser.hs:3205)
    parseLetDecl (dist/build/Cryptol/Parser.hs:3217)
    parseLetDeclWith (dist/build/Cryptol/Parser.hs:3214)
    parseRepl (dist/build/Cryptol/Parser.hs:3223)
    parseReplWith (dist/build/Cryptol/Parser.hs:3220)
    parseSchema (dist/build/Cryptol/Parser.hs:3229)
    parseSchemaWith (dist/build/Cryptol/Parser.hs:3226)
    parseModName (dist/build/Cryptol/Parser.hs:3159)
    parseHelpName (dist/build/Cryptol/Parser.hs:3165)
    ParseError (src/Cryptol/Parser/ParserUtils.hs:69)
    ppError (src/Cryptol/Parser/ParserUtils.hs:81)
    Layout (src/Cryptol/Parser/LexerUtils.hs:247)
    Config (src/Cryptol/Parser/LexerUtils.hs:29)
    defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39)
    guessPreProc (src/Cryptol/Parser/Unlit.hs:33)
    PreProc (src/Cryptol/Parser/Unlit.hs:23)
  25% (  1 /  4) in 'Cryptol.Parser.NoInclude'
  Missing documentation for:
    removeIncludesModule (src/Cryptol/Parser/NoInclude.hs:35)
    IncludeError (src/Cryptol/Parser/NoInclude.hs:38)
    ppIncludeError (src/Cryptol/Parser/NoInclude.hs:44)
  38% (  6 / 16) in 'Cryptol.ModuleSystem.Renamer'
  Missing documentation for:
    NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:44)
    InModule (src/Cryptol/ModuleSystem/NamingEnv.hs:171)
    Rename (src/Cryptol/ModuleSystem/Renamer.hs:330)
    runRenamer (src/Cryptol/ModuleSystem/Renamer.hs:210)
    RenameM (src/Cryptol/ModuleSystem/Renamer.hs:173)
    RenamerError (src/Cryptol/ModuleSystem/Renamer.hs:51)
    RenamerWarning (src/Cryptol/ModuleSystem/Renamer.hs:139)
    renameVar (src/Cryptol/ModuleSystem/Renamer.hs:379)
    renameType (src/Cryptol/ModuleSystem/Renamer.hs:418)
    renameModule (src/Cryptol/ModuleSystem/Renamer.hs:333)
 100% (  2 /  2) in 'Cryptol.TypeCheck.Solver.Simplify'
  44% (  4 /  9) in 'Cryptol.TypeCheck.Solve'
  Missing documentation for:
    simplifyAllConstraints (src/Cryptol/TypeCheck/Solve.hs:85)
    proveImplication (src/Cryptol/TypeCheck/Solve.hs:97)
    improveByDefaultingWith (src/Cryptol/TypeCheck/Solve.hs:421)
    simpType (src/Cryptol/TypeCheck/Solve.hs:580)
    simpTypeMaybe (src/Cryptol/TypeCheck/Solve.hs:593)
  91% ( 10 / 11) in 'Cryptol.Testing.Random'
  Missing documentation for:
    Gen (src/Cryptol/Testing/Random.hs:25)
  25% ( 14 / 55) in 'Cryptol.Prims.Eval'
  Missing documentation for:
    evalPrim (src/Cryptol/Prims/Eval.hs:41)
    primTable (src/Cryptol/Prims/Eval.hs:48)
    divModPoly (src/Cryptol/Prims/Eval.hs:171)
    doubleAndAdd (src/Cryptol/Prims/Eval.hs:212)
    GenBinary (src/Cryptol/Prims/Eval.hs:233)
    Binary (src/Cryptol/Prims/Eval.hs:234)
    binary (src/Cryptol/Prims/Eval.hs:236)
    GenUnary (src/Cryptol/Prims/Eval.hs:241)
    Unary (src/Cryptol/Prims/Eval.hs:242)
    unary (src/Cryptol/Prims/Eval.hs:244)
    BinArith (src/Cryptol/Prims/Eval.hs:255)
    arithBinary (src/Cryptol/Prims/Eval.hs:257)
    arithUnary (src/Cryptol/Prims/Eval.hs:287)
    lg2 (src/Cryptol/Prims/Eval.hs:315)
    divWrap (src/Cryptol/Prims/Eval.hs:321)
    modWrap (src/Cryptol/Prims/Eval.hs:325)
    zipLexCompare (src/Cryptol/Prims/Eval.hs:349)
    withOrder (src/Cryptol/Prims/Eval.hs:360)
    maxV (src/Cryptol/Prims/Eval.hs:363)
    minV (src/Cryptol/Prims/Eval.hs:368)
    funCmp (src/Cryptol/Prims/Eval.hs:374)
    zeroV (src/Cryptol/Prims/Eval.hs:385)
    splitAtV (src/Cryptol/Prims/Eval.hs:419)
    ccatV (src/Cryptol/Prims/Eval.hs:467)
    logicUnary (src/Cryptol/Prims/Eval.hs:503)
    logicShift (src/Cryptol/Prims/Eval.hs:528)
    shiftLW (src/Cryptol/Prims/Eval.hs:547)
    shiftLS (src/Cryptol/Prims/Eval.hs:552)
    shiftRW (src/Cryptol/Prims/Eval.hs:560)
    shiftRS (src/Cryptol/Prims/Eval.hs:565)
    rotateLW (src/Cryptol/Prims/Eval.hs:574)
    rotateLS (src/Cryptol/Prims/Eval.hs:579)
    rotateRW (src/Cryptol/Prims/Eval.hs:588)
    rotateRS (src/Cryptol/Prims/Eval.hs:593)
    indexFront (src/Cryptol/Prims/Eval.hs:616)
    indexBack (src/Cryptol/Prims/Eval.hs:622)
    indexFrontRange (src/Cryptol/Prims/Eval.hs:643)
    indexBackRange (src/Cryptol/Prims/Eval.hs:646)
    fromThenV (src/Cryptol/Prims/Eval.hs:650)
    fromToV (src/Cryptol/Prims/Eval.hs:665)
    fromThenToV (src/Cryptol/Prims/Eval.hs:681)
  12% (  1 /  8) in 'Cryptol.Eval'
  Missing documentation for:
    moduleEnv (src/Cryptol/Eval.hs:40)
    EvalEnv (src/Cryptol/Eval/Env.hs:35)
    emptyEnv (src/Cryptol/Eval/Env.hs:56)
    evalExpr (src/Cryptol/Eval.hs:43)
    evalDecls (src/Cryptol/Eval.hs:115)
    EvalError (src/Cryptol/Eval/Error.hs:29)
    WithBase (src/Cryptol/Eval/Value.hs:169)
  23% ( 11 / 48) in 'Cryptol.Symbolic.Prims'
  Missing documentation for:
    traverseSnd (src/Cryptol/Symbolic/Prims.hs:35)
    evalPrim (src/Cryptol/Symbolic/Prims.hs:40)
    primTable (src/Cryptol/Symbolic/Prims.hs:48)
    selectV (src/Cryptol/Symbolic/Prims.hs:276)
    asWordList (src/Cryptol/Symbolic/Prims.hs:287)
    atV_list (src/Cryptol/Symbolic/Prims.hs:296)
    atV (src/Cryptol/Symbolic/Prims.hs:322)
    iteAtV (src/Cryptol/Symbolic/Prims.hs:337)
    replicateV (src/Cryptol/Symbolic/Prims.hs:357)
    nth (src/Cryptol/Symbolic/Prims.hs:364)
    nthV (src/Cryptol/Symbolic/Prims.hs:370)
    mapV (src/Cryptol/Symbolic/Prims.hs:380)
    catV (src/Cryptol/Symbolic/Prims.hs:387)
    dropV (src/Cryptol/Symbolic/Prims.hs:394)
    takeV (src/Cryptol/Symbolic/Prims.hs:403)
    Binary (src/Cryptol/Symbolic/Prims.hs:429)
    Unary (src/Cryptol/Symbolic/Prims.hs:430)
    sExp (src/Cryptol/Symbolic/Prims.hs:460)
    cmpValue (src/Cryptol/Symbolic/Prims.hs:477)
    cmpEq (src/Cryptol/Symbolic/Prims.hs:504)
    cmpNotEq (src/Cryptol/Symbolic/Prims.hs:507)
    cmpLt (src/Cryptol/Symbolic/Prims.hs:510)
    cmpGt (src/Cryptol/Symbolic/Prims.hs:510)
    cmpLtEq (src/Cryptol/Symbolic/Prims.hs:514)
    cmpGtEq (src/Cryptol/Symbolic/Prims.hs:514)
    cmpBinary (src/Cryptol/Symbolic/Prims.hs:518)
    errorV (src/Cryptol/Symbolic/Prims.hs:526)
    zeroV (src/Cryptol/Symbolic/Prims.hs:538)
    logicUnary (src/Cryptol/Symbolic/Prims.hs:595)
    fromThenV (src/Cryptol/Symbolic/Prims.hs:609)
    fromToV (src/Cryptol/Symbolic/Prims.hs:623)
    fromThenToV (src/Cryptol/Symbolic/Prims.hs:639)
    ites (src/Cryptol/Symbolic/Prims.hs:666)
    degree (src/Cryptol/Symbolic/Prims.hs:678)
    mdp (src/Cryptol/Symbolic/Prims.hs:687)
    idx (src/Cryptol/Symbolic/Prims.hs:701)
    divx (src/Cryptol/Symbolic/Prims.hs:706)
  80% (  4 /  5) in 'Cryptol.TypeCheck.Kind'
  Missing documentation for:
    checkType (src/Cryptol/TypeCheck/Kind.hs:89)
  45% ( 13 / 29) in 'Cryptol.TypeCheck.Infer'
  Missing documentation for:
    inferModule (src/Cryptol/TypeCheck/Infer.hs:45)
    desugarLiteral (src/Cryptol/TypeCheck/Infer.hs:69)
    inferTyParam (src/Cryptol/TypeCheck/Infer.hs:152)
    checkTypeOfKind (src/Cryptol/TypeCheck/Infer.hs:165)
    expectSeq (src/Cryptol/TypeCheck/Infer.hs:328)
    expectTuple (src/Cryptol/TypeCheck/Infer.hs:354)
    expectRec (src/Cryptol/TypeCheck/Infer.hs:381)
    expectFin (src/Cryptol/TypeCheck/Infer.hs:414)
    expectFun (src/Cryptol/TypeCheck/Infer.hs:427)
    checkHasType (src/Cryptol/TypeCheck/Infer.hs:457)
    checkFun (src/Cryptol/TypeCheck/Infer.hs:465)
    checkP (src/Cryptol/TypeCheck/Infer.hs:489)
    checkMonoB (src/Cryptol/TypeCheck/Infer.hs:731)
    checkSigB (src/Cryptol/TypeCheck/Infer.hs:759)
    inferDs (src/Cryptol/TypeCheck/Infer.hs:831)
    tcPanic (src/Cryptol/TypeCheck/Infer.hs:863)
  46% (  6 / 13) in 'Cryptol.TypeCheck'
  Missing documentation for:
    tcModule (src/Cryptol/TypeCheck.hs:45)
    tcExpr (src/Cryptol/TypeCheck.hs:51)
    tcDecls (src/Cryptol/TypeCheck.hs:96)
    SolverConfig (src/Cryptol/TypeCheck/InferTypes.hs:39)
    Warning (src/Cryptol/TypeCheck/InferTypes.hs:89)
    ppWarning (src/Cryptol/TypeCheck.hs:101)
    ppError (src/Cryptol/TypeCheck.hs:104)
  45% (  9 / 20) in 'Cryptol.ModuleSystem.Env'
  Missing documentation for:
    ModuleEnv (src/Cryptol/ModuleSystem/Env.hs:48)
    CoreLint (src/Cryptol/ModuleSystem/Env.hs:61)
    resetModuleEnv (src/Cryptol/ModuleSystem/Env.hs:65)
    initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:74)
     (src/Cryptol/ModuleSystem/Env.hs:188)
    LoadedModule (src/Cryptol/ModuleSystem/Env.hs:193)
    isLoaded (src/Cryptol/ModuleSystem/Env.hs:200)
    lookupModule (src/Cryptol/ModuleSystem/Env.hs:203)
    addLoadedModule (src/Cryptol/ModuleSystem/Env.hs:206)
    removeLoadedModule (src/Cryptol/ModuleSystem/Env.hs:218)
     (src/Cryptol/ModuleSystem/Env.hs:241)
   8% (  5 / 66) in 'Cryptol.ModuleSystem.Monad'
  Missing documentation for:
    ImportSource (src/Cryptol/ModuleSystem/Monad.hs:45)
     (src/Cryptol/ModuleSystem/Monad.hs:50)
     (src/Cryptol/ModuleSystem/Monad.hs:53)
    importedModule (src/Cryptol/ModuleSystem/Monad.hs:58)
    ModuleError (src/Cryptol/ModuleSystem/Monad.hs:64)
     (src/Cryptol/ModuleSystem/Monad.hs:91)
     (src/Cryptol/ModuleSystem/Monad.hs:108)
    moduleNotFound (src/Cryptol/ModuleSystem/Monad.hs:160)
    cantFindFile (src/Cryptol/ModuleSystem/Monad.hs:163)
    otherIOError (src/Cryptol/ModuleSystem/Monad.hs:166)
    moduleParseError (src/Cryptol/ModuleSystem/Monad.hs:169)
    recursiveModules (src/Cryptol/ModuleSystem/Monad.hs:173)
    renamerErrors (src/Cryptol/ModuleSystem/Monad.hs:176)
    noPatErrors (src/Cryptol/ModuleSystem/Monad.hs:181)
    noIncludeErrors (src/Cryptol/ModuleSystem/Monad.hs:186)
    typeCheckingFailed (src/Cryptol/ModuleSystem/Monad.hs:191)
    moduleNameMismatch (src/Cryptol/ModuleSystem/Monad.hs:196)
    duplicateModuleName (src/Cryptol/ModuleSystem/Monad.hs:200)
    ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:207)
     (src/Cryptol/ModuleSystem/Monad.hs:212)
    warn (src/Cryptol/ModuleSystem/Monad.hs:217)
    typeCheckWarnings (src/Cryptol/ModuleSystem/Monad.hs:220)
    renamerWarnings (src/Cryptol/ModuleSystem/Monad.hs:225)
    RO (src/Cryptol/ModuleSystem/Monad.hs:233)
    emptyRO (src/Cryptol/ModuleSystem/Monad.hs:237)
    ModuleT (src/Cryptol/ModuleSystem/Monad.hs:240)
     (src/Cryptol/ModuleSystem/Monad.hs:245)
     (src/Cryptol/ModuleSystem/Monad.hs:249)
     (src/Cryptol/ModuleSystem/Monad.hs:256)
     (src/Cryptol/ModuleSystem/Monad.hs:265)
     (src/Cryptol/ModuleSystem/Monad.hs:269)
    runModuleT (src/Cryptol/ModuleSystem/Monad.hs:276)
    ModuleM (src/Cryptol/ModuleSystem/Monad.hs:289)
    runModuleM (src/Cryptol/ModuleSystem/Monad.hs:291)
    io (src/Cryptol/ModuleSystem/Monad.hs:297)
    getModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:300)
    setModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:303)
    modifyModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:306)
    isLoaded (src/Cryptol/ModuleSystem/Monad.hs:311)
    loadingImport (src/Cryptol/ModuleSystem/Monad.hs:316)
    loadingModule (src/Cryptol/ModuleSystem/Monad.hs:319)
    loading (src/Cryptol/ModuleSystem/Monad.hs:327)
    getIface (src/Cryptol/ModuleSystem/Monad.hs:346)
    getNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:353)
    getSupply (src/Cryptol/ModuleSystem/Monad.hs:356)
    getMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:359)
    setMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:362)
    setNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:367)
    setSupply (src/Cryptol/ModuleSystem/Monad.hs:372)
    loadedModule (src/Cryptol/ModuleSystem/Monad.hs:383)
    modifyEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:388)
    getEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:393)
    getFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:396)
    setFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:399)
    getSearchPath (src/Cryptol/ModuleSystem/Monad.hs:404)
    getFocusedEnv (src/Cryptol/ModuleSystem/Monad.hs:421)
    getQualifiedEnv (src/Cryptol/ModuleSystem/Monad.hs:424)
    getDynEnv (src/Cryptol/ModuleSystem/Monad.hs:427)
    setDynEnv (src/Cryptol/ModuleSystem/Monad.hs:430)
    setSolver (src/Cryptol/ModuleSystem/Monad.hs:435)
    getSolverConfig (src/Cryptol/ModuleSystem/Monad.hs:440)
 100% (  2 /  2) in 'Cryptol.Prelude'
  63% ( 19 / 30) in 'Cryptol.ModuleSystem.Base'
  Missing documentation for:
    rename (src/Cryptol/ModuleSystem/Base.hs:68)
    parseModule (src/Cryptol/ModuleSystem/Base.hs:101)
    moduleFile (src/Cryptol/ModuleSystem/Base.hs:198)
    TCLinter (src/Cryptol/ModuleSystem/Base.hs:362)
    exprLinter (src/Cryptol/ModuleSystem/Base.hs:369)
    declsLinter (src/Cryptol/ModuleSystem/Base.hs:380)
    moduleLinter (src/Cryptol/ModuleSystem/Base.hs:389)
    TCAction (src/Cryptol/ModuleSystem/Base.hs:398)
    typecheck (src/Cryptol/ModuleSystem/Base.hs:404)
    evalExpr (src/Cryptol/ModuleSystem/Base.hs:453)
    evalDecls (src/Cryptol/ModuleSystem/Base.hs:459)
  52% ( 14 / 27) in 'Cryptol.ModuleSystem'
  Missing documentation for:
    ModuleEnv (src/Cryptol/ModuleSystem/Env.hs:48)
    initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:74)
    ModuleError (src/Cryptol/ModuleSystem/Monad.hs:64)
    ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:207)
    ModuleCmd (src/Cryptol/ModuleSystem.hs:51)
    ModuleRes (src/Cryptol/ModuleSystem.hs:53)
    noPat (src/Cryptol/ModuleSystem.hs:108)
    getPrimMap (src/Cryptol/ModuleSystem.hs:55)
    renameVar (src/Cryptol/ModuleSystem.hs:111)
    renameType (src/Cryptol/ModuleSystem.hs:115)
    IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:45)
    IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:64)
    IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:71)
  32% (  9 / 28) in 'Cryptol.Transform.Specialize'
  Missing documentation for:
    SpecM (src/Cryptol/Transform/Specialize.hs:38)
    runSpecT (src/Cryptol/Transform/Specialize.hs:40)
    liftSpecT (src/Cryptol/Transform/Specialize.hs:43)
    getSpecCache (src/Cryptol/Transform/Specialize.hs:46)
    setSpecCache (src/Cryptol/Transform/Specialize.hs:49)
    modifySpecCache (src/Cryptol/Transform/Specialize.hs:52)
    modify (src/Cryptol/Transform/Specialize.hs:55)
    specializeExpr (src/Cryptol/Transform/Specialize.hs:73)
    specializeMatch (src/Cryptol/Transform/Specialize.hs:106)
    specializeConst (src/Cryptol/Transform/Specialize.hs:173)
    destEProofApps (src/Cryptol/Transform/Specialize.hs:201)
    destETApps (src/Cryptol/Transform/Specialize.hs:207)
    destEProofAbs (src/Cryptol/Transform/Specialize.hs:213)
    destETAbs (src/Cryptol/Transform/Specialize.hs:219)
    instantiateSchema (src/Cryptol/Transform/Specialize.hs:320)
    allDeclGroups (src/Cryptol/Transform/Specialize.hs:337)
    allLoadedModules (src/Cryptol/Transform/Specialize.hs:342)
    allPublicNames (src/Cryptol/Transform/Specialize.hs:347)
    traverseSnd (src/Cryptol/Transform/Specialize.hs:357)
  23% ( 10 / 44) in 'Cryptol.Symbolic'
  Missing documentation for:
    proverConfigs (src/Cryptol/Symbolic.hs:48)
    proverNames (src/Cryptol/Symbolic.hs:60)
    lookupProver (src/Cryptol/Symbolic.hs:63)
    SatResult (src/Cryptol/Symbolic.hs:70)
    SatNum (src/Cryptol/Symbolic.hs:72)
    QueryType (src/Cryptol/Symbolic.hs:75)
    ProverCommand (src/Cryptol/Symbolic.hs:78)
    satSMTResults (src/Cryptol/Symbolic.hs:104)
    allSatSMTResults (src/Cryptol/Symbolic.hs:107)
    thmSMTResults (src/Cryptol/Symbolic.hs:110)
    proverError (src/Cryptol/Symbolic.hs:113)
    satProve (src/Cryptol/Symbolic.hs:116)
    satProveOffline (src/Cryptol/Symbolic.hs:199)
    protectStack (src/Cryptol/Symbolic.hs:219)
    parseValues (src/Cryptol/Symbolic.hs:229)
    parseValue (src/Cryptol/Symbolic.hs:235)
    allDeclGroups (src/Cryptol/Symbolic.hs:252)
    FinType (src/Cryptol/Symbolic.hs:255)
    numType (src/Cryptol/Symbolic.hs:261)
    finType (src/Cryptol/Symbolic.hs:266)
    unFinType (src/Cryptol/Symbolic.hs:275)
    predArgTypes (src/Cryptol/Symbolic.hs:286)
    forallFinType (src/Cryptol/Symbolic.hs:299)
    existsFinType (src/Cryptol/Symbolic.hs:309)
    Env (src/Cryptol/Symbolic.hs:321)
     (src/Cryptol/Symbolic.hs:326)
    evalExpr (src/Cryptol/Symbolic.hs:355)
    evalValType (src/Cryptol/Symbolic.hs:388)
    evalNumType (src/Cryptol/Symbolic.hs:392)
    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:457)
  53% ( 30 / 57) in 'Cryptol.REPL.Monad'
  Missing documentation for:
    io (src/Cryptol/REPL/Monad.hs:258)
    stop (src/Cryptol/REPL/Monad.hs:297)
    catch (src/Cryptol/REPL/Monad.hs:240)
    rethrowEvalError (src/Cryptol/REPL/Monad.hs:243)
    getFocusedEnv (src/Cryptol/REPL/Monad.hs:357)
    getModuleEnv (src/Cryptol/REPL/Monad.hs:426)
    setModuleEnv (src/Cryptol/REPL/Monad.hs:429)
    getDynEnv (src/Cryptol/REPL/Monad.hs:432)
    setDynEnv (src/Cryptol/REPL/Monad.hs:435)
    getTSyns (src/Cryptol/REPL/Monad.hs:394)
    getNewtypes (src/Cryptol/REPL/Monad.hs:399)
    getVars (src/Cryptol/REPL/Monad.hs:389)
    whenDebug (src/Cryptol/REPL/Monad.hs:696)
    LoadedModule (src/Cryptol/REPL/Monad.hs:113)
    getLoadedMod (src/Cryptol/REPL/Monad.hs:281)
    setSearchPath (src/Cryptol/REPL/Monad.hs:284)
    prependSearchPath (src/Cryptol/REPL/Monad.hs:289)
    shouldContinue (src/Cryptol/REPL/Monad.hs:294)
    unlessBatch (src/Cryptol/REPL/Monad.hs:300)
    disableLet (src/Cryptol/REPL/Monad.hs:314)
    enableLet (src/Cryptol/REPL/Monad.hs:317)
    EnvVal (src/Cryptol/REPL/Monad.hs:475)
    OptionDescr (src/Cryptol/REPL/Monad.hs:577)
    userOptions (src/Cryptol/REPL/Monad.hs:590)
    getUserSatNum (src/Cryptol/REPL/Monad.hs:685)
    smokeTest (src/Cryptol/REPL/Monad.hs:703)
    Smoke (src/Cryptol/REPL/Monad.hs:710)
  43% ( 13 / 30) in 'Cryptol.REPL.Command'
  Missing documentation for:
    CommandBody (src/Cryptol/REPL/Command.hs:130)
    moduleCmd (src/Cryptol/REPL/Command.hs:622)
    loadCmd (src/Cryptol/REPL/Command.hs:633)
    loadPrelude (src/Cryptol/REPL/Command.hs:630)
    setOptionCmd (src/Cryptol/REPL/Command.hs:714)
    interactiveConfig (src/Cryptol/REPL/Command.hs:824)
    replParseExpr (src/Cryptol/REPL/Command.hs:821)
    replEvalExpr (src/Cryptol/REPL/Command.hs:888)
    replCheckExpr (src/Cryptol/REPL/Command.hs:864)
    QCMode (src/Cryptol/REPL/Command.hs:260)
    satCmd (src/Cryptol/REPL/Command.hs:380)
    proveCmd (src/Cryptol/REPL/Command.hs:380)
    onlineProveSat (src/Cryptol/REPL/Command.hs:463)
    offlineProveSat (src/Cryptol/REPL/Command.hs:483)
    handleCtrlC (src/Cryptol/REPL/Command.hs:790)
    liftModuleCmd (src/Cryptol/REPL/Command.hs:830)
    moduleCmdResult (src/Cryptol/REPL/Command.hs:833)
Warning: Cryptol.Parser.Unlit: could not find link destinations for:
    markdown latex
Warning: Cryptol.Parser.Lexer: could not find link destinations for:
    TokenOp
Warning: Cryptol.TypeCheck.Sanity: could not find link destinations for:
    Same
Warning: Cryptol.TypeCheck.Solver.Numeric.Simplify1: could not find link destinations for:
    I
Warning: Cryptol.TypeCheck.Solver.Numeric.Simplify: could not find link destinations for:
    cryRearrangeAnd cryRearrangeOr
Warning: Cryptol.TypeCheck.Solver.CrySAT: could not find link destinations for:
    SimpProp HasProp
Warning: Cryptol.Parser.NoInclude: could not find link destinations for:
    NoIncM
Warning: Cryptol.ModuleSystem.Renamer: could not find link destinations for:
    TOp
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.4.0...
Creating package registration file:
/tmp/pkgConf-cryptol-2.41519845371753753683.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/cryptol-2.4.0-AtabUoGsZJn8kSvO8P84NP
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.4.0...
cabal: Leaving directory '/tmp/cabal-tmp-28182/cryptol-2.4.0'
Installed cryptol-2.4.0