hls-splice-plugin-1.0.0.2: test/testdata/TTypeAppExp.hs
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module TTypeAppExp where
import Data.Proxy
f :: Proxy Int
f = $([|Proxy @Int|])
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module TTypeAppExp where
import Data.Proxy
f :: Proxy Int
f = $([|Proxy @Int|])