129 Commits

Author	SHA1	Message	Date
collin	3b62e3cc97	fix bugs	2022-06-01 13:49:55 -04:00
collin	a230bd1477	remove char	2022-05-26 16:53:57 -04:00
collin	3de06095ed	cargo fmt	2022-05-26 16:48:34 -04:00
collin	2327bca617	implement static string type	2022-05-26 16:43:18 -04:00
collin	84c0a82008	add string type to tokenizer + lexer	2022-05-26 15:55:37 -04:00
collin	e34c35f1b0	merge testnet3	2022-05-25 14:28:03 -04:00
collin	65408acbb5	fix lexer test	2022-05-25 14:10:15 -04:00
collin	8d79193474	merge testnet3	2022-05-25 14:02:10 -04:00
Mazdak Farrokhzad	620b3525d4	misc parser tweaks	2022-05-24 16:48:58 +02:00
collin	b8780e888d	merge testnet3	2022-05-20 10:39:21 -04:00
collin	119c191836	merge testnet3	2022-05-18 14:29:54 -04:00
Collin Chin	4ce11080b5	Merge pull request #1825 from AleoHQ/fix-loop-end-inclusive ... [parser] Fix to disallow inclusive loop ending bound.	2022-05-18 14:17:32 -04:00
Mazdak Farrokhzad	4237a52696	simplify eat_identifier	2022-05-18 14:46:45 +02:00
Mazdak Farrokhzad	882f2e5454	remove char type + literals	2022-05-18 14:33:04 +02:00
Mazdak Farrokhzad	7f435eba48	remove expression statements	2022-05-17 14:41:30 +02:00
Alessandro Coglio	b1baf90719	[parser] Adhere to style.	2022-05-16 21:27:29 -07:00
Alessandro Coglio	1761b80578	[parser] Fix to disallow including loop ending bound. ... This is not part of the current version of Leo (cf. ABNF grammar and Leo Reference). Adapt tests.	2022-05-16 21:24:42 -07:00
Alessandro Coglio	4989c50409	[parser] Attempt to fix style check.	2022-05-14 00:03:55 -07:00
Alessandro Coglio	21616fe167	[parser] Remove the input keyword. ... This is also not in the current grammar, and it does not look like it is going to be re-added.	2022-05-13 23:50:33 -07:00
Alessandro Coglio	2fbaf759db	[parser] Remove mut and type keywords. ... As discussed, these are no longer in the grammar. If and when we need them, we will re-add them. This also removes some extra code that gives a specific error when mut is used. However, that is in fact another bug, because `mut` is a valid identifier in the current grammar, and thus this extra code unjustly rejects code that uses `mut` as an identifier. Adjust some tests and expectations.	2022-05-13 23:36:08 -07:00
collin	f6aa7a578a	merge testnet3	2022-05-13 12:33:35 -07:00
collin	bacc0d7510	merge testnet3	2022-05-12 13:18:43 -07:00
collin	c8de6826c2	preserve char scalar nonscalar	2022-05-12 13:16:25 -07:00
Mazdak Farrokhzad	8d915339a0	span refactor: fix build + simplify &span	2022-05-12 16:24:17 +02:00
Mazdak Farrokhzad	8bf06ed872	add remark re. parser benchmarks	2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad	2d6e737f7e	span refactor: fix bench	2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad	01a23f6e6e	cargo clippy + similar	2022-05-12 16:12:31 +02:00
Mazdak Farrokhzad	a5ad874ffb	spans: use source map backing	2022-05-12 16:09:18 +02:00
collin	8f17d6294a	rename scalar -> primitive	2022-05-11 14:09:12 -07:00
Alessandro Coglio	62f2267c2b	[parser] Fix parsing of ordering expressions. ... Follow the grammar rule. The ordering operators are not associative. Split previous tests into succeeding and failing ones. Refresh expectations of old test files. Add expectations of new test files.	2022-05-10 23:32:46 -07:00
collin	60f6b77629	add scalar operation type checking	2022-05-10 16:26:35 -07:00
collin	55260ae5ad	add scalar type to ast	2022-05-10 15:34:42 -07:00
collin	9fe4a7281b	add scalar type to parser	2022-05-10 15:20:04 -07:00
collin	c1d36ee62e	remove const function code	2022-05-10 11:57:23 -07:00
Collin Chin	be9fa96d9e	Merge pull request #1786 from AleoHQ/feature/type-checking ... [Impl] type-checking	2022-05-10 11:17:44 -07:00
gluax	d33e69bac8	re-introduce some disabled tests, fix some	2022-05-05 15:38:55 -07:00
collin	214f6bf5d7	make comments consistent	2022-05-04 15:44:41 -07:00
gluax	4fb95d1195	initial commit for tc, adds get_type to Node	2022-05-03 11:26:56 -07:00
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
collin	3da1ac802e	reorder dependencies	2022-04-29 13:09:27 -07:00
gluax	8cb8c153fc	call appropiate input parse function, make suggested changes	2022-04-28 12:26:05 -07:00
gluax	8c7fe53ff6	fix leo input parser bug	2022-04-27 11:52:06 -07:00
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
collin	f89966fe32	merge testnet3	2022-04-21 14:37:33 -07:00
Collin Chin	23fca6af47	Merge pull request #1751 from AleoHQ/abnf-bidi-overrides ... [ABNF] disallow bidi override codepoints	2022-04-20 09:34:00 -07:00
collin	15660a3ed7	cargo fmt	2022-04-19 14:01:01 -07:00
Eric McCarthy	4fa12a0b33	[lexer] return error if bidi override code point seen in comment, character, or string	2022-04-19 13:00:10 -07:00
gluax	98c7ced6fe	merge upstream testnet3	2022-04-19 12:58:28 -07:00
Collin Chin	645b5a2be7	Merge pull request #1750 from AleoHQ/address-check ... Address check	2022-04-19 12:56:27 -07:00
Collin Chin	f002637d73	Merge pull request #1748 from AleoHQ/parser-refactor ... Parser: store current + previous tokens	2022-04-19 12:55:46 -07:00