hls-splice-plugin-1.0.0.3: test/testdata/TTypeKindError.error.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module TTypeKindError where
import Language.Haskell.TH ( numTyLit, litT )
import Data.Proxy ( Proxy )

main :: $(litT (numTyLit 42))
main = return ()