1803 commits

Author	SHA1	Message	Date
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
Brendan Hansknecht	fdafac4323	Remove RocResult from utils.zig ... It is implemented wrong and not used anywhere	2022-10-10 08:25:59 -07:00
dependabot[bot]	1a9323ecdc	Bump libc from 0.2.133 to 0.2.135 ... Bumps [libc](https://github.com/rust-lang/libc) from 0.2.133 to 0.2.135. - [Release notes](https://github.com/rust-lang/libc/releases) - [Commits](https://github.com/rust-lang/libc/compare/0.2.133...0.2.135) --- updated-dependencies: - dependency-name: libc dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	2022-10-10 13:00:20 +00:00
Richard Feldman	860d8b41f1	Merge pull request #4273 from cjduncana/dict-update ... Add the `update` function to the `Dict` module	2022-10-10 02:37:42 -07:00
Christopher Duncan	96e12aa790	Add the update function to the Dict module ... This resolves #4239	2022-10-09 20:21:21 -04:00
Richard Feldman	07ceabc9aa	Merge pull request #4245 from snprajwal/str-withprefix ... builtin(str): add Str.withPrefix	2022-10-09 11:53:24 -07:00
Jan Van Bruggen	7125ccb7b5	Merge pull request #4269 from roc-lang/v0.0.1_everywhere ... De-bump all v0.1.0 Roc packages to v0.0.1	2022-10-09 12:27:24 -06:00
Prajwal S N	aef15ac1e8	Merge branch 'main' into str-withprefix	2022-10-09 15:53:16 +05:30
Richard Feldman	5dafad506e	Merge pull request #4240 from roc-lang/list-growth ... List growth	2022-10-08 23:58:49 -07:00