Jonas Schievink 85f5cbc9dc Move remove_bounds to edit.rs		2020-07-14 13:33:37 +02:00
..
ast	Move remove_bounds to edit.rs	2020-07-14 13:33:37 +02:00
parsing	Comment decorations	2020-07-12 02:23:41 +02:00
validation	Introduce EffectExpr	2020-05-02 11:21:39 +02:00
algo.rs	Update the rest of the tests	2020-06-29 17:23:01 +02:00
ast.rs	Separating parsing of for in predicates and types	2020-06-10 11:30:58 +01:00
fuzz.rs	Rename AtomTextEdit -> Indel	2020-05-05 23:15:49 +02:00
lib.rs	Implement APIs for parsing expressions, types, paths, patterns and items	2020-06-21 22:28:17 +10:00
parsing.rs	Implement APIs for parsing expressions, types, paths, patterns and items	2020-06-21 22:28:17 +10:00
ptr.rs	Convert code to text-size	2020-04-25 11:59:18 +02:00
syntax_error.rs	Convert code to text-size	2020-04-25 11:59:18 +02:00
syntax_node.rs	Small refactor	2020-05-31 21:39:19 +03:00
tests.rs	Make slow test parallel	2020-07-11 12:56:44 +02:00
validation.rs	Some FIXMEs were outdated:	2020-05-24 13:17:16 +02:00