Build #2 for arduino-copilot-1.7.4
| Package | arduino-copilot-1.7.4 |
|---|
| Install | DependencyFailed arduino-copilot-1.7.4 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2022-11-15 00:25:47.564661471 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, containers-0.6.5.1, copilot-3.12, copilot-c99-3.12, copilot-language-3.12, 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.5, temporary-1.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting StateVar-1.2.2
Starting base-orphans-0.8.7
Starting bimap-0.5.0
Starting call-stack-0.4.0
Starting colour-2.3.6
Starting data-binary-ieee754-0.4.4
Starting data-default-class-0.1.2.0
Starting dlist-1.0
Starting fingertree-0.1.5.0
Starting hashable-1.3.5.0
Starting ieee754-0.8.0
Starting language-c99-0.2.0
Starting integer-logarithms-1.0.3.1
Starting old-locale-1.0.0.7
Starting parallel-3.2.2.0
Starting parser-combinators-1.3.0
Starting primitive-0.7.4.0
Starting semigroups-0.20
Starting reflection-2.1.6
Starting th-abstraction-0.4.5.0
Starting splitmix-0.1.0.4
Starting type-equality-1
Starting unbounded-delays-0.1.1.1
Starting transformers-compat-0.7.2
Starting utf8-string-1.0.2
Starting void-0.7.3
Starting zenc-0.1.2
Starting OneTuple-0.3.1
Starting bitwise-1.0.0.1
Starting config-value-0.8.3
Starting indexed-traversable-0.1.2
Starting tagged-0.8.6.1
Starting xml-1.3.14
Starting prettyprinter-1.7.1
Starting network-3.1.2.7
Starting base-compat-0.12.2
Starting zlib-0.6.3.0
Building StateVar-1.2.2
Building bimap-0.5.0
Building integer-logarithms-1.0.3.1
Building base-orphans-0.8.7
Building fingertree-0.1.5.0
Building ieee754-0.8.0
Building parallel-3.2.2.0
Building data-binary-ieee754-0.4.4
Building data-default-class-0.1.2.0
Building dlist-1.0
Building old-locale-1.0.0.7
Building colour-2.3.6
Building call-stack-0.4.0
Building language-c99-0.2.0
Building parser-combinators-1.3.0
Building semigroups-0.20
Building hashable-1.3.5.0
Building void-0.7.3
Building primitive-0.7.4.0
Building transformers-compat-0.7.2
Building tagged-0.8.6.1
Building reflection-2.1.6
Building unbounded-delays-0.1.1.1
Building xml-1.3.14
Building utf8-string-1.0.2
Building config-value-0.8.3
Building th-abstraction-0.4.5.0
Building type-equality-1
Building bitwise-1.0.0.1
Building base-compat-0.12.2
Building OneTuple-0.3.1
Building prettyprinter-1.7.1
Building splitmix-0.1.0.4
Building indexed-traversable-0.1.2
Building zenc-0.1.2
Building zlib-0.6.3.0
Building network-3.1.2.7
Completed void-0.7.3
Completed unbounded-delays-0.1.1.1
Starting concurrent-extra-0.7.0.12
Completed old-locale-1.0.0.7
Completed base-orphans-0.8.7
Building concurrent-extra-0.7.0.12
Completed data-default-class-0.1.2.0
Starting data-default-instances-containers-0.0.1
Starting data-default-instances-old-locale-0.0.1
Completed semigroups-0.20
Completed zenc-0.1.2
Completed type-equality-1
Building data-default-instances-containers-0.0.1
Building data-default-instances-old-locale-0.0.1
Completed parser-combinators-1.3.0
Completed integer-logarithms-1.0.3.1
Completed call-stack-0.4.0
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed data-binary-ieee754-0.4.4
Completed OneTuple-0.3.1
Building contravariant-1.5.5
Completed splitmix-0.1.0.4
Starting random-1.2.1.1
Completed parallel-3.2.2.0
Completed language-c99-0.2.0
Completed dlist-1.0
Starting data-default-instances-dlist-0.0.1
Building random-1.2.1.1
Starting copilot-core-3.12
Completed bitwise-1.0.0.1
Completed ieee754-0.8.0
Starting language-c99-util-0.2.0
Building data-default-instances-dlist-0.0.1
Completed tagged-0.8.6.1
Starting distributive-0.6.2.1
Building copilot-core-3.12
Building language-c99-util-0.2.0
Building distributive-0.6.2.1
Completed utf8-string-1.0.2
Completed colour-2.3.6
Starting ansi-terminal-0.11.3
Completed bimap-0.5.0
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Building ansi-terminal-0.11.3
Completed th-abstraction-0.4.5.0
Starting th-lift-0.8.2
Starting deriving-compat-0.6.1
Completed indexed-traversable-0.1.2
Completed data-default-instances-old-locale-0.0.1
Building transformers-base-0.4.6
Building deriving-compat-0.6.1
Completed reflection-2.1.6
Building th-lift-0.8.2
Completed data-default-instances-containers-0.0.1
Completed hashable-1.3.5.0
Starting unordered-containers-0.2.19.1
Starting constraints-0.13.4
Starting async-2.2.4
Starting case-insensitive-1.2.1.0
Starting libBF-0.6.5.1
Completed concurrent-extra-0.7.0.12
Completed zlib-0.6.3.0
Starting zlib-bindings-0.1.1.5
Building async-2.2.4
Building case-insensitive-1.2.1.0
Building libBF-0.6.5.1
Building unordered-containers-0.2.19.1
Building constraints-0.13.4
Completed xml-1.3.14
Completed fingertree-0.1.5.0
Building zlib-bindings-0.1.1.5
Completed base-compat-0.12.2
Starting gitrev-1.3.1
Completed data-default-instances-dlist-0.0.1
Starting data-default-0.7.1.1
Completed prettyprinter-1.7.1
Building gitrev-1.3.1
Building data-default-0.7.1.1
Completed contravariant-1.5.5
Completed language-c99-util-0.2.0
Starting language-c99-simple-0.2.2
Completed config-value-0.8.3
Building language-c99-simple-0.2.2
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Completed transformers-base-0.4.6
Building comonad-5.0.8
Completed ansi-terminal-0.11.3
Starting ansi-wl-pprint-0.6.9
Building ansi-wl-pprint-0.6.9
Completed copilot-core-3.12
Starting copilot-prettyprinter-3.12
Starting copilot-interpreter-3.12
Building copilot-interpreter-3.12
Building copilot-prettyprinter-3.12
Completed th-lift-0.8.2
Completed data-default-0.7.1.1
Completed gitrev-1.3.1
Starting panic-0.4.0.1
Completed case-insensitive-1.2.1.0
Completed primitive-0.7.4.0
Starting scientific-0.3.7.0
Starting vector-0.12.3.1
Building panic-0.4.0.1
Completed async-2.2.4
Building vector-0.12.3.1
Building scientific-0.3.7.0
Completed zlib-bindings-0.1.1.5
Completed language-c99-simple-0.2.2
Starting copilot-c99-3.12
Completed network-3.1.2.7
Building copilot-c99-3.12
Completed libBF-0.6.5.1
Completed copilot-interpreter-3.12
Completed copilot-prettyprinter-3.12
Completed ansi-wl-pprint-0.6.9
Starting optparse-applicative-0.17.0.0
Completed random-1.2.1.1
Starting temporary-1.3
Completed constraints-0.13.4
Building optparse-applicative-0.17.0.0
Completed comonad-5.0.8
Starting bifunctors-5.5.13
Building temporary-1.3
Building bifunctors-5.5.13
Completed deriving-compat-0.6.1
Completed panic-0.4.0.1
Completed unordered-containers-0.2.19.1
Starting data-reify-0.6.3
Completed scientific-0.3.7.0
Starting megaparsec-9.2.2
Starting attoparsec-0.14.4
Building data-reify-0.6.3
Completed copilot-c99-3.12
Building attoparsec-0.14.4
Building megaparsec-9.2.2
Completed temporary-1.3
Completed data-reify-0.6.3
Completed optparse-applicative-0.17.0.0
Completed bifunctors-5.5.13
Starting assoc-1.0.2
Starting semigroupoids-5.3.7
Starting profunctors-5.6.2
Building assoc-1.0.2
Building semigroupoids-5.3.7
Building profunctors-5.6.2
Completed assoc-1.0.2
Starting these-1.1.1.1
Completed megaparsec-9.2.2
Starting versions-5.0.4
Building these-1.1.1.1
Building versions-5.0.4
Completed attoparsec-0.14.4
Completed these-1.1.1.1
Starting strict-0.4.0.1
Completed profunctors-5.6.2
Starting invariant-0.6
Building strict-0.4.0.1
Building invariant-0.6
Completed versions-5.0.4
Completed semigroupoids-5.3.7
Starting free-5.1.9
Building free-5.1.9
Completed vector-0.12.3.1
Starting th-lift-instances-0.1.20
Starting indexed-traversable-instances-0.1.1.1
Starting io-streams-1.5.2.2
Starting hashtables-1.2.4.2
Building indexed-traversable-instances-0.1.1.1
Building th-lift-instances-0.1.20
Building io-streams-1.5.2.2
Building hashtables-1.2.4.2
Completed strict-0.4.0.1
Completed invariant-0.6
Completed indexed-traversable-instances-0.1.1.1
Completed th-lift-instances-0.1.20
Completed io-streams-1.5.2.2
Completed hashtables-1.2.4.2
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.12
Building copilot-theorem-3.12
Completed copilot-theorem-3.12
Starting copilot-language-3.12
Building copilot-language-3.12
Completed copilot-language-3.12
Starting copilot-libraries-3.12
Building copilot-libraries-3.12
Completed copilot-libraries-3.12
Starting copilot-3.12
Building copilot-3.12
Completed copilot-3.12
Starting sketch-frp-copilot-1.0.5
Building sketch-frp-copilot-1.0.5
Failed to install sketch-frp-copilot-1.0.5
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/sketch-frp-copilot-1.0.5-5FU4hoPZzV65CQiajaFemi.log ):
cabal: Entering directory '/tmp/cabal-tmp-462728/sketch-frp-copilot-1.0.5'
Configuring sketch-frp-copilot-1.0.5...
Preprocessing library for sketch-frp-copilot-1.0.5..
Building library for sketch-frp-copilot-1.0.5..
[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-462728/sketch-frp-copilot-1.0.5'
Error: cabal: Some packages failed to install:
arduino-copilot-1.7.4-KVKuDSrdvjRdjSFoRZJHq depends on arduino-copilot-1.7.4
which failed to install.
sketch-frp-copilot-1.0.5-5FU4hoPZzV65CQiajaFemi failed during the building
phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.