KindSignature on EmptyDataDecl

[ysangkok]

Program:

module Example (main) where
import Prelude
import Data.Kind (Type)

main :: IO ()
main = pure ()
data SameKind :: Type

Fails with MicroHs:

ERR: mhs: "./Example.hs": line 7, col 15:
  found:    ::
  expected: LIdent ( = deriving ; }

Succeeds with GHC:

ghc Example.hs -XHaskell98 -XKindSignatures -XEmptyDataDecls

This is unexpected since these extensions are listed as supported.

[augustss]

I believe that MicroHs implements everything mention in Explicitly-kinded quantification.
GHC also accepts what you are trying tp do, but I'm not going to implement that. Instead MicroHs allows StandaloneKindSignatures.

[ysangkok]

StandaloneKindSignatures are not in the list included in the README. I didn't know they were supported. Are they implied by some other extension? If so, I'd be curious to know which.

[augustss]

I simply forgot to list. 🙂