Build #3 for agda-language-server-0.0.3.0

[all reports]

Package agda-language-server-0.0.3.0
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2021-04-06 07:58:22.505544343 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     STMonadTrans-0.4.5
Starting     StateVar-1.2.1
Starting     base-orphans-0.8.4
Starting     base-compat-0.11.2
Building     StateVar-1.2.1
Building     base-orphans-0.8.4
Building     STMonadTrans-0.4.5
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     hashable-1.3.1.0
Building     entropy-0.4.1.6
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
Building     network-info-0.2.0.10
Completed    murmur-hash-0.1.0.9
Starting     old-locale-1.0.0.7
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
Completed    semigroups-0.19.1
Starting     split-0.2.3.4
Building     some-1.0.2
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
Building     syb-0.7.2.1
Completed    some-1.0.2
Starting     th-abstraction-0.4.2.0
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
Completed    syb-0.7.2.1
Starting     unliftio-core-0.2.0.1
Building     transformers-compat-0.6.6
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    gitrev-1.3.1
Starting     data-default-instances-containers-0.0.1
Completed    time-compat-1.9.5
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-containers-0.0.1
Starting     unordered-containers-0.2.13.0
Completed    data-default-instances-dlist-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
Building     edit-distance-0.2.2.1
Completed    blaze-html-0.9.1.2
Starting     uri-encode-1.5.0.7
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     profunctors-5.6.2
Starting     semigroupoids-5.3.5
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
Starting     constraints-extras-0.3.1.0
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-map-0.4.0.0
Starting     dependent-sum-template-0.1.0.3
Building     dependent-map-0.4.0.0
Building     dependent-sum-template-0.1.0.3
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
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-16587/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-16587/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