10297 commits

Author	SHA1	Message	Date
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
Isaac Van Doren	f9ff551de1	update tests	2024-11-10 18:51:02 -06:00
Isaac Van Doren	75ebcbe952	add docs	2024-11-10 18:39:29 -06:00
Isaac Van Doren	ec59acea89	add List.splitOnList	2024-11-10 18:34:34 -06:00
Luke Boswell	aa98706547	complete merge remote/main into rebuild-platform	2024-11-11 11:32:46 +11:00
Isaac Van Doren	0a7e98ab65	add List.splitOn	2024-11-10 18:20:31 -06:00
Luke Boswell	8a566dc339	WIP	2024-11-11 10:22:58 +11:00
Sam Mohr	dcc7f5e248	Merge branch 'main' into constrain-early-return-functions	2024-11-09 21:51:30 -08:00
Agus Zubiaga	6d0cec253d	Add List.forEachTry! builtin	2024-11-09 23:13:49 -03:00
Agus Zubiaga	ce568c01c1	Add List.forEach! builtin	2024-11-09 22:23:19 -03:00
Agus Zubiaga	644702a2b3	Add Result.onErr! builtin	2024-11-09 22:17:33 -03:00
Isaac Van Doren	45b50bd131	add List.splitAt	2024-11-09 17:16:21 -06:00
Anton-4	4249cd4784	ignore test debug exceptions in all contexts	2024-11-09 13:51:46 +01:00
Richard Feldman	2c2a45d9d9	Monomorphize numbers	2024-11-09 00:44:27 -05:00
Agus Zubiaga	ecc5fa57dd	Check record field suffixes in annotations	2024-11-09 02:06:05 -03:00
Agus Zubiaga	12c735644f	Do not warn about pure functions in suffixed record literal fields ... Records fields that allow effectful functions, should also accept pure functions.	2024-11-09 01:05:06 -03:00
Richard Feldman	8b73efc2ec	Test monomorphizing string literals	2024-11-08 21:07:29 -05:00
Richard Feldman	7b80489772	Fill out some more mono expr types	2024-11-08 19:20:33 -05:00
Anton-4	219ebe084a	update everything to basic-cli 0.16.0	2024-11-08 15:51:20 +01:00
Sam Mohr	9a2b99c148	Constrain early returns in functions in addition to closures	2024-11-08 00:05:56 -08:00
Richard Feldman	ed6ad1bc82	Get a failing specialize_expr test	2024-11-08 00:55:04 -05: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