9334 commits

Author	SHA1	Message	Date
Luke Boswell	98bb9107b5	try unix instead of linux for ignore_attr	2024-11-12 09:37:04 +11:00
Luke Boswell	7295402704	try unix instead of linux for ignore_attr	2024-11-12 09:17:16 +11:00
Luke Boswell	74848bb2e5	ignore expects dev test on linux, needs further discussion	2024-11-12 09:00:37 +11:00
Luke Boswell	aad1df524f	ignore basic-cli tests on linux, broken on nix CI	2024-11-12 08:58:51 +11:00
Luke Boswell	04ab86fa8e	clippy fix	2024-11-11 22:12:07 +11:00
Luke Boswell	699bea80ad	try dont use both linkers on basic-cli tests	2024-11-11 21:59:59 +11:00
Luke Boswell	fb795dae14	update snapshots to use unix slashes	2024-11-11 21:42:24 +11:00
Luke Boswell	24a90007c5	use only unix style slashes in problem reports	2024-11-11 21:42:11 +11:00
Luke Boswell	af6a7dbf54	ensure Windows git keeps line endings consitent with Unix	2024-11-11 21:27:54 +11:00
Luke Boswell	76942e4253	ignore windows tests that aren't implemented yet	2024-11-11 21:27:46 +11:00
Luke Boswell	bc5e3f494e	fix stray dbg limiting single Thread, causes stack overflow Windows	2024-11-11 21:27:38 +11:00
Luke Boswell	def5372e1c	fix combine_tasks_with_record_builder cli test on linux	2024-11-11 20:56:51 +11:00
Luke Boswell	09bd145845	update snapshot for newline_in_packages syntax test	2024-11-11 20:04:12 +11:00
Luke Boswell	9465b29376	fix test reporting	2024-11-11 19:47:55 +11:00
Luke Boswell	fc315f7c67	revert separate test platform commits	2024-11-11 16:59:08 +11:00
Luke Boswell	a04c173178	use older syntax for rerun-if-changed	2024-11-11 14:20:01 +11:00
Luke Boswell	fc0f938e5c	fix test_reporting	2024-11-11 14:07:52 +11:00
Luke Boswell	e4fd9ce434	use crate for test-platform-simple-zig	2024-11-11 13:22:19 +11:00
Luke Boswell	f84aad1967	move effectful test platform into rust crate	2024-11-11 12:58:51 +11:00
Luke Boswell	e4d0115ca4	Merge remote-tracking branch 'remote/main' into rebuild-platform	2024-11-11 11:55:06 +11:00
Luke Boswell	aa98706547	complete merge remote/main into rebuild-platform	2024-11-11 11:32:46 +11:00
Luke Boswell	8a566dc339	WIP	2024-11-11 10:22:58 +11:00
Anton-4	4249cd4784	ignore test debug exceptions in all contexts	2024-11-09 13:51:46 +01:00
Anton-4	219ebe084a	update everything to basic-cli 0.16.0	2024-11-08 15:51:20 +01:00
Agus Zubiaga	7f8149d386	Ignore all but one cli_run effectful tests on Linux ... Things go wrong when multiple tests depend on the same platform on Linux. Tried a few workarounds but the problem persisted. We decided to keep only one test for now.	2024-11-07 19:11:57 -03:00
Agus Zubiaga	5641884669	Update regions in suffixed tests	2024-11-07 18:54:25 -03:00
Agus Zubiaga	bc0cfef128	Restore UNNCESSARY DEFINITION errors for top-level defs ... Non-top-level defs are already covered	2024-11-07 18:54:25 -03:00
Agus Zubiaga	a4296ca19d	Improve wording in pattern suffix errors	2024-11-07 18:54:25 -03:00
Agus Zubiaga	1e835bbb17	Fix 'right-hand side' typo in errors	2024-11-07 18:54:25 -03:00
Agus Zubiaga	935d460236	Use plural 'effects' in FxInTopLevel error	2024-11-07 18:54:25 -03:00
Agus Zubiaga	2fdd1ef98f	Add explicit error for EffectfulFunc in layout	2024-11-07 18:54:24 -03:00
Agus Zubiaga	5848a3e926	Do not error when encountering EffectfulFunc in lambda_set_size	2024-11-07 18:54:24 -03:00
Agus Zubiaga	1a3d8cef78	Return early when encountering ! in an ident	2024-11-07 18:54:24 -03:00
Agus Zubiaga	a0f4b38ee9	Update region when desugaring ! in Task mode	2024-11-07 18:54:24 -03:00
Agus Zubiaga	46e808dc3a	Refactor if-let to let-else-continue	2024-11-07 18:54:24 -03:00
Agus Zubiaga	dae10d10fb	Do not alias ClosureData.fx_type in pattern matches	2024-11-07 18:54:23 -03:00
Agus Zubiaga	b31b30c468	Print fx_suffix_constraints in Debug impl for Constraints	2024-11-07 18:54:23 -03:00
Agus Zubiaga	2e5c143a0b	Explicit message for StmtAfterExpr in desugar	2024-11-07 18:54:23 -03:00
Agus Zubiaga	e3c6b756d3	Make sure to drop suffix from symbols exposed to the host	2024-11-07 18:54:23 -03:00
Agus Zubiaga	be0afbce25	update ui test	2024-11-07 18:54:23 -03:00
Agus Zubiaga	de2260e67a	Add simple effectful cli run tests	2024-11-07 18:54:22 -03:00
Agus Zubiaga	ca7697db91	update mono tests: ids increase because of new fx vars	2024-11-07 18:54:22 -03:00
Agus Zubiaga	5f5e123bfd	Expect only one problem in test_can::shadow_annotation ... This is because the NoIdentifiersIntroduced error was moved to the type checker.	2024-11-07 18:54:22 -03:00
Agus Zubiaga	a2f940be4e	Use byte literal instead of cast and ignore too_many_args	2024-11-07 18:54:22 -03:00
Agus Zubiaga	c9f001b041	Allow ignored defs with an effectful RHS	2024-11-07 18:54:22 -03:00
Agus Zubiaga	175a2b5683	Add hint about forgetting to call a function	2024-11-07 18:54:21 -03:00
Agus Zubiaga	cfc4be5254	Treat untyped suffixed functions as effectful	2024-11-07 18:54:21 -03:00
Agus Zubiaga	af6fc6306f	Treat untyped unsuffixed functions as pure	2024-11-07 18:54:21 -03:00
Agus Zubiaga	70fa4d036c	Test opaque destructure suffixes	2024-11-07 18:54:21 -03:00
Agus Zubiaga	a0783c3132	Test tag destructure suffixes	2024-11-07 18:54:21 -03:00