Generate serialised Protobuf output from frontend - Githubissues

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!

MIT License

548 stars 53 forks source link

Generate serialised Protobuf output from frontend #71

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

Given a filename, the frontend should:

Lex and parse program from file
Type the parsed AST
Check well-formedness of regions' declarations and annotations
Desugar typed AST
Output desugared typed AST as serialised Protobuf file