github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

allow underscore before type suffix

Browse source
This commit is contained in:
dark64 2021-04-08 12:00:28 +02:00
parent 80ff39d428
commit a5129fb8f0
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
zokrates_parser/src/ace_mode/index.js
View file

@ -45,8 +45,9 @@ ace.define("ace/mode/zokrates_highlight_rules",["require","exports","module","ac
}, "identifier");
var decimalInteger = "(?:(?:[1-9]\\d*)|(?:0))";
var decimalSuffix = "(?:_?(?:f|u(?:8|16|32|64)))?";
var hexInteger = "(?:0[xX][\\dA-Fa-f]+)";
var integer = "(?:" + decimalInteger + "|" + hexInteger + ")\\b";
var integer = "(?:" + decimalInteger + decimalSuffix "|" + hexInteger + ")\\b";
this.$rules = {
"start": [

2
zokrates_parser/src/zokrates.pest
View file

@ -106,7 +106,7 @@ identifier = @{ ((!keyword ~ ASCII_ALPHA) | (keyword ~ (ASCII_ALPHANUMERIC | "_"
literal = { hex_literal | decimal_literal | boolean_literal }
decimal_literal = ${ decimal_number ~ decimal_suffix? }
decimal_literal = ${ decimal_number ~ ("_"? ~ decimal_suffix)? }
decimal_number = @{ "0" | ASCII_NONZERO_DIGIT ~ ASCII_DIGIT* }
decimal_suffix = { decimal_suffix_u8 | decimal_suffix_u16 | decimal_suffix_u32 | decimal_suffix_u64 | decimal_suffix_field }
decimal_suffix_u8 = { "u8" }