haskell-language-server-2.7.0.0: plugins/hls-eval-plugin/test/testdata/T9.expected.hs
{-# LANGUAGE DataKinds #-}
module T9 where
import Data.Proxy (Proxy(..))
type P = Proxy
-- >>> Proxy :: Proxy 3
-- Proxy
{-# LANGUAGE DataKinds #-}
module T9 where
import Data.Proxy (Proxy(..))
type P = Proxy
-- >>> Proxy :: Proxy 3
-- Proxy