Build #4 for copilot-language-2.2.0
| Package | copilot-language-2.2.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-12-12 12:00:47.329505 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | mtl-2.2.1, ghc-prim-0.4.0.0, data-reify-0.6.1, copilot-theorem-2.2.0, copilot-core-2.2.0, containers-0.5.6.2, base-4.8.1.0, array-0.5.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Building ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
[1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o )
[2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o )
[3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o )
In-place registering ansi-terminal-0.6.2.3...
Running Haddock for ansi-terminal-0.6.2.3...
Running hscolour for ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
Preprocessing library ansi-terminal-0.6.2.3...
Haddock coverage:
88% ( 7 / 8) in 'System.Console.ANSI.Common'
Missing documentation for:
Module header
38% ( 30 / 79) in 'System.Console.ANSI.Unix'
Missing documentation for:
Module header
cursorUp (includes/Common-Include.hs:9)
cursorDown (includes/Common-Include.hs:9)
cursorForward (includes/Common-Include.hs:9)
cursorBackward (includes/Common-Include.hs:9)
hCursorUp (includes/Common-Include.hs:6)
hCursorDown (includes/Common-Include.hs:6)
hCursorForward (includes/Common-Include.hs:6)
hCursorBackward (includes/Common-Include.hs:6)
cursorUpCode (includes/Common-Include.hs:11)
cursorDownCode (includes/Common-Include.hs:11)
cursorForwardCode (includes/Common-Include.hs:11)
cursorBackwardCode (includes/Common-Include.hs:11)
cursorUpLine (includes/Common-Include.hs:23)
cursorDownLine (includes/Common-Include.hs:23)
hCursorUpLine (includes/Common-Include.hs:20)
hCursorDownLine (includes/Common-Include.hs:20)
cursorUpLineCode (includes/Common-Include.hs:25)
cursorDownLineCode (includes/Common-Include.hs:25)
setCursorColumn (includes/Common-Include.hs:35)
hSetCursorColumn (includes/Common-Include.hs:32)
setCursorColumnCode (includes/Common-Include.hs:37)
setCursorPosition (includes/Common-Include.hs:47)
hSetCursorPosition (includes/Common-Include.hs:43)
setCursorPositionCode (includes/Common-Include.hs:50)
clearFromCursorToScreenEnd (includes/Common-Include.hs:59)
clearFromCursorToScreenBeginning (includes/Common-Include.hs:59)
clearScreen (includes/Common-Include.hs:59)
hClearFromCursorToScreenEnd (includes/Common-Include.hs:57)
hClearFromCursorToScreenBeginning (includes/Common-Include.hs:57)
hClearScreen (includes/Common-Include.hs:57)
clearFromCursorToScreenEndCode (includes/Common-Include.hs:60)
clearFromCursorToScreenBeginningCode (includes/Common-Include.hs:60)
clearScreenCode (includes/Common-Include.hs:60)
clearFromCursorToLineEnd (includes/Common-Include.hs:69)
clearFromCursorToLineBeginning (includes/Common-Include.hs:69)
clearLine (includes/Common-Include.hs:69)
hClearFromCursorToLineEnd (includes/Common-Include.hs:67)
hClearFromCursorToLineBeginning (includes/Common-Include.hs:67)
hClearLine (includes/Common-Include.hs:67)
clearFromCursorToLineEndCode (includes/Common-Include.hs:70)
clearFromCursorToLineBeginningCode (includes/Common-Include.hs:70)
clearLineCode (includes/Common-Include.hs:70)
hideCursor (includes/Common-Include.hs:114)
showCursor (includes/Common-Include.hs:114)
hHideCursor (includes/Common-Include.hs:112)
hShowCursor (includes/Common-Include.hs:112)
hideCursorCode (includes/Common-Include.hs:115)
showCursorCode (includes/Common-Include.hs:115)
39% ( 31 / 79) in 'System.Console.ANSI'
Missing documentation for:
cursorUp (includes/Common-Include.hs:9)
cursorDown (includes/Common-Include.hs:9)
cursorForward (includes/Common-Include.hs:9)
cursorBackward (includes/Common-Include.hs:9)
hCursorUp (includes/Common-Include.hs:6)
hCursorDown (includes/Common-Include.hs:6)
hCursorForward (includes/Common-Include.hs:6)
hCursorBackward (includes/Common-Include.hs:6)
cursorUpCode (includes/Common-Include.hs:11)
cursorDownCode (includes/Common-Include.hs:11)
cursorForwardCode (includes/Common-Include.hs:11)
cursorBackwardCode (includes/Common-Include.hs:11)
cursorUpLine (includes/Common-Include.hs:23)
cursorDownLine (includes/Common-Include.hs:23)
hCursorUpLine (includes/Common-Include.hs:20)
hCursorDownLine (includes/Common-Include.hs:20)
cursorUpLineCode (includes/Common-Include.hs:25)
cursorDownLineCode (includes/Common-Include.hs:25)
setCursorColumn (includes/Common-Include.hs:35)
hSetCursorColumn (includes/Common-Include.hs:32)
setCursorColumnCode (includes/Common-Include.hs:37)
setCursorPosition (includes/Common-Include.hs:47)
hSetCursorPosition (includes/Common-Include.hs:43)
setCursorPositionCode (includes/Common-Include.hs:50)
clearFromCursorToScreenEnd (includes/Common-Include.hs:59)
clearFromCursorToScreenBeginning (includes/Common-Include.hs:59)
clearScreen (includes/Common-Include.hs:59)
hClearFromCursorToScreenEnd (includes/Common-Include.hs:57)
hClearFromCursorToScreenBeginning (includes/Common-Include.hs:57)
hClearScreen (includes/Common-Include.hs:57)
clearFromCursorToScreenEndCode (includes/Common-Include.hs:60)
clearFromCursorToScreenBeginningCode (includes/Common-Include.hs:60)
clearScreenCode (includes/Common-Include.hs:60)
clearFromCursorToLineEnd (includes/Common-Include.hs:69)
clearFromCursorToLineBeginning (includes/Common-Include.hs:69)
clearLine (includes/Common-Include.hs:69)
hClearFromCursorToLineEnd (includes/Common-Include.hs:67)
hClearFromCursorToLineBeginning (includes/Common-Include.hs:67)
hClearLine (includes/Common-Include.hs:67)
clearFromCursorToLineEndCode (includes/Common-Include.hs:70)
clearFromCursorToLineBeginningCode (includes/Common-Include.hs:70)
clearLineCode (includes/Common-Include.hs:70)
hideCursor (includes/Common-Include.hs:114)
showCursor (includes/Common-Include.hs:114)
hHideCursor (includes/Common-Include.hs:112)
hShowCursor (includes/Common-Include.hs:112)
hideCursorCode (includes/Common-Include.hs:115)
showCursorCode (includes/Common-Include.hs:115)
Documentation created: dist/doc/html/ansi-terminal/index.html,
dist/doc/html/ansi-terminal/ansi-terminal.txt
Creating package registration file:
/tmp/pkgConf-ansi-terminal-0.6.2278722862233665123.3
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/ansi-terminal-0.6.2.3-KW0LUY2zB7JCYzE4ZYrwBg
Registering ansi-terminal-0.6.2.3...
Installed ansi-terminal-0.6.2.3
Configuring data-default-class-0.0.1...
Building data-default-class-0.0.1...
Preprocessing library data-default-class-0.0.1...
[1 of 1] Compiling Data.Default.Class ( Data/Default/Class.hs, dist/build/Data/Default/Class.o )
In-place registering data-default-class-0.0.1...
Running Haddock for data-default-class-0.0.1...
Running hscolour for data-default-class-0.0.1...
Preprocessing library data-default-class-0.0.1...
Preprocessing library data-default-class-0.0.1...
Haddock coverage:
67% ( 2 / 3) in 'Data.Default.Class'
Missing documentation for:
Module header
Documentation created: dist/doc/html/data-default-class/index.html,
dist/doc/html/data-default-class/data-default-class.txt
Creating package registration file:
/tmp/pkgConf-data-default-class-0.020406514341975960378.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-class-0.0.1-CgDdtafiXY68XlqDb5IqXw
Registering data-default-class-0.0.1...
Installed data-default-class-0.0.1
Configuring data-fix-0.0.1...
Building data-fix-0.0.1...
Preprocessing library data-fix-0.0.1...
[1 of 1] Compiling Data.Fix ( src/Data/Fix.hs, dist/build/Data/Fix.o )
src/Data/Fix.hs:54:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Fix.hs:55:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
In-place registering data-fix-0.0.1...
Running Haddock for data-fix-0.0.1...
Running hscolour for data-fix-0.0.1...
Preprocessing library data-fix-0.0.1...
Preprocessing library data-fix-0.0.1...
src/Data/Fix.hs:54:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Data/Fix.hs:55:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
Haddock coverage:
100% ( 13 / 13) in 'Data.Fix'
Documentation created: dist/doc/html/data-fix/index.html,
dist/doc/html/data-fix/data-fix.txt
Creating package registration file:
/tmp/pkgConf-data-fix-0.01911165193269441500.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-fix-0.0.1-GhTul9iTDeL9BO8WrOB7aD
Registering data-fix-0.0.1...
Installed data-fix-0.0.1
Configuring data-reify-0.6.1...
Building data-reify-0.6.1...
Preprocessing library data-reify-0.6.1...
[1 of 2] Compiling Data.Reify.Graph ( Data/Reify/Graph.hs, dist/build/Data/Reify/Graph.o )
[2 of 2] Compiling Data.Reify ( Data/Reify.hs, dist/build/Data/Reify.o )
In-place registering data-reify-0.6.1...
Running Haddock for data-reify-0.6.1...
Running hscolour for data-reify-0.6.1...
Preprocessing library data-reify-0.6.1...
Preprocessing library data-reify-0.6.1...
Haddock coverage:
67% ( 2 / 3) in 'Data.Reify.Graph'
Missing documentation for:
Unique (Data/Reify/Graph.hs:29)
75% ( 3 / 4) in 'Data.Reify'
Missing documentation for:
Module header
Documentation created: dist/doc/html/data-reify/index.html,
dist/doc/html/data-reify/data-reify.txt
Creating package registration file:
/tmp/pkgConf-data-reify-0.62027907669968338082.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-reify-0.6.1-5PucEMr7ybPFccsdiEyS4d
Registering data-reify-0.6.1...
Installed data-reify-0.6.1
Configuring dlist-0.7.1.2...
Building dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
[1 of 1] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.7.1.2...
Running Haddock for dlist-0.7.1.2...
Running hscolour for dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
Preprocessing library dlist-0.7.1.2...
Haddock coverage:
100% ( 20 / 20) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html,
dist/doc/html/dlist/dlist.txt
Creating package registration file:
/tmp/pkgConf-dlist-0.7.110697559361237379107.2
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/dlist-0.7.1.2-7AixcwRWCwX32HiPCcE7zz
Registering dlist-0.7.1.2...
Installed dlist-0.7.1.2
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.22114937732726371155.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
[1 of 1] Compiling System.Locale ( System/Locale.hs, dist/build/System/Locale.o )
In-place registering old-locale-1.0.0.7...
Running Haddock for old-locale-1.0.0.7...
Running hscolour for old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Preprocessing library old-locale-1.0.0.7...
Haddock coverage:
60% ( 3 / 5) in 'System.Locale'
Missing documentation for:
TimeLocale (System/Locale.hs:36)
defaultTimeLocale (System/Locale.hs:49)
Documentation created: dist/doc/html/old-locale/index.html,
dist/doc/html/old-locale/old-locale.txt
Creating package registration file:
/tmp/pkgConf-old-locale-1.0.04315301261421186593.7
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/old-locale-1.0.0.7-D6X1KPq5Sui5XjrHMwvFwK
Registering old-locale-1.0.0.7...
Installed old-locale-1.0.0.7
Configuring pretty-ncols-0.1...
Building pretty-ncols-0.1...
Preprocessing library pretty-ncols-0.1...
[1 of 1] Compiling Text.PrettyPrint.NCol ( Text/PrettyPrint/NCol.hs, dist/build/Text/PrettyPrint/NCol.o )
In-place registering pretty-ncols-0.1...
Running Haddock for pretty-ncols-0.1...
Running hscolour for pretty-ncols-0.1...
Preprocessing library pretty-ncols-0.1...
Preprocessing library pretty-ncols-0.1...
Haddock coverage:
0% ( 0 / 3) in 'Text.PrettyPrint.NCol'
Missing documentation for:
Module header
asColumns (Text/PrettyPrint/NCol.hs:8)
asColumnsWithBuff (Text/PrettyPrint/NCol.hs:11)
Documentation created: dist/doc/html/pretty-ncols/index.html,
dist/doc/html/pretty-ncols/pretty-ncols.txt
Creating package registration file:
/tmp/pkgConf-pretty-ncols-018305390361290127955.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/pretty-ncols-0.1-5hGZht8sh8o819mal0sQwZ
Registering pretty-ncols-0.1...
Installed pretty-ncols-0.1
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
[ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o )
[ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o )
[ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o )
[ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o )
Control/Monad/Primitive.hs:41:1: Warning:
Module ‘Control.Monad.Trans.Error’ is deprecated:
Use Control.Monad.Trans.Except instead
Control/Monad/Primitive.hs:100:11: Warning:
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:100:47: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:101:19: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
[ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o )
[ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o )
[ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o )
[ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o )
[ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o )
[10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o )
In-place registering primitive-0.6.1.0...
Running Haddock for primitive-0.6.1.0...
Running hscolour for primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Preprocessing library primitive-0.6.1.0...
Control/Monad/Primitive.hs:41:1: Warning:
Module ‘Control.Monad.Trans.Error’ is deprecated:
Use Control.Monad.Trans.Except instead
Control/Monad/Primitive.hs:100:11: Warning:
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:100:47: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Primitive.hs:101:19: Warning:
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
100% ( 3 / 3) in 'Data.Primitive.Internal.Compat'
3% ( 1 / 35) in 'Data.Primitive.MachDeps'
Missing documentation for:
sIZEOF_CHAR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_CHAR (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD (Data/Primitive/MachDeps.hs:19)
sIZEOF_DOUBLE (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_DOUBLE (Data/Primitive/MachDeps.hs:19)
sIZEOF_FLOAT (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_FLOAT (Data/Primitive/MachDeps.hs:19)
sIZEOF_PTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_PTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_FUNPTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_FUNPTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_STABLEPTR (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_STABLEPTR (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT8 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT8 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD8 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD8 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT16 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT16 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD16 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD16 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT32 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT32 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD32 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD32 (Data/Primitive/MachDeps.hs:19)
sIZEOF_INT64 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_INT64 (Data/Primitive/MachDeps.hs:19)
sIZEOF_WORD64 (Data/Primitive/MachDeps.hs:19)
aLIGNMENT_WORD64 (Data/Primitive/MachDeps.hs:19)
Word64_# (Data/Primitive/MachDeps.hs:120)
Int64_# (Data/Primitive/MachDeps.hs:121)
3% ( 1 / 29) in 'Data.Primitive.Internal.Operations'
Missing documentation for:
setWord8Array# (Data/Primitive/Internal/Operations.hs:33)
setWord16Array# (Data/Primitive/Internal/Operations.hs:35)
setWord32Array# (Data/Primitive/Internal/Operations.hs:37)
setWord64Array# (Data/Primitive/Internal/Operations.hs:39)
setWordArray# (Data/Primitive/Internal/Operations.hs:41)
setInt8Array# (Data/Primitive/Internal/Operations.hs:43)
setInt16Array# (Data/Primitive/Internal/Operations.hs:45)
setInt32Array# (Data/Primitive/Internal/Operations.hs:47)
setInt64Array# (Data/Primitive/Internal/Operations.hs:49)
setIntArray# (Data/Primitive/Internal/Operations.hs:51)
setAddrArray# (Data/Primitive/Internal/Operations.hs:53)
setFloatArray# (Data/Primitive/Internal/Operations.hs:55)
setDoubleArray# (Data/Primitive/Internal/Operations.hs:57)
setWideCharArray# (Data/Primitive/Internal/Operations.hs:59)
setWord8OffAddr# (Data/Primitive/Internal/Operations.hs:62)
setWord16OffAddr# (Data/Primitive/Internal/Operations.hs:64)
setWord32OffAddr# (Data/Primitive/Internal/Operations.hs:66)
setWord64OffAddr# (Data/Primitive/Internal/Operations.hs:68)
setWordOffAddr# (Data/Primitive/Internal/Operations.hs:70)
setInt8OffAddr# (Data/Primitive/Internal/Operations.hs:72)
setInt16OffAddr# (Data/Primitive/Internal/Operations.hs:74)
setInt32OffAddr# (Data/Primitive/Internal/Operations.hs:76)
setInt64OffAddr# (Data/Primitive/Internal/Operations.hs:78)
setIntOffAddr# (Data/Primitive/Internal/Operations.hs:80)
setAddrOffAddr# (Data/Primitive/Internal/Operations.hs:82)
setFloatOffAddr# (Data/Primitive/Internal/Operations.hs:84)
setDoubleOffAddr# (Data/Primitive/Internal/Operations.hs:86)
setWideCharOffAddr# (Data/Primitive/Internal/Operations.hs:88)
75% ( 12 / 16) in 'Control.Monad.Primitive'
Missing documentation for:
unsafeInlinePrim (Control/Monad/Primitive.hs:189)
unsafeInlineIO (Control/Monad/Primitive.hs:193)
unsafeInlineST (Control/Monad/Primitive.hs:197)
touch (Control/Monad/Primitive.hs:201)
100% ( 3 / 3) in 'Data.Primitive.Types'
100% ( 15 / 15) in 'Data.Primitive.Array'
93% ( 27 / 29) in 'Data.Primitive.ByteArray'
Missing documentation for:
ByteArray#
MutableByteArray#
100% ( 16 / 16) in 'Data.Primitive.Addr'
100% ( 7 / 7) in 'Data.Primitive'
100% ( 9 / 9) in 'Data.Primitive.MutVar'
Documentation created: dist/doc/html/primitive/index.html,
dist/doc/html/primitive/primitive.txt
Creating package registration file:
/tmp/pkgConf-primitive-0.6.17334509071487053959.0
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/primitive-0.6.1.0-5Jnw7oEuYtM9dmKXelGXVb
Registering primitive-0.6.1.0...
Installed primitive-0.6.1.0
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
System/Random.hs:43:1: Warning: Tab character
System/Random.hs:45:1: Warning: Tab character
System/Random.hs:47:1: Warning: Tab character
System/Random.hs:53:1: Warning: Tab character
System/Random.hs:55:1: Warning: Tab character
System/Random.hs:56:1: Warning: Tab character
System/Random.hs:57:1: Warning: Tab character
System/Random.hs:59:1: Warning: Tab character
System/Random.hs:61:1: Warning: Tab character
System/Random.hs:63:1: Warning: Tab character
System/Random.hs:64:1: Warning: Tab character
System/Random.hs:65:1: Warning: Tab character
System/Random.hs:66:1: Warning: Tab character
System/Random.hs:68:1: Warning: Tab character
System/Random.hs:69:1: Warning: Tab character
System/Random.hs:70:1: Warning: Tab character
System/Random.hs:71:1: Warning: Tab character
System/Random.hs:73:1: Warning: Tab character
System/Random.hs:74:1: Warning: Tab character
System/Random.hs:76:1: Warning: Tab character
System/Random.hs:90:22: Warning: Tab character
System/Random.hs:91:17: Warning: Tab character
System/Random.hs:94:17: Warning: Tab character
System/Random.hs:102:15: Warning: Tab character
System/Random.hs:240:1: Warning: Tab character
System/Random.hs:241:1: Warning: Tab character
System/Random.hs:249:1: Warning: Tab character
System/Random.hs:269:1: Warning: Tab character
System/Random.hs:270:1: Warning: Tab character
System/Random.hs:271:1: Warning: Tab character
System/Random.hs:272:1: Warning: Tab character
System/Random.hs:273:1: Warning: Tab character
System/Random.hs:326:11: Warning: Tab character
System/Random.hs:343:11: Warning: Tab character
System/Random.hs:384:11: Warning: Tab character
System/Random.hs:395:1: Warning: Tab character
System/Random.hs:396:1: Warning: Tab character
System/Random.hs:396:20: Warning: Tab character
System/Random.hs:397:1: Warning: Tab character
System/Random.hs:397:20: Warning: Tab character
System/Random.hs:399:11: Warning: Tab character
System/Random.hs:406:1: Warning: Tab character
System/Random.hs:415:1: Warning: Tab character
System/Random.hs:428:1: Warning: Tab character
System/Random.hs:429:1: Warning: Tab character
System/Random.hs:430:1: Warning: Tab character
System/Random.hs:440:3: Warning: Tab character
System/Random.hs:502:1: Warning: Tab character
System/Random.hs:503:1: Warning: Tab character
System/Random.hs:504:1: Warning: Tab character
System/Random.hs:506:1: Warning: Tab character
System/Random.hs:507:1: Warning: Tab character
System/Random.hs:508:1: Warning: Tab character
System/Random.hs:519:1: Warning: Tab character
System/Random.hs:519:14: Warning: Tab character
System/Random.hs:520:1: Warning: Tab character
System/Random.hs:522:1: Warning: Tab character
System/Random.hs:523:1: Warning: Tab character
System/Random.hs:524:1: Warning: Tab character
System/Random.hs:526:1: Warning: Tab character
System/Random.hs:527:1: Warning: Tab character
System/Random.hs:528:1: Warning: Tab character
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
System/Random.hs:43:1: Warning: Tab character
System/Random.hs:45:1: Warning: Tab character
System/Random.hs:47:1: Warning: Tab character
System/Random.hs:53:1: Warning: Tab character
System/Random.hs:55:1: Warning: Tab character
System/Random.hs:56:1: Warning: Tab character
System/Random.hs:57:1: Warning: Tab character
System/Random.hs:59:1: Warning: Tab character
System/Random.hs:61:1: Warning: Tab character
System/Random.hs:63:1: Warning: Tab character
System/Random.hs:64:1: Warning: Tab character
System/Random.hs:65:1: Warning: Tab character
System/Random.hs:66:1: Warning: Tab character
System/Random.hs:68:1: Warning: Tab character
System/Random.hs:69:1: Warning: Tab character
System/Random.hs:70:1: Warning: Tab character
System/Random.hs:71:1: Warning: Tab character
System/Random.hs:73:1: Warning: Tab character
System/Random.hs:74:1: Warning: Tab character
System/Random.hs:76:1: Warning: Tab character
System/Random.hs:90:22: Warning: Tab character
System/Random.hs:91:17: Warning: Tab character
System/Random.hs:94:17: Warning: Tab character
System/Random.hs:102:15: Warning: Tab character
System/Random.hs:240:1: Warning: Tab character
System/Random.hs:241:1: Warning: Tab character
System/Random.hs:249:1: Warning: Tab character
System/Random.hs:269:1: Warning: Tab character
System/Random.hs:270:1: Warning: Tab character
System/Random.hs:271:1: Warning: Tab character
System/Random.hs:272:1: Warning: Tab character
System/Random.hs:273:1: Warning: Tab character
System/Random.hs:326:11: Warning: Tab character
System/Random.hs:343:11: Warning: Tab character
System/Random.hs:384:11: Warning: Tab character
System/Random.hs:395:1: Warning: Tab character
System/Random.hs:396:1: Warning: Tab character
System/Random.hs:396:20: Warning: Tab character
System/Random.hs:397:1: Warning: Tab character
System/Random.hs:397:20: Warning: Tab character
System/Random.hs:399:11: Warning: Tab character
System/Random.hs:406:1: Warning: Tab character
System/Random.hs:415:1: Warning: Tab character
System/Random.hs:428:1: Warning: Tab character
System/Random.hs:429:1: Warning: Tab character
System/Random.hs:430:1: Warning: Tab character
System/Random.hs:440:3: Warning: Tab character
System/Random.hs:502:1: Warning: Tab character
System/Random.hs:503:1: Warning: Tab character
System/Random.hs:504:1: Warning: Tab character
System/Random.hs:506:1: Warning: Tab character
System/Random.hs:507:1: Warning: Tab character
System/Random.hs:508:1: Warning: Tab character
System/Random.hs:519:1: Warning: Tab character
System/Random.hs:519:14: Warning: Tab character
System/Random.hs:520:1: Warning: Tab character
System/Random.hs:522:1: Warning: Tab character
System/Random.hs:523:1: Warning: Tab character
System/Random.hs:524:1: Warning: Tab character
System/Random.hs:526:1: Warning: Tab character
System/Random.hs:527:1: Warning: Tab character
System/Random.hs:528:1: Warning: Tab character
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file:
/tmp/pkgConf-random-116094169311031126087.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/random-1.1-1z8Ujelqc6aKgvPnbRUKkP
Registering random-1.1...
Installed random-1.1
Configuring stm-2.4.4...
Building stm-2.4.4...
Preprocessing library stm-2.4.4...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
In-place registering stm-2.4.4...
Running Haddock for stm-2.4.4...
Running hscolour for stm-2.4.4...
Preprocessing library stm-2.4.4...
Preprocessing library stm-2.4.4...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
Missing documentation for:
Module header
STM (Control/Sequential/STM.hs:29)
atomically (Control/Sequential/STM.hs:47)
throwSTM (Control/Sequential/STM.hs:54)
catchSTM (Control/Sequential/STM.hs:57)
TVar (Control/Sequential/STM.hs:72)
newTVar (Control/Sequential/STM.hs:75)
newTVarIO (Control/Sequential/STM.hs:78)
readTVar (Control/Sequential/STM.hs:83)
readTVarIO (Control/Sequential/STM.hs:86)
writeTVar (Control/Sequential/STM.hs:89)
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
90% ( 9 / 10) in 'Control.Monad.STM'
Missing documentation for:
check (Control/Monad/STM.hs:81)
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Missing documentation for:
newTSem (Control/Concurrent/STM/TSem.hs:42)
waitTSem (Control/Concurrent/STM/TSem.hs:45)
signalTSem (Control/Concurrent/STM/TSem.hs:51)
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.414669424911688323172.4
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/stm-2.4.4-C1kFMnPqFjvDhFjgMZGUpr
Registering stm-2.4.4...
Installed stm-2.4.4
Configuring tagged-0.8.2...
Building tagged-0.8.2...
Preprocessing library tagged-0.8.2...
[1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o )
[2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o )
In-place registering tagged-0.8.2...
Running Haddock for tagged-0.8.2...
Running hscolour for tagged-0.8.2...
Preprocessing library tagged-0.8.2...
Preprocessing library tagged-0.8.2...
Haddock coverage:
67% ( 2 / 3) in 'Data.Proxy.TH'
Missing documentation for:
Module header
93% ( 14 / 15) in 'Data.Tagged'
Missing documentation for:
witness (src/Data/Tagged.hs:308)
Documentation created: dist/doc/html/tagged/index.html,
dist/doc/html/tagged/tagged.txt
Creating package registration file:
/tmp/pkgConf-tagged-0.81124734562530406424.2
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagged-0.8.2-4zanMqQLQHpBO0ZYm7KGkc
Registering tagged-0.8.2...
Installed tagged-0.8.2
Configuring text-1.2.1.3...
Building text-1.2.1.3...
Preprocessing library text-1.2.1.3...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
In-place registering text-1.2.1.3...
Running Haddock for text-1.2.1.3...
Running hscolour for text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
Missing documentation for:
IReader (Data/Text/Internal/Read.hs:26)
IParser (Data/Text/Internal/Read.hs:28)
T (Data/Text/Internal/Read.hs:48)
digitToInt (Data/Text/Internal/Read.hs:61)
hexDigitToInt (Data/Text/Internal/Read.hs:55)
perhaps (Data/Text/Internal/Read.hs:50)
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
Missing documentation for:
validate (Data/Text/Internal/Encoding/Utf32.hs:24)
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
Missing documentation for:
roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17)
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
Missing documentation for:
Module header
digits (Data/Text/Internal/Builder/Int/Digits.hs:21)
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
Missing documentation for:
chr2 (Data/Text/Internal/Encoding/Utf16.hs:29)
validate1 (Data/Text/Internal/Encoding/Utf16.hs:38)
validate2 (Data/Text/Internal/Encoding/Utf16.hs:42)
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
Missing documentation for:
ord (Data/Text/Internal/Unsafe/Char.hs:39)
unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43)
unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47)
unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51)
95% ( 19 / 20) in 'Data.Text.Internal'
Missing documentation for:
textP (Data/Text/Internal.hs:97)
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
Missing documentation for:
Size (Data/Text/Internal/Fusion/Size.hs:40)
exactly (Data/Text/Internal/Fusion/Size.hs:44)
exactSize (Data/Text/Internal/Fusion/Size.hs:49)
maxSize (Data/Text/Internal/Fusion/Size.hs:57)
betweenSize (Data/Text/Internal/Fusion/Size.hs:65)
unknownSize (Data/Text/Internal/Fusion/Size.hs:74)
compareSize (Data/Text/Internal/Fusion/Size.hs:143)
isEmpty (Data/Text/Internal/Fusion/Size.hs:151)
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
Missing documentation for:
Module header
upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13)
lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220)
titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225)
foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324)
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
Missing documentation for:
singleton (Data/Text/Internal/Fusion/Common.hs:119)
streamList (Data/Text/Internal/Fusion/Common.hs:125)
unstreamList (Data/Text/Internal/Fusion/Common.hs:131)
intercalate (Data/Text/Internal/Fusion/Common.hs:577)
justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479)
scanl (Data/Text/Internal/Fusion/Common.hs:656)
replicateCharI (Data/Text/Internal/Fusion/Common.hs:671)
replicateI (Data/Text/Internal/Fusion/Common.hs:682)
93% ( 13 / 14) in 'Data.Text.Unsafe'
Missing documentation for:
Iter (Data/Text/Unsafe.hs:62)
33% ( 1 / 3) in 'Data.Text.Internal.Private'
Missing documentation for:
runText (Data/Text/Internal/Private.hs:33)
span_ (Data/Text/Internal/Private.hs:23)
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
length (Data/Text/Internal/Fusion.hs:127)
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
Missing documentation for:
restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63)
restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39)
restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106)
restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87)
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
Missing documentation for:
ord2 (Data/Text/Internal/Encoding/Utf8.hs:58)
ord3 (Data/Text/Internal/Encoding/Utf8.hs:69)
ord4 (Data/Text/Internal/Encoding/Utf8.hs:81)
chr2 (Data/Text/Internal/Encoding/Utf8.hs:94)
chr3 (Data/Text/Internal/Encoding/Utf8.hs:103)
chr4 (Data/Text/Internal/Encoding/Utf8.hs:114)
validate1 (Data/Text/Internal/Encoding/Utf8.hs:128)
validate2 (Data/Text/Internal/Encoding/Utf8.hs:132)
validate3 (Data/Text/Internal/Encoding/Utf8.hs:136)
validate4 (Data/Text/Internal/Encoding/Utf8.hs:153)
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
Missing documentation for:
streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57)
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (126 /126) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
Missing documentation for:
encodeUtf8 (Data/Text/Lazy/Encoding.hs:148)
encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162)
encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167)
99% (127 /128) in 'Data.Text.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
Missing documentation for:
append' (Data/Text/Internal/Builder.hs:288)
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
Missing documentation for:
Module header
decimal (Data/Text/Lazy/Builder/Int.hs:52)
hexadecimal (Data/Text/Lazy/Builder/Int.hs:162)
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
Missing documentation for:
formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46)
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
bracket
Warning: Data.Text: could not find link destinations for:
replicateChar countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
replicateChar dropWords splitAtWord countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
empty append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file:
/tmp/pkgConf-text-1.2.16571031241386510139.3
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.1.3-1l1AN4I48k37RaQ6fm6CEh
Registering text-1.2.1.3...
Installed text-1.2.1.3
Configuring transformers-compat-0.4.0.4...
Building transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
[1 of 1] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o )
In-place registering transformers-compat-0.4.0.4...
Running Haddock for transformers-compat-0.4.0.4...
Running hscolour for transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
Haddock coverage:
0% ( 0 / 8) in 'Paths_transformers_compat'
Missing documentation for:
Module header
version (dist/build/autogen/Paths_transformers_compat.hs:15)
getBinDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getLibDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getDataDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getLibexecDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getDataFileName (dist/build/autogen/Paths_transformers_compat.hs:32)
getSysconfDir (dist/build/autogen/Paths_transformers_compat.hs:25)
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.4.01346941484628257755.4
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/transformers-compat-0.4.0.4-DCQioW2d4vYEa3T0AmFBPv
Registering transformers-compat-0.4.0.4...
Installed transformers-compat-0.4.0.4
Configuring data-default-instances-base-0.0.1...
Building data-default-instances-base-0.0.1...
Preprocessing library data-default-instances-base-0.0.1...
[1 of 1] Compiling Data.Default.Instances.Base ( Data/Default/Instances/Base.hs, dist/build/Data/Default/Instances/Base.o )
In-place registering data-default-instances-base-0.0.1...
Running Haddock for data-default-instances-base-0.0.1...
Running hscolour for data-default-instances-base-0.0.1...
Preprocessing library data-default-instances-base-0.0.1...
Preprocessing library data-default-instances-base-0.0.1...
Haddock coverage:
50% ( 1 / 2) in 'Data.Default.Instances.Base'
Missing documentation for:
Module header
Documentation created: dist/doc/html/data-default-instances-base/index.html,
dist/doc/html/data-default-instances-base/data-default-instances-base.txt
Creating package registration file:
/tmp/pkgConf-data-default-instances-base-0.016672507321788986238.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-base-0.0.1-6bNp7ygtVUW3TbxeJU4Irf
Registering data-default-instances-base-0.0.1...
Installed data-default-instances-base-0.0.1
Configuring data-default-instances-containers-0.0.1...
Building data-default-instances-containers-0.0.1...
Preprocessing library data-default-instances-containers-0.0.1...
[1 of 1] Compiling Data.Default.Instances.Containers ( Data/Default/Instances/Containers.hs, dist/build/Data/Default/Instances/Containers.o )
In-place registering data-default-instances-containers-0.0.1...
Running Haddock for data-default-instances-containers-0.0.1...
Running hscolour for data-default-instances-containers-0.0.1...
Preprocessing library data-default-instances-containers-0.0.1...
Preprocessing library data-default-instances-containers-0.0.1...
Haddock coverage:
50% ( 1 / 2) in 'Data.Default.Instances.Containers'
Missing documentation for:
Module header
Documentation created:
dist/doc/html/data-default-instances-containers/index.html,
dist/doc/html/data-default-instances-containers/data-default-instances-containers.txt
Creating package registration file:
/tmp/pkgConf-data-default-instances-containers-0.01470796522110341087.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-containers-0.0.1-2eq6fuwf8Tk14CtKGZXhB5
Registering data-default-instances-containers-0.0.1...
Installed data-default-instances-containers-0.0.1
Configuring data-default-instances-dlist-0.0.1...
Building data-default-instances-dlist-0.0.1...
Preprocessing library data-default-instances-dlist-0.0.1...
[1 of 1] Compiling Data.Default.Instances.DList ( Data/Default/Instances/DList.hs, dist/build/Data/Default/Instances/DList.o )
In-place registering data-default-instances-dlist-0.0.1...
Running Haddock for data-default-instances-dlist-0.0.1...
Running hscolour for data-default-instances-dlist-0.0.1...
Preprocessing library data-default-instances-dlist-0.0.1...
Preprocessing library data-default-instances-dlist-0.0.1...
Haddock coverage:
50% ( 1 / 2) in 'Data.Default.Instances.DList'
Missing documentation for:
Module header
Documentation created: dist/doc/html/data-default-instances-dlist/index.html,
dist/doc/html/data-default-instances-dlist/data-default-instances-dlist.txt
Creating package registration file:
/tmp/pkgConf-data-default-instances-dlist-0.04424827812074216439.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-dlist-0.0.1-EXwD6nMCvj82LJzl8Xo6bb
Registering data-default-instances-dlist-0.0.1...
Installed data-default-instances-dlist-0.0.1
Configuring data-default-instances-old-locale-0.0.1...
Building data-default-instances-old-locale-0.0.1...
Preprocessing library data-default-instances-old-locale-0.0.1...
[1 of 1] Compiling Data.Default.Instances.OldLocale ( Data/Default/Instances/OldLocale.hs, dist/build/Data/Default/Instances/OldLocale.o )
In-place registering data-default-instances-old-locale-0.0.1...
Running Haddock for data-default-instances-old-locale-0.0.1...
Running hscolour for data-default-instances-old-locale-0.0.1...
Preprocessing library data-default-instances-old-locale-0.0.1...
Preprocessing library data-default-instances-old-locale-0.0.1...
Haddock coverage:
50% ( 1 / 2) in 'Data.Default.Instances.OldLocale'
Missing documentation for:
Module header
Documentation created:
dist/doc/html/data-default-instances-old-locale/index.html,
dist/doc/html/data-default-instances-old-locale/data-default-instances-old-locale.txt
Creating package registration file:
/tmp/pkgConf-data-default-instances-old-locale-0.017604811351595154931.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-instances-old-locale-0.0.1-D3fIWe3ExBN6VISnKTEJV3
Registering data-default-instances-old-locale-0.0.1...
Installed data-default-instances-old-locale-0.0.1
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
[ 1 of 21] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o )
[ 2 of 21] Compiling Data.Vector.Generic.Mutable.Base ( Data/Vector/Generic/Mutable/Base.hs, dist/build/Data/Vector/Generic/Mutable/Base.o )
[ 3 of 21] Compiling Data.Vector.Generic.Base ( Data/Vector/Generic/Base.hs, dist/build/Data/Vector/Generic/Base.o )
[ 4 of 21] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o )
Data/Vector/Fusion/Util.hs:19:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 5 of 21] Compiling Data.Vector.Fusion.Bundle.Size ( Data/Vector/Fusion/Bundle/Size.hs, dist/build/Data/Vector/Fusion/Bundle/Size.o )
[ 6 of 21] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o )
[ 7 of 21] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o )
Data/Vector/Fusion/Stream/Monadic.hs:93:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[ 8 of 21] Compiling Data.Vector.Fusion.Bundle.Monadic ( Data/Vector/Fusion/Bundle/Monadic.hs, dist/build/Data/Vector/Fusion/Bundle/Monadic.o )
Data/Vector/Fusion/Bundle/Monadic.hs:105:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[ 9 of 21] Compiling Data.Vector.Fusion.Bundle ( Data/Vector/Fusion/Bundle.hs, dist/build/Data/Vector/Fusion/Bundle.o )
Data/Vector/Fusion/Bundle.hs:114:1: Warning: Tab character
[10 of 21] Compiling Data.Vector.Generic.Mutable ( Data/Vector/Generic/Mutable.hs, dist/build/Data/Vector/Generic/Mutable.o )
[11 of 21] Compiling Data.Vector.Generic.New ( Data/Vector/Generic/New.hs, dist/build/Data/Vector/Generic/New.o )
[12 of 21] Compiling Data.Vector.Generic ( Data/Vector/Generic.hs, dist/build/Data/Vector/Generic.o )
[13 of 21] Compiling Data.Vector.Primitive.Mutable ( Data/Vector/Primitive/Mutable.hs, dist/build/Data/Vector/Primitive/Mutable.o )
[14 of 21] Compiling Data.Vector.Primitive ( Data/Vector/Primitive.hs, dist/build/Data/Vector/Primitive.o )
Data/Vector/Primitive.hs:167:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[15 of 21] Compiling Data.Vector.Storable.Mutable ( Data/Vector/Storable/Mutable.hs, dist/build/Data/Vector/Storable/Mutable.o )
[16 of 21] Compiling Data.Vector.Storable ( Data/Vector/Storable.hs, dist/build/Data/Vector/Storable.o )
Data/Vector/Storable.hs:172:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[17 of 21] Compiling Data.Vector.Unboxed.Base ( Data/Vector/Unboxed/Base.hs, dist/build/Data/Vector/Unboxed/Base.o )
Data/Vector/Unboxed/Base.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[18 of 21] Compiling Data.Vector.Unboxed ( Data/Vector/Unboxed.hs, dist/build/Data/Vector/Unboxed.o )
Data/Vector/Unboxed.hs:189:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[19 of 21] Compiling Data.Vector.Unboxed.Mutable ( Data/Vector/Unboxed/Mutable.hs, dist/build/Data/Vector/Unboxed/Mutable.o )
[20 of 21] Compiling Data.Vector.Mutable ( Data/Vector/Mutable.hs, dist/build/Data/Vector/Mutable.o )
[21 of 21] Compiling Data.Vector ( Data/Vector.hs, dist/build/Data/Vector.o )
Data/Vector.hs:190:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
In-place registering vector-0.11.0.0...
Running Haddock for vector-0.11.0.0...
Running hscolour for vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
Preprocessing library vector-0.11.0.0...
Data/Vector/Fusion/Util.hs:19:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Vector/Fusion/Stream/Monadic.hs:93:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Vector/Fusion/Bundle/Monadic.hs:105:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Vector/Fusion/Bundle.hs:114:1: Warning: Tab character
Haddock coverage:
25% ( 1 / 4) in 'Data.Vector.Storable.Internal'
Missing documentation for:
getPtr (Data/Vector/Storable/Internal.hs:22)
setPtr (Data/Vector/Storable/Internal.hs:26)
updPtr (Data/Vector/Storable/Internal.hs:30)
100% ( 2 / 2) in 'Data.Vector.Generic.Mutable.Base'
100% ( 3 / 3) in 'Data.Vector.Generic.Base'
100% ( 5 / 5) in 'Data.Vector.Fusion.Util'
100% ( 8 / 8) in 'Data.Vector.Fusion.Bundle.Size'
11% ( 1 / 9) in 'Data.Vector.Internal.Check'
Missing documentation for:
Checks (Data/Vector/Internal/Check.hs:51)
doChecks (Data/Vector/Internal/Check.hs:75)
error (Data/Vector/Internal/Check.hs:84)
internalError (Data/Vector/Internal/Check.hs:89)
check (Data/Vector/Internal/Check.hs:105)
checkIndex (Data/Vector/Internal/Check.hs:119)
checkLength (Data/Vector/Internal/Check.hs:133)
checkSlice (Data/Vector/Internal/Check.hs:147)
82% (103 /125) in 'Data.Vector.Fusion.Stream.Monadic'
Missing documentation for:
generate (Data/Vector/Fusion/Stream/Monadic.hs:184)
unbox (Data/Vector/Fusion/Stream/Monadic.hs:436)
concatMap (Data/Vector/Fusion/Stream/Monadic.hs:996)
zipWithM_ (Data/Vector/Fusion/Stream/Monadic.hs:512)
zipWith3M (Data/Vector/Fusion/Stream/Monadic.hs:516)
zipWith4M (Data/Vector/Fusion/Stream/Monadic.hs:544)
zipWith5M (Data/Vector/Fusion/Stream/Monadic.hs:551)
zipWith6M (Data/Vector/Fusion/Stream/Monadic.hs:558)
zipWith (Data/Vector/Fusion/Stream/Monadic.hs:566)
zipWith3 (Data/Vector/Fusion/Stream/Monadic.hs:570)
zipWith4 (Data/Vector/Fusion/Stream/Monadic.hs:575)
zipWith5 (Data/Vector/Fusion/Stream/Monadic.hs:581)
zipWith6 (Data/Vector/Fusion/Stream/Monadic.hs:587)
zip (Data/Vector/Fusion/Stream/Monadic.hs:593)
zip3 (Data/Vector/Fusion/Stream/Monadic.hs:597)
zip4 (Data/Vector/Fusion/Stream/Monadic.hs:601)
zip5 (Data/Vector/Fusion/Stream/Monadic.hs:606)
zip6 (Data/Vector/Fusion/Stream/Monadic.hs:611)
and (Data/Vector/Fusion/Stream/Monadic.hs:970)
or (Data/Vector/Fusion/Stream/Monadic.hs:983)
concatMapM (Data/Vector/Fusion/Stream/Monadic.hs:1000)
unfoldrN (Data/Vector/Fusion/Stream/Monadic.hs:1062)
79% (106 /135) in 'Data.Vector.Fusion.Bundle.Monadic'
Missing documentation for:
Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
generate (Data/Vector/Fusion/Bundle/Monadic.hs:190)
unbox (Data/Vector/Fusion/Bundle/Monadic.hs:301)
concatMap (Data/Vector/Fusion/Bundle/Monadic.hs:595)
zipWithM_ (Data/Vector/Fusion/Bundle/Monadic.hs:332)
zipWith3M (Data/Vector/Fusion/Bundle/Monadic.hs:336)
zipWith4M (Data/Vector/Fusion/Bundle/Monadic.hs:343)
zipWith5M (Data/Vector/Fusion/Bundle/Monadic.hs:350)
zipWith6M (Data/Vector/Fusion/Bundle/Monadic.hs:357)
zipWith (Data/Vector/Fusion/Bundle/Monadic.hs:365)
zipWith3 (Data/Vector/Fusion/Bundle/Monadic.hs:369)
zipWith4 (Data/Vector/Fusion/Bundle/Monadic.hs:374)
zipWith5 (Data/Vector/Fusion/Bundle/Monadic.hs:380)
zipWith6 (Data/Vector/Fusion/Bundle/Monadic.hs:386)
zip (Data/Vector/Fusion/Bundle/Monadic.hs:392)
zip3 (Data/Vector/Fusion/Bundle/Monadic.hs:396)
zip4 (Data/Vector/Fusion/Bundle/Monadic.hs:400)
zip5 (Data/Vector/Fusion/Bundle/Monadic.hs:405)
zip6 (Data/Vector/Fusion/Bundle/Monadic.hs:410)
and (Data/Vector/Fusion/Bundle/Monadic.hs:587)
or (Data/Vector/Fusion/Bundle/Monadic.hs:591)
concatMapM (Data/Vector/Fusion/Bundle/Monadic.hs:599)
fromVector (Data/Vector/Fusion/Bundle/Monadic.hs:1009)
reVector (Data/Vector/Fusion/Bundle/Monadic.hs:1085)
fromVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1028)
concatVectors (Data/Vector/Fusion/Bundle/Monadic.hs:1054)
fromStream (Data/Vector/Fusion/Bundle/Monadic.hs:119)
chunks (Data/Vector/Fusion/Bundle/Monadic.hs:126)
elements (Data/Vector/Fusion/Bundle/Monadic.hs:130)
81% ( 88 /109) in 'Data.Vector.Fusion.Bundle'
Missing documentation for:
Chunk (Data/Vector/Fusion/Bundle/Monadic.hs:110)
inplace (Data/Vector/Fusion/Bundle.hs:113)
concatMap (Data/Vector/Fusion/Bundle.hs:265)
unbox (Data/Vector/Fusion/Bundle.hs:261)
zipWith4 (Data/Vector/Fusion/Bundle.hs:293)
zipWith5 (Data/Vector/Fusion/Bundle.hs:299)
zipWith6 (Data/Vector/Fusion/Bundle.hs:305)
zip (Data/Vector/Fusion/Bundle.hs:311)
zip3 (Data/Vector/Fusion/Bundle.hs:315)
zip4 (Data/Vector/Fusion/Bundle.hs:319)
zip5 (Data/Vector/Fusion/Bundle.hs:324)
zip6 (Data/Vector/Fusion/Bundle.hs:329)
and (Data/Vector/Fusion/Bundle.hs:415)
or (Data/Vector/Fusion/Bundle.hs:419)
unsafeFromList (Data/Vector/Fusion/Bundle.hs:609)
fromVector (Data/Vector/Fusion/Bundle.hs:613)
reVector (Data/Vector/Fusion/Bundle.hs:617)
fromVectors (Data/Vector/Fusion/Bundle.hs:621)
concatVectors (Data/Vector/Fusion/Bundle.hs:625)
zipWithM (Data/Vector/Fusion/Bundle.hs:520)
zipWithM_ (Data/Vector/Fusion/Bundle.hs:524)
66% ( 48 / 73) in 'Data.Vector.Generic.Mutable'
Missing documentation for:
init (Data/Vector/Generic/Mutable.hs:536)
tail (Data/Vector/Generic/Mutable.hs:540)
take (Data/Vector/Generic/Mutable.hs:515)
drop (Data/Vector/Generic/Mutable.hs:519)
splitAt (Data/Vector/Generic/Mutable.hs:527)
unsafeInit (Data/Vector/Generic/Mutable.hs:554)
unsafeTail (Data/Vector/Generic/Mutable.hs:558)
unsafeTake (Data/Vector/Generic/Mutable.hs:562)
unsafeDrop (Data/Vector/Generic/Mutable.hs:566)
growFront (Data/Vector/Generic/Mutable.hs:626)
unsafeGrowFront (Data/Vector/Generic/Mutable.hs:665)
mstream (Data/Vector/Generic/Mutable.hs:244)
mstreamR (Data/Vector/Generic/Mutable.hs:274)
transform (Data/Vector/Generic/Mutable.hs:268)
transformR (Data/Vector/Generic/Mutable.hs:303)
fill (Data/Vector/Generic/Mutable.hs:255)
fillR (Data/Vector/Generic/Mutable.hs:287)
unsafeAccum (Data/Vector/Generic/Mutable.hs:848)
accum (Data/Vector/Generic/Mutable.hs:824)
unsafeUpdate (Data/Vector/Generic/Mutable.hs:861)
update (Data/Vector/Generic/Mutable.hs:837)
reverse (Data/Vector/Generic/Mutable.hs:872)
unstablePartition (Data/Vector/Generic/Mutable.hs:881)
unstablePartitionBundle (Data/Vector/Generic/Mutable.hs:910)
partitionBundle (Data/Vector/Generic/Mutable.hs:938)
5% ( 1 / 20) in 'Data.Vector.Generic.New'
Missing documentation for:
New (Data/Vector/Generic/New.hs:40)
create (Data/Vector/Generic/New.hs:42)
run (Data/Vector/Generic/New.hs:46)
runPrim (Data/Vector/Generic/New.hs:50)
apply (Data/Vector/Generic/New.hs:54)
modify (Data/Vector/Generic/New.hs:58)
modifyWithBundle (Data/Vector/Generic/New.hs:62)
unstream (Data/Vector/Generic/New.hs:67)
transform (Data/Vector/Generic/New.hs:71)
unstreamR (Data/Vector/Generic/New.hs:93)
transformR (Data/Vector/Generic/New.hs:97)
slice (Data/Vector/Generic/New.hs:119)
init (Data/Vector/Generic/New.hs:123)
tail (Data/Vector/Generic/New.hs:127)
take (Data/Vector/Generic/New.hs:131)
drop (Data/Vector/Generic/New.hs:135)
unsafeSlice (Data/Vector/Generic/New.hs:139)
unsafeInit (Data/Vector/Generic/New.hs:143)
unsafeTail (Data/Vector/Generic/New.hs:147)
93% (223 /240) in 'Data.Vector.Generic'
Missing documentation for:
zipWith4 (Data/Vector/Generic.hs:1069)
zipWith5 (Data/Vector/Generic.hs:1078)
zipWith6 (Data/Vector/Generic.hs:1090)
izipWith3 (Data/Vector/Generic.hs:1112)
izipWith4 (Data/Vector/Generic.hs:1120)
izipWith5 (Data/Vector/Generic.hs:1129)
izipWith6 (Data/Vector/Generic.hs:1141)
zip3 (Data/Vector/Generic.hs:1159)
zip4 (Data/Vector/Generic.hs:1164)
zip5 (Data/Vector/Generic.hs:1169)
zip6 (Data/Vector/Generic.hs:1175)
unzip3 (Data/Vector/Generic.hs:1225)
unzip4 (Data/Vector/Generic.hs:1232)
unzip5 (Data/Vector/Generic.hs:1241)
unzip6 (Data/Vector/Generic.hs:1251)
dataCast (Data/Vector/Generic.hs:2080)
mkType (Data/Vector/Generic.hs:2075)
79% ( 41 / 52) in 'Data.Vector.Primitive.Mutable'
Missing documen
Data/Vector/Primitive.hs:167:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Vector/Storable.hs:172:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Vector/Unboxed/Base.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Vector/Unboxed.hs:189:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Vector.hs:190:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
tation for:
IOVector (Data/Vector/Primitive/Mutable.hs:76)
STVector (Data/Vector/Primitive/Mutable.hs:77)
init (Data/Vector/Primitive/Mutable.hs:164)
tail (Data/Vector/Primitive/Mutable.hs:168)
take (Data/Vector/Primitive/Mutable.hs:152)
drop (Data/Vector/Primitive/Mutable.hs:156)
splitAt (Data/Vector/Primitive/Mutable.hs:160)
unsafeInit (Data/Vector/Primitive/Mutable.hs:190)
unsafeTail (Data/Vector/Primitive/Mutable.hs:194)
unsafeTake (Data/Vector/Primitive/Mutable.hs:182)
unsafeDrop (Data/Vector/Primitive/Mutable.hs:186)
97% (185 /191) in 'Data.Vector.Primitive'
Missing documentation for:
zipWith4 (Data/Vector/Primitive.hs:802)
zipWith5 (Data/Vector/Primitive.hs:808)
zipWith6 (Data/Vector/Primitive.hs:816)
izipWith4 (Data/Vector/Primitive.hs:838)
izipWith5 (Data/Vector/Primitive.hs:844)
izipWith6 (Data/Vector/Primitive.hs:852)
82% ( 49 / 60) in 'Data.Vector.Storable.Mutable'
Missing documentation for:
IOVector (Data/Vector/Storable/Mutable.hs:96)
STVector (Data/Vector/Storable/Mutable.hs:97)
init (Data/Vector/Storable/Mutable.hs:246)
tail (Data/Vector/Storable/Mutable.hs:250)
take (Data/Vector/Storable/Mutable.hs:234)
drop (Data/Vector/Storable/Mutable.hs:238)
splitAt (Data/Vector/Storable/Mutable.hs:242)
unsafeInit (Data/Vector/Storable/Mutable.hs:272)
unsafeTail (Data/Vector/Storable/Mutable.hs:276)
unsafeTake (Data/Vector/Storable/Mutable.hs:264)
unsafeDrop (Data/Vector/Storable/Mutable.hs:268)
97% (194 /200) in 'Data.Vector.Storable'
Missing documentation for:
zipWith4 (Data/Vector/Storable.hs:812)
zipWith5 (Data/Vector/Storable.hs:818)
zipWith6 (Data/Vector/Storable.hs:826)
izipWith4 (Data/Vector/Storable.hs:848)
izipWith5 (Data/Vector/Storable.hs:854)
izipWith6 (Data/Vector/Storable.hs:862)
17% ( 1 / 6) in 'Data.Vector.Unboxed.Base'
Missing documentation for:
MVector (Data/Vector/Unboxed/Base.hs:55)
IOVector (Data/Vector/Unboxed/Base.hs:58)
STVector (Data/Vector/Unboxed/Base.hs:59)
Vector (Data/Vector/Unboxed/Base.hs:56)
Unbox (Data/Vector/Unboxed/Base.hs:63)
96% (209 /218) in 'Data.Vector.Unboxed'
Missing documentation for:
Vector (Data/Vector/Unboxed/Base.hs:56)
MVector (Data/Vector/Unboxed/Base.hs:55)
Unbox (Data/Vector/Unboxed/Base.hs:63)
zipWith4 (Data/Vector/Unboxed.hs:849)
zipWith5 (Data/Vector/Unboxed.hs:855)
zipWith6 (Data/Vector/Unboxed.hs:862)
izipWith4 (Data/Vector/Unboxed.hs:883)
izipWith5 (Data/Vector/Unboxed.hs:889)
izipWith6 (Data/Vector/Unboxed.hs:896)
79% ( 50 / 63) in 'Data.Vector.Unboxed.Mutable'
Missing documentation for:
MVector (Data/Vector/Unboxed/Base.hs:55)
IOVector (Data/Vector/Unboxed/Base.hs:58)
STVector (Data/Vector/Unboxed/Base.hs:59)
Unbox (Data/Vector/Unboxed/Base.hs:63)
init (Data/Vector/Unboxed/Mutable.hs:102)
tail (Data/Vector/Unboxed/Mutable.hs:106)
take (Data/Vector/Unboxed/Mutable.hs:90)
drop (Data/Vector/Unboxed/Mutable.hs:94)
splitAt (Data/Vector/Unboxed/Mutable.hs:98)
unsafeInit (Data/Vector/Unboxed/Mutable.hs:128)
unsafeTail (Data/Vector/Unboxed/Mutable.hs:132)
unsafeTake (Data/Vector/Unboxed/Mutable.hs:120)
unsafeDrop (Data/Vector/Unboxed/Mutable.hs:124)
78% ( 40 / 51) in 'Data.Vector.Mutable'
Missing documentation for:
IOVector (Data/Vector/Mutable.hs:70)
STVector (Data/Vector/Mutable.hs:71)
init (Data/Vector/Mutable.hs:222)
tail (Data/Vector/Mutable.hs:226)
take (Data/Vector/Mutable.hs:210)
drop (Data/Vector/Mutable.hs:214)
splitAt (Data/Vector/Mutable.hs:219)
unsafeInit (Data/Vector/Mutable.hs:247)
unsafeTail (Data/Vector/Mutable.hs:251)
unsafeTake (Data/Vector/Mutable.hs:239)
unsafeDrop (Data/Vector/Mutable.hs:243)
94% (207 /220) in 'Data.Vector'
Missing documentation for:
zipWith4 (Data/Vector.hs:944)
zipWith5 (Data/Vector.hs:949)
zipWith6 (Data/Vector.hs:955)
izipWith4 (Data/Vector.hs:973)
izipWith5 (Data/Vector.hs:978)
izipWith6 (Data/Vector.hs:984)
zip4 (Data/Vector.hs:1000)
zip5 (Data/Vector.hs:1005)
zip6 (Data/Vector.hs:1010)
unzip3 (Data/Vector.hs:1023)
unzip4 (Data/Vector.hs:1027)
unzip5 (Data/Vector.hs:1031)
unzip6 (Data/Vector.hs:1036)
Warning: Data.Vector.Unboxed: could not find link destinations for:
TFCo:R:VectorBool V_Bool TFCo:R:VectorChar V_Char TFCo:R:VectorDouble V_Double TFCo:R:VectorFloat V_Float TFCo:R:VectorInt V_Int TFCo:R:VectorInt8 V_Int8 TFCo:R:VectorInt16 V_Int16 TFCo:R:VectorInt32 V_Int32 TFCo:R:VectorInt64 V_Int64 TFCo:R:VectorWord V_Word TFCo:R:VectorWord8 V_Word8 TFCo:R:VectorWord16 V_Word16 TFCo:R:VectorWord32 V_Word32 TFCo:R:VectorWord64 V_Word64 TFCo:R:Vector() V_Unit TFCo:R:VectorComplex V_Complex TFCo:R:Vector(,) V_2 TFCo:R:Vector(,,) V_3 TFCo:R:Vector(,,,) V_4 TFCo:R:Vector(,,,,) V_5 TFCo:R:Vector(,,,,,) V_6 TFCo:R:MVectorsBool MV_Bool TFCo:R:MVectorsChar MV_Char TFCo:R:MVectorsDouble MV_Double TFCo:R:MVectorsFloat MV_Float TFCo:R:MVectorsWord64 MV_Word64 TFCo:R:MVectorsWord32 MV_Word32 TFCo:R:MVectorsWord16 MV_Word16 TFCo:R:MVectorsWord8 MV_Word8 TFCo:R:MVectorsWord MV_Word TFCo:R:MVectorsInt64 MV_Int64 TFCo:R:MVectorsInt32 MV_Int32 TFCo:R:MVectorsInt16 MV_Int16 TFCo:R:MVectorsInt8 MV_Int8 TFCo:R:MVectorsInt MV_Int TFCo:R:MVectors() MV_Unit TFCo:R:MVectorsComplex MV_Complex TFCo:R:MVectors(,) MV_2 TFCo:R:MVectors(,,) MV_3 TFCo:R:MVectors(,,,) MV_4 TFCo:R:MVectors(,,,,) MV_5 TFCo:R:MVectors(,,,,,) MV_6
Warning: Data.Vector.Unboxed.Mutable: could not find link destinations for:
TFCo:R:MVectorsBool MV_Bool TFCo:R:MVectorsChar MV_Char TFCo:R:MVectorsDouble MV_Double TFCo:R:MVectorsFloat MV_Float TFCo:R:MVectorsWord64 MV_Word64 TFCo:R:MVectorsWord32 MV_Word32 TFCo:R:MVectorsWord16 MV_Word16 TFCo:R:MVectorsWord8 MV_Word8 TFCo:R:MVectorsWord MV_Word TFCo:R:MVectorsInt64 MV_Int64 TFCo:R:MVectorsInt32 MV_Int32 TFCo:R:MVectorsInt16 MV_Int16 TFCo:R:MVectorsInt8 MV_Int8 TFCo:R:MVectorsInt MV_Int TFCo:R:MVectors() MV_Unit TFCo:R:MVectorsComplex MV_Complex TFCo:R:MVectors(,) MV_2 TFCo:R:MVectors(,,) MV_3 TFCo:R:MVectors(,,,) MV_4 TFCo:R:MVectors(,,,,) MV_5 TFCo:R:MVectors(,,,,,) MV_6
Documentation created: dist/doc/html/vector/index.html,
dist/doc/html/vector/vector.txt
Creating package registration file:
/tmp/pkgConf-vector-0.11.013622434281101709878.0
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/vector-0.11.0.0-A9qWf1eecPQGJD12EBZIxF
Registering vector-0.11.0.0...
Installed vector-0.11.0.0
Configuring copilot-core-2.2.0...
Building copilot-core-2.2.0...
Preprocessing library copilot-core-2.2.0...
[ 1 of 24] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, dist/build/Copilot/Core/Type/Equality.o )
[ 2 of 24] Compiling Copilot.Core.Random.Weights ( src/Copilot/Core/Random/Weights.hs, dist/build/Copilot/Core/Random/Weights.o )
[ 3 of 24] Compiling Copilot.Core.Type.Dynamic ( src/Copilot/Core/Type/Dynamic.hs, dist/build/Copilot/Core/Type/Dynamic.o )
[ 4 of 24] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist/build/Copilot/Core/Type.o )
[ 5 of 24] Compiling Copilot.Core.Type.Uninitialized ( src/Copilot/Core/Type/Uninitialized.hs, dist/build/Copilot/Core/Type/Uninitialized.o )
[ 6 of 24] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, dist/build/Copilot/Core/Type/Show.o )
[ 7 of 24] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist/build/Copilot/Core/Operators.o )
[ 8 of 24] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist/build/Copilot/Core/Expr.o )
[ 9 of 24] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist/build/Copilot/Core/Spec.o )
[10 of 24] Compiling Copilot.Core.External ( src/Copilot/Core/External.hs, dist/build/Copilot/Core/External.o )
src/Copilot/Core/External.hs:71:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:71:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/External.hs:98:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:98:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/External.hs:124:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:124:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/External.hs:151:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:151:11: Warning:
Defined but not used: ‘s’
[11 of 24] Compiling Copilot.Core.MakeTags ( src/Copilot/Core/MakeTags.hs, dist/build/Copilot/Core/MakeTags.o )
src/Copilot/Core/MakeTags.hs:14:1: Warning:
The import of ‘Data.Maybe’ is redundant
except perhaps to import instances from ‘Data.Maybe’
To import instances alone, use: import Data.Maybe()
[12 of 24] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, dist/build/Copilot/Core/Error.o )
[13 of 24] Compiling Copilot.Core.Random.Gen ( src/Copilot/Core/Random/Gen.hs, dist/build/Copilot/Core/Random/Gen.o )
src/Copilot/Core/Random/Gen.hs:26:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[14 of 24] Compiling Copilot.Core.Type.Eq ( src/Copilot/Core/Type/Eq.hs, dist/build/Copilot/Core/Type/Eq.o )
[15 of 24] Compiling Copilot.Core.Type.Read ( src/Copilot/Core/Type/Read.hs, dist/build/Copilot/Core/Type/Read.o )
[16 of 24] Compiling Copilot.Core ( src/Copilot/Core.hs, dist/build/Copilot/Core.o )
src/Copilot/Core.hs:25:14: Warning:
‘Copilot.Core’ is marked as Trustworthy but has been inferred as safe!
[17 of 24] Compiling Copilot.Core.Interpret.Eval ( src/Copilot/Core/Interpret/Eval.hs, dist/build/Copilot/Core/Interpret/Eval.o )
src/Copilot/Core/Interpret/Eval.hs:7:14: Warning:
‘Copilot.Core.Interpret.Eval’ is marked as Trustworthy but has been inferred as safe!
src/Copilot/Core/Interpret/Eval.hs:193:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/Interpret/Eval.hs:193:11: Warning:
Defined but not used: ‘s’
[18 of 24] Compiling Copilot.Core.Interpret.Render ( src/Copilot/Core/Interpret/Render.hs, dist/build/Copilot/Core/Interpret/Render.o )
src/Copilot/Core/Interpret/Render.hs:7:14: Warning:
‘Copilot.Core.Interpret.Render’ is marked as Trustworthy but has been inferred as safe!
[19 of 24] Compiling Copilot.Core.Interpret ( src/Copilot/Core/Interpret.hs, dist/build/Copilot/Core/Interpret.o )
src/Copilot/Core/Interpret.hs:7:14: Warning:
‘Copilot.Core.Interpret’ is marked as Trustworthy but has been inferred as safe!
[20 of 24] Compiling Copilot.Core.Locals ( src/Copilot/Core/Locals.hs, dist/build/Copilot/Core/Locals.o )
src/Copilot/Core/Locals.hs:72:15: Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: Label _ _ _
[21 of 24] Compiling Copilot.Core.Random ( src/Copilot/Core/Random.hs, dist/build/Copilot/Core/Random.o )
[22 of 24] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, dist/build/Copilot/Core/PrettyPrint.o )
src/Copilot/Core/PrettyPrint.hs:50:9: Warning:
Defined but not used: ‘t’
[23 of 24] Compiling Copilot.Core.PrettyDot ( src/Copilot/Core/PrettyDot.hs, dist/build/Copilot/Core/PrettyDot.o )
src/Copilot/Core/PrettyDot.hs:25:1: Warning:
Defined but not used: ‘mkVar’
src/Copilot/Core/PrettyDot.hs:28:1: Warning:
Defined but not used: ‘mkTmpStVar’
src/Copilot/Core/PrettyDot.hs:31:1: Warning:
Defined but not used: ‘mkUpdateStFn’
src/Copilot/Core/PrettyDot.hs:34:1: Warning:
Defined but not used: ‘mkQueueVar’
src/Copilot/Core/PrettyDot.hs:37:1: Warning:
Defined but not used: ‘mkQueuePtrVar’
src/Copilot/Core/PrettyDot.hs:46:1: Warning:
Defined but not used: ‘mkExtArrFn’
src/Copilot/Core/PrettyDot.hs:49:1: Warning:
Defined but not used: ‘mkExtFunArgFn’
src/Copilot/Core/PrettyDot.hs:53:1: Warning:
Defined but not used: ‘mkObserverFn’
src/Copilot/Core/PrettyDot.hs:56:1: Warning:
Defined but not used: ‘mkTriggerGuardFn’
src/Copilot/Core/PrettyDot.hs:59:1: Warning:
Defined but not used: ‘mkTriggerArgFn’
src/Copilot/Core/PrettyDot.hs:62:1: Warning:
Defined but not used: ‘mkArgIdx’
src/Copilot/Core/PrettyDot.hs:130:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/PrettyDot.hs:231:12: Warning:
Defined but not used: ‘pere’
src/Copilot/Core/PrettyDot.hs:231:17: Warning:
Defined but not used: ‘bb’
src/Copilot/Core/PrettyDot.hs:327:9: Warning:
Defined but not used: ‘i1’
src/Copilot/Core/PrettyDot.hs:328:130: Warning:
Defaulting the following constraint(s) to type ‘Integer’
(Num a0)
arising from the literal ‘0’
at src/Copilot/Core/PrettyDot.hs:328:130
(Show a0)
arising from a use of ‘show’
at src/Copilot/Core/PrettyDot.hs:328:125-128
In the first argument of ‘show’, namely ‘0’
In the second argument of ‘printf’, namely ‘(show 0)’
In the first argument of ‘text’, namely
‘(printf
"%s [label=\"file: \n\
\?????\",color=red, style=filled]\n"
(show 0))’
src/Copilot/Core/PrettyDot.hs:333:13: Warning:
Defined but not used: ‘i1’
[24 of 24] Compiling Copilot.Compile.Header.C99 ( src/Copilot/Compile/Header/C99.hs, dist/build/Copilot/Compile/Header/C99.o )
src/Copilot/Compile/Header/C99.hs:227:25: Warning:
Defined but not used: ‘tag’
src/Copilot/Compile/Header/C99.hs:238:18: Warning:
This binding for ‘name’ shadows the existing binding
bound at src/Copilot/Compile/Header/C99.hs:225:25
src/Copilot/Compile/Header/C99.hs:238:60: Warning:
Defined but not used: ‘e1’
In-place registering copilot-core-2.2.0...
Running Haddock for copilot-core-2.2.0...
Running hscolour for copilot-core-2.2.0...
Preprocessing library copilot-core-2.2.0...
Preprocessing library copilot-core-2.2.0...
src/Copilot/Core/External.hs:71:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:71:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/External.hs:98:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:98:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/External.hs:124:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:124:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/External.hs:151:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/External.hs:151:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/MakeTags.hs:14:1: Warning:
The import of ‘Data.Maybe’ is redundant
except perhaps to import instances from ‘Data.Maybe’
To import instances alone, use: import Data.Maybe()
src/Copilot/Core/Random/Gen.hs:26:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Core.hs:25:14: Warning:
‘Copilot.Core’ is marked as Trustworthy but has been inferred as safe!
src/Copilot/Core/Interpret/Eval.hs:7:14: Warning:
‘Copilot.Core.Interpret.Eval’ is marked as Trustworthy but has been inferred as safe!
src/Copilot/Core/Interpret/Eval.hs:193:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/Interpret/Eval.hs:193:11: Warning:
Defined but not used: ‘s’
src/Copilot/Core/Interpret/Render.hs:7:14: Warning:
‘Copilot.Core.Interpret.Render’ is marked as Trustworthy but has been inferred as safe!
src/Copilot/Core/Interpret.hs:7:14: Warning:
‘Copilot.Core.Interpret’ is marked as Trustworthy but has been inferred as safe!
src/Copilot/Core/PrettyPrint.hs:50:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/PrettyDot.hs:25:1: Warning:
Defined but not used: ‘mkVar’
src/Copilot/Core/PrettyDot.hs:28:1: Warning:
Defined but not used: ‘mkTmpStVar’
src/Copilot/Core/PrettyDot.hs:31:1: Warning:
Defined but not used: ‘mkUpdateStFn’
src/Copilot/Core/PrettyDot.hs:34:1: Warning:
Defined but not used: ‘mkQueueVar’
src/Copilot/Core/PrettyDot.hs:37:1: Warning:
Defined but not used: ‘mkQueuePtrVar’
src/Copilot/Core/PrettyDot.hs:46:1: Warning:
Defined but not used: ‘mkExtArrFn’
src/Copilot/Core/PrettyDot.hs:49:1: Warning:
Defined but not used: ‘mkExtFunArgFn’
src/Copilot/Core/PrettyDot.hs:53:1: Warning:
Defined but not used: ‘mkObserverFn’
src/Copilot/Core/PrettyDot.hs:56:1: Warning:
Defined but not used: ‘mkTriggerGuardFn’
src/Copilot/Core/PrettyDot.hs:59:1: Warning:
Defined but not used: ‘mkTriggerArgFn’
src/Copilot/Core/PrettyDot.hs:62:1: Warning:
Defined but not used: ‘mkArgIdx’
src/Copilot/Core/PrettyDot.hs:130:9: Warning:
Defined but not used: ‘t’
src/Copilot/Core/PrettyDot.hs:231:12: Warning:
Defined but not used: ‘pere’
src/Copilot/Core/PrettyDot.hs:231:17: Warning:
Defined but not used: ‘bb’
src/Copilot/Core/PrettyDot.hs:327:9: Warning:
Defined but not used: ‘i1’
src/Copilot/Core/PrettyDot.hs:328:130: Warning:
Defaulting the following constraint(s) to type ‘Integer’
(Num a0)
arising from the literal ‘0’
at src/Copilot/Core/PrettyDot.hs:328:130
(Show a0)
arising from a use of ‘show’
at src/Copilot/Core/PrettyDot.hs:328:125-128
In the first argument of ‘show’, namely ‘0’
In the second argument of ‘printf’, namely ‘(show 0)’
In the first argument of ‘text’, namely
‘(printf
"%s [label=\"file: \n\
\?????\",color=red, style=filled]\n"
(show 0))’
src/Copilot/Core/PrettyDot.hs:333:13: Warning:
Defined but not used: ‘i1’
src/Copilot/Compile/Header/C99.hs:227:25: Warning:
Defined but not used: ‘tag’
src/Copilot/Compile/Header/C99.hs:238:18: Warning:
This binding for ‘name’ shadows the existing binding
bound at src/Copilot/Compile/Header/C99.hs:225:25
src/Copilot/Compile/Header/C99.hs:238:60: Warning:
Defined but not used: ‘e1’
Haddock coverage:
0% ( 0 / 8) in 'Copilot.Core.Type.Equality'
Missing documentation for:
Module header
Equal (src/Copilot/Core/Type/Equality.hs:18)
EqualType (src/Copilot/Core/Type/Equality.hs:21)
coerce (src/Copilot/Core/Type/Equality.hs:24)
refl (src/Copilot/Core/Type/Equality.hs:27)
trans (src/Copilot/Core/Type/Equality.hs:33)
symm (src/Copilot/Core/Type/Equality.hs:30)
cong (src/Copilot/Core/Type/Equality.hs:36)
0% ( 0 / 4) in 'Copilot.Core.Random.Weights'
Missing documentation for:
Module header
Depth (src/Copilot/Core/Random/Weights.hs:12)
Weights (src/Copilot/Core/Random/Weights.hs:14)
simpleWeights (src/Copilot/Core/Random/Weights.hs:45)
14% ( 1 / 7) in 'Copilot.Core.Type.Dynamic'
Missing documentation for:
Dynamic (src/Copilot/Core/Type/Dynamic.hs:31)
DynamicF (src/Copilot/Core/Type/Dynamic.hs:34)
toDyn (src/Copilot/Core/Type/Dynamic.hs:37)
fromDyn (src/Copilot/Core/Type/Dynamic.hs:40)
toDynF (src/Copilot/Core/Type/Dynamic.hs:46)
fromDynF (src/Copilot/Core/Type/Dynamic.hs:49)
40% ( 2 / 5) in 'Copilot.Core.Type'
Missing documentation for:
Type (src/Copilot/Core/Type.hs:21)
Typed (src/Copilot/Core/Type.hs:65)
SimpleType (src/Copilot/Core/Type.hs:50)
50% ( 1 / 2) in 'Copilot.Core.Type.Uninitialized'
Missing documentation for:
uninitialized (src/Copilot/Core/Type/Uninitialized.hs:18)
0% ( 0 / 6) in 'Copilot.Core.Type.Show'
Missing documentation for:
Module header
ShowWit (src/Copilot/Core/Type/Show.hs:20)
showWit (src/Copilot/Core/Type/Show.hs:24)
showWithType (src/Copilot/Core/Type/Show.hs:64)
ShowType (src/Copilot/Core/Type/Show.hs:60)
showType (src/Copilot/Core/Type/Show.hs:41)
50% ( 2 / 4) in 'Copilot.Core.Operators'
Missing documentation for:
Module header
Op1 (src/Copilot/Core/Operators.hs:20)
75% ( 6 / 8) in 'Copilot.Core.Expr'
Missing documentation for:
Module header
Expr (src/Copilot/Core/Expr.hs:44)
86% ( 6 / 7) in 'Copilot.Core.Spec'
Missing documentation for:
Module header
0% ( 0 / 9) in 'Copilot.Core.External'
Missing documentation for:
Module header
ExtVar (src/Copilot/Core/External.hs:23)
ExtArray (src/Copilot/Core/External.hs:27)
ExtFun (src/Copilot/Core/External.hs:35)
ExtStruct (src/Copilot/Core/External.hs:41)
externVars (src/Copilot/Core/External.hs:48)
externArrays (src/Copilot/Core/External.hs:78)
externFuns (src/Copilot/Core/External.hs:105)
externStructs (src/Copilot/Core/External.hs:132)
50% ( 1 / 2) in 'Copilot.Core.MakeTags'
Missing documentation for:
makeTags (src/Copilot/Core/MakeTags.hs:23)
0% ( 0 / 3) in 'Copilot.Core.Error'
Missing documentation for:
Module header
impossible (src/Copilot/Core/Error.hs:11)
badUsage (src/Copilot/Core/Error.hs:18)
17% ( 2 / 12) in 'Copilot.Core.Random.Gen'
Missing documentation for:
Module header
runGen (src/Copilot/Core/Random/Gen.hs:34)
randomFromType (src/Copilot/Core/Random/Gen.hs:66)
oneOf (src/Copilot/Core/Random/Gen.hs:114)
choose (src/Copilot/Core/Random/Gen.hs:109)
elements (src/Copilot/Core/Random/Gen.hs:132)
depth (src/Copilot/Core/Random/Gen.hs:55)
weights (src/Copilot/Core/Random/Gen.hs:58)
incDepth (src/Copilot/Core/Random/Gen.hs:61)
randomReplicate (src/Copilot/Core/Random/Gen.hs:104)
0% ( 0 / 4) in 'Copilot.Core.Type.Eq'
Missing documentation for:
Module header
EqWit (src/Copilot/Core/Type/Eq.hs:20)
eqWit (src/Copilot/Core/Type/Eq.hs:24)
UVal (src/Copilot/Core/Type/Eq.hs:41)
0% ( 0 / 4) in 'Copilot.Core.Type.Read'
Missing documentation for:
Module header
ReadWit (src/Copilot/Core/Type/Read.hs:19)
readWit (src/Copilot/Core/Type/Read.hs:23)
readWithType (src/Copilot/Core/Type/Read.hs:40)
100% ( 11 / 11) in 'Copilot.Core'
20% ( 1 / 5) in 'Copilot.Core.Interpret.Eval'
Missing documentation for:
Env (src/Copilot/Core/Interpret/Eval.hs:87)
Output (src/Copilot/Core/Interpret/Eval.hs:100)
ExecTrace (src/Copilot/Core/Interpret/Eval.hs:102)
eval (src/Copilot/Core/Interpret/Eval.hs:133)
33% ( 1 / 3) in 'Copilot.Core.Interpret.Render'
Missing documentation for:
renderAsTable (src/Copilot/Core/Interpret/Render.hs:23)
renderAsCSV (src/Copilot/Core/Interpret/Render.hs:55)
67% ( 2 / 3) in 'Copilot.Core.Interpret'
Missing documentation for:
Format (src/Copilot/Core/Interpret.hs:20)
33% ( 1 / 3) in 'Copilot.Core.Locals'
Missing documentation for:
Loc (src/Copilot/Core/Locals.hs:22)
locals (src/Copilot/Core/Locals.hs:31)
50% ( 1 / 2) in 'Copilot.Core.Random'
Missing documentation for:
randomSpec (src/Copilot/Core/Random.hs:29)
67% ( 2 / 3) in 'Copilot.Core.PrettyPrint'
Missing documentation for:
ppExpr (src/Copilot/Core/PrettyPrint.hs:28)
100% ( 3 / 3) in 'Copilot.Core.PrettyDot'
33% ( 1 / 3) in 'Copilot.Compile.Header.C99'
Missing documentation for:
genC99Header (src/Copilot/Compile/Header/C99.hs:24)
c99HeaderName (src/Copilot/Compile/Header/C99.hs:34)
Documentation created: dist/doc/html/copilot-core/index.html,
dist/doc/html/copilot-core/copilot-core.txt
Creating package registration file:
/tmp/pkgConf-copilot-core-2.2193088109682900658.0
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-core-2.2.0-DMcHz2ZOtzzDTidqFQAj2v
Registering copilot-core-2.2.0...
Installed copilot-core-2.2.0
Configuring blaze-builder-0.4.0.1...
Building blaze-builder-0.4.0.1...
Preprocessing library blaze-builder-0.4.0.1...
Blaze/ByteString/Builder/HTTP.hs:1:63: Warning:
-XMonoPatBinds is deprecated: Experimental feature now removed; has no effect
Blaze/ByteString/Builder/Internal/Write.hs:1:33: Warning:
-XMonoPatBinds is deprecated: Experimental feature now removed; has no effect
[ 1 of 10] Compiling Blaze.ByteString.Builder.Internal.Write ( Blaze/ByteString/Builder/Internal/Write.hs, dist/build/Blaze/ByteString/Builder/Internal/Write.o )
Blaze/ByteString/Builder/Internal/Write.hs:52:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[ 2 of 10] Compiling Blaze.ByteString.Builder.Compat.Write ( Blaze/ByteString/Builder/Compat/Write.hs, dist/build/Blaze/ByteString/Builder/Compat/Write.o )
Blaze/ByteString/Builder/Compat/Write.hs:19:1: Warning:
The import of ‘Foreign’ is redundant
except perhaps to import instances from ‘Foreign’
To import instances alone, use: import Foreign()
[ 3 of 10] Compiling Blaze.ByteString.Builder.Char.Utf8 ( Blaze/ByteString/Builder/Char/Utf8.hs, dist/build/Blaze/ByteString/Builder/Char/Utf8.o )
[ 4 of 10] Compiling Blaze.ByteString.Builder.Char8 ( Blaze/ByteString/Builder/Char8.hs, dist/build/Blaze/ByteString/Builder/Char8.o )
[ 5 of 10] Compiling Blaze.ByteString.Builder.Html.Utf8 ( Blaze/ByteString/Builder/Html/Utf8.hs, dist/build/Blaze/ByteString/Builder/Html/Utf8.o )
[ 6 of 10] Compiling Blaze.ByteString.Builder.ByteString ( Blaze/ByteString/Builder/ByteString.hs, dist/build/Blaze/ByteString/Builder/ByteString.o )
[ 7 of 10] Compiling Blaze.ByteString.Builder.HTTP ( Blaze/ByteString/Builder/HTTP.hs, dist/build/Blaze/ByteString/Builder/HTTP.o )
Blaze/ByteString/Builder/HTTP.hs:33:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[ 8 of 10] Compiling Blaze.ByteString.Builder.Word ( Blaze/ByteString/Builder/Word.hs, dist/build/Blaze/ByteString/Builder/Word.o )
[ 9 of 10] Compiling Blaze.ByteString.Builder.Int ( Blaze/ByteString/Builder/Int.hs, dist/build/Blaze/ByteString/Builder/Int.o )
[10 of 10] Compiling Blaze.ByteString.Builder ( Blaze/ByteString/Builder.hs, dist/build/Blaze/ByteString/Builder.o )
In-place registering blaze-builder-0.4.0.1...
Running Haddock for blaze-builder-0.4.0.1...
Running hscolour for blaze-builder-0.4.0.1...
Preprocessing library blaze-builder-0.4.0.1...
Preprocessing library blaze-builder-0.4.0.1...
Blaze/ByteString/Builder/HTTP.hs:1:63: Warning:
-XMonoPatBinds is deprecated: Experimental feature now removed; has no effect
Blaze/ByteString/Builder/Internal/Write.hs:1:33: Warning:
-XMonoPatBinds is deprecated: Experimental feature now removed; has no effect
Blaze/ByteString/Builder/Internal/Write.hs:52:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Blaze/ByteString/Builder/Compat/Write.hs:19:1: Warning:
The import of ‘Foreign’ is redundant
except perhaps to import instances from ‘Foreign’
To import instances alone, use: import Foreign()
Blaze/ByteString/Builder/HTTP.hs:33:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Haddock coverage:
96% ( 24 / 25) in 'Blaze.ByteString.Builder.Internal.Write'
Missing documentation for:
fromWriteSingleton (Blaze/ByteString/Builder/Internal/Write.hs:227)
50% ( 2 / 4) in 'Blaze.ByteString.Builder.Compat.Write'
Missing documentation for:
writePrimFixed (Blaze/ByteString/Builder/Compat/Write.hs:23)
writePrimBounded (Blaze/ByteString/Builder/Compat/Write.hs:27)
100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char.Utf8'
100% ( 9 / 9) in 'Blaze.ByteString.Builder.Char8'
100% ( 10 / 10) in 'Blaze.ByteString.Builder.Html.Utf8'
100% ( 12 / 12) in 'Blaze.ByteString.Builder.ByteString'
100% ( 4 / 4) in 'Blaze.ByteString.Builder.HTTP'
100% ( 43 / 43) in 'Blaze.ByteString.Builder.Word'
100% ( 43 / 43) in 'Blaze.ByteString.Builder.Int'
92% ( 22 / 24) in 'Blaze.ByteString.Builder'
Missing documentation for:
toByteStringIOWith (Blaze/ByteString/Builder.hs:175)
fromWriteSingleton (Blaze/ByteString/Builder/Internal/Write.hs:227)
Documentation created: dist/doc/html/blaze-builder/index.html,
dist/doc/html/blaze-builder/blaze-builder.txt
Creating package registration file:
/tmp/pkgConf-blaze-builder-0.4.0777134495660343702.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/blaze-builder-0.4.0.1-6BKEupqZliOD9r4rLG9ckJ
Registering blaze-builder-0.4.0.1...
Installed blaze-builder-0.4.0.1
Configuring hashable-1.2.3.3...
Building hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:54:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Hashable/Class.hs:218:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:241:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:420:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.3...
Running Haddock for hashable-1.2.3.3...
Running hscolour for hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
Data/Hashable/Class.hs:54:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Hashable/Class.hs:218:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:241:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:420:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
Haddock coverage:
100% ( 11 / 11) in 'Data.Hashable.Class'
100% ( 1 / 1) in 'Data.Hashable.Generic'
100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file:
/tmp/pkgConf-hashable-1.2.31784051571692842292.3
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/hashable-1.2.3.3-2GTZqecVp8NJZrNuKzGxfy
Registering hashable-1.2.3.3...
Installed hashable-1.2.3.3
Configuring parsec-3.1.9...
Building parsec-3.1.9...
Preprocessing library parsec-3.1.9...
[ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
Text/Parsec/Language.hs:44:30: Warning: Tab character
Text/Parsec/Language.hs:45:26: Warning: Tab character
Text/Parsec/Language.hs:46:27: Warning: Tab character
Text/Parsec/Language.hs:58:1: Warning: Tab character
Text/Parsec/Language.hs:58:31: Warning: Tab character
Text/Parsec/Language.hs:59:1: Warning: Tab character
Text/Parsec/Language.hs:59:29: Warning: Tab character
Text/Parsec/Language.hs:60:1: Warning: Tab character
Text/Parsec/Language.hs:60:30: Warning: Tab character
Text/Parsec/Language.hs:61:1: Warning: Tab character
Text/Parsec/Language.hs:62:1: Warning: Tab character
Text/Parsec/Language.hs:62:29: Warning: Tab character
Text/Parsec/Language.hs:63:1: Warning: Tab character
Text/Parsec/Language.hs:63:30: Warning: Tab character
Text/Parsec/Language.hs:64:1: Warning: Tab character
Text/Parsec/Language.hs:65:1: Warning: Tab character
Text/Parsec/Language.hs:67:1: Warning: Tab character
Text/Parsec/Language.hs:109:1: Warning: Tab character
Text/Parsec/Language.hs:109:30: Warning: Tab character
Text/Parsec/Language.hs:110:1: Warning: Tab character
Text/Parsec/Language.hs:110:32: Warning: Tab character
Text/Parsec/Language.hs:111:5: Warning: Tab character
Text/Parsec/Language.hs:112:5: Warning: Tab character
Text/Parsec/Language.hs:113:5: Warning: Tab character
Text/Parsec/Language.hs:114:5: Warning: Tab character
Text/Parsec/Language.hs:146:1: Warning: Tab character
Text/Parsec/Language.hs:147:1: Warning: Tab character
Text/Parsec/Language.hs:148:1: Warning: Tab character
Text/Parsec/Language.hs:150:1: Warning: Tab character
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.9...
Running Haddock for parsec-3.1.9...
Running hscolour for parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Text/Parsec/Language.hs:44:30: Warning: Tab character
Text/Parsec/Language.hs:45:26: Warning: Tab character
Text/Parsec/Language.hs:46:27: Warning: Tab character
Text/Parsec/Language.hs:58:1: Warning: Tab character
Text/Parsec/Language.hs:58:31: Warning: Tab character
Text/Parsec/Language.hs:59:1: Warning: Tab character
Text/Parsec/Language.hs:59:29: Warning: Tab character
Text/Parsec/Language.hs:60:1: Warning: Tab character
Text/Parsec/Language.hs:60:30: Warning: Tab character
Text/Parsec/Language.hs:61:1: Warning: Tab character
Text/Parsec/Language.hs:62:1: Warning: Tab character
Text/Parsec/Language.hs:62:29: Warning: Tab character
Text/Parsec/Language.hs:63:1: Warning: Tab character
Text/Parsec/Language.hs:63:30: Warning: Tab character
Text/Parsec/Language.hs:64:1: Warning: Tab character
Text/Parsec/Language.hs:65:1: Warning: Tab character
Text/Parsec/Language.hs:67:1: Warning: Tab character
Text/Parsec/Language.hs:109:1: Warning: Tab character
Text/Parsec/Language.hs:109:30: Warning: Tab character
Text/Parsec/Language.hs:110:1: Warning: Tab character
Text/Parsec/Language.hs:110:32: Warning: Tab character
Text/Parsec/Language.hs:111:5: Warning: Tab character
Text/Parsec/Language.hs:112:5: Warning: Tab character
Text/Parsec/Language.hs:113:5: Warning: Tab character
Text/Parsec/Language.hs:114:5: Warning: Tab character
Text/Parsec/Language.hs:146:1: Warning: Tab character
Text/Parsec/Language.hs:147:1: Warning: Tab character
Text/Parsec/Language.hs:148:1: Warning: Tab character
Text/Parsec/Language.hs:150:1: Warning: Tab character
Haddock coverage:
82% ( 14 / 17) in 'Text.Parsec.Pos'
Missing documentation for:
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
43% ( 6 / 14) in 'Text.Parsec.Error'
Missing documentation for:
errorIsUnknown (Text/Parsec/Error.hs:110)
showErrorMessages (Text/Parsec/Error.hs:173)
newErrorMessage (Text/Parsec/Error.hs:120)
newErrorUnknown (Text/Parsec/Error.hs:116)
addErrorMessage (Text/Parsec/Error.hs:124)
setErrorPos (Text/Parsec/Error.hs:128)
setErrorMessage (Text/Parsec/Error.hs:132)
mergeError (Text/Parsec/Error.hs:136)
38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error'
Missing documentation for:
messageCompare (Text/ParserCombinators/Parsec/Error.hs:36)
messageEq (Text/ParserCombinators/Parsec/Error.hs:39)
errorIsUnknown (Text/Parsec/Error.hs:110)
showErrorMessages (Text/Parsec/Error.hs:173)
newErrorMessage (Text/Parsec/Error.hs:120)
newErrorUnknown (Text/Parsec/Error.hs:116)
addErrorMessage (Text/Parsec/Error.hs:124)
setErrorPos (Text/Parsec/Error.hs:128)
setErrorMessage (Text/Parsec/Error.hs:132)
mergeError (Text/Parsec/Error.hs:136)
64% ( 32 / 50) in 'Text.Parsec.Prim'
Missing documentation for:
unknownError (Text/Parsec/Prim.hs:91)
sysUnExpectError (Text/Parsec/Prim.hs:94)
Parsec (Text/Parsec/Prim.hs:152)
Consumed (Text/Parsec/Prim.hs:154)
Reply (Text/Parsec/Prim.hs:157)
State (Text/Parsec/Prim.hs:160)
parsecMap (Text/Parsec/Prim.hs:177)
parserReturn (Text/Parsec/Prim.hs:221)
parserBind (Text/Parsec/Prim.hs:226)
mergeErrorReply (Text/Parsec/Prim.hs:266)
parserFail (Text/Parsec/Prim.hs:272)
parserPlus (Text/Parsec/Prim.hs:290)
labels (Text/Parsec/Prim.hs:345)
tokens (Text/Parsec/Prim.hs:396)
tokenPrimEx (Text/Parsec/Prim.hs:533)
manyAccum (Text/Parsec/Prim.hs:592)
runPT (Text/Parsec/Prim.hs:610)
runP (Text/Parsec/Prim.hs:624)
100% ( 24 / 24) in 'Text.Parsec.Combinator'
100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
50% ( 2 / 4) in 'Text.Parsec.String'
Missing documentation for:
Parser (Text/Parsec/String.hs:22)
GenParser (Text/Parsec/String.hs:23)
50% ( 2 / 4) in 'Text.Parsec.ByteString'
Missing documentation for:
Parser (Text/Parsec/ByteString.hs:24)
GenParser (Text/Parsec/ByteString.hs:25)
50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy'
Missing documentation for:
Parser (Text/Parsec/ByteString/Lazy.hs:24)
GenParser (Text/Parsec/ByteString/Lazy.hs:25)
33% ( 1 / 3) in 'Text.Parsec.Text'
Missing documentation for:
Parser (Text/Parsec/Text.hs:23)
GenParser (Text/Parsec/Text.hs:24)
33% ( 1 / 3) in 'Text.Parsec.Text.Lazy'
Missing documentation for:
Parser (Text/Parsec/Text/Lazy.hs:23)
GenParser (Text/Parsec/Text/Lazy.hs:24)
100% ( 5 / 5) in 'Text.Parsec.Expr'
70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
Missing documentation for:
Parser (Text/Parsec/String.hs:22)
GenParser (Text/Parsec/String.hs:23)
runParser (Text/ParserCombinators/Parsec/Prim.hs:57)
tokens (Text/Parsec/Prim.hs:396)
tokenPrimEx (Text/Parsec/Prim.hs:533)
try (Text/ParserCombinators/Parsec/Prim.hs:64)
labels (Text/Parsec/Prim.hs:345)
pzero (Text/ParserCombinators/Parsec/Prim.hs:54)
State (Text/Parsec/Prim.hs:160)
82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
Missing documentation for:
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
100% ( 20 / 20) in 'Text.Parsec.Char'
67% ( 4 / 6) in 'Text.Parsec.Token'
Missing documentation for:
LanguageDef (Text/Parsec/Token.hs:38)
TokenParser (Text/Parsec/Token.hs:106)
67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token'
Missing documentation for:
LanguageDef (Text/Parsec/Token.hs:38)
TokenParser (Text/Parsec/Token.hs:106)
95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
Missing documentation for:
CharParser (Text/ParserCombinators/Parsec/Char.hs:40)
83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
Missing documentation for:
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr'
Missing documentation for:
Operator (Text/ParserCombinators/Parsec/Expr.hs:28)
OperatorTable (Text/ParserCombinators/Parsec/Expr.hs:32)
buildExpressionParser (Text/ParserCombinators/Parsec/Expr.hs:39)
78% ( 73 / 94) in 'Text.Parsec'
Missing documentation for:
Parsec (Text/Parsec/Prim.hs:152)
tokens (Text/Parsec/Prim.hs:396)
labels (Text/Parsec/Prim.hs:345)
SourceName (Text/Parsec/Pos.hs:35)
Line (Text/Parsec/Pos.hs:36)
Column (Text/Parsec/Pos.hs:37)
manyAccum (Text/Parsec/Prim.hs:592)
tokenPrimEx (Text/Parsec/Prim.hs:533)
runPT (Text/Parsec/Prim.hs:610)
unknownError (Text/Parsec/Prim.hs:91)
sysUnExpectError (Text/Parsec/Prim.hs:94)
mergeErrorReply (Text/Parsec/Prim.hs:266)
runP (Text/Parsec/Prim.hs:624)
Consumed (Text/Parsec/Prim.hs:154)
Reply (Text/Parsec/Prim.hs:157)
State (Text/Parsec/Prim.hs:160)
parsecMap (Text/Parsec/Prim.hs:177)
parserReturn (Text/Parsec/Prim.hs:221)
parserBind (Text/Parsec/Prim.hs:226)
parserFail (Text/Parsec/Prim.hs:272)
parserPlus (Text/Parsec/Prim.hs:290)
80% ( 8 / 10) in 'Text.Parsec.Language'
Missing documentation for:
emptyDef (Text/Parsec/Language.hs:79)
LanguageDef (Text/Parsec/Token.hs:38)
80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language'
Missing documentation for:
emptyDef (Text/Parsec/Language.hs:79)
LanguageDef (Text/Parsec/Token.hs:38)
100% ( 8 / 8) in 'Text.Parsec.Perm'
100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file:
/tmp/pkgConf-parsec-3.112429075711149677717.9
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/parsec-3.1.9-8fSmqig53hOL2SEu1k9Tv0
Registering parsec-3.1.9...
Installed parsec-3.1.9
Configuring xml-1.3.14...
Building xml-1.3.14...
Preprocessing library xml-1.3.14...
[1 of 7] Compiling Text.XML.Light.Types ( Text/XML/Light/Types.hs, dist/build/Text/XML/Light/Types.o )
[2 of 7] Compiling Text.XML.Light.Proc ( Text/XML/Light/Proc.hs, dist/build/Text/XML/Light/Proc.o )
[3 of 7] Compiling Text.XML.Light.Output ( Text/XML/Light/Output.hs, dist/build/Text/XML/Light/Output.o )
[4 of 7] Compiling Text.XML.Light.Lexer ( Text/XML/Light/Lexer.hs, dist/build/Text/XML/Light/Lexer.o )
Text/XML/Light/Lexer.hs:119:1: Warning: Tab character
Text/XML/Light/Lexer.hs:121:1: Warning: Tab character
[5 of 7] Compiling Text.XML.Light.Input ( Text/XML/Light/Input.hs, dist/build/Text/XML/Light/Input.o )
[6 of 7] Compiling Text.XML.Light.Cursor ( Text/XML/Light/Cursor.hs, dist/build/Text/XML/Light/Cursor.o )
[7 of 7] Compiling Text.XML.Light ( Text/XML/Light.hs, dist/build/Text/XML/Light.o )
In-place registering xml-1.3.14...
Running Haddock for xml-1.3.14...
Running hscolour for xml-1.3.14...
Preprocessing library xml-1.3.14...
Preprocessing library xml-1.3.14...
Text/XML/Light/Lexer.hs:119:1: Warning: Tab character
Text/XML/Light/Lexer.hs:121:1: Warning: Tab character
Haddock coverage:
77% ( 10 / 13) in 'Text.XML.Light.Types'
Missing documentation for:
CDataKind (Text/XML/Light/Types.hs:50)
(Text/XML/Light/Types.hs:64)
(Text/XML/Light/Types.hs:67)
100% ( 21 / 21) in 'Text.XML.Light.Proc'
65% ( 13 / 20) in 'Text.XML.Light.Output'
Missing documentation for:
showContent (Text/XML/Light/Output.hs:140)
showElement (Text/XML/Light/Output.hs:143)
showCData (Text/XML/Light/Output.hs:146)
showQName (Text/XML/Light/Output.hs:198)
showAttr (Text/XML/Light/Output.hs:195)
ConfigPP (Text/XML/Light/Output.hs:34)
tagEnd (Text/XML/Light/Output.hs:188)
9% ( 3 / 32) in 'Text.XML.Light.Lexer'
Missing documentation for:
Module header
XmlSource (Text/XML/Light/Lexer.hs:15)
(Text/XML/Light/Lexer.hs:18)
(Text/XML/Light/Lexer.hs:22)
(Text/XML/Light/Lexer.hs:26)
(Text/XML/Light/Lexer.hs:30)
(Text/XML/Light/Lexer.hs:33)
linenumber (Text/XML/Light/Lexer.hs:36)
(Text/XML/Light/Lexer.hs:57)
LChar (Text/XML/Light/Lexer.hs:64)
LString (Text/XML/Light/Lexer.hs:65)
Token (Text/XML/Light/Lexer.hs:66)
tokens (Text/XML/Light/Lexer.hs:72)
tokens' (Text/XML/Light/Lexer.hs:75)
special (Text/XML/Light/Lexer.hs:96)
qualName (Text/XML/Light/Lexer.hs:128)
tag (Text/XML/Light/Lexer.hs:140)
attribs (Text/XML/Light/Lexer.hs:151)
attrib (Text/XML/Light/Lexer.hs:169)
attr_val (Text/XML/Light/Lexer.hs:174)
dropSpace (Text/XML/Light/Lexer.hs:179)
break' (Text/XML/Light/Lexer.hs:195)
breakn (Text/XML/Light/Lexer.hs:201)
decode_attr (Text/XML/Light/Lexer.hs:206)
Txt (Text/XML/Light/Lexer.hs:213)
decode_text (Text/XML/Light/Lexer.hs:215)
cref_to_char (Text/XML/Light/Lexer.hs:223)
num_esc (Text/XML/Light/Lexer.hs:233)
cvt_char (Text/XML/Light/Lexer.hs:241)
100% ( 3 / 3) in 'Text.XML.Light.Input'
90% ( 45 / 50) in 'Text.XML.Light.Cursor'
Missing documentation for:
Tag (Text/XML/Light/Cursor.hs:76)
getTag (Text/XML/Light/Cursor.hs:81)
setTag (Text/XML/Light/Cursor.hs:87)
fromTag (Text/XML/Light/Cursor.hs:90)
Path (Text/XML/Light/Cursor.hs:97)
32% ( 10 / 31) in 'Text.XML.Light'
Missing documentation for:
(Text/XML/Light.hs:57)
(Text/XML/Light.hs:63)
(Text/XML/Light.hs:64)
(Text/XML/Light.hs:65)
(Text/XML/Light.hs:67)
(Text/XML/Light.hs:68)
(Text/XML/Light.hs:69)
(Text/XML/Light.hs:70)
(Text/XML/Light.hs:72)
(Text/XML/Light.hs:75)
(Text/XML/Light.hs:76)
(Text/XML/Light.hs:77)
(Text/XML/Light.hs:78)
(Text/XML/Light.hs:80)
(Text/XML/Light.hs:83)
(Text/XML/Light.hs:84)
(Text/XML/Light.hs:85)
(Text/XML/Light.hs:86)
(Text/XML/Light.hs:88)
(Text/XML/Light.hs:91)
(Text/XML/Light.hs:92)
Documentation created: dist/doc/html/xml/index.html, dist/doc/html/xml/xml.txt
Creating package registration file: /tmp/pkgConf-xml-1.3176356569507906577.14
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/xml-1.3.14-A51W7Krf6npGWsiTbJ1zZV
Registering xml-1.3.14...
Installed xml-1.3.14
Configuring exceptions-0.8.0.2...
Building exceptions-0.8.0.2...
Preprocessing library exceptions-0.8.0.2...
[1 of 2] Compiling Control.Monad.Catch ( src/Control/Monad/Catch.hs, dist/build/Control/Monad/Catch.o )
[2 of 2] Compiling Control.Monad.Catch.Pure ( src/Control/Monad/Catch/Pure.hs, dist/build/Control/Monad/Catch/Pure.o )
In-place registering exceptions-0.8.0.2...
Running Haddock for exceptions-0.8.0.2...
Running hscolour for exceptions-0.8.0.2...
Preprocessing library exceptions-0.8.0.2...
Preprocessing library exceptions-0.8.0.2...
Haddock coverage:
100% ( 31 / 31) in 'Control.Monad.Catch'
80% ( 8 / 10) in 'Control.Monad.Catch.Pure'
Missing documentation for:
Catch (src/Control/Monad/Catch/Pure.hs:95)
runCatch (src/Control/Monad/Catch/Pure.hs:97)
Documentation created: dist/doc/html/exceptions/index.html,
dist/doc/html/exceptions/exceptions.txt
Creating package registration file:
/tmp/pkgConf-exceptions-0.8.016227824931993077304.2
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/exceptions-0.8.0.2-8GsEeHgaIks3pVGk6GaELJ
Registering exceptions-0.8.0.2...
Installed exceptions-0.8.0.2
Configuring data-default-0.5.3...
Building data-default-0.5.3...
Preprocessing library data-default-0.5.3...
[1 of 1] Compiling Data.Default ( Data/Default.hs, dist/build/Data/Default.o )
In-place registering data-default-0.5.3...
Running Haddock for data-default-0.5.3...
Running hscolour for data-default-0.5.3...
Preprocessing library data-default-0.5.3...
Preprocessing library data-default-0.5.3...
Haddock coverage:
67% ( 2 / 3) in 'Data.Default'
Missing documentation for:
Module header
Documentation created: dist/doc/html/data-default/index.html,
dist/doc/html/data-default/data-default.txt
Creating package registration file:
/tmp/pkgConf-data-default-0.518270920612023334271.3
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/data-default-0.5.3-5ESg1VNmkW3BMxo7EwKQrK
Registering data-default-0.5.3...
Installed data-default-0.5.3
Configuring blaze-textual-0.2.1.0...
Building blaze-textual-0.2.1.0...
Preprocessing library blaze-textual-0.2.1.0...
[1 of 4] Compiling Blaze.Text.Int ( Blaze/Text/Int.hs, dist/build/Blaze/Text/Int.o )
Blaze/Text/Int.hs:23:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Blaze/Text/Int.hs:24:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Blaze/Text/Int.hs:26:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
[2 of 4] Compiling Blaze.Text.Double.Native ( Blaze/Text/Double/Native.hs, dist/build/Blaze/Text/Double/Native.o )
Blaze/Text/Double/Native.hs:22:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[3 of 4] Compiling Blaze.Text.Double ( Blaze/Text/Double.hs, dist/build/Blaze/Text/Double.o )
[4 of 4] Compiling Blaze.Text ( Blaze/Text.hs, dist/build/Blaze/Text.o )
In-place registering blaze-textual-0.2.1.0...
Running Haddock for blaze-textual-0.2.1.0...
Running hscolour for blaze-textual-0.2.1.0...
Preprocessing library blaze-textual-0.2.1.0...
Preprocessing library blaze-textual-0.2.1.0...
Blaze/Text/Int.hs:23:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Blaze/Text/Int.hs:24:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Blaze/Text/Int.hs:26:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
Blaze/Text/Double/Native.hs:22:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Haddock coverage:
0% ( 0 / 4) in 'Blaze.Text.Int'
Missing documentation for:
Module header
digit (Blaze/Text/Int.hs:91)
integral (Blaze/Text/Int.hs:37)
minus (Blaze/Text/Int.hs:95)
0% ( 0 / 3) in 'Blaze.Text.Double.Native'
Missing documentation for:
Module header
float (Blaze/Text/Double/Native.hs:30)
double (Blaze/Text/Double/Native.hs:33)
0% ( 0 / 3) in 'Blaze.Text.Double'
Missing documentation for:
Module header
float (Blaze/Text/Double/Native.hs:30)
double (Blaze/Text/Double/Native.hs:33)
0% ( 0 / 4) in 'Blaze.Text'
Missing documentation for:
Module header
float (Blaze/Text/Double/Native.hs:30)
double (Blaze/Text/Double/Native.hs:33)
integral (Blaze/Text/Int.hs:37)
Documentation created: dist/doc/html/blaze-textual/index.html,
dist/doc/html/blaze-textual/blaze-textual.txt
Creating package registration file:
/tmp/pkgConf-blaze-textual-0.2.114515164991107713080.0
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/blaze-textual-0.2.1.0-GupgHWTkuyaBVBbqqjT12z
Registering blaze-textual-0.2.1.0...
Installed blaze-textual-0.2.1.0
Configuring constraints-0.6...
Building constraints-0.6...
Preprocessing library constraints-0.6...
[1 of 5] Compiling Data.Constraint ( src/Data/Constraint.hs, dist/build/Data/Constraint.o )
[2 of 5] Compiling Data.Constraint.Deferrable ( src/Data/Constraint/Deferrable.hs, dist/build/Data/Constraint/Deferrable.o )
[3 of 5] Compiling Data.Constraint.Lifting ( src/Data/Constraint/Lifting.hs, dist/build/Data/Constraint/Lifting.o )
[4 of 5] Compiling Data.Constraint.Unsafe ( src/Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[5 of 5] Compiling Data.Constraint.Forall ( src/Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.6...
Running Haddock for constraints-0.6...
Running hscolour for constraints-0.6...
Preprocessing library constraints-0.6...
Preprocessing library constraints-0.6...
Haddock coverage:
96% ( 22 / 23) in 'Data.Constraint'
Missing documentation for:
Constraint
60% ( 3 / 5) in 'Data.Constraint.Deferrable'
Missing documentation for:
UnsatisfiedConstraint (src/Data/Constraint/Deferrable.hs:35)
deferred (src/Data/Constraint/Deferrable.hs:49)
0% ( 0 / 3) in 'Data.Constraint.Lifting'
Missing documentation for:
Module header
Lifting (src/Data/Constraint/Lifting.hs:62)
Lifting2 (src/Data/Constraint/Lifting.hs:407)
100% ( 8 / 8) in 'Data.Constraint.Unsafe'
89% ( 8 / 9) in 'Data.Constraint.Forall'
Missing documentation for:
Forall1 (src/Data/Constraint/Forall.hs:109)
Warning: Data.Constraint.Forall: could not find link destinations for:
Forall_ ForallF_ ForallT_
Documentation created: dist/doc/html/constraints/index.html,
dist/doc/html/constraints/constraints.txt
Creating package registration file:
/tmp/pkgConf-constraints-018474721011720273398.6
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/constraints-0.6-BbQ8QtIow526LwixdaWUyX
Registering constraints-0.6...
Installed constraints-0.6
Configuring scientific-0.3.4.4...
Building scientific-0.3.4.4...
Preprocessing library scientific-0.3.4.4...
[1 of 7] Compiling GHC.Integer.Logarithms.Compat ( src/GHC/Integer/Logarithms/Compat.hs, dist/build/GHC/Integer/Logarithms/Compat.o )
[2 of 7] Compiling Utils ( src/Utils.hs, dist/build/Utils.o )
[3 of 7] Compiling GHC.Integer.Compat ( src/GHC/Integer/Compat.hs, dist/build/GHC/Integer/Compat.o )
[4 of 7] Compiling Math.NumberTheory.Logarithms ( src/Math/NumberTheory/Logarithms.hs, dist/build/Math/NumberTheory/Logarithms.o )
[5 of 7] Compiling Data.Scientific ( src/Data/Scientific.hs, dist/build/Data/Scientific.o )
[6 of 7] Compiling Data.Text.Lazy.Builder.Scientific ( src/Data/Text/Lazy/Builder/Scientific.hs, dist/build/Data/Text/Lazy/Builder/Scientific.o )
[7 of 7] Compiling Data.ByteString.Builder.Scientific ( src/Data/ByteString/Builder/Scientific.hs, dist/build/Data/ByteString/Builder/Scientific.o )
In-place registering scientific-0.3.4.4...
Running Haddock for scientific-0.3.4.4...
Running hscolour for scientific-0.3.4.4...
Preprocessing library scientific-0.3.4.4...
Preprocessing library scientific-0.3.4.4...
Haddock coverage:
67% ( 2 / 3) in 'GHC.Integer.Logarithms.Compat'
Missing documentation for:
Module header
33% ( 1 / 3) in 'Utils'
Missing documentation for:
Module header
roundTo (src/Utils.hs:12)
0% ( 0 / 2) in 'GHC.Integer.Compat'
Missing documentation for:
Module header
divInteger
100% ( 2 / 2) in 'Math.NumberTheory.Logarithms'
100% ( 24 / 24) in 'Data.Scientific'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.Scientific'
Missing documentation for:
Module header
75% ( 3 / 4) in 'Data.ByteString.Builder.Scientific'
Missing documentation for:
Module header
Warning: Data.Scientific: could not find link destinations for:
whenFloating
Documentation created: dist/doc/html/scientific/index.html,
dist/doc/html/scientific/scientific.txt
Creating package registration file:
/tmp/pkgConf-scientific-0.3.41384724137123043725.4
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/scientific-0.3.4.4-03wvk1zJytY0wVzR42F1U4
Registering scientific-0.3.4.4...
Installed scientific-0.3.4.4
Configuring bimap-0.3.1...
Building bimap-0.3.1...
Preprocessing library bimap-0.3.1...
[1 of 1] Compiling Data.Bimap ( Data/Bimap.hs, dist/build/Data/Bimap.o )
In-place registering bimap-0.3.1...
Running Haddock for bimap-0.3.1...
Running hscolour for bimap-0.3.1...
Preprocessing library bimap-0.3.1...
Preprocessing library bimap-0.3.1...
Haddock coverage:
100% ( 71 / 71) in 'Data.Bimap'
Documentation created: dist/doc/html/bimap/index.html,
dist/doc/html/bimap/bimap.txt
Creating package registration file:
/tmp/pkgConf-bimap-0.31233530952203684112.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/bimap-0.3.1-1nunJygbW1q1fWL2mnBffF
Registering bimap-0.3.1...
Installed bimap-0.3.1
Configuring attoparsec-0.12.1.6...
Building attoparsec-0.12.1.6...
Preprocessing library attoparsec-0.12.1.6...
[ 1 of 21] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, dist/build/Data/Attoparsec/Text/FastSet.o )
[ 2 of 21] Compiling Data.Attoparsec.Internal.Fhthagn ( Data/Attoparsec/Internal/Fhthagn.hs, dist/build/Data/Attoparsec/Internal/Fhthagn.o )
[ 3 of 21] Compiling Data.Attoparsec.Text.Buffer ( Data/Attoparsec/Text/Buffer.hs, dist/build/Data/Attoparsec/Text/Buffer.o )
[ 4 of 21] Compiling Data.Attoparsec.ByteString.Buffer ( Data/Attoparsec/ByteString/Buffer.hs, dist/build/Data/Attoparsec/ByteString/Buffer.o )
[ 5 of 21] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o )
[ 6 of 21] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, dist/build/Data/Attoparsec/Number.o )
[ 7 of 21] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, dist/build/Data/Attoparsec/ByteString/FastSet.o )
[ 8 of 21] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, dist/build/Data/Attoparsec/Internal/Types.o )
[ 9 of 21] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, dist/build/Data/Attoparsec/Types.o )
[10 of 21] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, dist/build/Data/Attoparsec/Internal.o )
[11 of 21] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, dist/build/Data/Attoparsec/Combinator.o )
[12 of 21] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, dist/build/Data/Attoparsec/ByteString/Internal.o )
[13 of 21] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, dist/build/Data/Attoparsec/Text/Internal.o )
[14 of 21] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, dist/build/Data/Attoparsec/Text.o )
[15 of 21] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o )
[16 of 21] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, dist/build/Data/Attoparsec/ByteString.o )
[17 of 21] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, dist/build/Data/Attoparsec/ByteString/Char8.o )
[18 of 21] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, dist/build/Data/Attoparsec/Char8.o )
[19 of 21] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, dist/build/Data/Attoparsec/ByteString/Lazy.o )
[20 of 21] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, dist/build/Data/Attoparsec/Lazy.o )
[21 of 21] Compiling Data.Attoparsec ( Data/Attoparsec.hs, dist/build/Data/Attoparsec.o )
In-place registering attoparsec-0.12.1.6...
Running Haddock for attoparsec-0.12.1.6...
Running hscolour for attoparsec-0.12.1.6...
Preprocessing library attoparsec-0.12.1.6...
Preprocessing library attoparsec-0.12.1.6...
Haddock coverage:
60% ( 6 / 10) in 'Data.Attoparsec.Text.FastSet'
Missing documentation for:
FastSet (Data/Attoparsec/Text/FastSet.hs:40)
fromList (Data/Attoparsec/Text/FastSet.hs:80)
set (Data/Attoparsec/Text/FastSet.hs:102)
charClass (Data/Attoparsec/Text/FastSet.hs:115)
50% ( 1 / 2) in 'Data.Attoparsec.Internal.Fhthagn'
Missing documentation for:
Module header
36% ( 4 / 11) in 'Data.Attoparsec.Text.Buffer'
Missing documentation for:
Buffer (Data/Attoparsec/Text/Buffer.hs:58)
unbuffer (Data/Attoparsec/Text/Buffer.hs:75)
unbufferAt (Data/Attoparsec/Text/Buffer.hs:78)
length (Data/Attoparsec/Text/Buffer.hs:120)
pappend (Data/Attoparsec/Text/Buffer.hs:93)
substring (Data/Attoparsec/Text/Buffer.hs:124)
dropWord16 (Data/Attoparsec/Text/Buffer.hs:131)
22% ( 2 / 9) in 'Data.Attoparsec.ByteString.Buffer'
Missing documentation for:
Buffer (Data/Attoparsec/ByteString/Buffer.hs:71)
unbuffer (Data/Attoparsec/ByteString/Buffer.hs:88)
pappend (Data/Attoparsec/ByteString/Buffer.hs:101)
length (Data/Attoparsec/ByteString/Buffer.hs:134)
unsafeIndex (Data/Attoparsec/ByteString/Buffer.hs:138)
substring (Data/Attoparsec/ByteString/Buffer.hs:143)
unsafeDrop (Data/Attoparsec/ByteString/Buffer.hs:150)
100% ( 7 / 7) in 'Data.Attoparsec.Zepto'
100% ( 2 / 2) in 'Data.Attoparsec.Number'
69% ( 9 / 13) in 'Data.Attoparsec.ByteString.FastSet'
Missing documentation for:
FastSet (Data/Attoparsec/ByteString/FastSet.hs:44)
fromList (Data/Attoparsec/ByteString/FastSet.hs:62)
fromSet (Data/Attoparsec/ByteString/FastSet.hs:44)
charClass (Data/Attoparsec/ByteString/FastSet.hs:111)
50% ( 5 / 10) in 'Data.Attoparsec.Internal.Types'
Missing documentation for:
State (Data/Attoparsec/Internal/Types.hs:118)
Failure (Data/Attoparsec/Internal/Types.hs:122)
Success (Data/Attoparsec/Internal/Types.hs:124)
Pos (Data/Attoparsec/Internal/Types.hs:46)
<> (Data/Attoparsec/Internal/Types.hs:209)
100% ( 4 / 4) in 'Data.Attoparsec.Types'
100% ( 9 / 9) in 'Data.Attoparsec.Internal'
100% ( 24 / 24) in 'Data.Attoparsec.Combinator'
93% ( 39 / 42) in 'Data.Attoparsec.ByteString.Internal'
Missing documentation for:
Parser (Data/Attoparsec/ByteString/Internal.hs:95)
Result (Data/Attoparsec/ByteString/Internal.hs:96)
storable (Data/Attoparsec/ByteString/Internal.hs:138)
95% ( 39 / 41) in 'Data.Attoparsec.Text.Internal'
Missing documentation for:
Parser (Data/Attoparsec/Text/Internal.hs:89)
Result (Data/Attoparsec/Text/Internal.hs:90)
98% ( 89 / 91) in 'Data.Attoparsec.Text'
Missing documentation for:
Parser (Data/Attoparsec/Text/Internal.hs:89)
Result (Data/Attoparsec/Text/Internal.hs:90)
100% ( 9 / 9) in 'Data.Attoparsec.Text.Lazy'
97% ( 65 / 67) in 'Data.Attoparsec.ByteString'
Missing documentation for:
Parser (Data/Attoparsec/ByteString/Internal.hs:95)
Result (Data/Attoparsec/ByteString/Internal.hs:96)
98% ( 91 / 93) in 'Data.Attoparsec.ByteString.Char8'
Missing documentation for:
Parser (Data/Attoparsec/ByteString/Internal.hs:95)
Result (Data/Attoparsec/ByteString/Internal.hs:96)
100% ( 2 / 2) in 'Data.Attoparsec.Char8'
100% ( 9 / 9) in 'Data.Attoparsec.ByteString.Lazy'
100% ( 2 / 2) in 'Data.Attoparsec.Lazy'
100% ( 2 / 2) in 'Data.Attoparsec'
Documentation created: dist/doc/html/attoparsec/index.html,
dist/doc/html/attoparsec/attoparsec.txt
Creating package registration file:
/tmp/pkgConf-attoparsec-0.12.1509643566470949153.6
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/attoparsec-0.12.1.6-8Qxny6NK1Xd2I62Zk5KvLn
Registering attoparsec-0.12.1.6...
Installed attoparsec-0.12.1.6
Configuring atto-lisp-0.2.2.1...
Building atto-lisp-0.2.2.1...
Preprocessing library atto-lisp-0.2.2.1...
Data/AttoLisp.hs:4:57: Warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[1 of 1] Compiling Data.AttoLisp ( Data/AttoLisp.hs, dist/build/Data/AttoLisp.o )
Data/AttoLisp.hs:37:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Data/AttoLisp.hs:42:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/AttoLisp.hs:44:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/AttoLisp.hs:68:12: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:467:21: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:473:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:474:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:486:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:487:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:492:17: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:496:19: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:498:34: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:509:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:510:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:663:20: Warning:
In the use of ‘AC.number’
(imported from Data.Attoparsec.ByteString.Char8):
Deprecated: "Use 'scientific' instead."
Data/AttoLisp.hs:841:15: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:842:13: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:843:13: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
In-place registering atto-lisp-0.2.2.1...
Running Haddock for atto-lisp-0.2.2.1...
Running hscolour for atto-lisp-0.2.2.1...
Preprocessing library atto-lisp-0.2.2.1...
Preprocessing library atto-lisp-0.2.2.1...
Data/AttoLisp.hs:4:57: Warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Data/AttoLisp.hs:37:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Data/AttoLisp.hs:42:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/AttoLisp.hs:44:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/AttoLisp.hs:68:12: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:467:21: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:473:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:474:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:486:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:487:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:492:17: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:496:19: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:498:34: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:509:7: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:510:7: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:663:20: Warning:
In the use of ‘AC.number’
(imported from Data.Attoparsec.ByteString.Char8):
Deprecated: "Use 'scientific' instead."
Data/AttoLisp.hs:841:15: Warning:
In the use of type constructor or class ‘Number’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:842:13: Warning:
In the use of data constructor ‘I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Data/AttoLisp.hs:843:13: Warning:
In the use of data constructor ‘D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Haddock coverage:
88% ( 22 / 25) in 'Data.AttoLisp'
Missing documentation for:
fromLisp (Data/AttoLisp.hs:286)
encode (Data/AttoLisp.hs:845)
fromLispExpr (Data/AttoLisp.hs:810)
Warning: Data.AttoLisp: could not find link destinations for:
ParseList
Documentation created: dist/doc/html/atto-lisp/index.html,
dist/doc/html/atto-lisp/atto-lisp.txt
Creating package registration file:
/tmp/pkgConf-atto-lisp-0.2.25273864501699761353.1
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/atto-lisp-0.2.2.1-1QZ4JIRdnKSLdM6CM3flLk
Registering atto-lisp-0.2.2.1...
Installed atto-lisp-0.2.2.1
Configuring smtlib2-0.3...
Building smtlib2-0.3...
Preprocessing library smtlib2-0.3...
[ 1 of 11] Compiling Data.Unit ( Data/Unit.hs, dist/build/Data/Unit.o )
[ 2 of 11] Compiling Language.SMTLib2.Internals.Operators ( Language/SMTLib2/Internals/Operators.hs, dist/build/Language/SMTLib2/Internals/Operators.o )
[ 3 of 11] Compiling Language.SMTLib2.Strategy ( Language/SMTLib2/Strategy.hs, dist/build/Language/SMTLib2/Strategy.o )
[ 4 of 11] Compiling Language.SMTLib2.Internals ( Language/SMTLib2/Internals.hs, dist/build/Language/SMTLib2/Internals.o )
Language/SMTLib2/Internals.hs:10:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals.hs:27:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 5 of 11] Compiling Language.SMTLib2.Internals.Instances ( Language/SMTLib2/Internals/Instances.hs, dist/build/Language/SMTLib2/Internals/Instances.o )
Language/SMTLib2/Internals/Instances.hs:13:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals/Instances.hs:1510:1: Warning:
Pattern match(es) are overlapped
In an equation for ‘compareExprs’:
compareExprs (InternalObj _ _) _ = ...
compareExprs _ (InternalObj _ _) = ...
[ 6 of 11] Compiling Language.SMTLib2.Internals.Optimize ( Language/SMTLib2/Internals/Optimize.hs, dist/build/Language/SMTLib2/Internals/Optimize.o )
[ 7 of 11] Compiling Language.SMTLib2.Internals.Interface ( Language/SMTLib2/Internals/Interface.hs, dist/build/Language/SMTLib2/Internals/Interface.o )
Language/SMTLib2/Internals/Interface.hs:15:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
[ 8 of 11] Compiling Language.SMTLib2.Pipe ( Language/SMTLib2/Pipe.hs, dist/build/Language/SMTLib2/Pipe.o )
Language/SMTLib2/Pipe.hs:26:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Language/SMTLib2/Pipe.hs:28:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:29:1: Warning:
Module ‘Data.Attoparsec’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:40:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Pipe.hs:136:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:140:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:520:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:749:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:750:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:757:95: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:850:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:862:31: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:895:65: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:962:54: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:963:46: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:966:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:967:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:978:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1532:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1533:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1576:60: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1677:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1692:49: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1693:52: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1700:16: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
[ 9 of 11] Compiling Language.SMTLib2.Connection ( Language/SMTLib2/Connection.hs, dist/build/Language/SMTLib2/Connection.o )
[10 of 11] Compiling Language.SMTLib2 ( Language/SMTLib2.hs, dist/build/Language/SMTLib2.o )
[11 of 11] Compiling Language.SMTLib2.Solver ( Language/SMTLib2/Solver.hs, dist/build/Language/SMTLib2/Solver.o )
In-place registering smtlib2-0.3...
Running Haddock for smtlib2-0.3...
Running hscolour for smtlib2-0.3...
Preprocessing library smtlib2-0.3...
Preprocessing library smtlib2-0.3...
Language/SMTLib2/Internals.hs:10:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals.hs:27:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Haddock coverage:
25% ( 2 / 8) in 'Data.Unit'
Missing documentation for:
(Data/Unit.hs:13)
(Data/Unit.hs:16)
(Data/Unit.hs:19)
(Data/Unit.hs:22)
(Data/Unit.hs:25)
(Data/Unit.hs:28)
0% ( 0 / 8) in 'Language.SMTLib2.Internals.Operators'
Missing documentation for:
Module header
SMTOrdOp (Language/SMTLib2/Internals/Operators.hs:5)
SMTArithOp (Language/SMTLib2/Internals/Operators.hs:12)
SMTIntArithOp (Language/SMTLib2/Internals/Operators.hs:17)
SMTLogicOp (Language/SMTLib2/Internals/Operators.hs:22)
SMTBVCompOp (Language/SMTLib2/Internals/Operators.hs:28)
SMTBVBinOp (Language/SMTLib2/Internals/Operators.hs:39)
SMTBVUnOp (Language/SMTLib2/Internals/Operators.hs:55)
0% ( 0 / 9) in 'Language.SMTLib2.Strategy'
Missing documentation for:
Module header
Tactic (Language/SMTLib2/Strategy.hs:5)
Probe (Language/SMTLib2/Strategy.hs:16)
AnyPar (Language/SMTLib2/Strategy.hs:54)
BuiltInTactic (Language/SMTLib2/Strategy.hs:59)
QFLRATacticP (Language/SMTLib2/Strategy.hs:63)
(Language/SMTLib2/Strategy.hs:67)
(Language/SMTLib2/Strategy.hs:97)
(Language/SMTLib2/Strategy.hs:101)
8% ( 16 /194) in 'Language.SMTLib2.Internals'
Missing documentation for:
Module header
SMTRequest (Language/SMTLib2/Internals.hs:32)
SMTModel (Language/SMTLib2/Internals.hs:60)
SMTBackend (Language/SMTLib2/Internals.hs:75)
ArgumentSort' (Language/SMTLib2/Internals.hs:96)
ArgumentSort (Language/SMTLib2/Internals.hs:99)
Unmangling (Language/SMTLib2/Internals.hs:101)
Mangling (Language/SMTLib2/Internals.hs:104)
FunInfo (Language/SMTLib2/Internals.hs:127)
AnyBackend (Language/SMTLib2/Internals.hs:133)
SMT (Language/SMTLib2/Internals.hs:138)
(Language/SMTLib2/Internals.hs:140)
(Language/SMTLib2/Internals.hs:143)
(Language/SMTLib2/Internals.hs:150)
(Language/SMTLib2/Internals.hs:155)
(Language/SMTLib2/Internals.hs:159)
smtBackend (Language/SMTLib2/Internals.hs:163)
(Language/SMTLib2/Internals.hs:166)
Untyped (Language/SMTLib2/Internals.hs:171)
UntypedValue (Language/SMTLib2/Internals.hs:173)
(Language/SMTLib2/Internals.hs:175)
(Language/SMTLib2/Internals.hs:180)
(Language/SMTLib2/Internals.hs:186)
(Language/SMTLib2/Internals.hs:191)
(Language/SMTLib2/Internals.hs:197)
Sort' (Language/SMTLib2/Internals.hs:218)
Sort (Language/SMTLib2/Internals.hs:227)
Value (Language/SMTLib2/Internals.hs:229)
SMTFunction (Language/SMTLib2/Internals.hs:237)
IsBitVector (Language/SMTLib2/Internals.hs:271)
Concatable (Language/SMTLib2/Internals.hs:274)
Extractable (Language/SMTLib2/Internals.hs:282)
InterpolationGroup (Language/SMTLib2/Internals.hs:293)
SMTInfo (Language/SMTLib2/Internals.hs:307)
getSorts (Language/SMTLib2/Internals.hs:335)
(Language/SMTLib2/Internals.hs:338)
foldExprsId (Language/SMTLib2/Internals.hs:348)
foldsExprsId (Language/SMTLib2/Internals.hs:352)
Liftable (Language/SMTLib2/Internals.hs:357)
argSorts (Language/SMTLib2/Internals.hs:365)
unpackArgs (Language/SMTLib2/Internals.hs:370)
firstJust (Language/SMTLib2/Internals.hs:383)
getUndef (Language/SMTLib2/Internals.hs:388)
getFunUndef (Language/SMTLib2/Internals.hs:391)
getArrayUndef (Language/SMTLib2/Internals.hs:395)
withSMTBackendExitCleanly (Language/SMTLib2/Internals.hs:398)
withSMTBackend (Language/SMTLib2/Internals.hs:405)
withSMTBackend' (Language/SMTLib2/Internals.hs:408)
funInfoSort (Language/SMTLib2/Internals.hs:414)
funInfoArgSorts (Language/SMTLib2/Internals.hs:419)
argsSignature (Language/SMTLib2/Internals.hs:489)
argumentSortToSort (Language/SMTLib2/Internals.hs:512)
sortToArgumentSort (Language/SMTLib2/Internals.hs:518)
declareType (Language/SMTLib2/Internals.hs:521)
DataTypeInfo (Language/SMTLib2/Internals.hs:533)
TypeCollection (Language/SMTLib2/Internals.hs:539)
ProxyArg (Language/SMTLib2/Internals.hs:543)
ProxyArgValue (Language/SMTLib2/Internals.hs:545)
withProxyArg (Language/SMTLib2/Internals.hs:547)
withProxyArgValue (Language/SMTLib2/Internals.hs:550)
(Language/SMTLib2/Internals.hs:553)
(Language/SMTLib2/Internals.hs:560)
(Language/SMTLib2/Internals.hs:565)
(Language/SMTLib2/Internals.hs:571)
(Language/SMTLib2/Internals.hs:578)
(Language/SMTLib2/Internals.hs:583)
AnyValue (Language/SMTLib2/Internals.hs:589)
withAnyValue (Language/SMTLib2/Internals.hs:591)
castAnyValue (Language/SMTLib2/Internals.hs:594)
DataType (Language/SMTLib2/Internals.hs:597)
Constr (Language/SMTLib2/Internals.hs:605)
DataField (Language/SMTLib2/Internals.hs:614)
emptyDataTypeInfo (Language/SMTLib2/Internals.hs:621)
containsTypeCollection (Language/SMTLib2/Internals.hs:627)
addDataTypeStructure (Language/SMTLib2/Internals.hs:632)
asNamedSort (Language/SMTLib2/Internals.hs:685)
escapeName (Language/SMTLib2/Internals.hs:689)
escapeName' (Language/SMTLib2/Internals.hs:702)
unescapeName (Language/SMTLib2/Internals.hs:707)
unescapeName' (Language/SMTLib2/Internals.hs:716)
SMTState (Language/SMTLib2/Internals.hs:733)
emptySMTState (Language/SMTLib2/Internals.hs:741)
smtStateAddFun (Language/SMTLib2/Internals.hs:751)
Z (Language/SMTLib2/Internals.hs:869)
S (Language/SMTLib2/Internals.hs:870)
TypeableNat (Language/SMTLib2/Internals.hs:872)
(Language/SMTLib2/Internals.hs:875)
(Language/SMTLib2/Internals.hs:878)
Add (Language/SMTLib2/Internals.hs:881)
BVUntyped (Language/SMTLib2/Internals.hs:885)
BVTyped (Language/SMTLib2/Internals.hs:886)
reifyNat (Language/SMTLib2/Internals.hs:888)
reifySum (Language/SMTLib2/Internals.hs:900)
reifyExtract (Language/SMTLib2/Internals.hs:914)
BitVector (Language/SMTLib2/Internals.hs:936)
(Language/SMTLib2/Internals.hs:939)
(Language/SMTLib2/Internals.hs:942)
N0 (Language/SMTLib2/Internals.hs:955)
N1 (Language/SMTLib2/Internals.hs:956)
N2 (Language/SMTLib2/Internals.hs:957)
N3 (Language/SMTLib2/Internals.hs:958)
N4 (Language/SMTLib2/Internals.hs:959)
N5 (Language/SMTLib2/Internals.hs:960)
N6 (Language/SMTLib2/Internals.hs:961)
N7 (Language/SMTLib2/Internals.hs:962)
N8 (Language/SMTLib2/Internals.hs:963)
N9 (Language/SMTLib2/Internals.hs:964)
N10 (Language/SMTLib2/Internals.hs:965)
N11 (Language/SMTLib2/Internals.hs:966)
N12 (Language/SMTLib2/Internals.hs:967)
N13 (Language/SMTLib2/Internals.hs:968)
N14 (Language/SMTLib2/Internals.hs:969)
N15 (Language/SMTLib2/Internals.hs:970)
N16 (Language/SMTLib2/Internals.hs:971)
N17 (Language/SMTLib2/Internals.hs:972)
N18 (Language/SMTLib2/Internals.hs:973)
N19 (Language/SMTLib2/Internals.hs:974)
N20 (Language/SMTLib2/Internals.hs:975)
N21 (Language/SMTLib2/Internals.hs:976)
N22 (Language/SMTLib2/Internals.hs:977)
N23 (Language/SMTLib2/Internals.hs:978)
N24 (Language/SMTLib2/Internals.hs:979)
N25 (Language/SMTLib2/Internals.hs:980)
N26 (Language/SMTLib2/Internals.hs:981)
N27 (Language/SMTLib2/Internals.hs:982)
N28 (Language/SMTLib2/Internals.hs:983)
N29 (Language/SMTLib2/Internals.hs:984)
N30 (Language/SMTLib2/Internals.hs:985)
N31 (Language/SMTLib2/Internals.hs:986)
N32 (Language/SMTLib2/Internals.hs:987)
N33 (Language/SMTLib2/Internals.hs:988)
N34 (Language/SMTLib2/Internals.hs:989)
N35 (Language/SMTLib2/Internals.hs:990)
N36 (Language/SMTLib2/Internals.hs:991)
N37 (Language/SMTLib2/Internals.hs:992)
N38 (Language/SMTLib2/Internals.hs:993)
N39 (Language/SMTLib2/Internals.hs:994)
N40 (Language/SMTLib2/Internals.hs:995)
N41 (Language/SMTLib2/Internals.hs:996)
N42 (Language/SMTLib2/Internals.hs:997)
N43 (Language/SMTLib2/Internals.hs:998)
N44 (Language/SMTLib2/Internals.hs:999)
N45 (Language/SMTLib2/Internals.hs:1000)
N46 (Language/SMTLib2/Internals.hs:1001)
N47 (Language/SMTLib2/
Language/SMTLib2/Internals/Instances.hs:13:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Internals/Interface.hs:15:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Internals.hs:1002)
N48 (Language/SMTLib2/Internals.hs:1003)
N49 (Language/SMTLib2/Internals.hs:1004)
N50 (Language/SMTLib2/Internals.hs:1005)
N51 (Language/SMTLib2/Internals.hs:1006)
N52 (Language/SMTLib2/Internals.hs:1007)
N53 (Language/SMTLib2/Internals.hs:1008)
N54 (Language/SMTLib2/Internals.hs:1009)
N55 (Language/SMTLib2/Internals.hs:1010)
N56 (Language/SMTLib2/Internals.hs:1011)
N57 (Language/SMTLib2/Internals.hs:1012)
N58 (Language/SMTLib2/Internals.hs:1013)
N59 (Language/SMTLib2/Internals.hs:1014)
N60 (Language/SMTLib2/Internals.hs:1015)
N61 (Language/SMTLib2/Internals.hs:1016)
N62 (Language/SMTLib2/Internals.hs:1017)
N63 (Language/SMTLib2/Internals.hs:1018)
N64 (Language/SMTLib2/Internals.hs:1019)
BV8 (Language/SMTLib2/Internals.hs:1021)
BV16 (Language/SMTLib2/Internals.hs:1022)
BV32 (Language/SMTLib2/Internals.hs:1023)
BV64 (Language/SMTLib2/Internals.hs:1024)
(Language/SMTLib2/Internals.hs:1026)
(Language/SMTLib2/Internals.hs:1033)
Bound (Language/SMTLib2/Internals.hs:1036)
showExpr (Language/SMTLib2/Internals.hs:1038)
(Language/SMTLib2/Internals.hs:1098)
(Language/SMTLib2/Internals.hs:1151)
(Language/SMTLib2/Internals.hs:1156)
noLimits (Language/SMTLib2/Internals.hs:1161)
Quantified (Language/SMTLib2/Internals.hs:1165)
quantificationLevel (Language/SMTLib2/Internals.hs:1167)
inferSorts (Language/SMTLib2/Internals.hs:1178)
valueSort (Language/SMTLib2/Internals.hs:1188)
6% ( 7 /115) in 'Language.SMTLib2.Internals.Instances'
Missing documentation for:
valueToHaskell (Language/SMTLib2/Internals/Instances.hs:25)
inferResAnnotation (Language/SMTLib2/Internals/Instances.hs:74)
entype (Language/SMTLib2/Internals/Instances.hs:126)
entypeValue (Language/SMTLib2/Internals/Instances.hs:138)
castUntypedExpr (Language/SMTLib2/Internals/Instances.hs:160)
castUntypedExprValue (Language/SMTLib2/Internals/Instances.hs:165)
(Language/SMTLib2/Internals/Instances.hs:171)
(Language/SMTLib2/Internals/Instances.hs:184)
(Language/SMTLib2/Internals/Instances.hs:202)
(Language/SMTLib2/Internals/Instances.hs:217)
(Language/SMTLib2/Internals/Instances.hs:224)
(Language/SMTLib2/Internals/Instances.hs:232)
(Language/SMTLib2/Internals/Instances.hs:239)
(Language/SMTLib2/Internals/Instances.hs:245)
(Language/SMTLib2/Internals/Instances.hs:247)
(Language/SMTLib2/Internals/Instances.hs:256)
(Language/SMTLib2/Internals/Instances.hs:262)
(Language/SMTLib2/Internals/Instances.hs:282)
(Language/SMTLib2/Internals/Instances.hs:289)
(Language/SMTLib2/Internals/Instances.hs:295)
(Language/SMTLib2/Internals/Instances.hs:297)
(Language/SMTLib2/Internals/Instances.hs:306)
(Language/SMTLib2/Internals/Instances.hs:310)
(Language/SMTLib2/Internals/Instances.hs:318)
(Language/SMTLib2/Internals/Instances.hs:336)
(Language/SMTLib2/Internals/Instances.hs:344)
(Language/SMTLib2/Internals/Instances.hs:352)
(Language/SMTLib2/Internals/Instances.hs:366)
(Language/SMTLib2/Internals/Instances.hs:385)
(Language/SMTLib2/Internals/Instances.hs:407)
(Language/SMTLib2/Internals/Instances.hs:432)
(Language/SMTLib2/Internals/Instances.hs:460)
(Language/SMTLib2/Internals/Instances.hs:465)
(Language/SMTLib2/Internals/Instances.hs:470)
(Language/SMTLib2/Internals/Instances.hs:475)
(Language/SMTLib2/Internals/Instances.hs:481)
(Language/SMTLib2/Internals/Instances.hs:495)
(Language/SMTLib2/Internals/Instances.hs:518)
(Language/SMTLib2/Internals/Instances.hs:523)
(Language/SMTLib2/Internals/Instances.hs:531)
(Language/SMTLib2/Internals/Instances.hs:562)
(Language/SMTLib2/Internals/Instances.hs:571)
(Language/SMTLib2/Internals/Instances.hs:613)
(Language/SMTLib2/Internals/Instances.hs:623)
(Language/SMTLib2/Internals/Instances.hs:672)
(Language/SMTLib2/Internals/Instances.hs:683)
(Language/SMTLib2/Internals/Instances.hs:739)
(Language/SMTLib2/Internals/Instances.hs:752)
(Language/SMTLib2/Internals/Instances.hs:784)
(Language/SMTLib2/Internals/Instances.hs:818)
(Language/SMTLib2/Internals/Instances.hs:848)
(Language/SMTLib2/Internals/Instances.hs:870)
(Language/SMTLib2/Internals/Instances.hs:880)
(Language/SMTLib2/Internals/Instances.hs:885)
(Language/SMTLib2/Internals/Instances.hs:896)
(Language/SMTLib2/Internals/Instances.hs:905)
dtMaybe (Language/SMTLib2/Internals/Instances.hs:922)
conNothing (Language/SMTLib2/Internals/Instances.hs:931)
conJust (Language/SMTLib2/Internals/Instances.hs:946)
nothing' (Language/SMTLib2/Internals/Instances.hs:965)
just' (Language/SMTLib2/Internals/Instances.hs:972)
fieldFromJust (Language/SMTLib2/Internals/Instances.hs:979)
(Language/SMTLib2/Internals/Instances.hs:990)
(Language/SMTLib2/Internals/Instances.hs:1034)
dtList (Language/SMTLib2/Internals/Instances.hs:1046)
conNil (Language/SMTLib2/Internals/Instances.hs:1053)
conInsert (Language/SMTLib2/Internals/Instances.hs:1067)
insert' (Language/SMTLib2/Internals/Instances.hs:1087)
nil' (Language/SMTLib2/Internals/Instances.hs:1094)
fieldHead (Language/SMTLib2/Internals/Instances.hs:1101)
fieldTail (Language/SMTLib2/Internals/Instances.hs:1111)
(Language/SMTLib2/Internals/Instances.hs:1121)
(Language/SMTLib2/Internals/Instances.hs:1171)
(Language/SMTLib2/Internals/Instances.hs:1178)
(Language/SMTLib2/Internals/Instances.hs:1181)
(Language/SMTLib2/Internals/Instances.hs:1189)
(Language/SMTLib2/Internals/Instances.hs:1196)
(Language/SMTLib2/Internals/Instances.hs:1199)
bvUnsigned (Language/SMTLib2/Internals/Instances.hs:1209)
bvSigned (Language/SMTLib2/Internals/Instances.hs:1212)
bvRestrict (Language/SMTLib2/Internals/Instances.hs:1219)
(Language/SMTLib2/Internals/Instances.hs:1224)
(Language/SMTLib2/Internals/Instances.hs:1233)
(Language/SMTLib2/Internals/Instances.hs:1242)
(Language/SMTLib2/Internals/Instances.hs:1246)
(Language/SMTLib2/Internals/Instances.hs:1250)
(Language/SMTLib2/Internals/Instances.hs:1254)
withSort (Language/SMTLib2/Internals/Instances.hs:1258)
withNumSort (Language/SMTLib2/Internals/Instances.hs:1277)
withSorts (Language/SMTLib2/Internals/Instances.hs:1282)
withArraySort (Language/SMTLib2/Internals/Instances.hs:1297)
foldExprMux (Language/SMTLib2/Internals/Instances.hs:1374)
foldArgsMux (Language/SMTLib2/Internals/Instances.hs:1387)
(Language/SMTLib2/Internals/Instances.hs:1391)
(Language/SMTLib2/Internals/Instances.hs:1394)
compareFun (Language/SMTLib2/Internals/Instances.hs:1397)
compareConstructor (Language/SMTLib2/Internals/Instances.hs:1488)
compareField (Language/SMTLib2/Internals/Instances.hs:1496)
compareArgs (Language/SMTLib2/Internals/Instances.hs:1506)
compareExprs (Language/SMTLib2/Internals/Instances.hs:1509)
(Language/SMTLib2/Internals/Instances.hs:1574)
(Language/SMTLib2/Internals/Instances.hs:1579)
eqExpr (Language/SMTLib2/Internals/Instances.hs:1582)
(Language/SMTLib2/Internals/Instances.hs:1628)
(Language/SMTLib2/Internals/Instances.hs:1634)
(Language/SMTLib2/Internals/Instances.hs:1637)
(Language/SMTLib2/Internals/Instances.hs:1644)
valueToConst (Language/SMTLib2/Internals/Instances.hs:1647)
0% ( 0 / 3) in 'Language.SMTLib2.Internals.Optimize'
Missing documentation for:
Module header
optimizeBackend (Language/SMTLib2/Internals/Optimize.hs:11)
optimizeExpr (Language/SMTLib2/Internals/Optimize.hs:62)
86% (115 /134) in 'Language.SMTLib2.Internals.Interface'
Missing documentation for:
isSat (Language/SMTLib2/Internals/Interface.hs:29)
argVarsAnnNamed' (Language/SMTLib2/Internals/Interface.hs:102)
getValue (Language/SMTLib2/Internals/Interface.hs:131)
getValues (Language/SMTLib2/Internals/Interface.hs:134)
Language/SMTLib2/Pipe.hs:26:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Language/SMTLib2/Pipe.hs:28:1: Warning:
Module ‘Data.Attoparsec.Number’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:29:1: Warning:
Module ‘Data.Attoparsec’ is deprecated:
This module will be removed in the next major release.
Language/SMTLib2/Pipe.hs:40:1: Warning:
The import of ‘Data.Proxy’ is redundant
except perhaps to import instances from ‘Data.Proxy’
To import instances alone, use: import Data.Proxy()
Language/SMTLib2/Pipe.hs:136:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:140:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:520:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:749:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:750:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:757:95: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:850:31: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:862:31: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:895:65: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:962:54: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:963:46: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:966:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:967:34: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:978:24: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1532:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1533:26: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1576:60: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1677:48: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1692:49: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1693:52: Warning:
In the use of data constructor ‘L.D’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
Language/SMTLib2/Pipe.hs:1700:16: Warning:
In the use of data constructor ‘L.I’
(imported from Data.Attoparsec.Number):
Deprecated: "This module will be removed in the next major release."
defConstNamed' (Language/SMTLib2/Internals/Interface.hs:165)
defFunAnnNamed' (Language/SMTLib2/Internals/Interface.hs:175)
.&&. (Language/SMTLib2/Internals/Interface.hs:193)
.||. (Language/SMTLib2/Internals/Interface.hs:200)
getInterpolant (Language/SMTLib2/Internals/Interface.hs:231)
interpolate (Language/SMTLib2/Internals/Interface.hs:234)
funAnnNamed' (Language/SMTLib2/Internals/Interface.hs:255)
div'' (Language/SMTLib2/Internals/Interface.hs:331)
mod'' (Language/SMTLib2/Internals/Interface.hs:338)
rem'' (Language/SMTLib2/Internals/Interface.hs:345)
divide' (Language/SMTLib2/Internals/Interface.hs:352)
not'' (Language/SMTLib2/Internals/Interface.hs:388)
bvextract' (Language/SMTLib2/Internals/Interface.hs:516)
mkQuantified (Language/SMTLib2/Internals/Interface.hs:560)
optimizeExpr' (Language/SMTLib2/Internals/Interface.hs:674)
32% ( 6 / 19) in 'Language.SMTLib2.Pipe'
Missing documentation for:
Module header
FunctionParser (Language/SMTLib2/Pipe.hs:804)
withPipe (Language/SMTLib2/Pipe.hs:1662)
exprToLisp (Language/SMTLib2/Pipe.hs:570)
exprToLispWith (Language/SMTLib2/Pipe.hs:576)
lispToExprWith (Language/SMTLib2/Pipe.hs:1005)
sortToLisp (Language/SMTLib2/Pipe.hs:491)
renderExpr (Language/SMTLib2/Pipe.hs:58)
renderExpr' (Language/SMTLib2/Pipe.hs:64)
renderSMTRequest (Language/SMTLib2/Pipe.hs:105)
renderSMTResponse (Language/SMTLib2/Pipe.hs:435)
simpleParser (Language/SMTLib2/Pipe.hs:1197)
FunctionParser' (Language/SMTLib2/Pipe.hs:815)
71% ( 5 / 7) in 'Language.SMTLib2.Connection'
Missing documentation for:
withConnection (Language/SMTLib2/Connection.hs:39)
performSMTExitCleanly (Language/SMTLib2/Connection.hs:53)
60% (148 /246) in 'Language.SMTLib2'
Missing documentation for:
SMT (Language/SMTLib2/Internals.hs:138)
SMTBackend (Language/SMTLib2/Internals.hs:75)
AnyBackend (Language/SMTLib2/Internals.hs:133)
SMTFunction (Language/SMTLib2/Internals.hs:237)
withSMTBackend (Language/SMTLib2/Internals.hs:405)
withSMTBackendExitCleanly (Language/SMTLib2/Internals.hs:398)
SMTInfo (Language/SMTLib2/Internals.hs:307)
noLimits (Language/SMTLib2/Internals.hs:1161)
getValue (Language/SMTLib2/Internals/Interface.hs:131)
getValues (Language/SMTLib2/Internals/Interface.hs:134)
InterpolationGroup (Language/SMTLib2/Internals.hs:293)
getInterpolant (Language/SMTLib2/Internals/Interface.hs:231)
interpolate (Language/SMTLib2/Internals/Interface.hs:234)
optimizeExpr (Language/SMTLib2/Internals/Optimize.hs:62)
optimizeExpr' (Language/SMTLib2/Internals/Interface.hs:674)
.&&. (Language/SMTLib2/Internals/Interface.hs:193)
.||. (Language/SMTLib2/Internals/Interface.hs:200)
not'' (Language/SMTLib2/Internals/Interface.hs:388)
BitVector (Language/SMTLib2/Internals.hs:936)
BVTyped (Language/SMTLib2/Internals.hs:886)
BVUntyped (Language/SMTLib2/Internals.hs:885)
BV8 (Language/SMTLib2/Internals.hs:1021)
BV16 (Language/SMTLib2/Internals.hs:1022)
BV32 (Language/SMTLib2/Internals.hs:1023)
BV64 (Language/SMTLib2/Internals.hs:1024)
N0 (Language/SMTLib2/Internals.hs:955)
N1 (Language/SMTLib2/Internals.hs:956)
N2 (Language/SMTLib2/Internals.hs:957)
N3 (Language/SMTLib2/Internals.hs:958)
N4 (Language/SMTLib2/Internals.hs:959)
N5 (Language/SMTLib2/Internals.hs:960)
N6 (Language/SMTLib2/Internals.hs:961)
N7 (Language/SMTLib2/Internals.hs:962)
N8 (Language/SMTLib2/Internals.hs:963)
N9 (Language/SMTLib2/Internals.hs:964)
N10 (Language/SMTLib2/Internals.hs:965)
N11 (Language/SMTLib2/Internals.hs:966)
N12 (Language/SMTLib2/Internals.hs:967)
N13 (Language/SMTLib2/Internals.hs:968)
N14 (Language/SMTLib2/Internals.hs:969)
N15 (Language/SMTLib2/Internals.hs:970)
N16 (Language/SMTLib2/Internals.hs:971)
N17 (Language/SMTLib2/Internals.hs:972)
N18 (Language/SMTLib2/Internals.hs:973)
N19 (Language/SMTLib2/Internals.hs:974)
N20 (Language/SMTLib2/Internals.hs:975)
N21 (Language/SMTLib2/Internals.hs:976)
N22 (Language/SMTLib2/Internals.hs:977)
N23 (Language/SMTLib2/Internals.hs:978)
N24 (Language/SMTLib2/Internals.hs:979)
N25 (Language/SMTLib2/Internals.hs:980)
N26 (Language/SMTLib2/Internals.hs:981)
N27 (Language/SMTLib2/Internals.hs:982)
N28 (Language/SMTLib2/Internals.hs:983)
N29 (Language/SMTLib2/Internals.hs:984)
N30 (Language/SMTLib2/Internals.hs:985)
N31 (Language/SMTLib2/Internals.hs:986)
N32 (Language/SMTLib2/Internals.hs:987)
N33 (Language/SMTLib2/Internals.hs:988)
N34 (Language/SMTLib2/Internals.hs:989)
N35 (Language/SMTLib2/Internals.hs:990)
N36 (Language/SMTLib2/Internals.hs:991)
N37 (Language/SMTLib2/Internals.hs:992)
N38 (Language/SMTLib2/Internals.hs:993)
N39 (Language/SMTLib2/Internals.hs:994)
N40 (Language/SMTLib2/Internals.hs:995)
N41 (Language/SMTLib2/Internals.hs:996)
N42 (Language/SMTLib2/Internals.hs:997)
N43 (Language/SMTLib2/Internals.hs:998)
N44 (Language/SMTLib2/Internals.hs:999)
N45 (Language/SMTLib2/Internals.hs:1000)
N46 (Language/SMTLib2/Internals.hs:1001)
N47 (Language/SMTLib2/Internals.hs:1002)
N48 (Language/SMTLib2/Internals.hs:1003)
N49 (Language/SMTLib2/Internals.hs:1004)
N50 (Language/SMTLib2/Internals.hs:1005)
N51 (Language/SMTLib2/Internals.hs:1006)
N52 (Language/SMTLib2/Internals.hs:1007)
N53 (Language/SMTLib2/Internals.hs:1008)
N54 (Language/SMTLib2/Internals.hs:1009)
N55 (Language/SMTLib2/Internals.hs:1010)
N56 (Language/SMTLib2/Internals.hs:1011)
N57 (Language/SMTLib2/Internals.hs:1012)
N58 (Language/SMTLib2/Internals.hs:1013)
N59 (Language/SMTLib2/Internals.hs:1014)
N60 (Language/SMTLib2/Internals.hs:1015)
N61 (Language/SMTLib2/Internals.hs:1016)
N62 (Language/SMTLib2/Internals.hs:1017)
N63 (Language/SMTLib2/Internals.hs:1018)
N64 (Language/SMTLib2/Internals.hs:1019)
bvextract' (Language/SMTLib2/Internals/Interface.hs:516)
insert' (Language/SMTLib2/Internals/Instances.hs:1087)
Untyped (Language/SMTLib2/Internals.hs:171)
UntypedValue (Language/SMTLib2/Internals.hs:173)
entype (Language/SMTLib2/Internals/Instances.hs:126)
entypeValue (Language/SMTLib2/Internals/Instances.hs:138)
castUntypedExpr (Language/SMTLib2/Internals/Instances.hs:160)
castUntypedExprValue (Language/SMTLib2/Internals/Instances.hs:165)
100% ( 5 / 5) in 'Language.SMTLib2.Solver'
Warning: Language.SMTLib2.Internals.Optimize: could not find link destinations for:
OptimizeBackend
Documentation created: dist/doc/html/smtlib2/index.html,
dist/doc/html/smtlib2/smtlib2.txt
Creating package registration file: /tmp/pkgConf-smtlib2-0673321442824215546.3
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/smtlib2-0.3-3qWQN80kOSYB8iGCT6IbPp
Registering smtlib2-0.3...
Installed smtlib2-0.3
Configuring copilot-theorem-2.2.0...
Building copilot-theorem-2.2.0...
Preprocessing library copilot-theorem-2.2.0...
[ 1 of 33] Compiling Copilot.Theorem.TransSys.Invariants ( src/Copilot/Theorem/TransSys/Invariants.hs, dist/build/Copilot/Theorem/TransSys/Invariants.o )
[ 2 of 33] Compiling Copilot.Theorem.TransSys.Type ( src/Copilot/Theorem/TransSys/Type.hs, dist/build/Copilot/Theorem/TransSys/Type.o )
[ 3 of 33] Compiling Copilot.Theorem.TransSys.Cast ( src/Copilot/Theorem/TransSys/Cast.hs, dist/build/Copilot/Theorem/TransSys/Cast.o )
[ 4 of 33] Compiling Copilot.Theorem.Misc.SExpr ( src/Copilot/Theorem/Misc/SExpr.hs, dist/build/Copilot/Theorem/Misc/SExpr.o )
src/Copilot/Theorem/Misc/SExpr.hs:9:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 5 of 33] Compiling Copilot.Theorem.Misc.Error ( src/Copilot/Theorem/Misc/Error.hs, dist/build/Copilot/Theorem/Misc/Error.o )
[ 6 of 33] Compiling Copilot.Theorem.TransSys.Operators ( src/Copilot/Theorem/TransSys/Operators.hs, dist/build/Copilot/Theorem/TransSys/Operators.o )
src/Copilot/Theorem/TransSys/Operators.hs:14:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 7 of 33] Compiling Copilot.Theorem.IL.Spec ( src/Copilot/Theorem/IL/Spec.hs, dist/build/Copilot/Theorem/IL/Spec.o )
[ 8 of 33] Compiling Copilot.Theorem.IL.Transform ( src/Copilot/Theorem/IL/Transform.hs, dist/build/Copilot/Theorem/IL/Transform.o )
[ 9 of 33] Compiling Copilot.Theorem.IL.PrettyPrint ( src/Copilot/Theorem/IL/PrettyPrint.hs, dist/build/Copilot/Theorem/IL/PrettyPrint.o )
[10 of 33] Compiling Copilot.Theorem.Misc.Utils ( src/Copilot/Theorem/Misc/Utils.hs, dist/build/Copilot/Theorem/Misc/Utils.o )
src/Copilot/Theorem/Misc/Utils.hs:13:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[11 of 33] Compiling Copilot.Theorem.TransSys.Spec ( src/Copilot/Theorem/TransSys/Spec.hs, dist/build/Copilot/Theorem/TransSys/Spec.o )
src/Copilot/Theorem/TransSys/Spec.hs:35:1: Warning:
The import of ‘mempty, mconcat, Monoid’
from module ‘Data.Monoid’ is redundant
[12 of 33] Compiling Copilot.Theorem.TransSys.PrettyPrint ( src/Copilot/Theorem/TransSys/PrettyPrint.hs, dist/build/Copilot/Theorem/TransSys/PrettyPrint.o )
[13 of 33] Compiling Copilot.Theorem.TransSys.Renaming ( src/Copilot/Theorem/TransSys/Renaming.hs, dist/build/Copilot/Theorem/TransSys/Renaming.o )
src/Copilot/Theorem/TransSys/Renaming.hs:17:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[14 of 33] Compiling Copilot.Theorem.TransSys.Translate ( src/Copilot/Theorem/TransSys/Translate.hs, dist/build/Copilot/Theorem/TransSys/Translate.o )
src/Copilot/Theorem/TransSys/Translate.hs:12:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/TransSys/Translate.hs:153:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘expr’:
Patterns not matched:
_ (C.ExternStruct _ _ _ _)
_ (C.GetField _ _ _ _)
[15 of 33] Compiling Copilot.Theorem.TransSys.Transform ( src/Copilot/Theorem/TransSys/Transform.hs, dist/build/Copilot/Theorem/TransSys/Transform.o )
[16 of 33] Compiling Copilot.Theorem.TransSys ( src/Copilot/Theorem/TransSys.hs, dist/build/Copilot/Theorem/TransSys.o )
[17 of 33] Compiling Copilot.Theorem.IL.Translate ( src/Copilot/Theorem/IL/Translate.hs, dist/build/Copilot/Theorem/IL/Translate.o )
src/Copilot/Theorem/IL/Translate.hs:14:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/IL/Translate.hs:248:8: Warning:
Defined but not used: ‘t’
src/Copilot/Theorem/IL/Translate.hs:113:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘expr’:
Patterns not matched:
C.ExternStruct _ _ _ _
C.GetField _ _ _ _
[18 of 33] Compiling Copilot.Theorem.IL ( src/Copilot/Theorem/IL.hs, dist/build/Copilot/Theorem/IL.o )
[19 of 33] Compiling Copilot.Theorem.Prover.Backend ( src/Copilot/Theorem/Prover/Backend.hs, dist/build/Copilot/Theorem/Prover/Backend.o )
[20 of 33] Compiling Copilot.Theorem.Prover.SMTIO ( src/Copilot/Theorem/Prover/SMTIO.hs, dist/build/Copilot/Theorem/Prover/SMTIO.o )
src/Copilot/Theorem/Prover/SMTIO.hs:18:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[21 of 33] Compiling Copilot.Theorem.Prover.SMTLib ( src/Copilot/Theorem/Prover/SMTLib.hs, dist/build/Copilot/Theorem/Prover/SMTLib.o )
[22 of 33] Compiling Copilot.Theorem.Prover.TPTP ( src/Copilot/Theorem/Prover/TPTP.hs, dist/build/Copilot/Theorem/Prover/TPTP.o )
[23 of 33] Compiling Copilot.Theorem.Kind2.AST ( src/Copilot/Theorem/Kind2/AST.hs, dist/build/Copilot/Theorem/Kind2/AST.o )
[24 of 33] Compiling Copilot.Theorem.Kind2.Translate ( src/Copilot/Theorem/Kind2/Translate.hs, dist/build/Copilot/Theorem/Kind2/Translate.o )
[25 of 33] Compiling Copilot.Theorem.Kind2.PrettyPrint ( src/Copilot/Theorem/Kind2/PrettyPrint.hs, dist/build/Copilot/Theorem/Kind2/PrettyPrint.o )
[26 of 33] Compiling Copilot.Theorem.Prove ( src/Copilot/Theorem/Prove.hs, dist/build/Copilot/Theorem/Prove.o )
src/Copilot/Theorem/Prove.hs:20:1: Warning:
The import of ‘Applicative’
from module ‘Control.Applicative’ is redundant
src/Copilot/Theorem/Prove.hs:21:1: Warning:
The import of ‘Control.Monad’ is redundant
except perhaps to import instances from ‘Control.Monad’
To import instances alone, use: import Control.Monad()
[27 of 33] Compiling Copilot.Theorem.Prover.SMT ( src/Copilot/Theorem/Prover/SMT.hs, dist/build/Copilot/Theorem/Prover/SMT.o )
src/Copilot/Theorem/Prover/SMT.hs:27:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[28 of 33] Compiling Copilot.Theorem.Prover.Z3 ( src/Copilot/Theorem/Prover/Z3.hs, dist/build/Copilot/Theorem/Prover/Z3.o )
src/Copilot/Theorem/Prover/Z3.hs:18:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[29 of 33] Compiling Copilot.Theorem.Kind2.Output ( src/Copilot/Theorem/Kind2/Output.hs, dist/build/Copilot/Theorem/Kind2/Output.o )
[30 of 33] Compiling Copilot.Theorem.Kind2.Prover ( src/Copilot/Theorem/Kind2/Prover.hs, dist/build/Copilot/Theorem/Kind2/Prover.o )
[31 of 33] Compiling Copilot.Theorem.Kind2 ( src/Copilot/Theorem/Kind2.hs, dist/build/Copilot/Theorem/Kind2.o )
[32 of 33] Compiling Copilot.Theorem.Tactics ( src/Copilot/Theorem/Tactics.hs, dist/build/Copilot/Theorem/Tactics.o )
src/Copilot/Theorem/Tactics.hs:7:1: Warning:
The import of ‘Data.Word’ is redundant
except perhaps to import instances from ‘Data.Word’
To import instances alone, use: import Data.Word()
[33 of 33] Compiling Copilot.Theorem ( src/Copilot/Theorem.hs, dist/build/Copilot/Theorem.o )
In-place registering copilot-theorem-2.2.0...
Running Haddock for copilot-theorem-2.2.0...
Running hscolour for copilot-theorem-2.2.0...
Preprocessing library copilot-theorem-2.2.0...
Preprocessing library copilot-theorem-2.2.0...
src/Copilot/Theorem/Misc/SExpr.hs:9:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/TransSys/Operators.hs:14:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/Misc/Utils.hs:13:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/TransSys/Spec.hs:35:1: Warning:
The import of ‘mconcat, mempty, Monoid’
from module ‘Data.Monoid’ is redundant
src/Copilot/Theorem/TransSys/Renaming.hs:17:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/TransSys/Translate.hs:12:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/IL/Translate.hs:14:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/IL/Translate.hs:248:8: Warning:
Defined but not used: ‘t’
src/Copilot/Theorem/Prover/SMTIO.hs:18:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Haddock coverage:
0% ( 0 / 3) in 'Copilot.Theorem.TransSys.Invariants'
Missing documentation for:
Module header
HasInvariants (src/Copilot/Theorem/TransSys/Invariants.hs:8)
prop (src/Copilot/Theorem/TransSys/Invariants.hs:15)
0% ( 0 / 4) in 'Copilot.Theorem.TransSys.Type'
Missing documentation for:
Module header
Type (src/Copilot/Theorem/TransSys/Type.hs:15)
U (src/Copilot/Theorem/TransSys/Type.hs:30)
U2 (src/Copilot/Theorem/TransSys/Type.hs:31)
0% ( 0 / 6) in 'Copilot.Theorem.TransSys.Cast'
Missing documentation for:
Module header
Dyn (src/Copilot/Theorem/TransSys/Cast.hs:25)
toDyn
cast (src/Copilot/Theorem/TransSys/Cast.hs:41)
castedType (src/Copilot/Theorem/TransSys/Cast.hs:27)
casting (src/Copilot/Theorem/TransSys/Cast.hs:48)
0% ( 0 / 14) in 'Copilot.Theorem.Misc.SExpr'
Missing documentation for:
Module header
SExpr (src/Copilot/Theorem/Misc/SExpr.hs:15)
blank (src/Copilot/Theorem/Misc/SExpr.hs:18)
atom (src/Copilot/Theorem/Misc/SExpr.hs:19)
unit (src/Copilot/Theorem/Misc/SExpr.hs:20)
singleton (src/Copilot/Theorem/Misc/SExpr.hs:21)
list (src/Copilot/Theorem/Misc/SExpr.hs:22)
node (src/Copilot/Theorem/Misc/SExpr.hs:23)
(src/Copilot/Theorem/Misc/SExpr.hs:29)
indent (src/Copilot/Theorem/Misc/SExpr.hs:38)
toString (src/Copilot/Theorem/Misc/SExpr.hs:40)
toDoc (src/Copilot/Theorem/Misc/SExpr.hs:44)
parser (src/Copilot/Theorem/Misc/SExpr.hs:57)
parseSExpr (src/Copilot/Theorem/Misc/SExpr.hs:76)
0% ( 0 / 6) in 'Copilot.Theorem.Misc.Error'
Missing documentation for:
Module header
badUse (src/Copilot/Theorem/Misc/Error.hs:16)
impossible (src/Copilot/Theorem/Misc/Error.hs:19)
impossible_ (src/Copilot/Theorem/Misc/Error.hs:22)
notHandled (src/Copilot/Theorem/Misc/Error.hs:25)
fatal (src/Copilot/Theorem/Misc/Error.hs:28)
10% ( 1 / 10) in 'Copilot.Theorem.TransSys.Operators'
Missing documentation for:
Module header
Op1 (src/Copilot/Theorem/TransSys/Operators.hs:18)
Op2 (src/Copilot/Theorem/TransSys/Operators.hs:38)
(src/Copilot/Theorem/TransSys/Operators.hs:58)
(src/Copilot/Theorem/TransSys/Operators.hs:79)
UnhandledOp2 (src/Copilot/Theorem/TransSys/Operators.hs:107)
handleOp1 (src/Copilot/Theorem/TransSys/Operators.hs:110)
handleOp2 (src/Copilot/Theorem/TransSys/Operators.hs:186)
typeErrMsg (src/Copilot/Theorem/TransSys/Operators.hs:298)
0% ( 0 / 15) in 'Copilot.Theorem.IL.Spec'
Missing documentation for:
Module header
Type (src/Copilot/Theorem/IL/Spec.hs:32)
Op1 (src/Copilot/Theorem/IL/Spec.hs:93)
Op2 (src/Copilot/Theorem/IL/Spec.hs:97)
SeqId (src/Copilot/Theorem/IL/Spec.hs:27)
SeqIndex (src/Copilot/Theorem/IL/Spec.hs:29)
SeqDescr (src/Copilot/Theorem/IL/Spec.hs:79)
VarDescr (src/Copilot/Theorem/IL/Spec.hs:63)
Expr (src/Copilot/Theorem/IL/Spec.hs:50)
IL (src/Copilot/Theorem/IL/Spec.hs:84)
PropId (src/Copilot/Theorem/IL/Spec.hs:77)
typeOf (src/Copilot/Theorem/IL/Spec.hs:147)
_n_ (src/Copilot/Theorem/IL/Spec.hs:158)
_n_plus (src/Copilot/Theorem/IL/Spec.hs:161)
evalAt (src/Copilot/Theorem/IL/Spec.hs:164)
50% ( 1 / 2) in 'Copilot.Theorem.IL.Transform'
Missing documentation for:
Module header
0% ( 0 / 3) in 'Copilot.Theorem.IL.PrettyPrint'
Missing documentation for:
Module header
prettyPrint (src/Copilot/Theorem/IL/PrettyPrint.hs:13)
printConstraint (src/Copilot/Theorem/IL/PrettyPrint.hs:16)
0% ( 0 / 6) in 'Copilot.Theorem.Misc.Utils'
Missing documentation for:
Module header
isSublistOf (src/Copilot/Theorem/Misc/Utils.hs:24)
nub' (src/Copilot/Theorem/Misc/Utils.hs:31)
nubBy' (src/Copilot/Theorem/Misc/Utils.hs:34)
nubEq (src/Copilot/Theorem/Misc/Utils.hs:27)
openTempFile (src/Copilot/Theorem/Misc/Utils.hs:39)
3% ( 1 / 30) in 'Copilot.Theorem.TransSys.Spec'
Missing documentation for:
Module header
Op1 (src/Copilot/Theorem/TransSys/Operators.hs:18)
Op2 (src/Copilot/Theorem/TransSys/Operators.hs:38)
(src/Copilot/Theorem/TransSys/Operators.hs:58)
(src/Copilot/Theorem/TransSys/Operators.hs:79)
UnhandledOp2 (src/Copilot/Theorem/TransSys/Operators.hs:107)
handleOp1 (src/Copilot/Theorem/TransSys/Operators.hs:110)
handleOp2 (src/Copilot/Theorem/TransSys/Operators.hs:186)
typeErrMsg (src/Copilot/Theorem/TransSys/Operators.hs:298)
Type (src/Copilot/Theorem/TransSys/Type.hs:15)
U (src/Copilot/Theorem/TransSys/Type.hs:30)
U2 (src/Copilot/Theorem/TransSys/Type.hs:31)
HasInvariants (src/Copilot/Theorem/TransSys/Invariants.hs:8)
prop (src/Copilot/Theorem/TransSys/Invariants.hs:15)
TransSys (src/Copilot/Theorem/TransSys/Spec.hs:50)
Node (src/Copilot/Theorem/TransSys/Spec.hs:56)
PropId (src/Copilot/Theorem/TransSys/Spec.hs:48)
NodeId (src/Copilot/Theorem/TransSys/Spec.hs:47)
Var (src/Copilot/Theorem/TransSys/Spec.hs:64)
ExtVar (src/Copilot/Theorem/TransSys/Spec.hs:67)
VarDef (src/Copilot/Theorem/TransSys/Spec.hs:74)
VarDescr (src/Copilot/Theorem/TransSys/Spec.hs:70)
Expr (src/Copilot/Theorem/TransSys/Spec.hs:76)
mkExtVar (src/Copilot/Theorem/TransSys/Spec.hs:85)
transformExpr (src/Copilot/Theorem/TransSys/Spec.hs:99)
isTopologicallySorted (src/Copilot/Theorem/TransSys/Spec.hs:185)
nodeVarsSet (src/Copilot/Theorem/TransSys/Spec.hs:110)
specDependenciesGraph (src/Copilot/Theorem/TransSys/Spec.hs:159)
specTopNode (src/Copilot/Theorem/TransSys/Spec.hs:163)
0% ( 0 / 2) in 'Copilot.Theorem.TransSys.PrettyPrint'
Missing documentation for:
Module header
prettyPrint (src/Copilot/Theorem/TransSys/PrettyPrint.hs:19)
0% ( 0 / 7) in 'Copilot.Theorem.TransSys.Renaming'
Missing documentation for:
Module header
Renaming (src/Copilot/Theorem/TransSys/Renaming.hs:29)
addReservedName (src/Copilot/Theorem/TransSys/Renaming.hs:38)
rename (src/Copilot/Theorem/TransSys/Renaming.hs:55)
getFreshName (src/Copilot/Theorem/TransSys/Renaming.hs:44)
runRenaming (src/Copilot/Theorem/TransSys/Renaming.hs:65)
getRenamingF (src/Copilot/Theorem/TransSys/Renaming.hs:60)
0% ( 0 / 2) in 'Copilot.Theorem.TransSys.Translate'
Missing documentation for:
Module header
translate (src/Copilot/Theorem/TransSys/Translate.hs:52)
20% ( 1 / 5) in 'Copilot.Theorem.TransSys.Transform'
Missing documentation for:
Module header
mergeNodes (src/Copilot/Theorem/TransSys/Transform.hs:41)
inline (src/Copilot/Theorem/TransSys/Transform.hs:184)
removeCycles (src/Copilot/Theorem/TransSys/Transform.hs:187)
Warning: Copilot.Theorem.TransSys: Could not find documentation for exported module: X
0% ( 0 / 1) in 'Copilot.Theorem.TransSys'
Missing documentation for:
Module header
50% ( 1 / 2) in 'Copilot.Theorem.IL.Translate'
Missing documentation for:
Module header
Warning: Copilot.Theorem.IL: Could not find documentation for exported module: X
0% ( 0 / 1) in 'Copilot.Theorem.IL'
Missing documentation for:
Module header
0% ( 0 / 4) in 'Copilot.Theorem.Prover.Backend'
Missing documentation for:
Module header
SmtFormat (src/Copilot/Theorem/Prover/Backend.hs:9)
Backend (src/Copilot/Theorem/Prover/Backend.hs:17)
SatResult (src/Copilot/Theorem/Prover/Backend.hs:27)
0% ( 0 / 7) in 'Copilot.Theorem.Prover.SMTIO'
Missing documentation for:
Module header
Solver (src/Copilot/Theorem/Prover/SMTIO.hs:24)
startNewSolver (src/Copilot/Theorem/Prover/SMTIO.hs:63)
assume (src/Copilot/Theorem/Prover/SMTIO.hs:79)
entailed (src/Copilot/Theorem/Prover/SMTIO.hs:88)
stop (src/Copilot/Theorem/Prover/SMTIO.hs:71)
declVars (src/Copilot/Theorem/Prover/SMTIO.hs:100)
0% ( 0 / 3) in 'Copilot.Theorem.Prover.SMTLib'
Missing documentation for:
Module header
SmtLib (src/Copilot/Theorem/Prover/SMTLib.hs:16)
interpret (src/Copilot/Theorem/Prover/SMTLib.hs:38)
0% ( 0 / 3) in 'Copilot.Theorem.Prover.TPTP'
Missing documentation f
src/Copilot/Theorem/Prove.hs:20:1: Warning:
The import of ‘Applicative’
from module ‘Control.Applicative’ is redundant
src/Copilot/Theorem/Prove.hs:21:1: Warning:
The import of ‘Control.Monad’ is redundant
except perhaps to import instances from ‘Control.Monad’
To import instances alone, use: import Control.Monad()
src/Copilot/Theorem/Prover/SMT.hs:27:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/Prover/Z3.hs:18:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
src/Copilot/Theorem/Tactics.hs:7:1: Warning:
The import of ‘Data.Word’ is redundant
except perhaps to import instances from ‘Data.Word’
To import instances alone, use: import Data.Word()
or:
Module header
Tptp (src/Copilot/Theorem/Prover/TPTP.hs:14)
interpret (src/Copilot/Theorem/Prover/TPTP.hs:39)
0% ( 0 / 9) in 'Copilot.Theorem.Kind2.AST'
Missing documentation for:
Module header
File (src/Copilot/Theorem/Kind2/AST.hs:7)
Prop (src/Copilot/Theorem/Kind2/AST.hs:11)
PredDef (src/Copilot/Theorem/Kind2/AST.hs:15)
StateVarDef (src/Copilot/Theorem/Kind2/AST.hs:21)
Type (src/Copilot/Theorem/Kind2/AST.hs:26)
StateVarFlag (src/Copilot/Theorem/Kind2/AST.hs:28)
PredType (src/Copilot/Theorem/Kind2/AST.hs:30)
Term (src/Copilot/Theorem/Kind2/AST.hs:32)
0% ( 0 / 3) in 'Copilot.Theorem.Kind2.Translate'
Missing documentation for:
Module header
toKind2 (src/Copilot/Theorem/Kind2/Translate.hs:40)
Style (src/Copilot/Theorem/Kind2/Translate.hs:38)
0% ( 0 / 2) in 'Copilot.Theorem.Kind2.PrettyPrint'
Missing documentation for:
Module header
prettyPrint (src/Copilot/Theorem/Kind2/PrettyPrint.hs:19)
0% ( 0 / 14) in 'Copilot.Theorem.Prove'
Missing documentation for:
Module header
Output (src/Copilot/Theorem/Prove.hs:26)
Status (src/Copilot/Theorem/Prove.hs:28)
Prover (src/Copilot/Theorem/Prove.hs:37)
PropId (src/Copilot/Theorem/Prove.hs:44)
PropRef (src/Copilot/Theorem/Prove.hs:46)
Proof (src/Copilot/Theorem/Prove.hs:52)
UProof (src/Copilot/Theorem/Prove.hs:54)
ProofScheme (src/Copilot/Theorem/Prove.hs:56)
Action (src/Copilot/Theorem/Prove.hs:70)
Universal (src/Copilot/Theorem/Prove.hs:49)
Existential (src/Copilot/Theorem/Prove.hs:50)
check (src/Copilot/Theorem/Prove.hs:77)
prove (src/Copilot/Theorem/Prove.hs:80)
17% ( 3 / 18) in 'Copilot.Theorem.Prover.SMT'
Missing documentation for:
Module header
induction (src/Copilot/Theorem/Prover/SMT.hs:81)
kInduction (src/Copilot/Theorem/Prover/SMT.hs:89)
onlySat (src/Copilot/Theorem/Prover/SMT.hs:65)
onlyValidity (src/Copilot/Theorem/Prover/SMT.hs:73)
dReal (src/Copilot/Theorem/Prover/SMT.hs:145)
altErgo (src/Copilot/Theorem/Prover/SMT.hs:123)
metit (src/Copilot/Theorem/Prover/SMT.hs:169)
z3 (src/Copilot/Theorem/Prover/SMT.hs:134)
cvc4 (src/Copilot/Theorem/Prover/SMT.hs:112)
mathsat (src/Copilot/Theorem/Prover/SMT.hs:156)
Backend (src/Copilot/Theorem/Prover/Backend.hs:17)
SmtFormat (src/Copilot/Theorem/Prover/Backend.hs:9)
SmtLib (src/Copilot/Theorem/Prover/SMTLib.hs:16)
Tptp (src/Copilot/Theorem/Prover/TPTP.hs:14)
29% ( 2 / 7) in 'Copilot.Theorem.Prover.Z3'
Missing documentation for:
Module header
induction (src/Copilot/Theorem/Prover/Z3.hs:85)
kInduction (src/Copilot/Theorem/Prover/Z3.hs:93)
onlySat (src/Copilot/Theorem/Prover/Z3.hs:69)
onlyValidity (src/Copilot/Theorem/Prover/Z3.hs:77)
0% ( 0 / 2) in 'Copilot.Theorem.Kind2.Output'
Missing documentation for:
Module header
parseOutput (src/Copilot/Theorem/Kind2/Output.hs:17)
25% ( 1 / 4) in 'Copilot.Theorem.Kind2.Prover'
Missing documentation for:
Module header
Options (src/Copilot/Theorem/Kind2/Prover.hs:29)
kind2Prover (src/Copilot/Theorem/Kind2/Prover.hs:39)
Warning: Copilot.Theorem.Kind2: Could not find documentation for exported module: X
0% ( 0 / 1) in 'Copilot.Theorem.Kind2'
Missing documentation for:
Module header
0% ( 0 / 4) in 'Copilot.Theorem.Tactics'
Missing documentation for:
Module header
instantiate (src/Copilot/Theorem/Tactics.hs:10)
assume (src/Copilot/Theorem/Tactics.hs:13)
admit (src/Copilot/Theorem/Tactics.hs:16)
Warning: Copilot.Theorem: Could not find documentation for exported module: X
0% ( 0 / 6) in 'Copilot.Theorem'
Missing documentation for:
Module header
Proof (src/Copilot/Theorem/Prove.hs:52)
PropId (src/Copilot/Theorem/Prove.hs:44)
PropRef (src/Copilot/Theorem/Prove.hs:46)
Universal (src/Copilot/Theorem/Prove.hs:49)
Existential (src/Copilot/Theorem/Prove.hs:50)
Warning: Copilot.Theorem.Prover.SMT: could not find link destinations for:
push pop checkSat setLogic declFun assert
Documentation created: dist/doc/html/copilot-theorem/index.html,
dist/doc/html/copilot-theorem/copilot-theorem.txt
Creating package registration file:
/tmp/pkgConf-copilot-theorem-2.216639257211496619041.0
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-theorem-2.2.0-1gACCQrRdCnDJSBgWLqXX0
Registering copilot-theorem-2.2.0...
Installed copilot-theorem-2.2.0
Configuring copilot-language-2.2.0...
Building copilot-language-2.2.0...
Preprocessing library copilot-language-2.2.0...
[ 1 of 24] Compiling System.Mem.StableName.Dynamic ( src/System/Mem/StableName/Dynamic.hs, dist/build/System/Mem/StableName/Dynamic.o )
[ 2 of 24] Compiling System.Mem.StableName.Map ( src/System/Mem/StableName/Map.hs, dist/build/System/Mem/StableName/Map.o )
[ 3 of 24] Compiling Copilot.Language.Prelude ( src/Copilot/Language/Prelude.hs, dist/build/Copilot/Language/Prelude.o )
[ 4 of 24] Compiling Copilot.Language.Stream ( src/Copilot/Language/Stream.hs, dist/build/Copilot/Language/Stream.o )
[ 5 of 24] Compiling Copilot.Language.Spec ( src/Copilot/Language/Spec.hs, dist/build/Copilot/Language/Spec.o )
[ 6 of 24] Compiling Copilot.Language.Operators.BitWise ( src/Copilot/Language/Operators/BitWise.hs, dist/build/Copilot/Language/Operators/BitWise.o )
src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit implementation for
‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’
In the instance declaration for ‘Bits (Stream a)’
[ 7 of 24] Compiling Copilot.Language.Operators.Temporal ( src/Copilot/Language/Operators/Temporal.hs, dist/build/Copilot/Language/Operators/Temporal.o )
[ 8 of 24] Compiling Copilot.Language.Operators.Ord ( src/Copilot/Language/Operators/Ord.hs, dist/build/Copilot/Language/Operators/Ord.o )
[ 9 of 24] Compiling Copilot.Language.Operators.Mux ( src/Copilot/Language/Operators/Mux.hs, dist/build/Copilot/Language/Operators/Mux.o )
[10 of 24] Compiling Copilot.Language.Operators.Integral ( src/Copilot/Language/Operators/Integral.hs, dist/build/Copilot/Language/Operators/Integral.o )
[11 of 24] Compiling Copilot.Language.Operators.Label ( src/Copilot/Language/Operators/Label.hs, dist/build/Copilot/Language/Operators/Label.o )
[12 of 24] Compiling Copilot.Language.Operators.Local ( src/Copilot/Language/Operators/Local.hs, dist/build/Copilot/Language/Operators/Local.o )
[13 of 24] Compiling Copilot.Language.Operators.Extern ( src/Copilot/Language/Operators/Extern.hs, dist/build/Copilot/Language/Operators/Extern.o )
[14 of 24] Compiling Copilot.Language.Operators.Eq ( src/Copilot/Language/Operators/Eq.hs, dist/build/Copilot/Language/Operators/Eq.o )
[15 of 24] Compiling Copilot.Language.Operators.Constant ( src/Copilot/Language/Operators/Constant.hs, dist/build/Copilot/Language/Operators/Constant.o )
[16 of 24] Compiling Copilot.Language.Operators.Cast ( src/Copilot/Language/Operators/Cast.hs, dist/build/Copilot/Language/Operators/Cast.o )
src/Copilot/Language/Operators/Cast.hs:7:14: Warning:
‘Copilot.Language.Operators.Cast’ is marked as Trustworthy but has been inferred as safe!
[17 of 24] Compiling Copilot.Language.Operators.Boolean ( src/Copilot/Language/Operators/Boolean.hs, dist/build/Copilot/Language/Operators/Boolean.o )
[18 of 24] Compiling Copilot.Language.Operators.Propositional ( src/Copilot/Language/Operators/Propositional.hs, dist/build/Copilot/Language/Operators/Propositional.o )
src/Copilot/Language/Operators/Propositional.hs:5:14: Warning:
‘Copilot.Language.Operators.Propositional’ is marked as Trustworthy but has been inferred as safe!
[19 of 24] Compiling Copilot.Language.Error ( src/Copilot/Language/Error.hs, dist/build/Copilot/Language/Error.o )
[20 of 24] Compiling Copilot.Language.Analyze ( src/Copilot/Language/Analyze.hs, dist/build/Copilot/Language/Analyze.o )
[21 of 24] Compiling Copilot.Language.Reify ( src/Copilot/Language/Reify.hs, dist/build/Copilot/Language/Reify.o )
[22 of 24] Compiling Copilot.Language.Interpret ( src/Copilot/Language/Interpret.hs, dist/build/Copilot/Language/Interpret.o )
[23 of 24] Compiling Copilot.Language ( src/Copilot/Language.hs, dist/build/Copilot/Language.o )
[24 of 24] Compiling Copilot ( src/Copilot.hs, dist/build/Copilot.o )
In-place registering copilot-language-2.2.0...
Running Haddock for copilot-language-2.2.0...
Running hscolour for copilot-language-2.2.0...
Preprocessing library copilot-language-2.2.0...
Preprocessing library copilot-language-2.2.0...
src/Copilot/Language/Operators/BitWise.hs:23:10: Warning:
No explicit implementation for
‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’
In the instance declaration for ‘Bits (Stream a)’
src/Copilot/Language/Operators/Cast.hs:7:14: Warning:
‘Copilot.Language.Operators.Cast’ is marked as Trustworthy but has been inferred as safe!
src/Copilot/Language/Operators/Propositional.hs:5:14: Warning:
‘Copilot.Language.Operators.Propositional’ is marked as Trustworthy but has been inferred as safe!
Haddock coverage:
0% ( 0 / 4) in 'System.Mem.StableName.Dynamic'
Missing documentation for:
Module header
DynStableName (src/System/Mem/StableName/Dynamic.hs:16)
hashDynStableName (src/System/Mem/StableName/Dynamic.hs:24)
makeDynStableName (src/System/Mem/StableName/Dynamic.hs:18)
31% ( 4 / 13) in 'System.Mem.StableName.Map'
Missing documentation for:
Module header
Map (src/System/Mem/StableName/Map.hs:30)
empty (src/System/Mem/StableName/Map.hs:33)
null (src/System/Mem/StableName/Map.hs:36)
singleton (src/System/Mem/StableName/Map.hs:39)
member (src/System/Mem/StableName/Map.hs:43)
notMember (src/System/Mem/StableName/Map.hs:48)
insert (src/System/Mem/StableName/Map.hs:51)
find (src/System/Mem/StableName/Map.hs:94)
100% ( 2 / 2) in 'Copilot.Language.Prelude'
25% ( 1 / 4) in 'Copilot.Language.Stream'
Missing documentation for:
Stream (src/Copilot/Language/Stream.hs:26)
Arg (src/Copilot/Language/Stream.hs:56)
StructArg (src/Copilot/Language/Stream.hs:59)
4% ( 1 / 23) in 'Copilot.Language.Spec'
Missing documentation for:
Spec (src/Copilot/Language/Spec.hs:45)
Spec' (src/Copilot/Language/Spec.hs:46)
runSpec (src/Copilot/Language/Spec.hs:50)
SpecItem (src/Copilot/Language/Spec.hs:93)
Observer (src/Copilot/Language/Spec.hs:101)
observer (src/Copilot/Language/Spec.hs:106)
observers (src/Copilot/Language/Spec.hs:55)
Trigger (src/Copilot/Language/Spec.hs:111)
trigger (src/Copilot/Language/Spec.hs:116)
triggers (src/Copilot/Language/Spec.hs:64)
arg (src/Copilot/Language/Spec.hs:154)
Property (src/Copilot/Language/Spec.hs:121)
Prop (src/Copilot/Language/Spec.hs:126)
prop (src/Copilot/Language/Spec.hs:142)
properties (src/Copilot/Language/Spec.hs:73)
theorem (src/Copilot/Language/Spec.hs:148)
theorems (src/Copilot/Language/Spec.hs:82)
forall (src/Copilot/Language/Spec.hs:130)
exists (src/Copilot/Language/Spec.hs:133)
extractProp (src/Copilot/Language/Spec.hs:136)
Universal
Existential
40% ( 2 / 5) in 'Copilot.Language.Operators.BitWise'
Missing documentation for:
.^. (src/Copilot/Language/Operators/BitWise.hs:35)
.<<. (src/Copilot/Language/Operators/BitWise.hs:38)
.>>. (src/Copilot/Language/Operators/BitWise.hs:38)
25% ( 1 / 4) in 'Copilot.Language.Operators.Temporal'
Missing documentation for:
++ (src/Copilot/Language/Operators/Temporal.hs:24)
drop (src/Copilot/Language/Operators/Temporal.hs:27)
# (src/Copilot/Language/Operators/Temporal.hs:33)
20% ( 1 / 5) in 'Copilot.Language.Operators.Ord'
Missing documentation for:
<= (src/Copilot/Language/Operators/Ord.hs:24)
>= (src/Copilot/Language/Operators/Ord.hs:28)
< (src/Copilot/Language/Operators/Ord.hs:32)
> (src/Copilot/Language/Operators/Ord.hs:36)
33% ( 1 / 3) in 'Copilot.Language.Operators.Mux'
Missing documentation for:
mux (src/Copilot/Language/Operators/Mux.hs:22)
ifThenElse (src/Copilot/Language/Operators/Mux.hs:29)
25% ( 1 / 4) in 'Copilot.Language.Operators.Integral'
Missing documentation for:
div (src/Copilot/Language/Operators/Integral.hs:26)
mod (src/Copilot/Language/Operators/Integral.hs:32)
^ (src/Copilot/Language/Operators/Integral.hs:38)
50% ( 1 / 2) in 'Copilot.Language.Operators.Label'
Missing documentation for:
label (src/Copilot/Language/Operators/Label.hs:18)
50% ( 1 / 2) in 'Copilot.Language.Operators.Local'
Missing documentation for:
local (src/Copilot/Language/Operators/Local.hs:18)
10% ( 3 / 29) in 'Copilot.Language.Operators.Extern'
Missing documentation for:
extern (src/Copilot/Language/Operators/Extern.hs:48)
externB (src/Copilot/Language/Operators/Extern.hs:78)
externW8 (src/Copilot/Language/Operators/Extern.hs:80)
externW16 (src/Copilot/Language/Operators/Extern.hs:82)
externW32 (src/Copilot/Language/Operators/Extern.hs:84)
externW64 (src/Copilot/Language/Operators/Extern.hs:86)
externI8 (src/Copilot/Language/Operators/Extern.hs:88)
externI16 (src/Copilot/Language/Operators/Extern.hs:90)
externI32 (src/Copilot/Language/Operators/Extern.hs:92)
externI64 (src/Copilot/Language/Operators/Extern.hs:94)
externF (src/Copilot/Language/Operators/Extern.hs:96)
externD (src/Copilot/Language/Operators/Extern.hs:98)
externFun (src/Copilot/Language/Operators/Extern.hs:51)
externArray (src/Copilot/Language/Operators/Extern.hs:54)
externArrayB (src/Copilot/Language/Operators/Extern.hs:103)
externArrayW8 (src/Copilot/Language/Operators/Extern.hs:107)
externArrayW16 (src/Copilot/Language/Operators/Extern.hs:111)
externArrayW32 (src/Copilot/Language/Operators/Extern.hs:115)
externArrayW64 (src/Copilot/Language/Operators/Extern.hs:119)
externArrayI8 (src/Copilot/Language/Operators/Extern.hs:123)
externArrayI16 (src/Copilot/Language/Operators/Extern.hs:127)
externArrayI32 (src/Copilot/Language/Operators/Extern.hs:131)
externArrayI64 (src/Copilot/Language/Operators/Extern.hs:135)
externArrayF (src/Copilot/Language/Operators/Extern.hs:139)
externArrayD (src/Copilot/Language/Operators/Extern.hs:143)
externStruct (src/Copilot/Language/Operators/Extern.hs:62)
33% ( 1 / 3) in 'Copilot.Language.Operators.Eq'
Missing documentation for:
== (src/Copilot/Language/Operators/Eq.hs:22)
/= (src/Copilot/Language/Operators/Eq.hs:26)
8% ( 1 / 13) in 'Copilot.Language.Operators.Constant'
Missing documentation for:
constant (src/Copilot/Language/Operators/Constant.hs:32)
constB (src/Copilot/Language/Operators/Constant.hs:37)
constW8 (src/Copilot/Language/Operators/Constant.hs:39)
constW16 (src/Copilot/Language/Operators/Constant.hs:41)
constW32 (src/Copilot/Language/Operators/Constant.hs:43)
constW64 (src/Copilot/Language/Operators/Constant.hs:45)
constI8 (src/Copilot/Language/Operators/Constant.hs:47)
constI16 (src/Copilot/Language/Operators/Constant.hs:49)
constI32 (src/Copilot/Language/Operators/Constant.hs:51)
constI64 (src/Copilot/Language/Operators/Constant.hs:53)
constF (src/Copilot/Language/Operators/Constant.hs:55)
constD (src/Copilot/Language/Operators/Constant.hs:57)
33% ( 1 / 3) in 'Copilot.Language.Operators.Cast'
Missing documentation for:
cast (src/Copilot/Language/Operators/Cast.hs:23)
unsafeCast (src/Copilot/Language/Operators/Cast.hs:26)
12% ( 1 / 8) in 'Copilot.Language.Operators.Boolean'
Missing documentation for:
&& (src/Copilot/Language/Operators/Boolean.hs:35)
|| (src/Copilot/Language/Operators/Boolean.hs:44)
not (src/Copilot/Language/Operators/Boolean.hs:51)
true (src/Copilot/Language/Operators/Boolean.hs:27)
false (src/Copilot/Language/Operators/Boolean.hs:30)
xor (src/Copilot/Language/Operators/Boolean.hs:55)
==> (src/Copilot/Language/Operators/Boolean.hs:58)
0% ( 0 / 2) in 'Copilot.Language.Operators.Propositional'
Missing documentation for:
Module header
not (src/Copilot/Language/Operators/Propositional.hs:19)
0% ( 0 / 3) in 'Copilot.Language.Error'
Missing documentation for:
Module header
impossible (src/Copilot/Language/Error.hs:11)
badUsage (src/Copilot/Language/Error.hs:17)
33% ( 1 / 3) in 'Copilot.Language.Analyze'
Missing documentation for:
AnalyzeException (src/Copilot/Language/Analyze.hs:34)
analyze (src/Copilot/Language/Analyze.hs:83)
50% ( 1 / 2) in 'Copilot.Language.Reify'
Missing documentation for:
reify (src/Copilot/Language/Reify.hs:33)
67% ( 2 / 3) in 'Copilot.Language.Interpret'
Missing documentation for:
csv (src/Copilot/Language/Interpret.hs:48)
58% ( 18 / 31) in 'Copilot.Language'
Missing documentation for:
impossible (src/Copilot/Language/Error.hs:11)
badUsage (src/Copilot/Language/Error.hs:17)
csv (src/Copilot/Language/Interpret.hs:48)
Spec (src/Copilot/Language/Spec.hs:45)
Stream (src/Copilot/Language/Stream.hs:26)
observer (src/Copilot/Language/Spec.hs:106)
trigger (src/Copilot/Language/Spec.hs:116)
arg (src/Copilot/Language/Spec.hs:154)
prop (src/Copilot/Language/Spec.hs:142)
theorem (src/Copilot/Language/Spec.hs:148)
forall (src/Copilot/Language/Spec.hs:130)
exists (src/Copilot/Language/Spec.hs:133)
prettyPrint (src/Copilot/Language.hs:64)
100% ( 2 / 2) in 'Copilot'
Warning: Copilot.Language.Operators.Extern: could not find link destinations for:
Arg Size
Warning: Copilot.Language.Operators.Cast: could not find link destinations for:
Cast UnsafeCast
Warning: Copilot.Language.Operators.Propositional: could not find link destinations for:
Negatable
Warning: Copilot.Language.Reify: could not find link destinations for:
Spec'
Warning: Copilot.Language: could not find link destinations for:
SpecItem Arg Prop
Documentation created: dist/doc/html/copilot-language/index.html,
dist/doc/html/copilot-language/copilot-language.txt
Creating package registration file:
/tmp/pkgConf-copilot-language-2.2624443280985072486.0
Installing library in
/home/builder/rebuild/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/copilot-language-2.2.0-Cxn4ovomEF65cOTzJZUuQl
Registering copilot-language-2.2.0...
Installed copilot-language-2.2.0
Test log
No test log was submitted for this report.