Build #1 for PropLogic-0.9.0.3
| Package | PropLogic-0.9.0.3 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | random-1.0.1.1, old-time-1.1.0.1, base-4.6.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading PropLogic-0.9.0.3...
Configuring PropLogic-0.9.0.3...
Building PropLogic-0.9.0.3...
Preprocessing library PropLogic-0.9.0.3...
[1 of 8] Compiling Costack ( Costack.hs, dist/build/Costack.o )
[2 of 8] Compiling Olist ( Olist.hs, dist/build/Olist.o )
[3 of 8] Compiling TextDisplay ( TextDisplay.hs, dist/build/TextDisplay.o )
[4 of 8] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/PropLogicCore.o )
[5 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o )
[6 of 8] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/FastPropLogic.o )
[7 of 8] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/PropLogicTest.o )
PropLogicTest.hs:634:8: Warning:
A do-notation statement discarded a result of type IO ().
Suppress this warning by saying "_ <- return
(ifVerbose
(do { print "The input formula:";
D.display p }))",
or by using the flag -fno-warn-wrong-do-bind
PropLogicTest.hs:639:8: Warning:
A do-notation statement discarded a result of type IO ().
Suppress this warning by saying "_ <- return
(ifVerbose
(do { print
((++)
"The fast PDNF (computed in "
(++)
(show fastPdnfTime) " milliseconds):");
D.display fastPdnf }))",
or by using the flag -fno-warn-wrong-do-bind
PropLogicTest.hs:644:8: Warning:
A do-notation statement discarded a result of type IO ().
Suppress this warning by saying "_ <- return
(ifVerbose
(do { print
((++)
"The default PDNF (computed in "
(++)
(show defaultPdnfTime)
" milliseconds):");
D.display defaultPdnf }))",
or by using the flag -fno-warn-wrong-do-bind
PropLogicTest.hs:649:8: Warning:
A do-notation statement discarded a result of type IO ().
Suppress this warning by saying "_ <- return
(ifVerbose
(do { print
((++)
"The fast PCNF (computed in "
(++)
(show fastPcnfTime) " milliseconds):");
D.display fastPcnf }))",
or by using the flag -fno-warn-wrong-do-bind
PropLogicTest.hs:654:8: Warning:
A do-notation statement discarded a result of type IO ().
Suppress this warning by saying "_ <- return
(ifVerbose
(do { print
((++)
"The default PCNF (computed in "
(++)
(show defaultPcnfTime)
" milliseconds):");
D.display defaultPcnf }))",
or by using the flag -fno-warn-wrong-do-bind
PropLogicTest.hs:658:8: Warning:
A do-notation statement discarded a result of type IO ().
Suppress this warning by saying "_ <- return
(ifVerbose
(do { print "The overall result is:";
print result }))",
or by using the flag -fno-warn-wrong-do-bind
[8 of 8] Compiling PropLogic ( PropLogic.hs, dist/build/PropLogic.o )
In-place registering PropLogic-0.9.0.3...
Preprocessing executable 'program' for PropLogic-0.9.0.3...
Main.hs:1:1:
Could not find module `Prelude'
It is a member of the hidden package `base'.
Perhaps you need to add `base' to the build-depends in your .cabal file.
It is a member of the hidden package `haskell98-2.0.0.2'.
Perhaps you need to add `haskell98' to the build-depends in your .cabal file.
It is a member of the hidden package `haskell2010-1.1.1.0'.
Perhaps you need to add `haskell2010' to the build-depends in your .cabal file.
Use -v to see a list of the files searched for.
Failed to install PropLogic-0.9.0.3
cabal: Error: some packages failed to install:
PropLogic-0.9.0.3 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.