Build #3 for typerbole-0.0.0.1
| Package | typerbole-0.0.0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-22 02:38:25.870572 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.9.2, base-4.9.0.0, bifunctors-5.4.1, containers-0.5.7.1, data-ordlist-0.4.7.0, either-4.4.1.1, fgl-5.5.3.0, generic-random-0.1.1.0, lens-4.15.1, megaparsec-5.1.2, mtl-2.2.1, safe-0.3.10, semigroups-0.18.2, syb-0.6, template-haskell-2.11.0.0, th-lift-0.7.6, base-4.9.0.0, colour-2.3.3, diagrams-lib-1.4.0.1, diagrams-svg-1.4.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring base-orphans-0.5.4...
Building ansi-terminal-0.6.2.3...
Building base-orphans-0.5.4...
Installed base-orphans-0.5.4
Configuring base64-bytestring-1.0.0.1...
Building base64-bytestring-1.0.0.1...
Configuring cereal-0.5.4.0...
Installed ansi-terminal-0.6.2.3
Building cereal-0.5.4.0...
Configuring colour-2.3.3...
Installed base64-bytestring-1.0.0.1
Building colour-2.3.3...
Configuring data-default-class-0.1.2.0...
Installed cereal-0.5.4.0
Building data-default-class-0.1.2.0...
Configuring data-ordlist-0.4.7.0...
Installed colour-2.3.3
Building data-ordlist-0.4.7.0...
Configuring data-reify-0.6.1...
Installed data-default-class-0.1.2.0
Building data-reify-0.6.1...
Configuring diagrams-solve-0.1.0.1...
Installed data-ordlist-0.4.7.0
Building diagrams-solve-0.1.0.1...
Configuring erf-2.0.0.0...
Installed data-reify-0.6.1
Building erf-2.0.0.0...
Configuring fgl-5.5.3.0...
Installed diagrams-solve-0.1.0.1
Building fgl-5.5.3.0...
Configuring fingertree-0.1.1.0...
Installed erf-2.0.0.0
Building fingertree-0.1.1.0...
Configuring groups-0.4.0.0...
Installed fingertree-0.1.1.0
Building groups-0.4.0.0...
Configuring hinotify-0.3.8.1...
Installed groups-0.4.0.0
Building hinotify-0.3.8.1...
Configuring ieee754-0.7.9...
Installed fgl-5.5.3.0
Building ieee754-0.7.9...
Configuring mtl-2.2.1...
Installed hinotify-0.3.8.1
Building mtl-2.2.1...
Configuring nats-1.1.1...
Installed ieee754-0.7.9
Building nats-1.1.1...
Configuring newtype-0.2...
Installed nats-1.1.1
Building newtype-0.2...
Configuring parallel-3.2.1.0...
Installed mtl-2.2.1
Configuring prelude-extras-0.4.0.3...
Installed newtype-0.2
Building parallel-3.2.1.0...
Building prelude-extras-0.4.0.3...
Configuring primitive-0.6.1.0...
Installed parallel-3.2.1.0
Building primitive-0.6.1.0...
Configuring random-1.1...
Installed prelude-extras-0.4.0.3
Building random-1.1...
Configuring reflection-2.1.2...
Installed primitive-0.6.1.0
Building reflection-2.1.2...
Configuring safe-0.3.10...
Installed random-1.1
Building safe-0.3.10...
Configuring semigroups-0.18.2...
Installed safe-0.3.10
Building semigroups-0.18.2...
Configuring split-0.2.3.1...
Installed semigroups-0.18.2
Building split-0.2.3.1...
Configuring stm-2.4.4.1...
Installed reflection-2.1.2
Building stm-2.4.4.1...
Configuring storable-complex-0.2.2...
Installed split-0.2.3.1
Building storable-complex-0.2.2...
Configuring syb-0.6...
Installed storable-complex-0.2.2
Configuring text-1.2.2.1...
Installed stm-2.4.4.1
Building syb-0.6...
Building text-1.2.2.1...
Configuring th-lift-0.7.6...
Installed syb-0.6
Building th-lift-0.7.6...
Configuring transformers-compat-0.5.1.4...
Installed th-lift-0.7.6
Building transformers-compat-0.5.1.4...
Configuring unix-compat-0.4.2.0...
Installed transformers-compat-0.5.1.4
Building unix-compat-0.4.2.0...
Configuring zlib-0.6.1.2...
Installed unix-compat-0.4.2.0
Building zlib-0.6.1.2...
Installed text-1.2.2.1
Configuring ansi-wl-pprint-0.6.7.3...
Building ansi-wl-pprint-0.6.7.3...
Installed zlib-0.6.1.2
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Configuring StateVar-1.1.0.4...
Installed ansi-wl-pprint-0.6.7.3
Building StateVar-1.1.0.4...
Configuring async-2.1.1...
Installed StateVar-1.1.0.4
Building async-2.1.1...
Configuring tf-random-0.5...
Installed async-2.1.1
Building tf-random-0.5...
Configuring MonadRandom-0.4.2.3...
Installed tf-random-0.5
Building MonadRandom-0.4.2.3...
Configuring exceptions-0.8.3...
Installed MonadRandom-0.4.2.3
Building exceptions-0.8.3...
Configuring mmorph-1.0.9...
Installed exceptions-0.8.3
Building mmorph-1.0.9...
Configuring transformers-base-0.4.4...
Installed mmorph-1.0.9
Building transformers-base-0.4.4...
Configuring tagged-0.8.5...
Installed transformers-base-0.4.4
Building tagged-0.8.5...
Configuring hashable-1.2.4.0...
Installed vector-0.11.0.0
Building hashable-1.2.4.0...
Configuring blaze-builder-0.4.0.2...
Installed tagged-0.8.5
Building blaze-builder-0.4.0.2...
Installed hashable-1.2.4.0
Configuring fsnotify-0.2.1...
Building fsnotify-0.2.1...
Configuring optparse-applicative-0.13.0.0...
Installed blaze-builder-0.4.0.2
Building optparse-applicative-0.13.0.0...
Configuring QuickCheck-2.9.2...
Installed fsnotify-0.2.1
Building QuickCheck-2.9.2...
Configuring monad-control-1.0.1.0...
Installed optparse-applicative-0.13.0.0
Building monad-control-1.0.1.0...
Configuring JuicyPixels-3.2.8...
Installed monad-control-1.0.1.0
Building JuicyPixels-3.2.8...
Configuring distributive-0.5.0.2...
Installed QuickCheck-2.9.2
Building distributive-0.5.0.2...
Configuring scientific-0.3.4.9...
Installed distributive-0.5.0.2
Building scientific-0.3.4.9...
Configuring hmatrix-0.18.0.0...
Installed scientific-0.3.4.9
Building hmatrix-0.18.0.0...
Configuring void-0.7.1...
Installed JuicyPixels-3.2.8
Building void-0.7.1...
Configuring unordered-containers-0.2.7.1...
Installed void-0.7.1
Building unordered-containers-0.2.7.1...
Installed unordered-containers-0.2.7.1
Configuring intervals-0.7.2...
Building intervals-0.7.2...
Installed intervals-0.7.2
Configuring contravariant-1.4...
Building contravariant-1.4...
Configuring megaparsec-5.1.2...
Installed hmatrix-0.18.0.0
Building megaparsec-5.1.2...
Configuring bytes-0.15.2...
Installed contravariant-1.4
Building bytes-0.15.2...
Configuring svg-builder-0.1.0.2...
Installed megaparsec-5.1.2
Building svg-builder-0.1.0.2...
Installed bytes-0.15.2
Configuring comonad-5...
Installed svg-builder-0.1.0.2
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...
Configuring semigroupoids-5.1...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed profunctors-5.2
Installed semigroupoids-5.1
Configuring monoid-extras-0.4.2...
Configuring free-4.12.4...
Building monoid-extras-0.4.2...
Building free-4.12.4...
Installed monoid-extras-0.4.2
Configuring dual-tree-0.2.0.9...
Building dual-tree-0.2.0.9...
Installed dual-tree-0.2.0.9
Installed free-4.12.4
Configuring ad-4.3.2.1...
Configuring adjunctions-4.3...
Building adjunctions-4.3...
Building ad-4.3.2.1...
Configuring either-4.4.1.1...
Installed adjunctions-4.3
Building either-4.4.1.1...
Installed either-4.4.1.1
Configuring kan-extensions-5.0.1...
Building kan-extensions-5.0.1...
Installed kan-extensions-5.0.1
Configuring lens-4.15.1...
Building lens-4.15.1...
Installed ad-4.3.2.1
Configuring generic-random-0.1.1.0...
Building generic-random-0.1.1.0...
Installed generic-random-0.1.1.0
Installed lens-4.15.1
Configuring linear-1.20.5...
Building linear-1.20.5...
Installed linear-1.20.5
Configuring active-0.2.0.12...
Configuring diagrams-core-1.4...
Building active-0.2.0.12...
Building diagrams-core-1.4...
Installed active-0.2.0.12
Installed diagrams-core-1.4
Configuring diagrams-lib-1.4.0.1...
Building diagrams-lib-1.4.0.1...
Installed diagrams-lib-1.4.0.1
Configuring diagrams-svg-1.4.1...
Building diagrams-svg-1.4.1...
Installed diagrams-svg-1.4.1
Configuring typerbole-0.0.0.1...
Building typerbole-0.0.0.1...
Failed to install typerbole-0.0.0.1
Build log ( /home/builder/.cabal/logs/typerbole-0.0.0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-19207/typerbole-0.0.0.1'
Configuring typerbole-0.0.0.1...
Building typerbole-0.0.0.1...
Preprocessing library typerbole-0.0.0.1...
[ 1 of 14] Compiling Data.Graph.Inductive.Helper ( src/Data/Graph/Inductive/Helper.hs, dist/build/Data/Graph/Inductive/Helper.o )
[ 2 of 14] Compiling Control.Typecheckable ( src/Control/Typecheckable.hs, dist/build/Control/Typecheckable.o )
src/Control/Typecheckable.hs:148:5: error:
• Couldn't match type ‘TypingContext term0 t0’
with ‘TypingContext term t’
Expected type: InferenceContext term t -> TypingContext term t
Actual type: InferenceContext term0 t0 -> TypingContext term0 t0
NB: ‘TypingContext’ is a type function, and may not be injective
The type variables ‘term0’, ‘t0’ are ambiguous
• In the ambiguity check for ‘typingContext’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
typingContext :: forall (term :: * -> *) t.
Inferable term t =>
InferenceContext term t -> TypingContext term t
In the class declaration for ‘Inferable’
cabal: Leaving directory '/tmp/cabal-tmp-19207/typerbole-0.0.0.1'
cabal: Error: some packages failed to install:
typerbole-0.0.0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.