ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
bd356e1f31
leo/compiler/parser
History
gluax 124e6b2e9b
[Impl] Ast Visitor (#1769) 
* visitor pattern

* merge upstream, regen grammar readme

* rename reducer to passes

* update comments to properly reflect visitor

* fmt and clippy fixes

* fix comments

Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
2022-04-22 16:05:50 -07:00
..
benches restructure compiler and delete unused code 2022-02-22 15:12:52 -08:00
examples fixed ci 2022-03-15 17:15:08 -07:00
src [Impl] Ast Visitor (#1769) 2022-04-22 16:05:50 -07:00
Cargo.toml implement real address literal check 2022-04-13 15:21:08 -07:00
README.md restructure compiler and delete unused code 2022-02-22 15:12:52 -08:00

README.md

Leo Parser

Crates.io Authors License

This directory contains the code to tokenize, lex and parse Leo files to the Leo AST.

Tokenizer

The tokenizer contains all tokens in Leo. It also decides which tokens are keywords. Meaning that keywords are a subset of tokens. The lexer goes through character by character as bytes, and converts the bytes into the tokens.

Tokens

Bolded ones are also keywords.

Literals

  • CommentLine
  • CommentBlock
  • StringLit
  • Ident
  • Int
  • True
  • False
  • AddressLit
  • CharLit

Symbols

  • At
  • Not
  • And (&&)
  • Ampersand (&)
  • Or
  • Eq
  • NotEq
  • Lt
  • LtEq
  • Gt
  • GtEq
  • Add
  • Minus
  • Mul
  • Div
  • Exp
  • Assign
  • AddEq
  • MinusEq
  • MulEq
  • DivEq
  • ExpEq
  • LeftParen
  • RightParen
  • LeftSquare
  • RightSquare
  • LeftCurly
  • RightCurly
  • Comma
  • Dot
  • DotDot
  • DotDotDot
  • Semicolon
  • Colon
  • DoubleColon
  • Question
  • Arrow
  • Underscore

Types

  • U8
  • U16
  • U32
  • U64
  • U128
  • I8
  • I16
  • I32
  • I64
  • I128
  • Field
  • Group
  • Bool
  • Address
  • Char
  • BigSelf

Words

  • Input
  • LittleSelf
  • Import
  • As
  • Circuit
  • Console
  • Const
  • Else
  • For
  • Function
  • If
  • In
  • Let
  • Return
  • Static
  • String

Meta

  • Eof

Parser

The parser converts the tokens to the Leo AST.

The parser is broken down to different files that correspond to different aspects of the AST:

  • File - Parses the top level nodes in Leo.

  • Types - Parses the type declarations in Leo.

  • Statements - Parses the different kinds of statements.

  • Expressions - Parses the different kinds of expressions.

    For more information on those please read the Leo AST README, linked above.

Grammar Relation

All function and token names are as close as possible to the Leo Grammar