Support StandAloneKindSignatures and visible forall quantification

haskell-suite / haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

Other

193 stars 94 forks source link

Open AshleyYakeley opened 4 years ago

AshleyYakeley commented 4 years ago

Support two features for GHC 8.10:

StandAloneKindSignatures (example: type Maybe :: Type -> Type)
Visible forall quantification (example: forall k -> k -> Type, note use of -> instead of . after forall)