Resolving dependencies...
Configuring base-orphans-0.5.4...
Configuring call-stack-0.1.0...
Building base-orphans-0.5.4...
Building call-stack-0.1.0...
Installed base-orphans-0.5.4
Configuring mtl-2.2.1...
Configuring random-1.1...
Installed call-stack-0.1.0
Building mtl-2.2.1...
Building random-1.1...
Configuring primitive-0.6.1.0...
Installed random-1.1
Configuring stm-2.4.4.1...
Installed mtl-2.2.1
Building primitive-0.6.1.0...
Building stm-2.4.4.1...
Configuring semigroups-0.18.2...
Installed stm-2.4.4.1
Building semigroups-0.18.2...
Configuring text-1.2.2.1...
Installed primitive-0.6.1.0
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed semigroups-0.18.2
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring HUnit-1.5.0.0...
Building HUnit-1.5.0.0...
Configuring tf-random-0.5...
Installed HUnit-1.5.0.0
Building tf-random-0.5...
Configuring StateVar-1.1.0.4...
Installed tf-random-0.5
Building StateVar-1.1.0.4...
Configuring tagged-0.8.5...
Installed StateVar-1.1.0.4
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring QuickCheck-2.9.2...
Configuring distributive-0.5.0.2...
Installed text-1.2.2.1
Building QuickCheck-2.9.2...
Building distributive-0.5.0.2...
Installed distributive-0.5.0.2
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Configuring parsec-3.1.11...
Installed hashable-1.2.4.0
Building parsec-3.1.11...
Configuring void-0.7.1...
Installed parsec-3.1.11
Building void-0.7.1...
Installed QuickCheck-2.9.2
Installed void-0.7.1
Configuring contravariant-1.4...
Building contravariant-1.4...
Installed contravariant-1.4
Configuring comonad-5...
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring profunctors-5.2...
Building profunctors-5.2...
Installed profunctors-5.2
Configuring unbound-generics-0.3.1...
Building unbound-generics-0.3.1...
Installed unbound-generics-0.3.1
Configuring pi-forall-0.1.1...
Building pi-forall-0.1.1...
Failed to install pi-forall-0.1.1
Build log ( /home/builder/.cabal/logs/pi-forall-0.1.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-27974/pi-forall-0.1.1'
Configuring pi-forall-0.1.1...
Building pi-forall-0.1.1...
Preprocessing library pi-forall-0.1.1...
[1 of 4] Compiling Syntax           ( src/Syntax.hs, dist/build/Syntax.o )
[2 of 4] Compiling TypeCheck        ( src/TypeCheck.hs, dist/build/TypeCheck.o )

src/TypeCheck.hs:13:1: error:
    Failed to load interface for ‘Environment’
    Use -v to see a list of the files searched for.

src/TypeCheck.hs:14:1: error:
    Failed to load interface for ‘PrettyPrint’
    Use -v to see a list of the files searched for.

src/TypeCheck.hs:15:1: error:
    Failed to load interface for ‘Equal’
    Use -v to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-27974/pi-forall-0.1.1'
cabal: Error: some packages failed to install:
pi-forall-0.1.1 failed during the building phase. The exception was:
ExitFailure 1