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.