Open ndmitchell opened 6 years ago
This is probably the same thing, also a parse error with haskell-src-exts but not ghc:
{-# LANGUAGE DataKinds, TypeOperators #-}
import Data.Proxy (Proxy(..))
import qualified GHC.TypeLits as TypeLits
f :: Proxy n -> Proxy (n TypeLits.+ 1)
f Proxy = Proxy
I think here is another example
import Data.Type.Equality ((:~:) (..), (:~~:) (..))
At least one problem is that kinds and types are still parsed differently in HSE but in GHC, they are parsed as the same thing. I'm not going to work on this any more for now.
From https://github.com/ndmitchell/hlint/issues/450 by @LeanderK:
Gives a parse error on the
:~:
.