9316 commits

Author	SHA1	Message	Date
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
Agus Zubiaga	2c208f9389	Test tuple destructure suffixes	2024-11-07 18:54:20 -03:00
Agus Zubiaga	e75b1cf7a0	Check suffixes of all pattern identifiers	2024-11-07 18:54:20 -03:00
Agus Zubiaga	a31a35100b	Report suffixed pure function in literal record field	2024-11-07 18:54:20 -03:00
Agus Zubiaga	215de707fa	Report unsuffixed record literal field with effectful function	2024-11-07 18:54:20 -03:00
Agus Zubiaga	ea35094b28	Remove flex var case when checking symbol suffix	2024-11-07 18:54:20 -03:00
Agus Zubiaga	2859829ea8	Mark flex fx vars as pure after solving body	2024-11-07 18:54:19 -03:00
Agus Zubiaga	89a918cebe	Fix unifying pure with flex vars	2024-11-07 18:54:19 -03:00
Agus Zubiaga	6533e9084d	Add fx to ErrorType	2024-11-07 18:54:19 -03:00
Agus Zubiaga	8a65617704	Effectful function in docs	2024-11-07 18:54:19 -03:00
Agus Zubiaga	28f35edb2c	Add Pure/Effectful content to checkmate	2024-11-07 18:54:19 -03:00
Agus Zubiaga	025600c6a7	Fix non-sensical error message	2024-11-07 18:54:18 -03:00
Agus Zubiaga	31bc3670df	Ignore errors in statement checks	2024-11-07 18:54:18 -03:00
Agus Zubiaga	9a5a5c3462	Remove irrelevant todos	2024-11-07 18:54:18 -03:00
Agus Zubiaga	6adc6d9168	Report ignored statement results	2024-11-07 18:54:18 -03:00
Agus Zubiaga	b01771c5ae	Show effectful function name in mismatches	2024-11-07 18:54:18 -03:00
Agus Zubiaga	f666dba67d	Report effectful top-level exprs	2024-11-07 18:54:17 -03:00
Agus Zubiaga	b62665e49e	Report effectful statement in pure function	2024-11-07 18:54:17 -03:00
Agus Zubiaga	fd2493ee51	Report effect call in pure function	2024-11-07 18:54:17 -03:00