haskell-language-server-2.7.0.0: plugins/hls-eval-plugin/test/testdata/T22.expected.hs

module T22 where
import Data.Proxy      (Proxy (..))
import GHC.TypeNats    (KnownNat)
import Type.Reflection (Typeable)

f :: Integer
f = 32

-- >>> :t f
-- f :: Integer