type T = * is not Haskell2010
I believe
type T = *
is not valid Haskell2010 - it should not be accepted without extensions.
The "correct" extension to check would be StarIsType, but this one is enabled by default.
Solutions:
-
Require KindSignatures in addition to StarIsType in the parser.
-
Disable StarIsType by default and make KindSignatures imply StarIsType. This one has a bad side effect: the order of extensions in
NoStarIsType, KindSignatures
will matter. -
Do nothing, accept the status quo and wait until * is removed.