1811 commits

Author	SHA1	Message	Date
Ayaz Hafiz	ccfb85325d	Update load tests	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	861800ceea	Fix gen tests in the presence of Eq	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	595433b8c8	Make sure to map structuralNotEq to NotEq	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	c5a025f853	s/Eq/Bool	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	6149c289fc	Update Eq symbols	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	81fa0407b6	Satiate must_use reason	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	8d91370836	TODO is resolved	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	3192bed417	Make sure structuralEq, structuralNotEq is not importable	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	fe9b848686	Mark structuralEq as not exposed on the surface	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	b04d7a9471	Bind types passed to isNotEq to Eq	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	0f96a1231e	Fromat Bool.roc	2022-10-12 16:38:36 -05:00
Ayaz Hafiz	43086a7e25	Enable remaining gen tests	2022-10-12 16:38:35 -05:00
Ayaz Hafiz	4fa5cc0ac3	Disable Bool, Dict, Set caching until abilities caching	2022-10-12 16:38:34 -05:00
Ayaz Hafiz	a256947a9f	Move Eq to Bool	2022-10-12 16:37:51 -05:00
Ayaz Hafiz	bd5f5ed735	Old implementations can be overwritten before solving	2022-10-12 16:37:51 -05:00
Ayaz Hafiz	7298705db7	Fix parse error	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	729f0a8e27	Remove return on unreachable result	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	12778762b2	Make sure Box is handled as an Apply type	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	0b02ef2803	Fix gen-tests except those that rely on Bool eq	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	71c4731256	Remove test that is no longer correct	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	bc2f4569aa	Able variables that are never used can become void	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	f3a6b45452	Add must_use to all unification results ... Making sure that no unspecialized lambda sets slip through the cracks!	2022-10-12 16:37:50 -05:00
Ayaz Hafiz	1c753ae031	Update solve tests	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	c618ced743	Replace Bool.isEq with Eq.isEq	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	4adae7651f	Use Eq.structuralEq for deriving	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	3674f6861e	Compile derived structural equality	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	54e977be2d	Constrain function type on closure type, not signature	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	8310230f78	Add gen test for custom Eq	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	b587bcf0c2	Implement obligation checking for the Eq ability ... Every type can have `Eq.isEq` derived for it, as long as - it does not transitively contain a function - it does not transitively contain a floating point value - it does not transitively contain an opaque type that does not support `Eq`	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	5931dd5fc2	Check in test derive for eq	2022-10-12 16:37:48 -05:00
Ayaz Hafiz	4c30e4c4bb	Add derive-key implementation for IsEq	2022-10-12 16:37:48 -05:00
Ayaz Hafiz	16d12a51c2	Add Eq to the standard library	2022-10-12 16:37:48 -05:00
Ayaz	b2e7fd91ab	Merge pull request #4302 from roc-lang/serialize-ability-store ... Serialize the abilities store and solved implementations for builtins	2022-10-12 16:37:16 -05:00
Prajwal S N	a3e6345257	builtin(list): add List.countIf ... Closes #4174 Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>	2022-10-13 00:45:13 +05:30
Ayaz Hafiz	a9c79db5db	Allow complicated type	2022-10-11 10:49:24 -05:00
Ayaz Hafiz	76ce025faa	Turn on type caching for Encode, Decode, Hash	2022-10-11 10:48:25 -05:00
Ayaz Hafiz	7e79ff55f1	Serialize abilities store and solved implementations with subs	2022-10-11 10:31:21 -05:00
Brendan Hansknecht	e551e59c1c	refactor string reallocation	2022-10-11 07:56:34 -07:00
Ayaz Hafiz	46eb427393	Use roc_serialize in serializing abilities store, and add tests	2022-10-11 09:41:47 -05:00
Ayaz Hafiz	46aab8ad8c	Use roc_serialize for subs serialization	2022-10-11 09:19:25 -05:00
Ayaz Hafiz	ad10bf07c5	Allow serializing into a VecSet via Vec	2022-10-11 09:15:15 -05:00
Ayaz Hafiz	e880c45c8b	Implement serde for VecMap	2022-10-11 09:01:45 -05:00
Ayaz Hafiz	a5dbdf0b02	Add a roc_serialize crate for serialization utilities	2022-10-11 08:52:19 -05:00
Brendan Hansknecht	ac33fd3237	fix wasm test	2022-10-10 23:18:06 -07:00
Brendan Hansknecht	96b5d365b2	Add capacity growth to RocStr ... Also, cleans up the alloc and realloc api for both list and str. Updates Str.reserve to match List.reserve	2022-10-10 22:24:55 -07:00
Ayaz Hafiz	80e0690a70	Resolve merge conflict regarding tag name slices	2022-10-11 00:00:41 -05:00
Brendan Hansknecht	dfcb72602d	Merge pull request #4287 from roc-lang/remove-old-result ... [Easy Review] Remove RocResult from utils.zig	2022-10-11 03:54:12 +00:00
Ayaz	83b64c4fb3	Merge pull request #4209 from roc-lang/impl-tag-discriminant ... Derive `Hash` implementations for tag unions	2022-10-10 22:23:05 -05:00
Ayaz Hafiz	9131a55a72	First pass at serializing the abilities store	2022-10-10 19:32:17 -05:00
Ayaz Hafiz	781d1a2642	Serialize uls_of_var in subs cache	2022-10-10 16:42:04 -05:00