Description

IDE doesn't show type information for identifiers that aren't defined at the top level.

To Reproduce

Sample program:

module Main where

import Prelude

import Effect (Effect)
import Effect.Console (log)

s0 :: String
s0 = ""

main :: Effect Unit
main =
  let s1 :: String
      s1 = ""
  in do
      let  s2 :: String
           s2 = ""
      log s0
      log s1
      log s2
      log s3
  where
    s3 :: String
    s3 = ""

Expected behavior

An identical Haskell program shows s{0,1,2,3} with type String:

But, purescript IDE fails to fetch the type info for s{1,2,3} (status line at the bottom says No information available):

Additional context

Originally experienced in IntelliJ, but also reproducible in neovim.

This also applies to function/lambda parameters. Figuring out the types of a lambda's parameters can be really useful.

PureScript version

0.15.16