ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-20 02:07:38 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add "stub" token

Browse Source
This commit is contained in:
evan-schott 2023-10-05 11:41:44 -07:00
parent 3a58a4059b
commit 72cf2e7517
3 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/parser/src/tokenizer/lexer.rs
View File

@ -417,6 +417,7 @@ impl Token {
"self" => Token::SelfLower,
"string" => Token::String,
"struct" => Token::Struct,
"stub" => Token::Stub,
"then" => Token::Then,
"transition" => Token::Transition,
"true" => Token::True,

4
compiler/parser/src/tokenizer/token.rs
View File

@ -128,6 +128,7 @@ pub enum Token {
Mapping,
Private,
Program,
Stub,
// Public inputs.
Public,
@ -185,6 +186,7 @@ pub const KEYWORD_TOKENS: &[Token] = &[
Token::Scalar,
Token::String,
Token::Struct,
Token::Stub,
Token::Then,
Token::Transition,
Token::True,
@ -243,6 +245,7 @@ impl Token {
Token::SelfLower => sym::SelfLower,
Token::String => sym::string,
Token::Struct => sym::Struct,
Token::Stub => sym::stub,
Token::Then => sym::then,
Token::Transition => sym::transition,
Token::True => sym::True,
@ -364,6 +367,7 @@ impl fmt::Display for Token {
Return => write!(f, "return"),
SelfLower => write!(f, "self"),
Struct => write!(f, "struct"),
Stub => write!(f, "stub"),
Then => write!(f, "then"),
Transition => write!(f, "transition"),
Block => write!(f, "block"),

1
compiler/span/src/symbol.rs
View File

@ -268,6 +268,7 @@ symbols! {
owner,
_nonce,
program,
stub,
block,
height,
}