Build #1 for lsp-1.2.0.1
| Package | lsp-1.2.0.1 |
|---|
| Install | DependencyFailed lsp-1.2.0.1 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2021-07-31 10:17:34.033345599 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-1.5.6.0, async-2.2.3, attoparsec-0.14.1, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, data-default-0.7.1.1, dependent-map-0.4.0.0, exceptions-0.10.4, hashable-1.3.2.0, hslogger-1.3.1.0, lens-5.0.1, lsp-types-1.3.0.0, mtl-2.2.2, network-uri-2.6.4.1, random-1.2.0, scientific-0.3.7.0, sorted-list-0.2.1.0, stm-2.5.0.0, text-1.2.3.2, time-1.9.3, transformers-0.5.6.2, unliftio-core-0.2.0.1, unordered-containers-0.2.14.0, uuid-1.3.15 |
| Flags | -demo |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting StateVar-1.2.2
Starting Diff-0.4.0
Starting base-orphans-0.8.4
Starting base-compat-0.11.2
Building StateVar-1.2.2
Building Diff-0.4.0
Building base-orphans-0.8.4
Building base-compat-0.11.2
Completed StateVar-1.2.2
Starting call-stack-0.4.0
Building call-stack-0.4.0
Completed Diff-0.4.0
Starting cryptohash-md5-0.11.100.1
Building cryptohash-md5-0.11.100.1
Completed call-stack-0.4.0
Starting cryptohash-sha1-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
Completed base-orphans-0.8.4
Starting dlist-1.0
Building data-default-class-0.1.2.0
Building dlist-1.0
Completed base-compat-0.11.2
Starting entropy-0.4.1.6
Completed cryptohash-sha1-0.11.100.1
Starting hashable-1.3.2.0
Completed data-default-class-0.1.2.0
Starting indexed-traversable-0.1.1
Building hashable-1.3.2.0
Building indexed-traversable-0.1.1
Building entropy-0.4.1.6
Completed dlist-1.0
Starting integer-logarithms-1.0.3.1
Building integer-logarithms-1.0.3.1
Completed hashable-1.3.2.0
Starting network-3.1.2.2
Completed integer-logarithms-1.0.3.1
Starting network-info-0.2.0.10
Completed indexed-traversable-0.1.1
Starting old-locale-1.0.0.7
Building network-info-0.2.0.10
Building old-locale-1.0.0.7
Completed entropy-0.4.1.6
Starting parallel-3.2.2.0
Building network-3.1.2.2
Completed old-locale-1.0.0.7
Starting primitive-0.7.1.0
Completed network-info-0.2.0.10
Starting reflection-2.1.6
Building parallel-3.2.2.0
Building primitive-0.7.1.0
Building reflection-2.1.6
Completed parallel-3.2.2.0
Starting rope-utf16-splay-0.3.2.0
Building rope-utf16-splay-0.3.2.0
Completed reflection-2.1.6
Starting semigroups-0.19.1
Completed rope-utf16-splay-0.3.2.0
Starting some-1.0.3
Building semigroups-0.19.1
Building some-1.0.3
Completed semigroups-0.19.1
Starting sorted-list-0.2.1.0
Building sorted-list-0.2.1.0
Completed some-1.0.3
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 network-3.1.2.2
Starting tagged-0.8.6.1
Building syb-0.7.2.1
Building tagged-0.8.6.1
Completed splitmix-0.1.0.3
Starting th-abstraction-0.4.2.0
Building th-abstraction-0.4.2.0
Completed primitive-0.7.1.0
Starting th-compat-0.1.2
Building th-compat-0.1.2
Completed tagged-0.8.6.1
Starting transformers-compat-0.7
Completed syb-0.7.2.1
Starting type-equality-1
Building transformers-compat-0.7
Building type-equality-1
Completed th-compat-0.1.2
Starting unliftio-core-0.2.0.1
Completed type-equality-1
Starting void-0.7.3
Building unliftio-core-0.2.0.1
Building void-0.7.3
Completed void-0.7.3
Starting contravariant-1.5.5
Completed unliftio-core-0.2.0.1
Starting base-compat-batteries-0.11.2
Completed th-abstraction-0.4.2.0
Starting data-default-instances-containers-0.0.1
Building contravariant-1.5.5
Completed transformers-compat-0.7
Starting data-default-instances-dlist-0.0.1
Building base-compat-batteries-0.11.2
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.14.0
Completed data-default-instances-containers-0.0.1
Starting time-compat-1.9.6
Building unordered-containers-0.2.14.0
Building time-compat-1.9.6
Completed contravariant-1.5.5
Starting data-fix-0.3.2
Building data-fix-0.3.2
Completed base-compat-batteries-0.11.2
Starting async-2.2.3
Completed data-fix-0.3.2
Starting data-default-instances-old-locale-0.0.1
Building async-2.2.3
Building data-default-instances-old-locale-0.0.1
Completed time-compat-1.9.6
Starting network-bsd-2.8.1.0
Building network-bsd-2.8.1.0
Completed data-default-instances-old-locale-0.0.1
Starting random-1.2.0
Building random-1.2.0
Completed async-2.2.3
Starting vector-0.12.3.0
Building vector-0.12.3.0
Completed network-bsd-2.8.1.0
Starting scientific-0.3.7.0
Building scientific-0.3.7.0
Completed unordered-containers-0.2.14.0
Starting distributive-0.6.2.1
Building distributive-0.6.2.1
Completed random-1.2.0
Starting th-extras-0.0.0.4
Completed scientific-0.3.7.0
Starting network-uri-2.6.4.1
Building th-extras-0.0.0.4
Building network-uri-2.6.4.1
Completed distributive-0.6.2.1
Starting transformers-base-0.4.5.2
Building transformers-base-0.4.5.2
Completed th-extras-0.0.0.4
Starting constraints-0.13
Building constraints-0.13
Completed transformers-base-0.4.5.2
Starting data-default-0.7.1.1
Building data-default-0.7.1.1
Completed network-uri-2.6.4.1
Starting hslogger-1.3.1.0
Completed data-default-0.7.1.1
Starting uuid-types-1.0.5
Building hslogger-1.3.1.0
Building uuid-types-1.0.5
Completed uuid-types-1.0.5
Starting temporary-1.3
Completed hslogger-1.3.1.0
Starting attoparsec-0.14.1
Completed constraints-0.13
Starting comonad-5.0.8
Building temporary-1.3
Building attoparsec-0.14.1
Building comonad-5.0.8
Completed temporary-1.3
Starting uuid-1.3.15
Building uuid-1.3.15
Completed comonad-5.0.8
Starting bifunctors-5.5.11
Completed uuid-1.3.15
Building bifunctors-5.5.11
Completed attoparsec-0.14.1
Completed bifunctors-5.5.11
Starting assoc-1.0.2
Starting profunctors-5.6.2
Starting semigroupoids-5.3.5
Building assoc-1.0.2
Building profunctors-5.6.2
Building semigroupoids-5.3.5
Completed assoc-1.0.2
Starting these-1.1.1.1
Building these-1.1.1.1
Completed vector-0.12.3.0
Starting indexed-traversable-instances-0.1
Building indexed-traversable-instances-0.1
Completed these-1.1.1.1
Starting strict-0.4.0.1
Building strict-0.4.0.1
Completed indexed-traversable-instances-0.1
Completed profunctors-5.6.2
Starting invariant-0.5.4
Completed semigroupoids-5.3.5
Starting free-5.1.7
Building invariant-0.5.4
Building free-5.1.7
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.7
Starting adjunctions-4.4
Building adjunctions-4.4
Completed adjunctions-4.4
Starting kan-extensions-5.2.3
Building kan-extensions-5.2.3
Completed kan-extensions-5.2.3
Starting lens-5.0.1
Building lens-5.0.1
Completed aeson-1.5.6.0
Starting constraints-extras-0.3.1.0
Building constraints-extras-0.3.1.0
Completed constraints-extras-0.3.1.0
Starting dependent-sum-0.6.2.0
Building dependent-sum-0.6.2.0
Completed dependent-sum-0.6.2.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
Downloading lsp-types-1.3.0.0
Downloaded lsp-types-1.3.0.0
Starting lsp-types-1.3.0.0
Building lsp-types-1.3.0.0
Failed to install lsp-types-1.3.0.0
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/lsp-types-1.3.0.0-88GIGDzE2Nh8Bgt3kxJt2X.log ):
cabal: Entering directory '/tmp/cabal-tmp-28945/lsp-types-1.3.0.0'
Configuring lsp-types-1.3.0.0...
Preprocessing library for lsp-types-1.3.0.0..
Building library for lsp-types-1.3.0.0..
[ 1 of 51] Compiling Data.IxMap ( src/Data/IxMap.hs, dist/build/Data/IxMap.o, dist/build/Data/IxMap.dyn_o )
[ 2 of 51] Compiling Language.LSP.Types.Common ( src/Language/LSP/Types/Common.hs, dist/build/Language/LSP/Types/Common.o, dist/build/Language/LSP/Types/Common.dyn_o )
[ 3 of 51] Compiling Language.LSP.Types.Uri ( src/Language/LSP/Types/Uri.hs, dist/build/Language/LSP/Types/Uri.o, dist/build/Language/LSP/Types/Uri.dyn_o )
[ 4 of 51] Compiling Language.LSP.Types.Utils ( src/Language/LSP/Types/Utils.hs, dist/build/Language/LSP/Types/Utils.o, dist/build/Language/LSP/Types/Utils.dyn_o )
[ 5 of 51] Compiling Language.LSP.Types.StaticRegistrationOptions ( src/Language/LSP/Types/StaticRegistrationOptions.hs, dist/build/Language/LSP/Types/StaticRegistrationOptions.o, dist/build/Language/LSP/Types/StaticRegistrationOptions.dyn_o )
[ 6 of 51] Compiling Language.LSP.Types.Progress ( src/Language/LSP/Types/Progress.hs, dist/build/Language/LSP/Types/Progress.o, dist/build/Language/LSP/Types/Progress.dyn_o )
[ 7 of 51] Compiling Language.LSP.Types.Method ( src/Language/LSP/Types/Method.hs, dist/build/Language/LSP/Types/Method.o, dist/build/Language/LSP/Types/Method.dyn_o )
[ 8 of 51] Compiling Language.LSP.Types.LspId ( src/Language/LSP/Types/LspId.hs, dist/build/Language/LSP/Types/LspId.o, dist/build/Language/LSP/Types/LspId.dyn_o )
[ 9 of 51] Compiling Language.LSP.Types.MarkupContent ( src/Language/LSP/Types/MarkupContent.hs, dist/build/Language/LSP/Types/MarkupContent.o, dist/build/Language/LSP/Types/MarkupContent.dyn_o )
[10 of 51] Compiling Language.LSP.Types.Location ( src/Language/LSP/Types/Location.hs, dist/build/Language/LSP/Types/Location.o, dist/build/Language/LSP/Types/Location.dyn_o )
[11 of 51] Compiling Language.LSP.Types.DocumentFilter ( src/Language/LSP/Types/DocumentFilter.hs, dist/build/Language/LSP/Types/DocumentFilter.o, dist/build/Language/LSP/Types/DocumentFilter.dyn_o )
[12 of 51] Compiling Language.LSP.Types.TextDocument ( src/Language/LSP/Types/TextDocument.hs, dist/build/Language/LSP/Types/TextDocument.o, dist/build/Language/LSP/Types/TextDocument.dyn_o )
[13 of 51] Compiling Language.LSP.Types.TypeDefinition ( src/Language/LSP/Types/TypeDefinition.hs, dist/build/Language/LSP/Types/TypeDefinition.o, dist/build/Language/LSP/Types/TypeDefinition.dyn_o )
[14 of 51] Compiling Language.LSP.Types.SignatureHelp ( src/Language/LSP/Types/SignatureHelp.hs, dist/build/Language/LSP/Types/SignatureHelp.o, dist/build/Language/LSP/Types/SignatureHelp.dyn_o )
[15 of 51] Compiling Language.LSP.Types.SemanticTokens ( src/Language/LSP/Types/SemanticTokens.hs, dist/build/Language/LSP/Types/SemanticTokens.o, dist/build/Language/LSP/Types/SemanticTokens.dyn_o )
[16 of 51] Compiling Language.LSP.Types.SelectionRange ( src/Language/LSP/Types/SelectionRange.hs, dist/build/Language/LSP/Types/SelectionRange.o, dist/build/Language/LSP/Types/SelectionRange.dyn_o )
[17 of 51] Compiling Language.LSP.Types.Rename ( src/Language/LSP/Types/Rename.hs, dist/build/Language/LSP/Types/Rename.o, dist/build/Language/LSP/Types/Rename.dyn_o )
[18 of 51] Compiling Language.LSP.Types.References ( src/Language/LSP/Types/References.hs, dist/build/Language/LSP/Types/References.o, dist/build/Language/LSP/Types/References.dyn_o )
[19 of 51] Compiling Language.LSP.Types.Implementation ( src/Language/LSP/Types/Implementation.hs, dist/build/Language/LSP/Types/Implementation.o, dist/build/Language/LSP/Types/Implementation.dyn_o )
[20 of 51] Compiling Language.LSP.Types.Hover ( src/Language/LSP/Types/Hover.hs, dist/build/Language/LSP/Types/Hover.o, dist/build/Language/LSP/Types/Hover.dyn_o )
[21 of 51] Compiling Language.LSP.Types.Formatting ( src/Language/LSP/Types/Formatting.hs, dist/build/Language/LSP/Types/Formatting.o, dist/build/Language/LSP/Types/Formatting.dyn_o )
[22 of 51] Compiling Language.LSP.Types.FoldingRange ( src/Language/LSP/Types/FoldingRange.hs, dist/build/Language/LSP/Types/FoldingRange.o, dist/build/Language/LSP/Types/FoldingRange.dyn_o )
[23 of 51] Compiling Language.LSP.Types.DocumentSymbol ( src/Language/LSP/Types/DocumentSymbol.hs, dist/build/Language/LSP/Types/DocumentSymbol.o, dist/build/Language/LSP/Types/DocumentSymbol.dyn_o )
[24 of 51] Compiling Language.LSP.Types.DocumentLink ( src/Language/LSP/Types/DocumentLink.hs, dist/build/Language/LSP/Types/DocumentLink.o, dist/build/Language/LSP/Types/DocumentLink.dyn_o )
[25 of 51] Compiling Language.LSP.Types.DocumentHighlight ( src/Language/LSP/Types/DocumentHighlight.hs, dist/build/Language/LSP/Types/DocumentHighlight.o, dist/build/Language/LSP/Types/DocumentHighlight.dyn_o )
[26 of 51] Compiling Language.LSP.Types.Diagnostic ( src/Language/LSP/Types/Diagnostic.hs, dist/build/Language/LSP/Types/Diagnostic.o, dist/build/Language/LSP/Types/Diagnostic.dyn_o )
[27 of 51] Compiling Language.LSP.Types.Definition ( src/Language/LSP/Types/Definition.hs, dist/build/Language/LSP/Types/Definition.o, dist/build/Language/LSP/Types/Definition.dyn_o )
[28 of 51] Compiling Language.LSP.Types.Declaration ( src/Language/LSP/Types/Declaration.hs, dist/build/Language/LSP/Types/Declaration.o, dist/build/Language/LSP/Types/Declaration.dyn_o )
[29 of 51] Compiling Language.LSP.Types.Configuration ( src/Language/LSP/Types/Configuration.hs, dist/build/Language/LSP/Types/Configuration.o, dist/build/Language/LSP/Types/Configuration.dyn_o )
[30 of 51] Compiling Language.LSP.Types.Command ( src/Language/LSP/Types/Command.hs, dist/build/Language/LSP/Types/Command.o, dist/build/Language/LSP/Types/Command.dyn_o )
[31 of 51] Compiling Language.LSP.Types.CodeLens ( src/Language/LSP/Types/CodeLens.hs, dist/build/Language/LSP/Types/CodeLens.o, dist/build/Language/LSP/Types/CodeLens.dyn_o )
[32 of 51] Compiling Language.LSP.Types.Cancellation ( src/Language/LSP/Types/Cancellation.hs, dist/build/Language/LSP/Types/Cancellation.o, dist/build/Language/LSP/Types/Cancellation.dyn_o )
[33 of 51] Compiling Language.LSP.Types.CallHierarchy ( src/Language/LSP/Types/CallHierarchy.hs, dist/build/Language/LSP/Types/CallHierarchy.o, dist/build/Language/LSP/Types/CallHierarchy.dyn_o )
[34 of 51] Compiling Language.LSP.Types.WatchedFiles ( src/Language/LSP/Types/WatchedFiles.hs, dist/build/Language/LSP/Types/WatchedFiles.o, dist/build/Language/LSP/Types/WatchedFiles.dyn_o )
[35 of 51] Compiling Language.LSP.Types.Window ( src/Language/LSP/Types/Window.hs, dist/build/Language/LSP/Types/Window.o, dist/build/Language/LSP/Types/Window.dyn_o )
[36 of 51] Compiling Language.LSP.Types.WorkspaceEdit ( src/Language/LSP/Types/WorkspaceEdit.hs, dist/build/Language/LSP/Types/WorkspaceEdit.o, dist/build/Language/LSP/Types/WorkspaceEdit.dyn_o )
[37 of 51] Compiling Language.LSP.Types.DocumentColor ( src/Language/LSP/Types/DocumentColor.hs, dist/build/Language/LSP/Types/DocumentColor.o, dist/build/Language/LSP/Types/DocumentColor.dyn_o )
[38 of 51] Compiling Language.LSP.Types.Completion ( src/Language/LSP/Types/Completion.hs, dist/build/Language/LSP/Types/Completion.o, dist/build/Language/LSP/Types/Completion.dyn_o )
[39 of 51] Compiling Language.LSP.Types.CodeAction ( src/Language/LSP/Types/CodeAction.hs, dist/build/Language/LSP/Types/CodeAction.o, dist/build/Language/LSP/Types/CodeAction.dyn_o )
[40 of 51] Compiling Language.LSP.Types.ServerCapabilities ( src/Language/LSP/Types/ServerCapabilities.hs, dist/build/Language/LSP/Types/ServerCapabilities.o, dist/build/Language/LSP/Types/ServerCapabilities.dyn_o )
[41 of 51] Compiling Language.LSP.Types.WorkspaceFolders ( src/Language/LSP/Types/WorkspaceFolders.hs, dist/build/Language/LSP/Types/WorkspaceFolders.o, dist/build/Language/LSP/Types/WorkspaceFolders.dyn_o )
[42 of 51] Compiling Language.LSP.Types.WorkspaceSymbol ( src/Language/LSP/Types/WorkspaceSymbol.hs, dist/build/Language/LSP/Types/WorkspaceSymbol.o, dist/build/Language/LSP/Types/WorkspaceSymbol.dyn_o )
[43 of 51] Compiling Language.LSP.Types.Registration ( src/Language/LSP/Types/Registration.hs, dist/build/Language/LSP/Types/Registration.o, dist/build/Language/LSP/Types/Registration.dyn_o )
[44 of 51] Compiling Language.LSP.Types.ClientCapabilities ( src/Language/LSP/Types/ClientCapabilities.hs, dist/build/Language/LSP/Types/ClientCapabilities.o, dist/build/Language/LSP/Types/ClientCapabilities.dyn_o )
[45 of 51] Compiling Language.LSP.Types.Initialize ( src/Language/LSP/Types/Initialize.hs, dist/build/Language/LSP/Types/Initialize.o, dist/build/Language/LSP/Types/Initialize.dyn_o )
[46 of 51] Compiling Language.LSP.Types.Message ( src/Language/LSP/Types/Message.hs, dist/build/Language/LSP/Types/Message.o, dist/build/Language/LSP/Types/Message.dyn_o )
[47 of 51] Compiling Language.LSP.Types.Parsing ( src/Language/LSP/Types/Parsing.hs, dist/build/Language/LSP/Types/Parsing.o, dist/build/Language/LSP/Types/Parsing.dyn_o )
src/Language/LSP/Types/Parsing.hs:304:15: error:
" Could not deduce (GEq SMethod) arising from a use of geq
from the context: (t1 ~ 'Notification, m1 ~~ m,
HasJSON (ServerMessage m), Message m ~ NotificationMessage m)
bound by a pattern with constructor:
IsServerNot :: forall (m :: Method 'FromServer 'Notification).
(HasJSON (ServerMessage m), Message m ~ NotificationMessage m) =>
ServerNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:303:8-18
or from: (t2 ~ 'Notification, m2 ~~ m4, HasJSON (ServerMessage m4),
Message m4 ~ NotificationMessage m4)
bound by a pattern with constructor:
IsServerNot :: forall (m :: Method 'FromServer 'Notification).
(HasJSON (ServerMessage m), Message m ~ NotificationMessage m) =>
ServerNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:303:20-30
" In a stmt of a 'do' block: Refl <- geq m1 m2
In the expression:
do Refl <- geq m1 m2
pure $ Right HRefl
In an equation for go:
go IsServerNot IsServerNot
= do Refl <- geq m1 m2
pure $ Right HRefl
|
304 | Refl <- geq m1 m2
| ^^^^^^^^^
src/Language/LSP/Types/Parsing.hs:307:15: error:
" Could not deduce (GEq SMethod) arising from a use of geq
from the context: (t1 ~ 'Request, m1 ~~ m,
HasJSON (ServerMessage m), HasJSON (ResponseMessage m),
Message m ~ RequestMessage m)
bound by a pattern with constructor:
IsServerReq :: forall (m :: Method 'FromServer 'Request).
(HasJSON (ServerMessage m), HasJSON (ResponseMessage m),
Message m ~ RequestMessage m) =>
ServerNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:306:8-18
or from: (t2 ~ 'Request, m2 ~~ m4, HasJSON (ServerMessage m4),
HasJSON (ResponseMessage m4), Message m4 ~ RequestMessage m4)
bound by a pattern with constructor:
IsServerReq :: forall (m :: Method 'FromServer 'Request).
(HasJSON (ServerMessage m), HasJSON (ResponseMessage m),
Message m ~ RequestMessage m) =>
ServerNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:306:20-30
" In a stmt of a 'do' block: Refl <- geq m1 m2
In the expression:
do Refl <- geq m1 m2
pure $ Right HRefl
In an equation for go:
go IsServerReq IsServerReq
= do Refl <- geq m1 m2
pure $ Right HRefl
|
307 | Refl <- geq m1 m2
| ^^^^^^^^^
src/Language/LSP/Types/Parsing.hs:321:15: error:
" Could not deduce (GEq SMethod) arising from a use of geq
from the context: (t1 ~ 'Notification, m1 ~~ m,
HasJSON (ClientMessage m), Message m ~ NotificationMessage m)
bound by a pattern with constructor:
IsClientNot :: forall (m :: Method 'FromClient 'Notification).
(HasJSON (ClientMessage m), Message m ~ NotificationMessage m) =>
ClientNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:320:8-18
or from: (t2 ~ 'Notification, m2 ~~ m4, HasJSON (ClientMessage m4),
Message m4 ~ NotificationMessage m4)
bound by a pattern with constructor:
IsClientNot :: forall (m :: Method 'FromClient 'Notification).
(HasJSON (ClientMessage m), Message m ~ NotificationMessage m) =>
ClientNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:320:20-30
" In a stmt of a 'do' block: Refl <- geq m1 m2
In the expression:
do Refl <- geq m1 m2
pure $ Right HRefl
In an equation for go:
go IsClientNot IsClientNot
= do Refl <- geq m1 m2
pure $ Right HRefl
|
321 | Refl <- geq m1 m2
| ^^^^^^^^^
src/Language/LSP/Types/Parsing.hs:324:15: error:
" Could not deduce (GEq SMethod) arising from a use of geq
from the context: (t1 ~ 'Request, m1 ~~ m,
HasJSON (ClientMessage m), HasJSON (ResponseMessage m),
Message m ~ RequestMessage m)
bound by a pattern with constructor:
IsClientReq :: forall (m :: Method 'FromClient 'Request).
(HasJSON (ClientMessage m), HasJSON (ResponseMessage m),
Message m ~ RequestMessage m) =>
ClientNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:323:8-18
or from: (t2 ~ 'Request, m2 ~~ m4, HasJSON (ClientMessage m4),
HasJSON (ResponseMessage m4), Message m4 ~ RequestMessage m4)
bound by a pattern with constructor:
IsClientReq :: forall (m :: Method 'FromClient 'Request).
(HasJSON (ClientMessage m), HasJSON (ResponseMessage m),
Message m ~ RequestMessage m) =>
ClientNotOrReq m,
in an equation for go
at src/Language/LSP/Types/Parsing.hs:323:20-30
" In a stmt of a 'do' block: Refl <- geq m1 m2
In the expression:
do Refl <- geq m1 m2
pure $ Right HRefl
In an equation for go:
go IsClientReq IsClientReq
= do Refl <- geq m1 m2
pure $ Right HRefl
|
324 | Refl <- geq m1 m2
| ^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-28945/lsp-types-1.3.0.0'
cabal: Error: some packages failed to install:
lsp-1.2.0.1-6hxGsU1KM6GKYFzR47cE4l depends on lsp-1.2.0.1 which failed to
install.
lsp-types-1.3.0.0-88GIGDzE2Nh8Bgt3kxJt2X failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.