Cover entire GHC AST

[mrkkrp]

This is the umbrella issue about covering various syntactic constructions in GHC AST. It should be closed when we cover everything.

• HsModule Top level module thing
  • Module header and export list
  • Imports
  • Declarations
  • Deprecation messages
• TyClD Type or class declaration
  • FamDecl Type family declaration
  • SynDecl Type declaration
  • DataDecl Data type declaration
  • ClassDecl Type class declaration
• InstD Instance declaration
  • ClsInstD Type class instance declaration
  • DataFamInstD Data family instance declaration
  • TyFamInstD Type family instance declaration
• DerivD Deriving declaration
• ValD Values (binds)
  • FunBind Function-like binding
  • PatBind Pattern binding
  • HsExpr Lots of stuff implemented now
  • HsExpr Various kinds of do-notation except for DoExpr and MDoExpr
  • Pat Some types of patterns
• SigD Signature declaration
  • TypeSig Type signatures
  • PatSynSig Pattern-synonym signatures
  • ClassOpSig Signatures for class methods
  • FixSig Fixity declaration
  • InlineSig Inline pragmas
  • SpecSig Specialization pragmas
  • SpecInstSig A specialisation pragmas for instance declarations
  • MinimalSig Minimal complete definition pragmas
  • SCCFunSig A "set cost centre" pragmas for declarations
  • CompleteMatchSig A complete match pragma
• DefD Default declaration
• ForD Foreign declaration
  • ForeignImport
  • ForeignExport
• WarningD Warning declaration
• AnnD Annotation declaration
• RuleD Rule declaration
• SpliceD Splice declaration (Includes quasi-quotes)
• RoleAnnotD Role annotation declaration

The overview is written according to ghc-8.6.4.

[mrkkrp]

@ruhatch Here you go!

[mrkkrp]

I think I divided the work into issues not granularly enough and some bits still do not have corresponding issues. Perhaps I should create more issues now.

[ruhatch]

I'm currently working on PatSynSig

[basile-henry]

I am working on the SpliceD bit! 😄

[ruhatch]

Almost there :)

[mrkkrp]

We have now complete coverage of GHC AST.