328 commits

Author	SHA1	Message	Date
Joshua Warner	d52595738f	Add missing indent call in import	2024-12-15 18:33:50 -08:00
Joshua Warner	2dd4fe03f8	Correctly update newline and indent state in multiline strings	2024-12-15 18:33:50 -08:00
Joshua Warner	a15998872d	Also conservatively check for spaces at the beginning of the pattern	2024-12-15 18:33:50 -08:00
Joshua Warner	c54b01016e	Disallow eliding empty record destructure assignment if expr looks like an implements clause (fixes #7366)	2024-12-15 18:33:49 -08:00
Joshua Warner	f86f440f2f	Force initial newline in multiline ability def (fixes #7365)	2024-12-15 18:33:48 -08:00
Joshua Warner	abde9e86b1	lift spaces in backpassing (fixes #7364)	2024-12-15 18:33:48 -08:00
Joshua Warner	db95ff54cf	Generalize multiline string handling in patterns	2024-12-15 18:33:48 -08:00
Joshua Warner	7cb2d83168	Ensure we don't over-indent in type headers (fixes #7358)	2024-12-15 18:33:47 -08:00
Joshua Warner	d82accf83d	Don't remove empty record assignment if body looks like an expect	2024-12-15 18:33:47 -08:00
Joshua Warner	2389040b39	Fix return backpassing case	2024-12-13 13:45:12 -08:00
Joshua Warner	3acc6940b4	Fix parenthesized spaces in tag unions	2024-12-13 13:45:12 -08:00
Joshua Warner	02e07f95e7	Fix when indent in the presence of weird multiline patterns	2024-12-13 13:45:12 -08:00
Joshua Warner	1d51f5fbec	Don't eliminate empty record assignment for a return	2024-12-13 13:45:11 -08:00
Joshua Warner	f233c5328d	lift to spaces in ann_lift_to_node default case	2024-12-13 13:45:11 -08:00
Joshua Warner	d3426ebce1	Fix empty SpaceBefore instance	2024-12-13 13:45:11 -08:00
Joshua Warner	f1d9667ea0	Fix multiline str pattern newline multiplication	2024-12-13 13:45:11 -08:00
Joshua Warner	16c3d4e512	Don't drop spaces before return	2024-12-13 13:45:10 -08:00
Joshua Warner	5a6e0f546b	Generalize RecordAccess special-cases to include TupleAccess	2024-12-13 13:45:10 -08:00
Joshua Warner	d66f51db7b	Don't mix spaces before/after the field separator	2024-12-13 13:45:10 -08:00
Joshua Warner	2857833c35	Normalize return's 'after'	2024-12-13 13:45:10 -08:00
Joshua Warner	17849ca556	Fully normalize in expr record-like things, during formatting	2024-12-13 13:45:10 -08:00
Joshua Warner	f5cd0568dd	Fix newlines after multiline apply func pattern (#7342)	2024-12-13 13:45:09 -08:00
Joshua Warner	8701b922b4	Fix missing indent call (#7346)	2024-12-13 13:45:09 -08:00
Joshua Warner	07f7252573	Implement better comparisons between alias and body	2024-12-13 13:45:09 -08:00
Joshua Warner	8b3abafa08	Force newlines after multi-line tuple pattern elements	2024-12-13 13:45:09 -08:00
Joshua Warner	0cc16b0d2c	Fix bug with when not passing down options	2024-12-13 13:45:09 -08:00
Joshua Warner	3f2117403e	Fix bug found in the wild via fuzzing, move fuzzing job to the end	2024-12-11 18:39:15 -08:00
Joshua Warner	a5bcf55d08	Implement initial version of fuzzing in CI (#7316) ... * Implement initial version of fuzzing * try nix config * try rustup * rustup run * Fix syntax * wip * specific nightly * wip * specific nightly with+ * install * locked	2024-12-11 12:57:24 +01:00
Joshua Warner	04612fb2cb	Fix as pattern formatting inside apply	2024-12-10 18:55:40 -08:00
Joshua Warner	6b636d9539	Set up module ids properly	2024-12-09 21:24:10 -08:00
Joshua Warner	cbd6d50584	Give an error instead of panicking on an empty tuple type	2024-12-09 21:24:09 -08:00
Joshua Warner	519bf534b2	Remove commented import	2024-12-07 09:11:52 -08:00
Joshua Warner	b4fa7294c7	Extend test_syntax to check that canonicalization doesn't panic on the input ... Importantly, this would have caught the issue discovered in #7279, prior to that landing on main.	2024-12-06 17:13:10 -08:00
Joshua Warner	0855ffd9fb	Feedback: Add comment about not updating fuzz's Cargo.toml	2024-12-05 18:54:25 -08:00
Joshua Warner	dfcb7a0c3b	Ensure formatted multiline patterns can be parsed	2024-12-05 18:54:21 -08:00
Joshua Warner	78cda703d9	Fixup negative allowance in calls	2024-12-05 18:54:20 -08:00
Joshua Warner	1be2075e7f	Make sure ext's can't slurp surrounding apply args	2024-12-05 18:54:19 -08:00
Joshua Warner	fc74b67d86	Flesh out expr_lift_spaces, in particular handling DbgStmt properly	2024-12-05 18:54:19 -08:00
Joshua Warner	5c387857ff	Indented seq parsing for imports	2024-12-05 18:54:18 -08:00
Joshua Warner	2163b28390	Fix formatting of newlines in parens in a function type	2024-12-05 18:54:18 -08:00
Joshua Warner	cae47cf2a6	Fix expr_lift_spaces of Closure	2024-12-05 18:54:17 -08:00
Joshua Warner	19f8cc532a	Disallow conditionals after neg/not	2024-12-05 18:54:17 -08:00
Joshua Warner	7eb9909ac5	Make parsing of conditionals consistent between stmts/exprs	2024-12-05 18:54:16 -08:00
Joshua Warner	e47d7924d3	Fix parsing crash with dollar escapes	2024-12-05 18:54:15 -08:00
Joshua Warner	89a64fed74	Don't do empty record destructure elision when the body is itself Defs	2024-12-05 18:54:15 -08:00
Joshua Warner	cabe67f88d	Only allow indented else if there's a newline after the else	2024-12-05 18:54:14 -08:00
Joshua Warner	48c941d542	Add lifting for ext values in types	2024-12-05 18:54:14 -08:00
Joshua Warner	64164eb1f4	Make sure patterns continue to parse as such	2024-12-05 18:54:13 -08:00
Joshua Warner	ea1ecb9e68	Fix lifting of backpassing	2024-12-05 18:54:12 -08:00
Joshua Warner	2098ccd137	Fix multiline pattern in body, which may only apply to multiline strings	2024-12-05 18:54:12 -08:00