Build #3 for liquidhaskell-0.8.6.0
| Package | liquidhaskell-0.8.6.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2019-09-23 22:36:09.112957 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | Diff-0.4.0, aeson-1.4.5.0, base-4.12.0.0, binary-0.8.6.0, bytestring-0.10.8.2, cereal-0.5.8.1, cmdargs-0.10.20, containers-0.6.0.1, data-default-0.7.1.1, deepseq-1.4.4.0, directory-1.3.3.0, filepath-1.4.2.1, fingertree-0.1.4.2, ghc-8.6.3, ghc-boot-8.6.3, ghc-paths-0.1.0.12, ghc-prim-0.5.3, githash-0.1.3.3, gitrev-1.3.1, hashable-1.3.0.0, hscolour-1.24.4, liquid-fixpoint-0.8.0.2, mtl-2.2.2, optparse-simple-0.1.1.2, parsec-3.1.13.0, pretty-1.1.3.6, syb-0.7.1, template-haskell-2.14.0.0, temporary-1.3, text-1.2.3.1, time-1.8.0.2, transformers-0.5.5.0, unordered-containers-0.2.10.0, vector-0.12.0.3, base-4.12.0.0 |
| Flags | -deterministic-profiling -devel -include |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Warning: The install command is a part of the legacy v1 style of cabal usage.
Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.
For more information, see: https://wiki.haskell.org/Cabal/NewBuild
Resolving dependencies...
Starting cereal-0.5.8.1
Starting base-orphans-0.8.1
Starting Diff-0.4.0
Starting base-compat-0.11.0
Building cereal-0.5.8.1
Building Diff-0.4.0
Building base-orphans-0.8.1
Building base-compat-0.11.0
Completed base-orphans-0.8.1
Starting cmdargs-0.10.20
Building cmdargs-0.10.20
Completed Diff-0.4.0
Starting colour-2.3.5
Building colour-2.3.5
Completed cereal-0.5.8.1
Starting data-default-class-0.1.2.0
Completed base-compat-0.11.0
Starting dlist-0.8.0.7
Building data-default-class-0.1.2.0
Building dlist-0.8.0.7
Completed data-default-class-0.1.2.0
Starting double-conversion-2.0.2.0
Completed colour-2.3.5
Starting fgl-5.7.0.1
Building double-conversion-2.0.2.0
Building fgl-5.7.0.1
Completed dlist-0.8.0.7
Starting fingertree-0.1.4.2
Building fingertree-0.1.4.2
Completed double-conversion-2.0.2.0
Starting ghc-paths-0.1.0.12
Completed fingertree-0.1.4.2
Starting githash-0.1.3.3
Building githash-0.1.3.3
Building ghc-paths-0.1.0.12
Completed ghc-paths-0.1.0.12
Starting hashable-1.3.0.0
Completed fgl-5.7.0.1
Starting hscolour-1.24.4
Completed githash-0.1.3.3
Starting integer-logarithms-1.0.3
Building hashable-1.3.0.0
Building hscolour-1.24.4
Building integer-logarithms-1.0.3
Completed cmdargs-0.10.20
Starting old-locale-1.0.0.7
Building old-locale-1.0.0.7
Completed integer-logarithms-1.0.3
Starting parallel-3.2.2.0
Building parallel-3.2.2.0
Completed old-locale-1.0.0.7
Starting primitive-0.7.0.0
Completed hashable-1.3.0.0
Starting random-1.1
Building primitive-0.7.0.0
Building random-1.1
Completed parallel-3.2.2.0
Starting split-0.2.3.3
Building split-0.2.3.3
Completed random-1.1
Starting syb-0.7.1
Completed hscolour-1.24.4
Starting tagged-0.8.6
Completed split-0.2.3.3
Starting terminal-size-0.3.2.1
Building syb-0.7.1
Building tagged-0.8.6
Building terminal-size-0.3.2.1
Completed terminal-size-0.3.2.1
Starting th-abstraction-0.3.1.0
Building th-abstraction-0.3.1.0
Completed tagged-0.8.6
Starting transformers-compat-0.6.5
Completed syb-0.7.1
Starting time-compat-1.9.2.2
Building transformers-compat-0.6.5
Building time-compat-1.9.2.2
Completed transformers-compat-0.6.5
Starting gitrev-1.3.1
Completed th-abstraction-0.3.1.0
Starting data-default-instances-containers-0.0.1
Building gitrev-1.3.1
Completed primitive-0.7.0.0
Starting ansi-terminal-0.10
Building data-default-instances-containers-0.0.1
Building ansi-terminal-0.10
Completed time-compat-1.9.2.2
Starting data-default-instances-dlist-0.0.1
Building data-default-instances-dlist-0.0.1
Completed data-default-instances-containers-0.0.1
Starting text-format-0.3.2
Completed gitrev-1.3.1
Starting data-default-instances-old-locale-0.0.1
Building text-format-0.3.2
Building data-default-instances-old-locale-0.0.1
Completed data-default-instances-dlist-0.0.1
Starting unordered-containers-0.2.10.0
Building unordered-containers-0.2.10.0
Completed data-default-instances-old-locale-0.0.1
Starting async-2.2.2
Building async-2.2.2
Completed ansi-terminal-0.10
Starting uuid-types-1.0.3
Building uuid-types-1.0.3
Completed text-format-0.3.2
Starting boxes-0.1.5
Building boxes-0.1.5
Completed async-2.2.2
Starting exceptions-0.10.3
Building exceptions-0.10.3
Completed uuid-types-1.0.3
Starting vector-0.12.0.3
Completed boxes-0.1.5
Starting scientific-0.3.6.2
Building vector-0.12.0.3
Building scientific-0.3.6.2
Completed exceptions-0.10.3
Starting data-default-0.7.1.1
Building data-default-0.7.1.1
Completed unordered-containers-0.2.10.0
Starting ansi-wl-pprint-0.6.9
Completed scientific-0.3.6.2
Starting temporary-1.3
Building ansi-wl-pprint-0.6.9
Completed data-default-0.7.1.1
Starting concurrent-output-1.10.10
Building temporary-1.3
Building concurrent-output-1.10.10
Completed temporary-1.3
Starting intern-0.9.2
Completed ansi-wl-pprint-0.6.9
Starting attoparsec-0.13.2.3
Building intern-0.9.2
Building attoparsec-0.13.2.3
Completed intern-0.9.2
Starting optparse-applicative-0.15.1.0
Building optparse-applicative-0.15.1.0
Completed concurrent-output-1.10.10
Starting ascii-progress-0.3.3.0
Building ascii-progress-0.3.3.0
Completed attoparsec-0.13.2.3
Completed ascii-progress-0.3.3.0
Starting liquid-fixpoint-0.8.0.2
Building liquid-fixpoint-0.8.0.2
Completed optparse-applicative-0.15.1.0
Starting optparse-simple-0.1.1.2
Building optparse-simple-0.1.1.2
Completed optparse-simple-0.1.1.2
Completed vector-0.12.0.3
Starting aeson-1.4.5.0
Building aeson-1.4.5.0
Completed aeson-1.4.5.0
Completed liquid-fixpoint-0.8.0.2
Starting liquidhaskell-0.8.6.0
Building liquidhaskell-0.8.6.0
Failed to install liquidhaskell-0.8.6.0
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/liquidhaskell-0.8.6.0-FuUOllbwYbFK6s16vxT8sE.log ):
cabal: Entering directory '/tmp/cabal-tmp-17335/liquidhaskell-0.8.6.0'
Configuring liquidhaskell-0.8.6.0...
Preprocessing library for liquidhaskell-0.8.6.0..
Building library for liquidhaskell-0.8.6.0..
[ 1 of 90] Compiling Gradual.GUI.Misc ( src/Gradual/GUI/Misc.hs, dist/build/Gradual/GUI/Misc.o )
[ 2 of 90] Compiling Gradual.Misc ( src/Gradual/Misc.hs, dist/build/Gradual/Misc.o )
[ 3 of 90] Compiling Gradual.Trivial ( src/Gradual/Trivial.hs, dist/build/Gradual/Trivial.o )
[ 4 of 90] Compiling Language.Haskell.Liquid.Bag ( include/Language/Haskell/Liquid/Bag.hs, dist/build/Language/Haskell/Liquid/Bag.o )
[ 5 of 90] Compiling Language.Haskell.Liquid.Equational ( include/Language/Haskell/Liquid/Equational.hs, dist/build/Language/Haskell/Liquid/Equational.o )
[ 6 of 90] Compiling Language.Haskell.Liquid.Foreign ( include/Language/Haskell/Liquid/Foreign.hs, dist/build/Language/Haskell/Liquid/Foreign.o )
[ 7 of 90] Compiling Language.Haskell.Liquid.GHC.API ( src/Language/Haskell/Liquid/GHC/API.hs, dist/build/Language/Haskell/Liquid/GHC/API.o )
[ 8 of 90] Compiling Language.Haskell.Liquid.List ( include/Language/Haskell/Liquid/List.hs, dist/build/Language/Haskell/Liquid/List.o )
[ 9 of 90] Compiling Language.Haskell.Liquid.Prelude ( include/Language/Haskell/Liquid/Prelude.hs, dist/build/Language/Haskell/Liquid/Prelude.o )
[10 of 90] Compiling Language.Haskell.Liquid.ProofCombinators ( include/Language/Haskell/Liquid/ProofCombinators.hs, dist/build/Language/Haskell/Liquid/ProofCombinators.o )
[11 of 90] Compiling Language.Haskell.Liquid.Types.Names ( src/Language/Haskell/Liquid/Types/Names.hs, dist/build/Language/Haskell/Liquid/Types/Names.o )
[12 of 90] Compiling Language.Haskell.Liquid.Types.Variance ( src/Language/Haskell/Liquid/Types/Variance.hs, dist/build/Language/Haskell/Liquid/Types/Variance.o )
[13 of 90] Compiling Language.Haskell.Liquid.UX.Config ( src/Language/Haskell/Liquid/UX/Config.hs, dist/build/Language/Haskell/Liquid/UX/Config.o )
[14 of 90] Compiling Gradual.Types ( src/Gradual/Types.hs, dist/build/Gradual/Types.o )
[15 of 90] Compiling Gradual.Uniquify ( src/Gradual/Uniquify.hs, dist/build/Gradual/Uniquify.o )
[16 of 90] Compiling Gradual.Refinements ( src/Gradual/Refinements.hs, dist/build/Gradual/Refinements.o )
[17 of 90] Compiling Gradual.Concretize ( src/Gradual/Concretize.hs, dist/build/Gradual/Concretize.o )
[18 of 90] Compiling Paths_liquidhaskell ( dist/build/autogen/Paths_liquidhaskell.hs, dist/build/Paths_liquidhaskell.o )
[19 of 90] Compiling Language.Haskell.Liquid.Misc ( src/Language/Haskell/Liquid/Misc.hs, dist/build/Language/Haskell/Liquid/Misc.o )
[20 of 90] Compiling Language.Haskell.Liquid.Types.Errors ( src/Language/Haskell/Liquid/Types/Errors.hs, dist/build/Language/Haskell/Liquid/Types/Errors.o )
[21 of 90] Compiling Language.Haskell.Liquid.GHC.Misc ( src/Language/Haskell/Liquid/GHC/Misc.hs, dist/build/Language/Haskell/Liquid/GHC/Misc.o )
[22 of 90] Compiling Language.Haskell.Liquid.UX.ACSS ( src/Language/Haskell/Liquid/UX/ACSS.hs, dist/build/Language/Haskell/Liquid/UX/ACSS.o )
[23 of 90] Compiling Language.Haskell.Liquid.GHC.TypeRep ( src/Language/Haskell/Liquid/GHC/TypeRep.hs, dist/build/Language/Haskell/Liquid/GHC/TypeRep.o )
[24 of 90] Compiling Language.Haskell.Liquid.Types.Visitors ( src/Language/Haskell/Liquid/Types/Visitors.hs, dist/build/Language/Haskell/Liquid/Types/Visitors.o )
[25 of 90] Compiling Language.Haskell.Liquid.Types.Types ( src/Language/Haskell/Liquid/Types/Types.hs, dist/build/Language/Haskell/Liquid/Types/Types.o )
[26 of 90] Compiling Language.Haskell.Liquid.Types.Strata ( src/Language/Haskell/Liquid/Types/Strata.hs, dist/build/Language/Haskell/Liquid/Types/Strata.o )
[27 of 90] Compiling Language.Haskell.Liquid.Types.PrettyPrint ( src/Language/Haskell/Liquid/Types/PrettyPrint.hs, dist/build/Language/Haskell/Liquid/Types/PrettyPrint.o )
[28 of 90] Compiling Language.Haskell.Liquid.UX.CTags ( src/Language/Haskell/Liquid/UX/CTags.hs, dist/build/Language/Haskell/Liquid/UX/CTags.o )
[29 of 90] Compiling Language.Haskell.Liquid.GHC.SpanStack ( src/Language/Haskell/Liquid/GHC/SpanStack.hs, dist/build/Language/Haskell/Liquid/GHC/SpanStack.o )
[30 of 90] Compiling Language.Haskell.Liquid.GHC.Resugar ( src/Language/Haskell/Liquid/GHC/Resugar.hs, dist/build/Language/Haskell/Liquid/GHC/Resugar.o )
[31 of 90] Compiling Language.Haskell.Liquid.GHC.Play ( src/Language/Haskell/Liquid/GHC/Play.hs, dist/build/Language/Haskell/Liquid/GHC/Play.o )
[32 of 90] Compiling Language.Haskell.Liquid.Types.RefType ( src/Language/Haskell/Liquid/Types/RefType.hs, dist/build/Language/Haskell/Liquid/Types/RefType.o )
[33 of 90] Compiling Language.Haskell.Liquid.UX.Tidy ( src/Language/Haskell/Liquid/UX/Tidy.hs, dist/build/Language/Haskell/Liquid/UX/Tidy.o )
[34 of 90] Compiling Language.Haskell.Liquid.Types.PredType ( src/Language/Haskell/Liquid/Types/PredType.hs, dist/build/Language/Haskell/Liquid/Types/PredType.o )
[35 of 90] Compiling Language.Haskell.Liquid.WiredIn ( src/Language/Haskell/Liquid/WiredIn.hs, dist/build/Language/Haskell/Liquid/WiredIn.o )
[36 of 90] Compiling Language.Haskell.Liquid.Types.Meet ( src/Language/Haskell/Liquid/Types/Meet.hs, dist/build/Language/Haskell/Liquid/Types/Meet.o )
[37 of 90] Compiling Language.Haskell.Liquid.Types.Fresh ( src/Language/Haskell/Liquid/Types/Fresh.hs, dist/build/Language/Haskell/Liquid/Types/Fresh.o )
[38 of 90] Compiling Language.Haskell.Liquid.Types.Dictionaries ( src/Language/Haskell/Liquid/Types/Dictionaries.hs, dist/build/Language/Haskell/Liquid/Types/Dictionaries.o )
[39 of 90] Compiling Language.Haskell.Liquid.Types.Bounds ( src/Language/Haskell/Liquid/Types/Bounds.hs, dist/build/Language/Haskell/Liquid/Types/Bounds.o )
[40 of 90] Compiling Language.Haskell.Liquid.Types.Specs ( src/Language/Haskell/Liquid/Types/Specs.hs, dist/build/Language/Haskell/Liquid/Types/Specs.o )
[41 of 90] Compiling Language.Haskell.Liquid.Measure ( src/Language/Haskell/Liquid/Measure.hs, dist/build/Language/Haskell/Liquid/Measure.o )
[42 of 90] Compiling Language.Haskell.Liquid.Bare.Types ( src/Language/Haskell/Liquid/Bare/Types.hs, dist/build/Language/Haskell/Liquid/Bare/Types.o )
[43 of 90] Compiling Language.Haskell.Liquid.Transforms.Rewrite ( src/Language/Haskell/Liquid/Transforms/Rewrite.hs, dist/build/Language/Haskell/Liquid/Transforms/Rewrite.o )
[44 of 90] Compiling Language.Haskell.Liquid.Transforms.Rec ( src/Language/Haskell/Liquid/Transforms/Rec.hs, dist/build/Language/Haskell/Liquid/Transforms/Rec.o )
[45 of 90] Compiling Language.Haskell.Liquid.Transforms.ANF ( src/Language/Haskell/Liquid/Transforms/ANF.hs, dist/build/Language/Haskell/Liquid/Transforms/ANF.o )
[46 of 90] Compiling Language.Haskell.Liquid.Bare.Misc ( src/Language/Haskell/Liquid/Bare/Misc.hs, dist/build/Language/Haskell/Liquid/Bare/Misc.o )
[47 of 90] Compiling Gradual.PrettyPrinting ( src/Gradual/PrettyPrinting.hs, dist/build/Gradual/PrettyPrinting.o )
[48 of 90] Compiling Gradual.GUI.Types ( src/Gradual/GUI/Types.hs, dist/build/Gradual/GUI/Types.o )
[49 of 90] Compiling Gradual.GUI.Annotate ( src/Gradual/GUI/Annotate.hs, dist/build/Gradual/GUI/Annotate.o )
[50 of 90] Compiling Language.Haskell.Liquid.Bare.Resolve ( src/Language/Haskell/Liquid/Bare/Resolve.hs, dist/build/Language/Haskell/Liquid/Bare/Resolve.o )
[51 of 90] Compiling Language.Haskell.Liquid.Bare.DataType ( src/Language/Haskell/Liquid/Bare/DataType.hs, dist/build/Language/Haskell/Liquid/Bare/DataType.o )
[52 of 90] Compiling Language.Haskell.Liquid.Transforms.CoreToLogic ( src/Language/Haskell/Liquid/Transforms/CoreToLogic.hs, dist/build/Language/Haskell/Liquid/Transforms/CoreToLogic.o )
[53 of 90] Compiling Language.Haskell.Liquid.Types.Literals ( src/Language/Haskell/Liquid/Types/Literals.hs, dist/build/Language/Haskell/Liquid/Types/Literals.o )
[54 of 90] Compiling Language.Haskell.Liquid.Types ( src/Language/Haskell/Liquid/Types.hs, dist/build/Language/Haskell/Liquid/Types.o )
[55 of 90] Compiling Language.Haskell.Liquid.UX.DiffCheck ( src/Language/Haskell/Liquid/UX/DiffCheck.hs, dist/build/Language/Haskell/Liquid/UX/DiffCheck.o )
src/Language/Haskell/Liquid/UX/DiffCheck.hs:388:10: error:
• The type synonym ‘Diff’ should have 1 argument, but has been given none
• In the instance declaration for ‘Functor Diff’
|
388 | instance Functor Diff where
| ^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-17335/liquidhaskell-0.8.6.0'
cabal: Error: some packages failed to install:
liquidhaskell-0.8.6.0-FuUOllbwYbFK6s16vxT8sE failed during the building phase.
The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.