Resolving dependencies... Starting Diff-0.4.0 Starting StateVar-1.2.2 Starting base-orphans-0.8.4 Starting base-compat-0.11.2 Building Diff-0.4.0 Building base-orphans-0.8.4 Building StateVar-1.2.2 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 data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed call-stack-0.4.0 Starting dlist-1.0 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting hashable-1.3.2.0 Building hashable-1.3.2.0 Completed base-orphans-0.8.4 Starting indexed-traversable-0.1.1 Building indexed-traversable-0.1.1 Completed base-compat-0.11.2 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed dlist-1.0 Starting network-3.1.2.2 Completed integer-logarithms-1.0.3.1 Starting old-locale-1.0.0.7 Completed hashable-1.3.2.0 Starting parallel-3.2.2.0 Building old-locale-1.0.0.7 Building parallel-3.2.2.0 Completed indexed-traversable-0.1.1 Starting primitive-0.7.1.0 Completed old-locale-1.0.0.7 Starting reflection-2.1.6 Building primitive-0.7.1.0 Building network-3.1.2.2 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 rope-utf16-splay-0.3.2.0 Starting semigroups-0.19.1 Building semigroups-0.19.1 Completed reflection-2.1.6 Starting some-1.0.3 Building some-1.0.3 Completed semigroups-0.19.1 Starting splitmix-0.1.0.3 Building splitmix-0.1.0.3 Completed some-1.0.3 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed splitmix-0.1.0.3 Starting tagged-0.8.6.1 Building tagged-0.8.6.1 Completed network-3.1.2.2 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 Completed tagged-0.8.6.1 Starting transformers-compat-0.7 Completed syb-0.7.2.1 Starting type-equality-1 Building th-compat-0.1.2 Building transformers-compat-0.7 Building type-equality-1 Completed type-equality-1 Starting void-0.7.3 Building void-0.7.3 Completed th-compat-0.1.2 Starting contravariant-1.5.5 Building contravariant-1.5.5 Completed th-abstraction-0.4.2.0 Starting data-default-instances-containers-0.0.1 Completed void-0.7.3 Starting base-compat-batteries-0.11.2 Building data-default-instances-containers-0.0.1 Building base-compat-batteries-0.11.2 Completed transformers-compat-0.7 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-dlist-0.0.1 Completed data-default-instances-containers-0.0.1 Starting unordered-containers-0.2.14.0 Building unordered-containers-0.2.14.0 Completed data-default-instances-dlist-0.0.1 Starting time-compat-1.9.6 Completed contravariant-1.5.5 Building time-compat-1.9.6 Starting data-fix-0.3.2 Building data-fix-0.3.2 Completed data-fix-0.3.2 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed base-compat-batteries-0.11.2 Starting random-1.2.0 Building random-1.2.0 Completed data-default-instances-old-locale-0.0.1 Starting network-bsd-2.8.1.0 Completed time-compat-1.9.6 Starting vector-0.12.3.0 Building network-bsd-2.8.1.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 Completed random-1.2.0 Starting th-extras-0.0.0.4 Building distributive-0.6.2.1 Building th-extras-0.0.0.4 Completed scientific-0.3.7.0 Starting network-uri-2.6.4.1 Completed th-extras-0.0.0.4 Starting transformers-base-0.4.5.2 Building network-uri-2.6.4.1 Completed distributive-0.6.2.1 Starting constraints-0.13 Building transformers-base-0.4.5.2 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 data-default-0.7.1.1 Starting hslogger-1.3.1.0 Building hslogger-1.3.1.0 Completed network-uri-2.6.4.1 Starting uuid-types-1.0.5 Building uuid-types-1.0.5 Completed constraints-0.13 Starting temporary-1.3 Completed hslogger-1.3.1.0 Starting attoparsec-0.14.1 Completed uuid-types-1.0.5 Starting comonad-5.0.8 Building temporary-1.3 Building attoparsec-0.14.1 Building comonad-5.0.8 Completed temporary-1.3 Completed comonad-5.0.8 Starting bifunctors-5.5.11 Building bifunctors-5.5.11 Completed attoparsec-0.14.1 Completed bifunctors-5.5.11 Starting assoc-1.0.2 Starting semigroupoids-5.3.5 Starting profunctors-5.6.2 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 Completed indexed-traversable-instances-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.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 Building dependent-sum-template-0.1.0.3 Completed dependent-sum-template-0.1.0.3 Completed lens-5.0.1 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-5631/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-5631/lsp-types-1.3.0.0' cabal: Error: some packages failed to install: lsp-types-1.3.0.0-88GIGDzE2Nh8Bgt3kxJt2X failed during the building phase. The exception was: ExitFailure 1