Skip to content

Parser and type analysis for the Go programming language

License

Notifications You must be signed in to change notification settings

GaloisInc/golang

Repository files navigation

Golang

This is a parser frontend for the Go programming language designed to be used with goblin.

The abstract syntax and type definitions are in AST.hs and Types.hs, respectively. Rec.hs contains generic combinators for folding over the syntax.

The frontend proceeds in three phases:

  1. The JSON parser (Parser.hs) deserializes a JSON-encoded AST produced by goblin.
  2. The desugaring pass (Desugar.hs) performs various (purely syntactic) transformations.
  3. The renamer (Renamer.hs) fills in missing qualifiers so that all global identifiers become fully qualified.

About

Parser and type analysis for the Go programming language

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published