Resolving dependencies...
Configuring mtl-2.2.1...
Configuring primitive-0.6.2.0...
Building mtl-2.2.1...
Building primitive-0.6.2.0...
Installed mtl-2.2.1
Configuring random-1.1...
Building random-1.1...
Configuring spoon-0.3.1...
Installed primitive-0.6.2.0
Building spoon-0.3.1...
Installed random-1.1
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed spoon-0.3.1
Installed tf-random-0.5
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Installed QuickCheck-2.9.2
Configuring quickspec-0.9.1...
Building quickspec-0.9.1...
Failed to install quickspec-0.9.1
Build log ( /home/builder/.cabal/logs/quickspec-0.9.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-27910/quickspec-0.9.1'
Configuring quickspec-0.9.1...
Building quickspec-0.9.1...
Preprocessing library quickspec-0.9.1...
[ 1 of 20] Compiling Test.QuickSpec.Utils.Typeable ( src/Test/QuickSpec/Utils/Typeable.hs, dist/build/Test/QuickSpec/Utils/Typeable.o )
[ 2 of 20] Compiling Test.QuickSpec.Utils.Typed ( src/Test/QuickSpec/Utils/Typed.hs, dist/build/Test/QuickSpec/Utils/Typed.o )
[ 3 of 20] Compiling Test.QuickSpec.Utils.TypeMap ( src/Test/QuickSpec/Utils/TypeMap.hs, dist/build/Test/QuickSpec/Utils/TypeMap.o )
[ 4 of 20] Compiling Test.QuickSpec.Utils ( src/Test/QuickSpec/Utils.hs, dist/build/Test/QuickSpec/Utils.o )
[ 5 of 20] Compiling Test.QuickSpec.Utils.TypeRel ( src/Test/QuickSpec/Utils/TypeRel.hs, dist/build/Test/QuickSpec/Utils/TypeRel.o )
[ 6 of 20] Compiling Test.QuickSpec.TestTree ( src/Test/QuickSpec/TestTree.hs, dist/build/Test/QuickSpec/TestTree.o )
[ 7 of 20] Compiling Test.QuickSpec.Term ( src/Test/QuickSpec/Term.hs, dist/build/Test/QuickSpec/Term.o )

src/Test/QuickSpec/Term.hs:174:19: error:
    Variable not in scope:
      promote :: (Variable a0 -> Gen a0) -> Gen (Variable a -> a)
cabal: Leaving directory '/tmp/cabal-tmp-27910/quickspec-0.9.1'
cabal: Error: some packages failed to install:
quickspec-0.9.1 failed during the building phase. The exception was:
ExitFailure 1