Alessandro Coglio
Alessandro Coglio
## 🚀 Feature LF is used on Unix/Linux/macOS. CR LF is used on Windows, as well as in some Internet standards like ABNF itself. CR was used in Classic Mac...
## 🐛 Bug Report It looks like `tokenize` does not increment the line number when reading a string literals that may include line terminators. Not `\n` or `\r` escapes, but...
## 🐛 Bug Report It looks like the code to lex end-of-line comments https://github.com/AleoHQ/leo/blob/27921a61e69f222d7b9975079d3867db7d028611/compiler/parser/src/tokenizer/lexer.rs#L303-L314 only regards LF (possibly preceded by CR) as ending the comment, but not CR without a...
## 🐛 Bug Report It looks like the code https://github.com/AleoHQ/leo/blob/27921a61e69f222d7b9975079d3867db7d028611/compiler/parser/src/tokenizer/mod.rs#L76-L85 only counts line feeds as line terminators, which will work for LF as well as CR LF line terminators, but...
1. Since `tokenize` checks `index < input.len()` just before calling `eat` on `input[index..]`, should the test `input_tendril.is_empty()` at the beginning of `eat` always fail and its body be unreachable code?...
## 🐛 Bug Report The ABNF grammar defines whitespace as consisting of space, horizontal tab, line feed, and carriage return: https://github.com/AleoHQ/leo/blob/8bce3a396a8691ad1f7045b56814f6bb4d9e5a31/grammar/abnf-grammar.txt#L358 https://github.com/AleoHQ/leo/blob/8bce3a396a8691ad1f7045b56814f6bb4d9e5a31/grammar/abnf-grammar.txt#L362 The lexer adds form feed to that list:...
## 🚀 Feature Currently the ABNF grammar specifies ``` whitespace = space / horizontal-tab / newline newline = line-feed / carriage-return / carriage-return line-feed horizontal-tab = %x9 ; line-feed =...
## 💥 Proposal Since the notion of member function is being extended from circuit types to non-circuit types (e.g. for bit/byte conversions), it makes more sense to declare member functions...
## 🐛 Bug Report The code ``` function main(x: u8) -> bool { if x < 10 { return false; } return true; } ``` gives the error ``` Error...