文件列表:

LICENSE (1525, 2023-08-03)
Setup.hs (46, 2023-08-03)
cabal.project.dist (12, 2023-08-03)
golang.cabal (2220, 2023-08-03)
src/ (0, 2023-08-03)
src/Language/ (0, 2023-08-03)
src/Language/Go/ (0, 2023-08-03)
src/Language/Go/AST.hs (28792, 2023-08-03)
src/Language/Go/Desugar.hs (9395, 2023-08-03)
src/Language/Go/Parser.hs (16124, 2023-08-03)
src/Language/Go/Rec.hs (1857, 2023-08-03)
src/Language/Go/Rename.hs (6168, 2023-08-03)
src/Language/Go/Types.hs (3799, 2023-08-03)
stack.yaml (2324, 2023-08-03)

Golang ====== This is a parser frontend for the Go programming language designed to be used with [goblin](https://github.com/galoisinc/goblin). The abstract syntax and type definitions are in [AST.hs](https://github.com/GaloisInc/golang/blob/master/src/Language/Go/AST.hs) and [Types.hs](https://github.com/GaloisInc/golang/blob/master/src/Language/Go/Types.hs), respectively. [Rec.hs](https://github.com/GaloisInc/golang/blob/master/src/Language/Go/Rec.hs) contains generic combinators for folding over the syntax. The frontend proceeds in three phases: 1) The JSON parser ([Parser.hs](https://github.com/GaloisInc/golang/blob/master/src/Language/Go/Parser.hs)) deserializes a JSON-encoded AST produced by goblin. 2) The desugaring pass ([Desugar.hs](https://github.com/GaloisInc/golang/blob/master/src/Language/Go/Desugar.hs)) performs various (purely syntactic) transformations. 3) The renamer ([Renamer.hs](https://github.com/GaloisInc/golang/blob/master/src/Language/Go/Renamer.hs)) fills in missing qualifiers so that all global identifiers become fully qualified.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：