TypeInType extension implies PolyKinds (see the link TypeInType docs) but when parsing file using the haskell-src-exts in fails and says that PolyKinds language extension is not enabled though I have TypeInType enabled.
Simple example
I have a project with the only module Typeintype which looks like this:
{-# LANGUAGE TypeInType #-}
module Typeintype
( App
) where
import Data.Kind
data App (f :: k -> *)
It builds perfectly as I expected.
But when I'm trying to parse it in repl:
$ cabal new-repl
ghci> import Language.Haskell.Exts
ghci> parseFile "src/Typeintype.hs"
ParseFailed (SrcLoc "src/Typeintype.hs" 9 18) "PolyKinds language extension is not enabled. Please add {-# LANGUAGE PolyKinds #-} pragma at the top of your module."
which is not correct behaviour
My settings
I'm using ghc-8.4.1 for this project.
And cabal new-freeze shows the following versions of the dependencies for this project:
TypeInType
extension impliesPolyKinds
(see the link TypeInType docs) but when parsing file using thehaskell-src-exts
in fails and says that PolyKinds language extension is not enabled though I haveTypeInType
enabled.Simple example
I have a project with the only module
Typeintype
which looks like this:It builds perfectly as I expected.
But when I'm trying to parse it in repl:
which is not correct behaviour
My settings
I'm using
ghc-8.4.1
for this project.And
cabal new-freeze
shows the following versions of the dependencies for this project:As you see
haskell-src-exts ==1.20.2
is used and this is the latest version on hackage at the moment.