Liquid Haskell: type constructor or class not in scope

[raptazure]

The following code gives error: Not in scope: type constructor or class ‘Int’. Perhaps you meant ‘Int’ (imported from Prelude) while stack ghci works fine. The related setting: value of haskell.liquidOn is set to true.

{-@ type Pos = {v : Int | 0 < v} @-}

{-@ incr :: Pos -> Pos @-}
incr :: Int -> Int
incr x = x + 1

Is there a way to fix this or simply disable the error messages? Thanks for answering!

[jneira]

hi, thanks for the bug report, I am afraid liquid Haskell is not supported despite the config option (it was inherited from hie, the previous Haskell LSP backend server)
the support in hls is tracked here: haskell/haskell-language-server#367

[raptazure]

hi, thanks for the bug report, I am afraid liquid Haskell is not supported despite the config option (it was inherited from hie, the previous Haskell LSP backend server)
the support in gold is tracked here: haskell/haskell-language-server#367

Oh, thanks. Subscribed to that issue. :)

[jneira]

closing this as the progress to add the liquid plugin is tracked in the linked hls issue