Resolving dependencies...
Configuring old-locale-1.0.0.7...
Configuring random-1.1...
Building random-1.1...
Building old-locale-1.0.0.7...
Installed old-locale-1.0.0.7
Configuring old-time-1.1.0.3...
Building old-time-1.1.0.3...
Installed random-1.1
Installed old-time-1.1.0.3
Configuring PropLogic-0.9.0.3...
Building PropLogic-0.9.0.3...
Failed to install PropLogic-0.9.0.3
Build log ( /home/builder/.cabal/logs/PropLogic-0.9.0.3.log ):
cabal: Entering directory '/tmp/cabal-tmp-9709/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 TextDisplay      ( TextDisplay.hs, dist/build/TextDisplay.o )
[2 of 8] Compiling Olist            ( Olist.hs, dist/build/Olist.o )
[3 of 8] Compiling PropLogicCore    ( PropLogicCore.hs, dist/build/PropLogicCore.o )
[4 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o )
[5 of 8] Compiling Costack          ( Costack.hs, dist/build/Costack.o )
[6 of 8] Compiling FastPropLogic    ( FastPropLogic.hs, dist/build/FastPropLogic.o )
[7 of 8] Compiling PropLogicTest    ( PropLogicTest.hs, dist/build/PropLogicTest.o )
[8 of 8] Compiling PropLogic        ( PropLogic.hs, dist/build/PropLogic.o )
Preprocessing executable 'program' for PropLogic-0.9.0.3...
[1 of 9] Compiling TextDisplay      ( TextDisplay.hs, dist/build/program/program-tmp/TextDisplay.o )

TextDisplay.hs:11:8: error:
    Failed to load interface for ‘Prelude’
    It is a member of the hidden package ‘base-4.9.0.0’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

TextDisplay.hs:160:3: error:
    Failed to load interface for ‘Data.Char’
    It is a member of the hidden package ‘base-4.9.0.0’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

TextDisplay.hs:161:3: error:
    Failed to load interface for ‘Data.List’
    It is a member of the hidden package ‘base-4.9.0.0’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-9709/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