Build #2 for zephyr-copilot-1.0.4
| Package | zephyr-copilot-1.0.4 |
|---|
| Install | DependencyFailed zephyr-copilot-1.0.4 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2022-09-08 18:15:48.432798167 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, containers-0.6.5.1, copilot-3.11, copilot-c99-3.11, copilot-language-3.11, directory-1.3.6.2, filepath-1.4.2.2, mtl-2.2.2, optparse-applicative-0.17.0.0, sketch-frp-copilot-1.0.4, temporary-1.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting OneTuple-0.3.1
Starting StateVar-1.2.2
Starting base-orphans-0.8.7
Starting base-compat-0.12.2
Building OneTuple-0.3.1
Building StateVar-1.2.2
Building base-orphans-0.8.7
Building base-compat-0.12.2
Completed base-orphans-0.8.7
Starting bimap-0.5.0
Building bimap-0.5.0
Completed StateVar-1.2.2
Starting bitwise-1.0.0.1
Completed OneTuple-0.3.1
Starting call-stack-0.4.0
Building bitwise-1.0.0.1
Building call-stack-0.4.0
Completed call-stack-0.4.0
Starting colour-2.3.6
Building colour-2.3.6
Completed base-compat-0.12.2
Starting config-value-0.8.3
Building config-value-0.8.3
Completed bimap-0.5.0
Starting data-binary-ieee754-0.4.4
Building data-binary-ieee754-0.4.4
Completed bitwise-1.0.0.1
Starting data-default-class-0.1.2.0
Building data-default-class-0.1.2.0
Completed data-binary-ieee754-0.4.4
Starting dlist-1.0
Building dlist-1.0
Completed data-default-class-0.1.2.0
Starting fingertree-0.1.5.0
Completed colour-2.3.6
Starting hashable-1.3.5.0
Building fingertree-0.1.5.0
Building hashable-1.3.5.0
Completed config-value-0.8.3
Starting ieee754-0.8.0
Completed dlist-1.0
Starting indexed-traversable-0.1.2
Building ieee754-0.8.0
Building indexed-traversable-0.1.2
Completed hashable-1.3.5.0
Starting integer-logarithms-1.0.3.1
Building integer-logarithms-1.0.3.1
Completed fingertree-0.1.5.0
Starting language-c99-0.2.0
Building language-c99-0.2.0
Completed ieee754-0.8.0
Starting network-3.1.2.7
Completed integer-logarithms-1.0.3.1
Starting old-locale-1.0.0.7
Completed indexed-traversable-0.1.2
Starting parallel-3.2.2.0
Building old-locale-1.0.0.7
Building parallel-3.2.2.0
Building network-3.1.2.7
Completed language-c99-0.2.0
Starting parser-combinators-1.3.0
Building parser-combinators-1.3.0
Completed old-locale-1.0.0.7
Starting prettyprinter-1.7.1
Building prettyprinter-1.7.1
Completed parallel-3.2.2.0
Starting primitive-0.7.4.0
Building primitive-0.7.4.0
Completed parser-combinators-1.3.0
Starting reflection-2.1.6
Building reflection-2.1.6
Completed prettyprinter-1.7.1
Starting semigroups-0.20
Building semigroups-0.20
Completed reflection-2.1.6
Starting splitmix-0.1.0.4
Building splitmix-0.1.0.4
Completed network-3.1.2.7
Starting tagged-0.8.6.1
Building tagged-0.8.6.1
Completed semigroups-0.20
Starting th-abstraction-0.4.4.0
Building th-abstraction-0.4.4.0
Completed splitmix-0.1.0.4
Starting transformers-compat-0.7.2
Completed primitive-0.7.4.0
Starting type-equality-1
Building transformers-compat-0.7.2
Building type-equality-1
Completed tagged-0.8.6.1
Starting unbounded-delays-0.1.1.1
Building unbounded-delays-0.1.1.1
Completed type-equality-1
Starting utf8-string-1.0.2
Building utf8-string-1.0.2
Completed th-abstraction-0.4.4.0
Starting void-0.7.3
Completed unbounded-delays-0.1.1.1
Starting xml-1.3.14
Building void-0.7.3
Building xml-1.3.14
Completed transformers-compat-0.7.2
Starting zenc-0.1.2
Building zenc-0.1.2
Completed void-0.7.3
Starting zlib-0.6.3.0
Building zlib-0.6.3.0
Completed zenc-0.1.2
Starting contravariant-1.5.5
Completed utf8-string-1.0.2
Starting gitrev-1.3.1
Building contravariant-1.5.5
Building gitrev-1.3.1
Completed xml-1.3.14
Starting data-default-instances-containers-0.0.1
Building data-default-instances-containers-0.0.1
Completed gitrev-1.3.1
Starting ansi-terminal-0.11.3
Completed contravariant-1.5.5
Starting data-default-instances-dlist-0.0.1
Building ansi-terminal-0.11.3
Building data-default-instances-dlist-0.0.1
Completed zlib-0.6.3.0
Starting copilot-core-3.11
Completed data-default-instances-containers-0.0.1
Starting unordered-containers-0.2.19.1
Building copilot-core-3.11
Building unordered-containers-0.2.19.1
Completed data-default-instances-dlist-0.0.1
Starting libBF-0.6.5.1
Building libBF-0.6.5.1
Completed ansi-terminal-0.11.3
Starting case-insensitive-1.2.1.0
Building case-insensitive-1.2.1.0
Completed copilot-core-3.11
Starting async-2.2.4
Building async-2.2.4
Completed case-insensitive-1.2.1.0
Starting language-c99-util-0.2.0
Building language-c99-util-0.2.0
Completed libBF-0.6.5.1
Starting data-default-instances-old-locale-0.0.1
Building data-default-instances-old-locale-0.0.1
Completed async-2.2.4
Starting random-1.2.1.1
Building random-1.2.1.1
Completed unordered-containers-0.2.19.1
Starting vector-0.12.3.1
Building vector-0.12.3.1
Completed language-c99-util-0.2.0
Starting scientific-0.3.7.0
Completed data-default-instances-old-locale-0.0.1
Starting distributive-0.6.2.1
Building scientific-0.3.7.0
Building distributive-0.6.2.1
Completed distributive-0.6.2.1
Starting th-lift-0.8.2
Building th-lift-0.8.2
Completed scientific-0.3.7.0
Starting concurrent-extra-0.7.0.12
Building concurrent-extra-0.7.0.12
Completed random-1.2.1.1
Starting transformers-base-0.4.6
Building transformers-base-0.4.6
Completed th-lift-0.8.2
Starting deriving-compat-0.6.1
Building deriving-compat-0.6.1
Completed concurrent-extra-0.7.0.12
Starting constraints-0.13.4
Building constraints-0.13.4
Completed transformers-base-0.4.6
Starting panic-0.4.0.1
Building panic-0.4.0.1
Completed panic-0.4.0.1
Starting zlib-bindings-0.1.1.5
Building zlib-bindings-0.1.1.5
Completed constraints-0.13.4
Starting ansi-wl-pprint-0.6.9
Building ansi-wl-pprint-0.6.9
Completed deriving-compat-0.6.1
Starting copilot-interpreter-3.11
Building copilot-interpreter-3.11
Completed zlib-bindings-0.1.1.5
Starting data-reify-0.6.3
Building data-reify-0.6.3
Completed ansi-wl-pprint-0.6.9
Starting language-c99-simple-0.2.2
Building language-c99-simple-0.2.2
Completed copilot-interpreter-3.11
Starting data-default-0.7.1.1
Building data-default-0.7.1.1
Completed data-reify-0.6.3
Starting comonad-5.0.8
Building comonad-5.0.8
Completed data-default-0.7.1.1
Starting megaparsec-9.2.2
Completed language-c99-simple-0.2.2
Starting attoparsec-0.14.4
Building megaparsec-9.2.2
Building attoparsec-0.14.4
Completed vector-0.12.3.1
Starting temporary-1.3
Building temporary-1.3
Completed comonad-5.0.8
Starting optparse-applicative-0.17.0.0
Building optparse-applicative-0.17.0.0
Completed temporary-1.3
Starting copilot-c99-3.11
Building copilot-c99-3.11
Completed copilot-c99-3.11
Starting th-lift-instances-0.1.20
Building th-lift-instances-0.1.20
Completed optparse-applicative-0.17.0.0
Starting indexed-traversable-instances-0.1.1.1
Completed megaparsec-9.2.2
Starting hashtables-1.2.4.2
Building indexed-traversable-instances-0.1.1.1
Building hashtables-1.2.4.2
Completed attoparsec-0.14.4
Starting bifunctors-5.5.12
Building bifunctors-5.5.12
Completed th-lift-instances-0.1.20
Starting versions-5.0.3
Building versions-5.0.3
Completed indexed-traversable-instances-0.1.1.1
Starting io-streams-1.5.2.2
Building io-streams-1.5.2.2
Completed hashtables-1.2.4.2
Completed versions-5.0.3
Completed bifunctors-5.5.12
Starting assoc-1.0.2
Starting profunctors-5.6.2
Starting semigroupoids-5.3.7
Building assoc-1.0.2
Building profunctors-5.6.2
Building semigroupoids-5.3.7
Completed io-streams-1.5.2.2
Completed assoc-1.0.2
Starting these-1.1.1.1
Building these-1.1.1.1
Completed profunctors-5.6.2
Starting invariant-0.6
Completed these-1.1.1.1
Starting strict-0.4.0.1
Building invariant-0.6
Building strict-0.4.0.1
Completed semigroupoids-5.3.7
Starting free-5.1.9
Building free-5.1.9
Completed strict-0.4.0.1
Completed invariant-0.6
Completed free-5.1.9
Starting adjunctions-4.4.2
Building adjunctions-4.4.2
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.5
Building kan-extensions-5.2.5
Completed kan-extensions-5.2.5
Starting lens-5.1.1
Building lens-5.1.1
Completed lens-5.1.1
Starting parameterized-utils-2.1.5.0
Building parameterized-utils-2.1.5.0
Completed parameterized-utils-2.1.5.0
Starting bv-sized-1.0.4
Building bv-sized-1.0.4
Completed bv-sized-1.0.4
Starting what4-1.3
Building what4-1.3
Completed what4-1.3
Starting copilot-theorem-3.11
Building copilot-theorem-3.11
Completed copilot-theorem-3.11
Starting copilot-language-3.11
Building copilot-language-3.11
Completed copilot-language-3.11
Starting copilot-libraries-3.11
Building copilot-libraries-3.11
Completed copilot-libraries-3.11
Starting copilot-3.11
Building copilot-3.11
Completed copilot-3.11
Starting sketch-frp-copilot-1.0.4
Building sketch-frp-copilot-1.0.4
Failed to install sketch-frp-copilot-1.0.4
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/sketch-frp-copilot-1.0.4-Hwk51zFKUzx7bPHFuMYZwN.log ):
cabal: Entering directory '/tmp/cabal-tmp-21867/sketch-frp-copilot-1.0.4'
Configuring sketch-frp-copilot-1.0.4...
Preprocessing library for sketch-frp-copilot-1.0.4..
Building library for sketch-frp-copilot-1.0.4..
[1 of 3] Compiling Sketch.FRP.Copilot.Types ( src/Sketch/FRP/Copilot/Types.hs, dist/build/Sketch/FRP/Copilot/Types.o, dist/build/Sketch/FRP/Copilot/Types.dyn_o )
src/Sketch/FRP/Copilot/Types.hs:99:10: error:
" Non type-variable argument
in the constraint: Output ctx o (Event () (Stream v))
(Use FlexibleContexts to permit this)
" In the instance declaration for Output ctx o (Behavior v)
|
99 | instance Output ctx o (Event () (Stream v)) => Output ctx o (Behavior v) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Sketch/FRP/Copilot/Types.hs:105:10: error:
" Non type-variable argument
in the constraint: Output ctx o (Event p (Stream v))
(Use FlexibleContexts to permit this)
" In the instance declaration for
Output ctx o (TypedBehavior p v)
|
105 | instance Output ctx o (Event p (Stream v)) => Output ctx o (TypedBehavior p v) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-21867/sketch-frp-copilot-1.0.4'
Warning: could not create symlinks in /home/builder/.cabal/bin for bf-test,
quickstart because the files exist there already and are not managed by cabal.
You can create symlinks for these executables manually if you wish. The
executable files have been installed at
/home/builder/hackage-server/build-cache/tmp-install/bin/bf-test,
/home/builder/hackage-server/build-cache/tmp-install/bin/quickstart
Error: cabal: Some packages failed to install:
sketch-frp-copilot-1.0.4-Hwk51zFKUzx7bPHFuMYZwN failed during the building
phase. The exception was:
ExitFailure 1
zephyr-copilot-1.0.4-Jh3OWiDmoADAtmzYAhtc7e depends on zephyr-copilot-1.0.4
which failed to install.
Test log
No test log was submitted for this report.