921 commits

Author	SHA1	Message	Date
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	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	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	e75b1cf7a0	Check suffixes of all pattern identifiers	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	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	69e026f8bb	Leftover statement warning for pure statements	2024-11-07 18:54:16 -03:00
Agus Zubiaga	6e6382ab23	Canonicalize and constrain statement expr in purity inference mode	2024-11-07 18:54:15 -03:00
Agus Zubiaga	460fa693fd	Desugar stmt expr before checking whether it's suffixed	2024-11-07 18:54:15 -03:00
Agus Zubiaga	01c94050c8	Detect fx mode based on hosted module	2024-11-07 18:54:15 -03:00
Agus Zubiaga	fd3fb16f7a	Add TODO to remove TryTarget::Task	2024-11-07 18:54:15 -03:00
Agus Zubiaga	aeeaab4b99	Desugar idents ending in ! to TrySuffix	2024-11-07 18:54:14 -03:00
Agus Zubiaga	7a7650c11d	Parse lowercase idents ending in !	2024-11-07 18:54:14 -03:00
Agus Zubiaga	2cce5ad023	Allow unsuffixed statements in parser ... Moves the "STATEMENT AFTER EXPRESSION" error from the parser to canonicalization. We'll later use this to allow this case in effectful functions.	2024-11-07 18:54:14 -03:00
Agus Zubiaga	bc3ab0186a	Generate effectful hosted functions	2024-11-07 18:54:13 -03:00
Agus Zubiaga	7af05cc6c9	Constrain function annotation fx to body	2024-11-07 18:54:13 -03:00
Agus Zubiaga	b9b85a222f	Do not use const fx vars when canonicalizing annotations	2024-11-07 18:54:13 -03:00
Agus Zubiaga	7776883262	Unify functions fx vars	2024-11-07 18:54:13 -03:00
Agus Zubiaga	5a5abe3bc5	Unify call's fx var with that of the enclosing function	2024-11-07 18:54:12 -03:00
Agus Zubiaga	e8d7820f34	Add fx var to can's Call	2024-11-07 18:54:12 -03:00
Agus Zubiaga	3cef756559	Add fx var to Type::Function et al	2024-11-07 18:54:12 -03:00
Agus Zubiaga	75177c9c98	Rename effect_type to fx_type and add to FunctionDef	2024-11-07 18:54:12 -03:00
Agus Zubiaga	386a5055ee	Add effect_type to can ClosureData	2024-11-07 18:54:11 -03:00
Agus Zubiaga	ef4eeb5c1a	Parse effectful arrow in function annotations	2024-11-07 18:54:11 -03:00
Sam Mohr	de124ecc3e	Finish adding tests	2024-11-02 21:58:25 -07:00
Sam Mohr	71b1fdebc4	Add canonicalization tests	2024-11-02 13:37:10 -07:00
Sam Mohr	b43a9e3edb	Remove out-of-date comment	2024-11-02 09:51:55 -07:00
Sam Mohr	308defac46	Implement the try keyword with desugaring	2024-11-01 17:34:11 -07:00
Sam Mohr	facad9943d	Fix clippy issue	2024-10-29 20:30:27 -07:00
Sam Mohr	66cc96edbb	Address PR comments from @ayazhafiz	2024-10-29 15:58:35 -07:00
Sam Mohr	346a2d9467	Simplify tail-call checks	2024-10-26 16:29:14 -07:00
Sam Mohr	33d868117f	Fix clippy issue	2024-10-26 06:56:32 -07:00
Sam Mohr	39687fdb97	Merge branch 'main' into return-keyword	2024-10-26 06:50:16 -07:00
Sam Mohr	a9cd6ac5fa	Fix tailcalling	2024-10-26 06:48:01 -07:00
Sam Mohr	6a2ffb2f5a	Implement most of the recent round of PR feedback	2024-10-26 04:17:50 -07:00
Ayaz	e1183e58e5	Merge pull request #7179 from JRI98/unused_emptytuple ... Remove unused EmptyTuple variant from FlatType enum	2024-10-25 09:19:57 -04:00
Sam Mohr	ca762127e5	Fix formatting and clippy errors	2024-10-24 23:11:20 -07:00
Sam Mohr	294f0c0d1f	Merge branch 'main' into return-keyword	2024-10-24 23:01:10 -07:00
JRI98	edd0bb553d	Remove unused EmptyTuple variant from FlatType enum	2024-10-22 16:29:53 +01:00
Richard Feldman	8997c80573	Remove deprecated roc_collections::soa things	2024-10-21 23:17:20 -04:00
Richard Feldman	d796b3ec74	Update insta tests	2024-10-21 23:09:55 -04:00
Richard Feldman	c9c7156db5	Fix insta tests	2024-10-21 22:10:44 -04:00
Richard Feldman	e589923ae8	Make collections::soa use the soa crate	2024-10-21 22:10:43 -04:00
Richard Feldman	44d00e1f13	Updates for making soa no_std	2024-10-21 22:10:43 -04:00