Internal error: unable to typecheck with invalid kind signature

[fendor]

Your environment

Which OS do you use?
ArchLinux
Which version of GHC do you use and how did you install it?
8.10.7
How is your project built (alternative: link to the project)?
default cradle

Which LSP client (editor/plugin) do you use?
VSCode
Which version of HLS do you use and how did you install it?
1.8.0.0 from VSCode
Have you configured HLS in any way (especially: a hie.yaml file)?
no

Steps to reproduce

File CoProduct.hs, note, the KindSignature is incorrect.

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
module CoProduct where
import Data.Kind (Type)

type Op :: forall k l (p :: (k, l)) (j :: p) . [k -> k -> Type -> Type] -> j -> j -> Type -> Type
data Op fs p q x where
  Here :: f s t x -> Op (f : fs) (s, p) (t, q) x
  There :: Op fs s t x -> Op (f : fs) (p, s) (q, t) x

Expected behaviour

Should typecheck and produce diagnostics

Actual behaviour

Fails to typecheck and includes the following in the logs:

Logs

[Info  - 12:27:25] Stopping the server
2022-10-24T10:27:25.950005Z | Debug | Received shutdown message
Received shutdown message
[Info  - 12:27:25] Starting the server
2022-10-24T10:27:25.950385Z | Debug | Finished build session
AsyncCancelled
2022-10-24T10:27:25.950542Z | Info | Reactor thread stopped
2022-10-24T10:27:25.959209Z | Error | Got EOF
No 'hie.yaml' found. Try to discover the project type!
Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 1.8.0.0 x86_64 ghc-9.4.2
Current directory: /home/hugin/Documents/haskell/hls-coproduct
Operating system: linux
Arguments: ["--lsp","--debug"]
Cradle directory: /home/hugin/Documents/haskell/hls-coproduct
Cradle type: Default

Tool versions found on the $PATH
cabal:          3.8.1.0
stack:          2.9.1
ghc:            8.10.7


Consulting the cradle to get project GHC version...
Project GHC version: 8.10.7
haskell-language-server exe candidates: ["haskell-language-server-8.10.7","haskell-language-server"]
Launching haskell-language-server exe at:/home/hugin/.ghcup/tmp/ghcup-ghc-8.10.7_cabal-3.8.1.0_hls-1.8.0.0_stack-2.9.1/haskell-language-server-8.10.7
2022-10-24T10:27:26.957414Z | Info | No log file specified; using stderr.
2022-10-24T10:27:26.957893Z | Info | haskell-language-server version: 1.8.0.0 (GHC: 8.10.7) (PATH: /home/hugin/.ghcup/hls/1.8.0.0/lib/haskell-language-server-1.8.0.0/bin/haskell-language-server-8.10.7)
2022-10-24T10:27:26.958261Z | Info | Directory: /home/hugin/Documents/haskell/hls-coproduct
2022-10-24T10:27:26.958424Z | Info | Starting (haskell-language-server) LSP server...
  GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
  PluginIds: [ pragmas
             , LSPRecorderCallback
             , rename
             , ghcide-completions
             , stan
             , class
             , refineImports
             , splice
             , changeTypeSignature
             , qualifyImportedNames
             , alternateNumberFormat
             , hlint
             , ghcide-code-actions-fill-holes
             , floskell
             , ghcide-extend-import-action
             , codeRange
             , haddockComments
             , importLens
             , retrie
             , ghcide-type-lenses
             , ghcide-code-actions-imports-exports
             , ghcide-hover-and-symbols
             , eval
             , gadt
             , fourmolu
             , tactics
             , callHierarchy
             , stylish-haskell
             , ghcide-code-actions-type-signatures
             , ghcide-code-actions-bindings
             , moduleName
             , brittany
             , ormolu
             , ghcide-core
             , explicitFixity ]
2022-10-24T10:27:26.960736Z | Info | Logging heap statistics every 60.00s
 2022-10-24T10:27:26.968423Z | Info | Starting LSP server...
  If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
  PluginIds: [ pragmas
             , LSPRecorderCallback
             , rename
             , ghcide-completions
             , stan
             , class
             , refineImports
             , splice
             , changeTypeSignature
             , qualifyImportedNames
             , alternateNumberFormat
             , hlint
             , ghcide-code-actions-fill-holes
             , floskell
             , ghcide-extend-import-action
             , codeRange
             , haddockComments
             , importLens
             , retrie
             , ghcide-type-lenses
             , ghcide-code-actions-imports-exports
             , ghcide-hover-and-symbols
             , eval
             , gadt
             , fourmolu
             , tactics
             , callHierarchy
             , stylish-haskell
             , ghcide-code-actions-type-signatures
             , ghcide-code-actions-bindings
             , moduleName
             , brittany
             , ormolu
             , ghcide-core
             , explicitFixity ]
2022-10-24T10:27:26.968729Z | Info | Starting server
2022-10-24T10:27:26.970346Z | Info | Started LSP server in 0.00s
2022-10-24T10:27:27.036420Z | Debug | Setting initial dynflags...
2022-10-24T10:27:27.036535Z | Debug | shouldRunSubset: True
2022-10-24T10:27:27.036603Z | Debug | Initializing exports map from hiedb
2022-10-24T10:27:27.036874Z | Info | Registering IDE configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-3871612185632525391) "file:///home/hugin/Documents/haskell/hls-coproduct"], clientSettings = hashed Nothing}
2022-10-24T10:27:27.038930Z | Debug | Done initializing exports map from hiedb. Size: 0
2022-10-24T10:27:27.042386Z | Debug | Shake session initialized
[Info  - 12:27:27] haskell-language-server version: 1.8.0.0 (GHC: 8.10.7) (PATH: /home/hugin/.ghcup/hls/1.8.0.0/lib/haskell-language-server-1.8.0.0/bin/haskell-language-server-8.10.7)
[Info  - 12:27:27] Directory: /home/hugin/Documents/haskell/hls-coproduct
[Info  - 12:27:27] Starting (haskell-language-server) LSP server...
  GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
  PluginIds: [ pragmas
             , LSPRecorderCallback
             , rename
             , ghcide-completions
             , stan
             , class
             , refineImports
             , splice
             , changeTypeSignature
             , qualifyImportedNames
             , alternateNumberFormat
             , hlint
             , ghcide-code-actions-fill-holes
             , floskell
             , ghcide-extend-import-action
             , codeRange
             , haddockComments
             , importLens
             , retrie
             , ghcide-type-lenses
             , ghcide-code-actions-imports-exports
             , ghcide-hover-and-symbols
             , eval
             , gadt
             , fourmolu
             , tactics
             , callHierarchy
             , stylish-haskell
             , ghcide-code-actions-type-signatures
             , ghcide-code-actions-bindings
             , moduleName
             , brittany
             , ormolu
             , ghcide-core
             , explicitFixity ]
[Info  - 12:27:27] Logging heap statistics every 60.00s
2022-10-24T10:27:27.043026Z | Debug | Configuration changed: Object (fromList [("haskell",Object (fromList [("checkProject",Bool True),("formattingProvider",String "fourmolu"),("ghcupExecutablePath",String ""),("hlintOn",Bool False),("indentationRules",Object (fromList [("enabled",Bool True)])),("logFile",String ""),("manageHLS",String "GHCup"),("maxCompletions",Number 40.0),("metadataURL",String ""),("openDocumentationInHackage",Bool True),("openSourceInHackage",Bool True),("plugin",Object (fromList [("alternateNumberFormat",Object (fromList [("globalOn",Bool True)])),("callHierarchy",Object (fromList [("globalOn",Bool True)])),("changeTypeSignature",Object (fromList [("globalOn",Bool True)])),("class",Object (fromList [("globalOn",Bool True)])),("eval",Object (fromList [("config",Object (fromList [("diff",Bool True),("exception",Bool True)])),("globalOn",Bool True)])),("ghcide-code-actions-bindings",Object (fromList [("globalOn",Bool True)])),("ghcide-code-actions-fill-holes",Object (fromList [("globalOn",Bool True)])),("ghcide-code-actions-imports-exports",Object (fromList [("globalOn",Bool True)])),("ghcide-code-actions-type-signatures",Object (fromList [("globalOn",Bool True)])),("ghcide-completions",Object (fromList [("config",Object (fromList [("autoExtendOn",Bool True),("snippetsOn",Bool True)])),("globalOn",Bool True)])),("ghcide-hover-and-symbols",Object (fromList [("hoverOn",Bool True),("symbolsOn",Bool True)])),("ghcide-type-lenses",Object (fromList [("config",Object (fromList [("mode",String "always")])),("globalOn",Bool True)])),("haddockComments",Object (fromList [("globalOn",Bool True)])),("hlint",Object (fromList [("codeActionsOn",Bool True),("config",Object (fromList [("flags",Array [])])),("diagnosticsOn",Bool False)])),("importLens",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True)])),("moduleName",Object (fromList [("globalOn",Bool True)])),("pragmas",Object (fromList [("codeActionsOn",Bool True),("completionOn",Bool True)])),("qualifyImportedNames",Object (fromList [("globalOn",Bool True)])),("refineImports",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True)])),("rename",Object (fromList [("config",Object (fromList [("crossModule",Bool False)])),("globalOn",Bool True)])),("retrie",Object (fromList [("globalOn",Bool True)])),("splice",Object (fromList [("globalOn",Bool True)])),("tactics",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True),("config",Object (fromList [("auto_gas",Number 4.0),("hole_severity",Null),("max_use_ctor_actions",Number 5.0),("proofstate_styling",Bool True),("timeout_duration",Number 2.0)])),("globalOn",Bool False),("hoverOn",Bool True)]))])),("promptBeforeDownloads",Bool True),("releasesDownloadStoragePath",String ""),("releasesURL",String ""),("serverEnvironment",Object (fromList [])),("serverExecutablePath",String ""),("serverExtraArgs",String "--debug "),("toolchain",Object (fromList [])),("trace",Object (fromList [("client",String "debug"),("server",String "off")])),("upgradeGHCup",Bool True)]))])
2022-10-24T10:27:27.043525Z | Debug | Restarting build session due to config change
Action Queue: []
Keys: [GetClientSettings; ]
Aborting previous build session took 0.00s 
[Info  - 12:27:27] Starting LSP server...
  If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
  PluginIds: [ pragmas
             , LSPRecorderCallback
             , rename
             , ghcide-completions
             , stan
             , class
             , refineImports
             , splice
             , changeTypeSignature
             , qualifyImportedNames
             , alternateNumberFormat
             , hlint
             , ghcide-code-actions-fill-holes
             , floskell
             , ghcide-extend-import-action
             , codeRange
             , haddockComments
             , importLens
             , retrie
             , ghcide-type-lenses
             , ghcide-code-actions-imports-exports
             , ghcide-hover-and-symbols
             , eval
             , gadt
             , fourmolu
             , tactics
             , callHierarchy
             , stylish-haskell
             , ghcide-code-actions-type-signatures
             , ghcide-code-actions-bindings
             , moduleName
             , brittany
             , ormolu
             , ghcide-core
             , explicitFixity ]
2022-10-24T10:27:27.043536Z | Debug | Finished build session
AsyncCancelled
[Info  - 12:27:27] Starting server
[Info  - 12:27:27] Started LSP server in 0.00s
2022-10-24T10:27:27.044231Z | Debug | Set files of interest to: fromList [(NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs",Modified {firstOpen = True})]
Setting initial dynflags...
2022-10-24T10:27:27.044419Z | Debug | Restarting build session due to /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs (modified)
Action Queue: []
Keys: [ IsFileOfInterest; /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
      , GetModificationTime; /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
      , GetClientSettings;  ]
Aborting previous build session took 0.00s 
shouldRunSubset: True
Initializing exports map from hiedb
[Info  - 12:27:27] Registering IDE configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-3871612185632525391) "file:///home/hugin/Documents/haskell/hls-coproduct"], clientSettings = hashed Nothing}
2022-10-24T10:27:27.044438Z | Debug | Finished build session
AsyncCancelled
Done initializing exports map from hiedb. Size: 0
2022-10-24T10:27:27.044812Z | Debug | Opened text document: file:///home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
Shake session initialized
Configuration changed: Object (fromList [("haskell",Object (fromList [("checkProject",Bool True),("formattingProvider",String "fourmolu"),("ghcupExecutablePath",String ""),("hlintOn",Bool False),("indentationRules",Object (fromList [("enabled",Bool True)])),("logFile",String ""),("manageHLS",String "GHCup"),("maxCompletions",Number 40.0),("metadataURL",String ""),("openDocumentationInHackage",Bool True),("openSourceInHackage",Bool True),("plugin",Object (fromList [("alternateNumberFormat",Object (fromList [("globalOn",Bool True)])),("callHierarchy",Object (fromList [("globalOn",Bool True)])),("changeTypeSignature",Object (fromList [("globalOn",Bool True)])),("class",Object (fromList [("globalOn",Bool True)])),("eval",Object (fromList [("config",Object (fromList [("diff",Bool True),("exception",Bool True)])),("globalOn",Bool True)])),("ghcide-code-actions-bindings",Object (fromList [("globalOn",Bool True)])),("ghcide-code-actions-fill-holes",Object (fromList [("globalOn",Bool True)])),("ghcide-code-actions-imports-exports",Object (fromList [("globalOn",Bool True)])),("ghcide-code-actions-type-signatures",Object (fromList [("globalOn",Bool True)])),("ghcide-completions",Object (fromList [("config",Object (fromList [("autoExtendOn",Bool True),("snippetsOn",Bool True)])),("globalOn",Bool True)])),("ghcide-hover-and-symbols",Object (fromList [("hoverOn",Bool True),("symbolsOn",Bool True)])),("ghcide-type-lenses",Object (fromList [("config",Object (fromList [("mode",String "always")])),("globalOn",Bool True)])),("haddockComments",Object (fromList [("globalOn",Bool True)])),("hlint",Object (fromList [("codeActionsOn",Bool True),("config",Object (fromList [("flags",Array [])])),("diagnosticsOn",Bool False)])),("importLens",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True)])),("moduleName",Object (fromList [("globalOn",Bool True)])),("pragmas",Object (fromList [("codeActionsOn",Bool True),("completionOn",Bool True)])),("qualifyImportedNames",Object (fromList [("globalOn",Bool True)])),("refineImports",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True)])),("rename",Object (fromList [("config",Object (fromList [("crossModule",Bool False)])),("globalOn",Bool True)])),("retrie",Object (fromList [("globalOn",Bool True)])),("splice",Object (fromList [("globalOn",Bool True)])),("tactics",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True),("config",Object (fromList [("auto_gas",Number 4.0),("hole_severity",Null),("max_use_ctor_actions",Number 5.0),("proofstate_styling",Bool True),("timeout_duration",Number 2.0)])),("globalOn",Bool False),("hoverOn",Bool True)]))])),("promptBeforeDownloads",Bool True),("releasesDownloadStoragePath",String ""),("releasesURL",String ""),("serverEnvironment",Object (fromList [])),("serverExecutablePath",String ""),("serverExtraArgs",String "--debug "),("toolchain",Object (fromList [])),("trace",Object (fromList [("client",String "debug"),("server",String "off")])),("upgradeGHCup",Bool True)]))])
Restarting build session due to config change
Action Queue: []
Keys: [GetClientSettings; ]
Aborting previous build session took 0.00s 
Finished build session
AsyncCancelled
Set files of interest to: fromList [(NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs",Modified {firstOpen = True})]
2022-10-24T10:27:27.045577Z | Info | Cradle path: CoProduct.hs
Restarting build session due to /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs (modified)
Action Queue: []
Keys: [ IsFileOfInterest; /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
      , GetModificationTime; /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
      , GetClientSettings;  ]
Aborting previous build session took 0.00s 
2022-10-24T10:27:27.045760Z | Warning | No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for CoProduct.hs.
Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie).
You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.
Finished build session
AsyncCancelled
Opened text document: file:///home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
[Info  - 12:27:27] Cradle path: CoProduct.hs
[Warn  - 12:27:27] No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for CoProduct.hs.
Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie).
You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.
2022-10-24T10:27:27.053883Z | Debug | Cradle: Cradle {cradleRootDir = "/home/hugin/Documents/haskell/hls-coproduct", cradleOptsProg = CradleAction: Default}
Cradle: Cradle {cradleRootDir = "/home/hugin/Documents/haskell/hls-coproduct", cradleOptsProg = CradleAction: Default}
2022-10-24T10:27:27.094319Z | Debug | Session loading result: Right (ComponentOptions {componentOptions = ["-dynamic"], componentRoot = "/home/hugin/Documents/haskell/hls-coproduct", componentDependencies = []},"/home/hugin/.ghcup/ghc/8.10.7/lib/ghc-8.10.7")
Session loading result: Right (ComponentOptions {componentOptions = ["-dynamic"], componentRoot = "/home/hugin/Documents/haskell/hls-coproduct", componentDependencies = []},"/home/hugin/.ghcup/ghc/8.10.7/lib/ghc-8.10.7")
2022-10-24T10:27:27.134842Z | Info | Interface files cache directory: /home/hugin/.cache/ghcide/main-1a596a151463f2c53ee4feb14ecd276a1ccebfda
2022-10-24T10:27:27.135352Z | Info | Making new HscEnv. In-place unit ids: [main]
[Info  - 12:27:27] Interface files cache directory: /home/hugin/.cache/ghcide/main-1a596a151463f2c53ee4feb14ecd276a1ccebfda
[Info  - 12:27:27] Making new HscEnv. In-place unit ids: [main]
2022-10-24T10:27:27.141545Z | Debug | New component cache HscEnvEq: (([],Just HscEnvEq 7),fromList [])
New component cache HscEnvEq: (([],Just HscEnvEq 7),fromList [])
2022-10-24T10:27:27.141728Z | Debug | Known files updated:
  fromList [(TargetFile NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs",fromList ["/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs"])]
Known files updated:
  fromList [(TargetFile NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs",fromList ["/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs"])]
2022-10-24T10:27:27.142052Z | Debug | Restarting build session due to new component
Action Queue: [Outline]
Keys: [ IsFileOfInterest; /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
      , GetKnownTargets; 
      , GhcSessionIO;  ]
Aborting previous build session took 0.00s 
2022-10-24T10:27:27.142055Z | Debug | Finished build session
AsyncCancelled
Restarting build session due to new component
Action Queue: [Outline]
Keys: [ IsFileOfInterest; /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
      , GetKnownTargets; 
      , GhcSessionIO;  ]
Aborting previous build session took 0.00s 
Finished build session
AsyncCancelled
2022-10-24T10:27:27.144746Z | Debug | Finished: Outline Took: 0.00s
Finished: Outline Took: 0.00s
2022-10-24T10:27:27.165126Z | Debug | Finished: InitialLoad Took: 0.02s
Finished: InitialLoad Took: 0.02s
2022-10-24T10:27:27.298388Z | Debug | src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs"
2022-10-24T10:27:27.298648Z | Debug | Finished: classplugin.TypeCheck Took: 0.00s
src/Ide/Plugin/Eval/CodeLens.hs:157:15 "fp" "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs"
2022-10-24T10:27:27.298721Z | Debug | Finished: codeLens.TypeCheck Took: 0.00s
2022-10-24T10:27:27.298716Z | Debug | Finished: codeLens.GhcSession Took: 0.00s
2022-10-24T10:27:27.299122Z | Debug | LOOKUP PERSISTENT FOR: MinimalImports
Finished: classplugin.TypeCheck Took: 0.00s
2022-10-24T10:27:27.299178Z | Debug | Finished: codeLens.GetBindings Took: 0.00s
2022-10-24T10:27:27.299214Z | Debug | LOOKUP PERSISTENT FOR: RefineImports
Finished: codeLens.TypeCheck Took: 0.00s
2022-10-24T10:27:27.299433Z | Debug | Finished: ModuleName.ghcSession Took: 0.00s
2022-10-24T10:27:27.299465Z | Debug | ModuleName.SrcPaths: [/home/hugin/Documents/haskell/hls-coproduct/.]
2022-10-24T10:27:27.299560Z | Debug | Finished:  Took: 0.00s
Finished: codeLens.GhcSession Took: 0.00s
2022-10-24T10:27:27.299635Z | Debug | Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
2022-10-24T10:27:27.299724Z | Debug | Finished: RefineImports Took: 0.00s
LOOKUP PERSISTENT FOR: MinimalImports
2022-10-24T10:27:27.299867Z | Debug | ModuleName.NormalisedPaths: [/home/hugin/Documents/haskell/hls-coproduct/]
2022-10-24T10:27:27.300254Z | Debug | ModuleName.AbsoluteFilePath: /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
Finished: codeLens.GetBindings Took: 0.00s
2022-10-24T10:27:27.300366Z | Debug | ModuleName.CorrectNames: [CoProduct]
LOOKUP PERSISTENT FOR: RefineImports
2022-10-24T10:27:27.300485Z | Info | ModuleName.BestName: CoProduct
2022-10-24T10:27:27.300611Z | Debug | Finished: ModuleName.GetParsedModule Took: 0.00s
2022-10-24T10:27:27.300626Z | Debug | ModuleName.StatedNameMaybe: CoProduct
Finished: ModuleName.ghcSession Took: 0.00s
2022-10-24T10:27:27.301091Z | Debug | Finished: eval.GetParsedModuleWithComments Took: 0.00s
ModuleName.SrcPaths: [/home/hugin/Documents/haskell/hls-coproduct/.]
2022-10-24T10:27:27.301103Z | Debug | src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 27}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE RankNTypes #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 41}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE StandaloneKindSignatures #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 26}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE PolyKinds #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 26}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DataKinds #-}\"}),(Range {_start = Position {_line = 4, _character = 0}, _end = Position {_line = 4, _character = 30}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeOperators #-}\"})]}"
Finished:  Took: 0.00s
Finished: codeLens.GetGlobalBindingTypeSigs Took: 0.00s
Finished: RefineImports Took: 0.00s
2022-10-24T10:27:27.301567Z | Debug | src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 5 sections 0 setups 0 lenses."
ModuleName.NormalisedPaths: [/home/hugin/Documents/haskell/hls-coproduct/]
2022-10-24T10:27:27.302008Z | Debug | src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.00s"
2022-10-24T10:27:27.302126Z | Debug | src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.00s"
ModuleName.AbsoluteFilePath: /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs
2022-10-24T10:27:27.302287Z | Warning | InternalError: Unable to typecheck
ModuleName.CorrectNames: [CoProduct]
[Info  - 12:27:27] ModuleName.BestName: CoProduct
Finished: ModuleName.GetParsedModule Took: 0.00s
ModuleName.StatedNameMaybe: CoProduct
Finished: eval.GetParsedModuleWithComments Took: 0.00s
src/Ide/Plugin/Eval/CodeLens.hs:157:15 "comments" "Comments {lineComments = fromList [], blockComments = fromList [(Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 0, _character = 27}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE RankNTypes #-}\"}),(Range {_start = Position {_line = 1, _character = 0}, _end = Position {_line = 1, _character = 41}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE StandaloneKindSignatures #-}\"}),(Range {_start = Position {_line = 2, _character = 0}, _end = Position {_line = 2, _character = 26}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE PolyKinds #-}\"}),(Range {_start = Position {_line = 3, _character = 0}, _end = Position {_line = 3, _character = 26}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE DataKinds #-}\"}),(Range {_start = Position {_line = 4, _character = 0}, _end = Position {_line = 4, _character = 30}},RawBlockComment {getRawBlockComment = \"{-# LANGUAGE TypeOperators #-}\"})]}"
src/Ide/Plugin/Eval/CodeLens.hs:157:15 "Tests" "0 tests in 5 sections 0 setups 0 lenses."
src/Ide/Plugin/Eval/CodeLens.hs:157:15 "tests" "0.00s"
src/Ide/Plugin/Eval/CodeLens.hs:157:15 "codeLens" "0.00s"
[Warn  - 12:27:27] InternalError: Unable to typecheck

Debug information

Logs from `haskell-language-server --debug CoProduct.hs`

$ haskell-language-server --debug CoProduct.hs
2022-10-24T10:29:01.347076Z | Info | No log file specified; using stderr.
2022-10-24T10:29:01.347463Z | Info | haskell-language-server version: 1.8.0.0 (GHC: 8.10.7) (PATH: /home/hugin/.cabal/store/ghc-8.10.7/haskell-language-server-1.8.0.0-e-haskell-language-server-a65505c64a3ec6497bc673538f88db67b0659eea828ba567bfeae3a43c07f7b8/bin/haskell-language-server)
2022-10-24T10:29:01.348115Z | Info | Directory: /home/hugin/Documents/haskell/hls-coproduct
2022-10-24T10:29:01.348330Z | Info | Logging heap statistics every 60.00s
 ghcide setup tester in /home/hugin/Documents/haskell/hls-coproduct.
Report bugs at https://github.com/haskell/haskell-language-server/issues

Step 1/4: Finding files to test in /home/hugin/Documents/haskell/hls-coproduct
Found 1 files

Step 2/4: Looking for hie.yaml files that control setup
Found 1 cradle
  ()

Step 3/4: Initializing the IDE
2022-10-24T10:29:01.350839Z | Debug | Initializing exports map from hiedb
2022-10-24T10:29:01.351119Z | Debug | Shake session initialized

Step 4/42022-10-24T10:29:01.351345Z | Debug | Done initializing exports map from hiedb. Size: 0
: Type checking the files
2022-10-24T10:29:01.352350Z | Info | Cradle path: CoProduct.hs
2022-10-24T10:29:01.352457Z | Warning | No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for CoProduct.hs.
Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie).
You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.
2022-10-24T10:29:01.360627Z | Debug | Cradle: Cradle {cradleRootDir = "/home/hugin/Documents/haskell/hls-coproduct", cradleOptsProg = CradleAction: Default}
2022-10-24T10:29:01.397348Z | Debug | Session loading result: Right (ComponentOptions {componentOptions = ["-dynamic"], componentRoot = "/home/hugin/Documents/haskell/hls-coproduct", componentDependencies = []},"/home/hugin/.ghcup/ghc/8.10.7/lib/ghc-8.10.7")
2022-10-24T10:29:01.429333Z | Info | Interface files cache directory: /home/hugin/.cache/ghcide/main-1a596a151463f2c53ee4feb14ecd276a1ccebfda
2022-10-24T10:29:01.429456Z | Info | Making new HscEnv. In-place unit ids: [main]
2022-10-24T10:29:01.433918Z | Debug | New component cache HscEnvEq: (([],Just HscEnvEq 4),fromList [])
2022-10-24T10:29:01.434027Z | Debug | Known files updated:
  fromList [(TargetFile NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs",fromList ["/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs"])]
2022-10-24T10:29:01.434198Z | Debug | Finished build session
AsyncCancelled
2022-10-24T10:29:01.434247Z | Debug | Restarting build session due to new component
Action Queue: [User TypeCheck]
Keys: [GetKnownTargets; , GhcSessionIO; ]
Aborting previous build session took 0.00s 
2022-10-24T10:29:01.434579Z | Debug | Getting hlint ideas for  NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs"
2022-10-24T10:29:01.567109Z | Debug | Using extensions for  NormalizedFilePath "/home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs": [ MonomorphismRestriction
                                                                                                     , RelaxedPolyRec
                                                                                                     , ForeignFunctionInterface
                                                                                                     , ImplicitPrelude
                                                                                                     , DoAndIfThenElse
                                                                                                     , PolyKinds
                                                                                                     , DataKinds
                                                                                                     , EmptyDataDecls
                                                                                                     , KindSignatures
                                                                                                     , PatternGuards
                                                                                                     , RankNTypes
                                                                                                     , TypeOperators
                                                                                                     , ExplicitNamespaces
                                                                                                     , ExplicitForAll
                                                                                                     , NondecreasingIndentation
                                                                                                     , TraditionalRecordSyntax
                                                                                                     , EmptyCase
                                                                                                     , StarIsType
                                                                                                     , StandaloneKindSignatures ]
2022-10-24T10:29:01.583243Z | Debug | Finished: User TypeCheck Took: 0.15s
2022-10-24T10:29:01.583498Z | Debug | Finished: GetHie Took: 0.00s
2022-10-24T10:29:01.583700Z | Debug | Finished: GenerateCore Took: 0.00s
Files that failed:
 * /home/hugin/Documents/haskell/hls-coproduct/CoProduct.hs

Completed (0 files worked, 1 file failed)

[michaelpj]

Looks like the TypeCheck rule is failing silently, unclear why.

[googleson78]

I also encounter the same issue when I leave an operator without an operand, e.g. this causes it:

bla = 
  3 +

[Ptival]

Not sure whether the same problem, but I'm running into very similar error messages for code that otherwise compiles, even running haskell-language-server-wrapper manually on the command line. But in VSCode I get:

[Warn  - 3:22:19 PM] InternalError: Unable to typecheck
[Warn  - 3:23:45 PM] InternalError: ExplicitFixity: Unable to get fixity
[Warn  - 3:23:45 PM] InternalError: ExplicitFixity: Unable to get fixity
[Warn  - 3:23:46 PM] InternalError: typecheck
[Warn  - 3:23:56 PM] InternalError: Unable to typecheck

On:

[Info  - 3:22:05 PM] haskell-language-server version: 1.8.0.0 (GHC: 8.10.7) (PATH: /home/val/.ghcup/hls/1.8.0.0/lib/haskell-language-server-1.8.0.0/bin/haskell-language-server-8.10.7)

EDIT: Also, sometimes it just works, so not sure why sometimes it does this.

[July541]

Maybe I can answer part of this problem.

InternalError: Unable to typecheck is introduced by hls-class-plugin to indicate that the current file can't be compiled and hence no typecheck is available. It's just temporary information for incomplete code and doesn't matter if you correct your code in most situations.

HLS has many confusing internal errors just from the incomplete code, people shouldn't pay much attention to it. We should try to refactor the corresponding error message to prevent more misunderstanding.

For @fendor 's original post, it more looks like a bug from typecheck itself. I also noticed type check will work if I changed (j :: p) to any other symbol instead of p.