66 commits

Author	SHA1	Message	Date
Ayaz Hafiz	51d813dae2	Index into constraining via trait	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	24b6d4a3a9	constrain_pattern takes an expected index	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	b85465d74d	Resolve runtime error todo	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	f0534fc770	Remove TODO comment	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	b71fef5f3b	Resolve ability member todo	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	c76a928ed4	Remove var storage TODO	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	4f40d83b80	Remove _inner migration helper	2022-11-08 09:00:50 -06:00
Ayaz Hafiz	d84e98751e	Always feed ExpectedTypeIndex to expr constraining	2022-11-08 09:00:50 -06:00
Ayaz Hafiz	4e2eb67ff1	Surface constrain_expr takes an index	2022-11-08 09:00:50 -06:00
Ayaz Hafiz	d811fa8e5a	Decloning party	2022-11-02 15:06:03 -05:00
Ayaz Hafiz	ef509ecc97	Inline variable	2022-11-02 15:05:43 -05:00
Ayaz Hafiz	2e07cc6c14	More signature coalescing	2022-11-02 15:05:43 -05:00
Ayaz Hafiz	2be70e6524	Even more coalescing of signatures	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	4bd77250c7	Coalesce one signature type	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	e0a2139b1e	Coalesce even more annotation types	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	a6889a4f6d	Coalesce annotation in typed function constraining	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	6c4722fe1c	Coalesce signatures in destructure constraining	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	b8b0d4f028	Inline a variable	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	951724f476	Coalesce another signature	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	a589fbb9e7	Coalesce return type annotation in function def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	db9b29f0c8	Coalesce signatures in function def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	ce7648b344	Coalesce type signature vars in typed def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	3362763e45	Coalesce signature types in value def constraining	2022-11-02 15:05:41 -05:00
Ayaz Hafiz	34cd1fb825	Pattern expectation takes a type index	2022-11-02 15:05:40 -05:00
Ayaz Hafiz	2a4fca7034	First pass at expectations taking a type index	2022-11-02 15:05:22 -05:00
Ayaz Hafiz	cbade622b6	exhaustive expects type index	2022-11-02 15:05:01 -05:00
Ayaz Hafiz	e1b6e0334b	Generate OIOP vars correctly	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	42058c3067	Add note on bug in constraining	2022-10-31 09:37:41 -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 Hafiz	a4d7ee33c1	Apply lints	2022-10-24 18:23:36 -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	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	91eb9aaea4	Rename variables	2022-10-24 14:30:50 -05:00
Ayaz Hafiz	83e35fa40d	Get rid of another clone	2022-10-24 14:29:05 -05:00
Ayaz Hafiz	0b8ac07287	Get rid of more type clones	2022-10-24 14:25:19 -05:00
Ayaz Hafiz	55d7f3f658	Require type and expected indices in equal_types constraints	2022-10-24 14:05:19 -05:00
Ayaz Hafiz	6bb97c92b9	Canonicalize multiple abilities bound to a type variable	2022-10-24 13:56:07 -05:00
Ayaz Hafiz	d26e9c81e0	Resolve ability specializations looked up in expects	2022-10-17 17:56:48 -05:00
Ayaz Hafiz	8aee32830a	Add symbols' localized type variable to the AST	2022-10-17 17:35:48 -05:00
Ayaz Hafiz	54e977be2d	Constrain function type on closure type, not signature	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	178b634266	Treat single quote literals as ranged numbers for inference purposes	2022-10-05 17:28:00 -05:00
Ayaz Hafiz	1799d6ed0e	Construct exhaustiveness branches with condition, not branch, variable ... Previously we would construct the shapes of unions used in the pattern tree for exhaustiveness checking using the type of the branch patterns, rather than the type of the condition variable. Clearly we want to always use the condition variable, otherwise some branches will be seen as exhaustive, when they are not! To do this, we now index into the condition variable while refying the patterns to build the tree for exhaustiveness checking. Closes #4068	2022-09-19 13:37:59 -05:00
Ayaz Hafiz	42633c1f96	Span body of last branch in exhaustiveness checking ... Closes #4028	2022-09-13 16:24:59 -04:00
Richard Feldman	3ca9202e3b	Merge pull request #3834 from roc-lang/rust-1.63-clippy ... rust 1.63 clippy	2022-08-27 21:15:36 -04:00
Folkert	a22e04361c	Merge remote-tracking branch 'origin/main' into expect-fx-codegen	2022-08-23 16:28:21 +02:00
Folkert	6aa168ee0b	more various clippy fixes	2022-08-21 16:43:58 +02:00