[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
NotTried |
| Time submitted |
2016-10-26 14:44:47.825388 UTC
|
| Compiler |
ghc-8.0.1.20161018 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
Safe-0.1, array-0.5.1.1, base-4.9.0.0, minisat-0.1.2, random-1.1, random-shuffle-0.0.4 |
| Flags |
none
|
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-2264/Safe-0.1'
[1 of 1] Compiling Main ( /tmp/cabal-tmp-2264/Safe-0.1/dist/setup/setup.hs, /tmp/cabal-tmp-2264/Safe-0.1/dist/setup/Main.o )
Linking /tmp/cabal-tmp-2264/Safe-0.1/dist/setup/setup ...
Configuring Safe-0.1...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Building Safe-0.1...
Preprocessing library Safe-0.1...
[1 of 1] Compiling Safe ( Safe.hs, dist/build/Safe.o )
Running Haddock for Safe-0.1...
Running hscolour for Safe-0.1...
Preprocessing library Safe-0.1...
Preprocessing library Safe-0.1...
Haddock coverage:
22% ( 9 / 41) in 'Safe'
Missing documentation for:
initDef (Safe.hs:99)
initMay (Safe.hs:102)
initNote (Safe.hs:105)
initSafe (Safe.hs:108)
headDef (Safe.hs:113)
headMay (Safe.hs:116)
headNote (Safe.hs:119)
lastDef (Safe.hs:123)
lastMay (Safe.hs:126)
lastNote (Safe.hs:129)
minimumDef (Safe.hs:134)
minimumMay (Safe.hs:137)
minimumNote (Safe.hs:140)
maximumDef (Safe.hs:144)
maximumMay (Safe.hs:147)
maximumNote (Safe.hs:150)
foldr1Def (Safe.hs:155)
foldr1May (Safe.hs:158)
foldr1Note (Safe.hs:161)
foldl1Def (Safe.hs:165)
foldl1May (Safe.hs:168)
foldl1Note (Safe.hs:171)
fromJustNote (Safe.hs:179)
assertNote (Safe.hs:184)
atDef (Safe.hs:194)
atMay (Safe.hs:197)
atNote (Safe.hs:203)
readDef (Safe.hs:213)
readMay (Safe.hs:216)
readNote (Safe.hs:221)
lookupJustDef (Safe.hs:236)
lookupJustNote (Safe.hs:239)
Documentation created: dist/doc/html/Safe/index.html,
dist/doc/html/Safe/Safe.txt
Creating package registration file: /tmp/pkgConf-Safe-010252023621350490027.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/Safe-0.1-oPVhSQUkBfFgRgEuevbbf
Registering Safe-0.1...
cabal: Leaving directory '/tmp/cabal-tmp-2264/Safe-0.1'
Installed Safe-0.1
cabal: Entering directory '/tmp/cabal-tmp-2264/mtl-2.2.1'
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 3 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[ 4 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[ 5 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[ 6 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 7 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[ 8 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[ 9 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[10 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[11 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[12 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[13 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[14 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[16 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[17 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[18 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[19 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[20 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[21 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 3 / 3) in 'Control.Monad.Trans'
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)
100% ( 5 / 5) in 'Control.Monad.State.Class'
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 5 / 5) in 'Control.Monad.List'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
100% ( 19 / 19) in 'Control.Monad.Except'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
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.213691330691125898167.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-2264/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-2264/random-1.1'
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o )
System/Random.hs:43:1: warning: [-Wtabs]
Tab character found here, and in 74 further locations.
Please use spaces instead.
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
System/Random.hs:43:1: warning: [-Wtabs]
Tab character found here, and in 74 further locations.
Please use spaces instead.
Haddock coverage:
Cannot find documentation for: $intro
100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-11046741222337739299.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-2264/random-1.1'
Installed random-1.1
cabal: Entering directory '/tmp/cabal-tmp-2264/stm-2.4.4.1'
Configuring stm-2.4.4.1...
Building stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.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.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 8 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
Running Haddock for stm-2.4.4.1...
Running hscolour for stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Preprocessing library stm-2.4.4.1...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
Missing documentation for:
Module header
STM (Control/Sequential/STM.hs:29)
atomically (Control/Sequential/STM.hs:47)
throwSTM (Control/Sequential/STM.hs:54)
catchSTM (Control/Sequential/STM.hs:57)
TVar (Control/Sequential/STM.hs:72)
newTVar (Control/Sequential/STM.hs:75)
newTVarIO (Control/Sequential/STM.hs:78)
readTVar (Control/Sequential/STM.hs:83)
readTVarIO (Control/Sequential/STM.hs:86)
writeTVar (Control/Sequential/STM.hs:89)
90% ( 9 / 10) in 'Control.Monad.STM'
Missing documentation for:
check (Control/Monad/STM.hs:81)
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Missing documentation for:
newTSem (Control/Concurrent/STM/TSem.hs:42)
waitTSem (Control/Concurrent/STM/TSem.hs:45)
signalTSem (Control/Concurrent/STM/TSem.hs:51)
Warning: Control.Monad.STM: could not find link destinations for:
getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Warning: Control.Concurrent.STM.TArray: could not find link destinations for:
getNumElements unsafeNewArray_ unsafeRead unsafeWrite
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file:
/tmp/pkgConf-stm-2.4.41983690368364319529.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/stm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF
Registering stm-2.4.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-2264/stm-2.4.4.1'
Installed stm-2.4.4.1
cabal: Entering directory '/tmp/cabal-tmp-2264/transformers-compat-0.5.1.4'
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Preprocessing library transformers-compat-0.5.1.4...
[1 of 2] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o )
[2 of 2] Compiling Control.Monad.Trans.Instances ( src/Control/Monad/Trans/Instances.hs, dist/build/Control/Monad/Trans/Instances.o )
Running Haddock for transformers-compat-0.5.1.4...
Running hscolour for transformers-compat-0.5.1.4...
Preprocessing library transformers-compat-0.5.1.4...
Preprocessing library transformers-compat-0.5.1.4...
Haddock coverage:
0% ( 0 / 8) in 'Paths_transformers_compat'
Missing documentation for:
Module header
version (dist/build/autogen/Paths_transformers_compat.hs:28)
getBinDir (dist/build/autogen/Paths_transformers_compat.hs:38)
getLibDir (dist/build/autogen/Paths_transformers_compat.hs:38)
getDataDir (dist/build/autogen/Paths_transformers_compat.hs:38)
getLibexecDir (dist/build/autogen/Paths_transformers_compat.hs:38)
getDataFileName (dist/build/autogen/Paths_transformers_compat.hs:45)
getSysconfDir (dist/build/autogen/Paths_transformers_compat.hs:38)
100% ( 1 / 1) in 'Control.Monad.Trans.Instances'
Documentation created: dist/doc/html/transformers-compat/index.html,
dist/doc/html/transformers-compat/transformers-compat.txt
Creating package registration file:
/tmp/pkgConf-transformers-compat-0.5.110251258492137100237.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/transformers-compat-0.5.1.4-G5tKvPrwhggJRvSwXNMs1N
Registering transformers-compat-0.5.1.4...
cabal: Leaving directory '/tmp/cabal-tmp-2264/transformers-compat-0.5.1.4'
Installed transformers-compat-0.5.1.4
cabal: Entering directory '/tmp/cabal-tmp-2264/async-2.1.0'
Configuring async-2.1.0...
Building async-2.1.0...
Preprocessing library async-2.1.0...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
Running Haddock for async-2.1.0...
Running hscolour for async-2.1.0...
Preprocessing library async-2.1.0...
Preprocessing library async-2.1.0...
Haddock coverage:
100% ( 54 / 54) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file:
/tmp/pkgConf-async-2.113722617962073785404.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf
Registering async-2.1.0...
cabal: Leaving directory '/tmp/cabal-tmp-2264/async-2.1.0'
Installed async-2.1.0
cabal: Entering directory '/tmp/cabal-tmp-2264/MonadRandom-0.4.2.3'
Configuring MonadRandom-0.4.2.3...
Building MonadRandom-0.4.2.3...
Preprocessing library MonadRandom-0.4.2.3...
[1 of 2] Compiling Control.Monad.Random.Class ( Control/Monad/Random/Class.hs, dist/build/Control/Monad/Random/Class.o )
[2 of 2] Compiling Control.Monad.Random ( Control/Monad/Random.hs, dist/build/Control/Monad/Random.o )
Control/Monad/Random.hs:54:1: warning: [-Wdeprecations]
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead
Control/Monad/Random.hs:206:11: warning: [-Wdeprecations]
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Random.hs:206:51: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Random.hs:251:11: warning: [-Wdeprecations]
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Random.hs:251:53: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Running Haddock for MonadRandom-0.4.2.3...
Running hscolour for MonadRandom-0.4.2.3...
Preprocessing library MonadRandom-0.4.2.3...
Preprocessing library MonadRandom-0.4.2.3...
Control/Monad/Random.hs:54:1: warning: [-Wdeprecations]
Module ‘Control.Monad.Error’ is deprecated:
Use Control.Monad.Except instead
Control/Monad/Random.hs:206:11: warning: [-Wdeprecations]
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Random.hs:206:51: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Random.hs:251:11: warning: [-Wdeprecations]
In the use of type constructor or class ‘Error’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Control/Monad/Random.hs:251:53: warning: [-Wdeprecations]
In the use of type constructor or class ‘ErrorT’
(imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
Deprecated: "Use Control.Monad.Trans.Except instead"
Haddock coverage:
88% ( 7 / 8) in 'Control.Monad.Random.Class'
Missing documentation for:
getSplit (Control/Monad/Random/Class.hs:49)
100% ( 17 / 17) in 'Control.Monad.Random'
Documentation created: dist/doc/html/MonadRandom/index.html,
dist/doc/html/MonadRandom/MonadRandom.txt
Creating package registration file:
/tmp/pkgConf-MonadRandom-0.4.21615935710639806732.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/MonadRandom-0.4.2.3-BeY4MXl2TWH5X5ex76pU0B
Registering MonadRandom-0.4.2.3...
cabal: Leaving directory '/tmp/cabal-tmp-2264/MonadRandom-0.4.2.3'
Installed MonadRandom-0.4.2.3
cabal: Entering directory '/tmp/cabal-tmp-2264/minisat-0.1.2'
Configuring minisat-0.1.2...
Building minisat-0.1.2...
Preprocessing library minisat-0.1.2...
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o )
Running Haddock for minisat-0.1.2...
Running hscolour for minisat-0.1.2...
Preprocessing library minisat-0.1.2...
Preprocessing library minisat-0.1.2...
Haddock coverage:
1% ( 1 / 70) in 'MiniSat'
Missing documentation for:
Module header
withNewSolver (minisat-haskell-bindings/MiniSat.hsc:23)
newSolver (minisat-haskell-bindings/MiniSat.hsc:28)
deleteSolver (minisat-haskell-bindings/MiniSat.hsc:34)
newLit (minisat-haskell-bindings/MiniSat.hsc:37)
neg (minisat-haskell-bindings/MiniSat.hsc:40)
addClause (minisat-haskell-bindings/MiniSat.hsc:43)
simplify (minisat-haskell-bindings/MiniSat.hsc:49)
eliminate (minisat-haskell-bindings/MiniSat.hsc:52)
setFrozen (minisat-haskell-bindings/MiniSat.hsc:55)
isEliminated (minisat-haskell-bindings/MiniSat.hsc:58)
solve (minisat-haskell-bindings/MiniSat.hsc:65)
limited_solve (minisat-haskell-bindings/MiniSat.hsc:71)
value (minisat-haskell-bindings/MiniSat.hsc:77)
modelValue (minisat-haskell-bindings/MiniSat.hsc:77)
conflict (minisat-haskell-bindings/MiniSat.hsc:87)
l_True (minisat-haskell-bindings/MiniSat.hsc:93)
l_False (minisat-haskell-bindings/MiniSat.hsc:93)
l_Undef (minisat-haskell-bindings/MiniSat.hsc:93)
Solver (minisat-haskell-bindings/MiniSat.hsc:100)
Var (minisat-haskell-bindings/MiniSat.hsc:101)
Lit (minisat-haskell-bindings/MiniSat.hsc:102)
LBool (minisat-haskell-bindings/MiniSat.hsc:103)
(minisat-haskell-bindings/MiniSat.hsc:105)
(minisat-haskell-bindings/MiniSat.hsc:108)
(minisat-haskell-bindings/MiniSat.hsc:111)
minisat_new (minisat-haskell-bindings/MiniSat.hsc:130)
minisat_delete (minisat-haskell-bindings/MiniSat.hsc:131)
minisat_newVar (minisat-haskell-bindings/MiniSat.hsc:132)
minisat_newLit (minisat-haskell-bindings/MiniSat.hsc:133)
minisat_mkLit (minisat-haskell-bindings/MiniSat.hsc:134)
minisat_mkLit_args (minisat-haskell-bindings/MiniSat.hsc:135)
minisat_negate (minisat-haskell-bindings/MiniSat.hsc:136)
minisat_var (minisat-haskell-bindings/MiniSat.hsc:137)
minisat_sign (minisat-haskell-bindings/MiniSat.hsc:138)
minisat_addClause (minisat-haskell-bindings/MiniSat.hsc:139)
minisat_addClause_begin (minisat-haskell-bindings/MiniSat.hsc:140)
minisat_addClause_addLit (minisat-haskell-bindings/MiniSat.hsc:141)
minisat_addClause_commit (minisat-haskell-bindings/MiniSat.hsc:142)
minisat_simplify (minisat-haskell-bindings/MiniSat.hsc:143)
minisat_solve (minisat-haskell-bindings/MiniSat.hsc:144)
minisat_solve_begin (minisat-haskell-bindings/MiniSat.hsc:145)
minisat_solve_addLit (minisat-haskell-bindings/MiniSat.hsc:146)
minisat_solve_commit (minisat-haskell-bindings/MiniSat.hsc:147)
minisat_limited_solve_commit (minisat-haskell-bindings/MiniSat.hsc:148)
minisat_interrupt (minisat-haskell-bindings/MiniSat.hsc:150)
minisat_clearInterrupt (minisat-haskell-bindings/MiniSat.hsc:151)
minisat_okay (minisat-haskell-bindings/MiniSat.hsc:153)
minisat_setPolarity (minisat-haskell-bindings/MiniSat.hsc:154)
minisat_setDecisionVar (minisat-haskell-bindings/MiniSat.hsc:155)
minisat_value_Var (minisat-haskell-bindings/MiniSat.hsc:156)
minisat_value_Lit (minisat-haskell-bindings/MiniSat.hsc:157)
minisat_modelValue_Var (minisat-haskell-bindings/MiniSat.hsc:158)
minisat_modelValue_Lit (minisat-haskell-bindings/MiniSat.hsc:159)
minisat_get_l_True (minisat-haskell-bindings/MiniSat.hsc:161)
minisat_get_l_False (minisat-haskell-bindings/MiniSat.hsc:162)
minisat_get_l_Undef (minisat-haskell-bindings/MiniSat.hsc:163)
minisat_setFrozen (minisat-haskell-bindings/MiniSat.hsc:166)
minisat_isEliminated (minisat-haskell-bindings/MiniSat.hsc:167)
minisat_eliminate (minisat-haskell-bindings/MiniSat.hsc:168)
minisat_num_assigns (minisat-haskell-bindings/MiniSat.hsc:170)
minisat_num_clauses (minisat-haskell-bindings/MiniSat.hsc:171)
minisat_num_learnts (minisat-haskell-bindings/MiniSat.hsc:172)
minisat_num_vars (minisat-haskell-bindings/MiniSat.hsc:173)
minisat_num_freeVars (minisat-haskell-bindings/MiniSat.hsc:174)
minisat_num_conflicts (minisat-haskell-bindings/MiniSat.hsc:175)
minisat_conflict_len (minisat-haskell-bindings/MiniSat.hsc:177)
minisat_conflict_nthLit (minisat-haskell-bindings/MiniSat.hsc:178)
minisat_set_verbosity (minisat-haskell-bindings/MiniSat.hsc:179)
Documentation created: dist/doc/html/minisat/index.html,
dist/doc/html/minisat/minisat.txt
Creating package registration file:
/tmp/pkgConf-minisat-0.117612505731089653714.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/minisat-0.1.2-8ClStztrIv94purKvLDw2K
Registering minisat-0.1.2...
cabal: Leaving directory '/tmp/cabal-tmp-2264/minisat-0.1.2'
Installed minisat-0.1.2
cabal: Entering directory '/tmp/cabal-tmp-2264/random-shuffle-0.0.4'
Configuring random-shuffle-0.0.4...
Building random-shuffle-0.0.4...
Preprocessing library random-shuffle-0.0.4...
[1 of 1] Compiling System.Random.Shuffle ( src/System/Random/Shuffle.hs, dist/build/System/Random/Shuffle.o )
src/System/Random/Shuffle.hs:59:1: warning: [-Wtabs]
Tab character found here, and in 10 further locations.
Please use spaces instead.
Running Haddock for random-shuffle-0.0.4...
Running hscolour for random-shuffle-0.0.4...
Preprocessing library random-shuffle-0.0.4...
Preprocessing library random-shuffle-0.0.4...
src/System/Random/Shuffle.hs:59:1: warning: [-Wtabs]
Tab character found here, and in 10 further locations.
Please use spaces instead.
Haddock coverage:
100% ( 4 / 4) in 'System.Random.Shuffle'
Documentation created: dist/doc/html/random-shuffle/index.html,
dist/doc/html/random-shuffle/random-shuffle.txt
Creating package registration file:
/tmp/pkgConf-random-shuffle-0.0857490000454333378.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/random-shuffle-0.0.4-4HPj3K38ghl6zBNCA2I5Iy
Registering random-shuffle-0.0.4...
cabal: Leaving directory '/tmp/cabal-tmp-2264/random-shuffle-0.0.4'
Installed random-shuffle-0.0.4
cabal: Entering directory '/tmp/cabal-tmp-2264/abc-puzzle-0.2.1'
Configuring abc-puzzle-0.2.1...
Building abc-puzzle-0.2.1...
Preprocessing executable 'abc-puzzle' for abc-puzzle-0.2.1...
[1 of 1] Compiling Main ( src/Main.hs, dist/build/abc-puzzle/abc-puzzle-tmp/Main.o )
Linking dist/build/abc-puzzle/abc-puzzle ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests or --benchmarks
flags.
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
cabal: Leaving directory '/tmp/cabal-tmp-2264/abc-puzzle-0.2.1'
Installed abc-puzzle-0.2.1