Build #1 for agda-language-server-0.0.3.0
| Package | agda-language-server-0.0.3.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2021-04-06 05:37:36.285369871 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | Agda-2.6.1.3, aeson-1.5.6.0, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, lsp-1.2.0.0, mtl-2.2.2, network-3.1.0.1, network-simple-0.4.5, process-1.6.9.0, stm-2.5.0.0, strict-0.4.0.1, text-1.2.3.2, Agda-2.6.1.3, aeson-1.5.6.0, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, lsp-1.2.0.0, mtl-2.2.2, network-3.1.0.1, network-simple-0.4.5, process-1.6.9.0, stm-2.5.0.0, strict-0.4.0.1, text-1.2.3.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting StateVar-1.2.1
Starting STMonadTrans-0.4.5
Starting base-orphans-0.8.4
Starting base-compat-0.11.2
Building StateVar-1.2.1
Building STMonadTrans-0.4.5
Building base-orphans-0.8.4
Building base-compat-0.11.2
Completed StateVar-1.2.1
Starting basement-0.0.11
Building basement-0.0.11
Completed STMonadTrans-0.4.5
Starting blaze-builder-0.4.2.1
Building blaze-builder-0.4.2.1
Completed base-orphans-0.8.4
Starting call-stack-0.3.0
Building call-stack-0.3.0
Completed base-compat-0.11.2
Starting cereal-0.5.8.1
Building cereal-0.5.8.1
Completed call-stack-0.3.0
Starting cryptohash-md5-0.11.100.1
Completed blaze-builder-0.4.2.1
Starting cryptohash-sha1-0.11.100.1
Building cryptohash-md5-0.11.100.1
Building cryptohash-sha1-0.11.100.1
Completed cryptohash-md5-0.11.100.1
Starting data-default-class-0.1.2.0
Building data-default-class-0.1.2.0
Completed cryptohash-sha1-0.11.100.1
Starting data-hash-0.2.0.1
Building data-hash-0.2.0.1
Completed data-default-class-0.1.2.0
Starting dlist-1.0
Building dlist-1.0
Completed data-hash-0.2.0.1
Starting entropy-0.4.1.6
Completed cereal-0.5.8.1
Starting fail-4.9.0.0
Building fail-4.9.0.0
Completed fail-4.9.0.0
Starting geniplate-mirror-0.7.7
Building geniplate-mirror-0.7.7
Completed dlist-1.0
Starting hashable-1.3.1.0
Building entropy-0.4.1.6
Building hashable-1.3.1.0
Completed geniplate-mirror-0.7.7
Starting ieee754-0.8.0
Completed hashable-1.3.1.0
Starting indexed-traversable-0.1.1
Building ieee754-0.8.0
Building indexed-traversable-0.1.1
Completed entropy-0.4.1.6
Starting integer-logarithms-1.0.3.1
Building integer-logarithms-1.0.3.1
Completed integer-logarithms-1.0.3.1
Starting murmur-hash-0.1.0.9
Building murmur-hash-0.1.0.9
Completed ieee754-0.8.0
Starting network-3.1.0.1
Completed indexed-traversable-0.1.1
Starting network-info-0.2.0.10
Completed murmur-hash-0.1.0.9
Starting old-locale-1.0.0.7
Building network-info-0.2.0.10
Building old-locale-1.0.0.7
Completed old-locale-1.0.0.7
Starting parallel-3.2.2.0
Building network-3.1.0.1
Completed network-info-0.2.0.10
Starting primitive-0.7.1.0
Building parallel-3.2.2.0
Building primitive-0.7.1.0
Completed parallel-3.2.2.0
Starting reflection-2.1.6
Building reflection-2.1.6
Completed network-3.1.0.1
Starting regex-base-0.94.0.1
Building regex-base-0.94.0.1
Completed reflection-2.1.6
Starting rope-utf16-splay-0.3.2.0
Building rope-utf16-splay-0.3.2.0
Completed regex-base-0.94.0.1
Starting safe-exceptions-0.1.7.1
Building safe-exceptions-0.1.7.1
Completed rope-utf16-splay-0.3.2.0
Starting semigroups-0.19.1
Building semigroups-0.19.1
Completed primitive-0.7.1.0
Starting some-1.0.2
Completed safe-exceptions-0.1.7.1
Starting sorted-list-0.2.1.0
Building some-1.0.2
Completed semigroups-0.19.1
Starting split-0.2.3.4
Building sorted-list-0.2.1.0
Building split-0.2.3.4
Completed basement-0.0.11
Starting splitmix-0.1.0.3
Building splitmix-0.1.0.3
Completed sorted-list-0.2.1.0
Starting syb-0.7.2.1
Completed split-0.2.3.4
Starting tagged-0.8.6.1
Completed some-1.0.2
Starting th-abstraction-0.4.2.0
Building syb-0.7.2.1
Building tagged-0.8.6.1
Building th-abstraction-0.4.2.0
Completed splitmix-0.1.0.3
Starting th-compat-0.1.2
Building th-compat-0.1.2
Completed tagged-0.8.6.1
Starting transformers-compat-0.6.6
Completed th-compat-0.1.2
Starting type-equality-1
Building transformers-compat-0.6.6
Completed syb-0.7.2.1
Starting unliftio-core-0.2.0.1
Building type-equality-1
Building unliftio-core-0.2.0.1
Completed type-equality-1
Starting utf8-string-1.0.2
Completed th-abstraction-0.4.2.0
Starting void-0.7.3
Building utf8-string-1.0.2
Completed unliftio-core-0.2.0.1
Starting zlib-0.6.2.3
Building void-0.7.3
Building zlib-0.6.2.3
Completed transformers-compat-0.6.6
Starting contravariant-1.5.3
Completed void-0.7.3
Starting time-compat-1.9.5
Building contravariant-1.5.3
Building time-compat-1.9.5
Completed utf8-string-1.0.2
Starting gitrev-1.3.1
Building gitrev-1.3.1
Completed contravariant-1.5.3
Starting base-compat-batteries-0.11.2
Building base-compat-batteries-0.11.2
Completed zlib-0.6.2.3
Starting blaze-markup-0.8.2.8
Completed time-compat-1.9.5
Starting data-default-instances-containers-0.0.1
Completed gitrev-1.3.1
Starting data-default-instances-dlist-0.0.1
Building blaze-markup-0.8.2.8
Building data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1
Completed data-default-instances-dlist-0.0.1
Starting unordered-containers-0.2.13.0
Completed data-default-instances-containers-0.0.1
Starting data-fix-0.3.1
Building unordered-containers-0.2.13.0
Building data-fix-0.3.1
Completed blaze-markup-0.8.2.8
Starting async-2.2.3
Building async-2.2.3
Completed base-compat-batteries-0.11.2
Starting data-default-instances-old-locale-0.0.1
Completed data-fix-0.3.1
Starting network-bsd-2.8.1.0
Building data-default-instances-old-locale-0.0.1
Building network-bsd-2.8.1.0
Completed data-default-instances-old-locale-0.0.1
Starting regex-tdfa-1.3.1.0
Completed async-2.2.3
Starting vector-0.12.2.0
Building regex-tdfa-1.3.1.0
Building vector-0.12.2.0
Completed network-bsd-2.8.1.0
Starting scientific-0.3.6.2
Building scientific-0.3.6.2
Completed scientific-0.3.6.2
Starting socks-0.6.1
Completed unordered-containers-0.2.13.0
Starting boxes-0.1.5
Building socks-0.6.1
Building boxes-0.1.5
Completed boxes-0.1.5
Starting random-1.2.0
Building random-1.2.0
Completed socks-0.6.1
Starting distributive-0.6.2.1
Building distributive-0.6.2.1
Completed distributive-0.6.2.1
Starting network-uri-2.6.4.1
Building network-uri-2.6.4.1
Completed random-1.2.0
Starting th-extras-0.0.0.4
Building th-extras-0.0.0.4
Completed regex-tdfa-1.3.1.0
Starting transformers-base-0.4.5.2
Building transformers-base-0.4.5.2
Completed th-extras-0.0.0.4
Starting equivalence-0.3.5
Completed network-uri-2.6.4.1
Starting constraints-0.12
Building equivalence-0.3.5
Completed transformers-base-0.4.5.2
Starting blaze-html-0.9.1.2
Building constraints-0.12
Building blaze-html-0.9.1.2
Completed equivalence-0.3.5
Starting data-default-0.7.1.1
Building data-default-0.7.1.1
Completed data-default-0.7.1.1
Starting hslogger-1.3.1.0
Building hslogger-1.3.1.0
Completed constraints-0.12
Starting attoparsec-0.14.1
Building attoparsec-0.14.1
Completed hslogger-1.3.1.0
Starting network-simple-0.4.5
Building network-simple-0.4.5
Completed network-simple-0.4.5
Starting comonad-5.0.8
Building comonad-5.0.8
Completed attoparsec-0.14.1
Starting uuid-types-1.0.4
Completed comonad-5.0.8
Starting temporary-1.3
Completed vector-0.12.2.0
Starting edit-distance-0.2.2.1
Building uuid-types-1.0.4
Building temporary-1.3
Completed blaze-html-0.9.1.2
Starting uri-encode-1.5.0.7
Building edit-distance-0.2.2.1
Building uri-encode-1.5.0.7
Completed temporary-1.3
Starting bifunctors-5.5.10
Completed uri-encode-1.5.0.7
Starting indexed-traversable-instances-0.1
Building bifunctors-5.5.10
Building indexed-traversable-instances-0.1
Completed uuid-types-1.0.4
Starting hashtables-1.2.4.1
Completed edit-distance-0.2.2.1
Starting uuid-1.3.14
Building hashtables-1.2.4.1
Building uuid-1.3.14
Completed indexed-traversable-instances-0.1
Completed uuid-1.3.14
Completed hashtables-1.2.4.1
Completed bifunctors-5.5.10
Starting assoc-1.0.2
Starting semigroupoids-5.3.5
Starting profunctors-5.6.2
Building assoc-1.0.2
Building semigroupoids-5.3.5
Building profunctors-5.6.2
Completed assoc-1.0.2
Starting these-1.1.1.1
Building these-1.1.1.1
Completed these-1.1.1.1
Starting strict-0.4.0.1
Building strict-0.4.0.1
Completed profunctors-5.6.2
Starting invariant-0.5.4
Completed semigroupoids-5.3.5
Starting free-5.1.6
Building invariant-0.5.4
Building free-5.1.6
Completed strict-0.4.0.1
Starting aeson-1.5.6.0
Building aeson-1.5.6.0
Completed invariant-0.5.4
Completed free-5.1.6
Starting adjunctions-4.4
Building adjunctions-4.4
Completed adjunctions-4.4
Starting kan-extensions-5.2.2
Building kan-extensions-5.2.2
Completed kan-extensions-5.2.2
Starting lens-5.0.1
Building lens-5.0.1
Completed aeson-1.5.6.0
Downloading Agda-2.6.1.3
Starting constraints-extras-0.3.1.0
Downloaded Agda-2.6.1.3
Starting Agda-2.6.1.3
Building constraints-extras-0.3.1.0
Building Agda-2.6.1.3
Completed constraints-extras-0.3.1.0
Starting dependent-sum-0.7.1.0
Building dependent-sum-0.7.1.0
Completed dependent-sum-0.7.1.0
Starting dependent-sum-template-0.1.0.3
Starting dependent-map-0.4.0.0
Building dependent-sum-template-0.1.0.3
Building dependent-map-0.4.0.0
Completed dependent-sum-template-0.1.0.3
Completed dependent-map-0.4.0.0
Completed lens-5.0.1
Starting lsp-types-1.2.0.0
Building lsp-types-1.2.0.0
Completed lsp-types-1.2.0.0
Starting lsp-1.2.0.0
Building lsp-1.2.0.0
Completed lsp-1.2.0.0
Completed Agda-2.6.1.3
Downloading agda-language-server-0.0.3.0
Downloaded agda-language-server-0.0.3.0
Starting agda-language-server-0.0.3.0
Building agda-language-server-0.0.3.0
Failed to install agda-language-server-0.0.3.0
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/agda-language-server-0.0.3.0-ENlxd5CMwGK9D3YDWq0Hud.log ):
cabal: Entering directory '/tmp/cabal-tmp-12049/agda-language-server-0.0.3.0'
Configuring agda-language-server-0.0.3.0...
Preprocessing library for agda-language-server-0.0.3.0..
Building library for agda-language-server-0.0.3.0..
[ 1 of 25] Compiling Agda.Position ( src/Agda/Position.hs, dist/build/Agda/Position.o, dist/build/Agda/Position.dyn_o )
[ 2 of 25] Compiling Control.Concurrent.SizedChan ( src/Control/Concurrent/SizedChan.hs, dist/build/Control/Concurrent/SizedChan.o, dist/build/Control/Concurrent/SizedChan.dyn_o )
[ 3 of 25] Compiling Paths_agda_language_server ( dist/build/autogen/Paths_agda_language_server.hs, dist/build/Paths_agda_language_server.o, dist/build/Paths_agda_language_server.dyn_o )
[ 4 of 25] Compiling Render.RichText ( src/Render/RichText.hs, dist/build/Render/RichText.o, dist/build/Render/RichText.dyn_o )
src/Render/RichText.hs:190:10: error:
• Overlapping instances for ToJSON (Strict.Maybe Agda.AbsolutePath)
arising from a use of ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoJSON’
Matching instances:
instance ToJSON a => ToJSON (Strict.Maybe a)
-- Defined in ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON’
instance ToJSON Agda.SrcFile
-- Defined at src/Render/RichText.hs:198:10
• In the expression:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoJSON @(Agda.Range)
In an equation for ‘toJSON’:
toJSON
= aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoJSON @(Agda.Range)
In the instance declaration for ‘ToJSON Agda.Range’
|
190 | instance ToJSON Agda.Range
| ^^^^^^^^^^^^^^^^^
src/Render/RichText.hs:198:10: error:
• Overlapping instances for ToJSON Agda.SrcFile
arising from a use of ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoEncoding’
Matching instances:
instance ToJSON a => ToJSON (Strict.Maybe a)
-- Defined in ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON’
instance ToJSON Agda.SrcFile
-- Defined at src/Render/RichText.hs:198:10
• In the expression:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoEncoding @(Agda.SrcFile)
In an equation for ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.toEncoding’:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.toEncoding
= aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoEncoding
@(Agda.SrcFile)
In the instance declaration for ‘ToJSON Agda.SrcFile’
|
198 | instance ToJSON Agda.SrcFile where
| ^^^^^^^^^^^^^^^^^^^
src/Render/RichText.hs:198:10: error:
• Overlapping instances for ToJSON Agda.SrcFile
arising from a use of ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoJSONList’
Matching instances:
instance ToJSON a => ToJSON (Strict.Maybe a)
-- Defined in ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON’
instance ToJSON Agda.SrcFile
-- Defined at src/Render/RichText.hs:198:10
• In the expression:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoJSONList @(Agda.SrcFile)
In an equation for ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.toJSONList’:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.toJSONList
= aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoJSONList
@(Agda.SrcFile)
In the instance declaration for ‘ToJSON Agda.SrcFile’
|
198 | instance ToJSON Agda.SrcFile where
| ^^^^^^^^^^^^^^^^^^^
src/Render/RichText.hs:198:10: error:
• Overlapping instances for ToJSON Agda.SrcFile
arising from a use of ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoEncodingList’
Matching instances:
instance ToJSON a => ToJSON (Strict.Maybe a)
-- Defined in ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON’
instance ToJSON Agda.SrcFile
-- Defined at src/Render/RichText.hs:198:10
• In the expression:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoEncodingList
@(Agda.SrcFile)
In an equation for ‘aeson-1.5.6.0:Data.Aeson.Types.ToJSON.toEncodingList’:
aeson-1.5.6.0:Data.Aeson.Types.ToJSON.toEncodingList
= aeson-1.5.6.0:Data.Aeson.Types.ToJSON.$dmtoEncodingList
@(Agda.SrcFile)
In the instance declaration for ‘ToJSON Agda.SrcFile’
|
198 | instance ToJSON Agda.SrcFile where
| ^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-12049/agda-language-server-0.0.3.0'
cabal: Error: some packages failed to install:
agda-language-server-0.0.3.0-ENlxd5CMwGK9D3YDWq0Hud failed during the building
phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.