260 commits

Author	SHA1	Message	Date
Folkert	0b3492752f	fix expect not being canonicalized in certain positions	2022-11-05 21:13:50 +01:00
Folkert	134de80150	various updates	2022-11-03 17:18:27 +01:00
Folkert	ade5e6de26	remove region only used in recursion	2022-11-03 16:59:13 +01:00
Folkert	0129d4da94	remove scope only used in recursion	2022-11-03 16:58:34 +01:00
Folkert	66a1ba00eb	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
Ayaz Hafiz	34cd1fb825	Pattern expectation takes a type index	2022-11-02 15:05:40 -05:00
Ayaz Hafiz	cbd014a98a	let_import_constraint take a type index	2022-11-02 15:05:23 -05:00
Ayaz Hafiz	2a4fca7034	First pass at expectations taking a type index	2022-11-02 15:05:22 -05:00
Ayaz Hafiz	6dc6386f77	DefTypes store slices into type indeces	2022-11-02 15:05:01 -05:00
Ayaz Hafiz	cbade622b6	exhaustive expects type index	2022-11-02 15:05:01 -05:00
Ayaz Hafiz	ae71c7efe2	Decision tree compilation of list patterns	2022-11-01 15:22:31 -05:00
Ayaz Hafiz	4b549ab24e	Apply clippy suggestions	2022-11-01 12:37:10 -05:00
Ayaz Hafiz	f696e8dd29	Clarify comment	2022-11-01 12:07:00 -05:00
Ayaz Hafiz	17920911e4	Implement list exhaustiveness checking	2022-11-01 12:07:00 -05:00
Ayaz Hafiz	92a3c48ce5	Implement sketching and pattern specialization for list patterns	2022-11-01 12:06:59 -05:00
Ayaz Hafiz	fbdf76e490	Report type errors in list pattern matches	2022-11-01 12:06:59 -05:00
Ayaz Hafiz	b0a8b85de3	Canonicalization of list patterns	2022-10-31 17:04:47 -05:00
Ayaz Hafiz	07f5d0c7fd	Clarify TODO	2022-10-31 09:39:29 -05:00
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	91dd47c5e4	Store OIOP variables in a unique buffer	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	cfe7c8e5ef	Warn on the presence of unnecessary wildcards in output positions	2022-10-31 09:38:20 -05:00
Ayaz Hafiz	8d5678151d	Implement open-in-output-position for non-alias type annotations	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	4d35ab9957	Parse list patterns	2022-10-26 17:03:22 -05:00
Folkert de Vries	02a76bb8bd	Merge pull request #4399 from roc-lang/no-types-in-constraining-api ... Have most constraining APIs take a type index rather than `Type`	2022-10-26 19:45:55 +02:00
Ayaz	316ae7d30b	Merge pull request #4398 from roc-lang/emplace-type-variables ... Leave variables behind when converting `Type`s to variables	2022-10-26 12:41:55 -05:00
Ayaz Hafiz	084393c326	store_index is now redundant	2022-10-24 18:21:05 -05:00
Ayaz Hafiz	bff3d534f6	Store expects type index	2022-10-24 18:20:18 -05:00
Ayaz Hafiz	278754506f	lookup expects type index	2022-10-24 18:14:28 -05:00
Ayaz Hafiz	97d47cc05f	includes_tag expects type index	2022-10-24 18:08:45 -05:00
Ayaz Hafiz	556222caa1	is_open_type expects type index	2022-10-24 17:51:39 -05:00
Ayaz Hafiz	0f0c02965a	pattern_presence expects type index	2022-10-24 17:49:02 -05:00
Ayaz Hafiz	0990eda0cb	equal_pattern_types takes type index	2022-10-24 17:41:13 -05:00
Ayaz Hafiz	c53e08f63c	equal_types_with_storage takes type index	2022-10-24 17:35:09 -05:00
Ayaz Hafiz	cca5f53e98	equal_types_var requires a type index	2022-10-24 17:30:04 -05:00
Ayaz Hafiz	55d7f3f658	Require type and expected indices in equal_types constraints	2022-10-24 14:05:19 -05:00
Ayaz Hafiz	c0257302a9	Address clippy lints	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	46b741e9dd	Correctly clone able vars across subs	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	1e6181d2cb	New data structure for storing sorted abilities bound to a variable	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	229548571b	Represent "able" variables with slices of abilities	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	0f0678ce73	s/closure_names/symbol_names/g in subs	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	2011ec97c3	Store multiple abilities as a VecSet	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	603160dae3	Report errors for duplicate bound abilities	2022-10-24 13:59:50 -05:00
Ayaz Hafiz	6bb97c92b9	Canonicalize multiple abilities bound to a type variable	2022-10-24 13:56:07 -05:00
Ayaz Hafiz	548a235c25	Support parsing multiple abilities in a clause	2022-10-24 13:56:06 -05:00
Ayaz Hafiz	9b24205906	Emplace variables made from types in expectations	2022-10-24 13:11:35 -05:00
Ayaz Hafiz	d3e14550d8	Leave variables behind when converting Types to variables ... This is part one of addressing the present issues with emplacing type directly where type variables should be reused. Now, when an `Index<Type>` is converted to a variable in solving, we leave the converted variable in the `Type`'s place. Specifically, we keep an index to a `Cell<Type>`. Note that this transformation is only temporary, it will be removed once we merge this with the `Type` SoA representation, but it is needed in the meantime as I transform the `Constrain` API to get rid of type-emplacement.	2022-10-24 11:42:35 -05:00
Ayaz Hafiz	e75f3c3c79	Get rid of MemberImpl::Derived ... We don't need this anymore, since derived members become Impls during canonicalization now!	2022-10-23 20:48:07 -05:00
Ayaz Hafiz	1d885c4ab2	Support deriving Decode for opaques	2022-10-23 20:48:06 -05:00
Ayaz Hafiz	61ba59de07	Even more unneeded allocations	2022-10-23 20:48:06 -05:00
Ayaz Hafiz	bb8888b115	Make sure we don't report errors for illegal derived bodies, just their decls	2022-10-23 20:48:05 -05:00