439 commits

Author	SHA1	Message	Date
J.Teeuwissen	b28b32cdc4	moved Ownership to borrow	2023-01-09 18:15:34 +01:00
J.Teeuwissen	a11d94aee2	Replaced equality check with enum	2023-01-06 08:55:13 +01:00
J.Teeuwissen	be73d3cfc4	Removed !	2023-01-06 08:54:44 +01:00
J.Teeuwissen	1f10d0cb92	Added traits and updated remaining borrowed	2023-01-05 12:02:20 +01:00
J.Teeuwissen	09f9df1f40	specification	2023-01-04 15:43:21 +01:00
J.Teeuwissen	6ec977bf1c	imports	2023-01-04 13:34:31 +01:00
J.Teeuwissen	6c95bc1fb9	replace borrowed boolean with ownership enum	2023-01-04 13:30:42 +01:00
Ayaz Hafiz	68a1589663	Unwrap interned layout	2022-12-29 18:48:00 -06:00
Ayaz Hafiz	1ae3c3b0f8	Fix type error in niche unpacking	2022-12-29 18:45:20 -06:00
Ayaz Hafiz	bf12e9e928	Lift docs for captures niches	2022-12-29 18:45:00 -06:00
Ayaz Hafiz	6722dc3b84	Hide away the niche representation	2022-12-29 18:44:39 -06:00
Ayaz Hafiz	321ac0b06f	s/CapturesNiche/Captures	2022-12-29 18:43:45 -06:00
Ayaz Hafiz	039bab65f5	Remove unused imports	2022-12-29 18:43:28 -06:00
Ayaz Hafiz	972046445b	Lift Niche from just captures-niche to generic niche	2022-12-29 18:43:26 -06:00
Ayaz	ea53a50447	Merge pull request #4836 from roc-lang/intern-layouts-2 ... Intern list element layouts and thread mut layout interner through LLVM backend	2022-12-29 18:41:35 -06:00
Ayaz	858670fac7	Merge pull request #4833 from roc-lang/intern-layouts ... Intern all the layouts	2022-12-29 18:28:44 -06:00
Ayaz Hafiz	abf248372d	Fix clippy lint	2022-12-29 12:59:01 -06:00
Ayaz Hafiz	d6669aed2e	Don't assume tag id is in the tag arguments in making decision tree	2022-12-29 12:26:13 -06:00
Ayaz Hafiz	3aab378bab	Correct pattern matching of nullable wrapped tag unions ... The nullable ID always has zero tags. For everything else, we should just match with the arity of the number of arguments, which doesn't include the tag ID.	2022-12-29 12:22:05 -06:00
Ayaz Hafiz	d59b137f45	Implement printing of nullable wrapped IR layouts	2022-12-29 12:17:46 -06:00
Ayaz Hafiz	58930cc96c	Correct ircheck of nullable-wrapped unions	2022-12-29 12:10:23 -06:00
Ayaz	d6c32ded7d	Merge pull request #4829 from roc-lang/fix-holl-reference-borrow ... Collect references to functions passed to HOLLs in borrow inference	2022-12-29 09:15:26 -06:00
Ayaz Hafiz	e4b5252e51	List takes interned element	2022-12-29 08:52:37 -06:00
Ayaz Hafiz	ed9804248c	Unnecessary mut ref	2022-12-28 18:52:45 -06:00
Ayaz Hafiz	1878fc1c4f	Allow too many args	2022-12-28 18:52:26 -06:00
Ayaz Hafiz	7ab7fdfa7b	Push interned layouts as mut throughout the backend, and intern box layouts	2022-12-28 18:51:26 -06:00
Ayaz Hafiz	1aa89fc567	Remove dead code	2022-12-28 17:08:05 -06:00
Ayaz Hafiz	58a28bb7b8	Intern unwrapped capture layout	2022-12-28 17:06:44 -06:00
Ayaz Hafiz	7045001f64	Intern captures layouts	2022-12-28 17:05:04 -06:00
Ayaz Hafiz	db547a600a	Turn off false-positive producing debug assert for now ... See #4831	2022-12-28 16:31:25 -06:00
Ayaz Hafiz	2f7c4b4083	Macro to recruse when resolving recursive layouts	2022-12-28 16:01:01 -06:00
Ayaz Hafiz	a31b617ac8	Collect references to functions passed to HOLLs in borrow inference ... During borrow inference, SCCs of references between procs are first constructed. Previously we didn't collect any references for HOLL calls, but since such calls pass a Roc-function, we need to include a reference to the Roc function.	2022-12-28 15:32:23 -06:00
Ayaz	562a2748cb	Merge branch 'main' into i4732 ... Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>	2022-12-28 11:56:08 -06:00
Ayaz	fe2bab56f9	Merge pull request #4819 from roc-lang/i4717 ... Compile anonymous closures with multiple specializations, and various fixes to lambda set compilation	2022-12-28 11:45:04 -06:00
Folkert de Vries	f4894183d7	Merge pull request #4823 from roc-lang/fix-check-union ... Fix checking of recursive layouts in the ir-checker	2022-12-28 16:20:01 +01:00
Ayaz	b400851586	Merge branch 'main' into i4717 ... Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>	2022-12-27 18:58:16 -06:00
Ayaz Hafiz	13bb657b97	Follow recursive pointers in mono IR checker to not appear on top-level	2022-12-27 12:47:53 -06:00
Ayaz Hafiz	ce61386d0a	Expose set and representation to crate	2022-12-27 12:47:04 -06:00
Ayaz Hafiz	23fc7f1413	Appropriately substitute symbols in switch conditions ... Closes #4557	2022-12-27 12:29:23 -06:00
Ayaz Hafiz	d23d0b9b88	Remove unneeded branch when extending lambda dispatch with closure args ... If we pass ClosureInfo that indicates that a lambda captures, then when we extend the lambda's argument list with the lambda set it appears it, the extension must necessarily be material.	2022-12-27 10:56:23 -06:00
Ayaz Hafiz	25117bf50e	More do not ignore the specialized layout	2022-12-27 10:52:47 -06:00
Ayaz Hafiz	6ed1ad9fd5	Do not ignore layout, base it off specialization	2022-12-27 10:48:24 -06:00
Ayaz Hafiz	e7aaeb931a	Add a comment regarding behavior of extend_argument_list_for_named	2022-12-27 10:42:35 -06:00
Ayaz Hafiz	830843da82	Remove unused extend_argument_list	2022-12-27 10:40:09 -06:00
Ayaz Hafiz	468f76a424	Remove unused layout cache parameters	2022-12-27 10:39:44 -06:00
Ayaz Hafiz	3e906855e3	Extend called lambda argument lists only with explicit lambda names	2022-12-27 10:37:25 -06:00
Ayaz Hafiz	679557e44e	ProcLayout::new is crate-public	2022-12-27 10:33:38 -06:00
Ayaz Hafiz	8431b27282	Remove redundant parameter in from_raw_named ... The captures niche is already accounted for by the lambda name, so we don't need that as an extra param.	2022-12-27 10:30:07 -06:00
Ayaz Hafiz	e89f5ad6e5	Mark a couple functions as crate-exposed	2022-12-27 10:28:00 -06:00
Ayaz Hafiz	0b57d2f74f	Remove unneeded import	2022-12-27 10:27:19 -06:00