44 commits

Author	SHA1	Message	Date
Richard Feldman	2da41be29f	Merge remote-tracking branch 'origin/main' into abilities-syntax	2023-08-10 20:36:01 -04:00
Ayaz Hafiz	dac4d842d8	Fix types	2023-07-17 09:52:14 -05:00
Ayaz Hafiz	6014370b91	Initial support for erasure in tests	2023-07-12 13:53:51 -05:00
Ayaz Hafiz	44c4797d9a	Parameterize program solving on a FunctionKind ... This new flag determines whether we should introduce a new kind to represent lambda sets, or whether lambdas should be erased. The latter is not yet implemented.	2023-07-12 13:53:50 -05:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
Richard Feldman	40f2dd7030	Extract some modules out of file.rs	2023-06-28 22:35:59 -04:00
Ayaz Hafiz	6e5ee5562e	Update tests	2023-06-22 14:32:05 -05:00
Bryce Miller	d2503bb9f2	has -> implements	2023-05-26 22:59:29 -04:00
Ayaz Hafiz	d9c7010104	Add derive-key tests for derived hash	2023-03-22 10:19:14 -05:00
Ayaz Hafiz	1c93727822	Add a notion of "openness" tag extensions suitable only for size-polymorphism	2023-01-16 10:52:23 -06:00
Ayaz Hafiz	6de816a9fc	Fix test_derive script	2022-12-12 15:04:54 -06:00
Ayaz Hafiz	7135df6d2f	Move can AST pretty-printing into roc_can::debug	2022-12-12 10:09:32 -06:00
Ayaz Hafiz	1cd7f8baf1	Fix test_derive	2022-12-05 13:10:29 -06:00
Richard Feldman	721841fa1f	Provide roc_cache_dir everywhere	2022-11-20 19:53:48 -05:00
Folkert de Vries	de472015f6	Merge pull request #4505 from roc-lang/fix-web-repl-palette ... Fix web REPL error formatting by routing the active Palette everywhere	2022-11-15 15:49:37 +01:00
Brian Carroll	894697b284	Build fixes	2022-11-12 08:46:18 +00:00
Ayaz Hafiz	a2e90c3709	Fix types SoA usage in solve	2022-11-11 21:16:23 -06:00
Ayaz Hafiz	0d642929aa	Remove builtin aliases in favor of alias instantiation optimizations	2022-11-11 21:16:04 -06:00
Ayaz Hafiz	314b75b0e5	Feed SoA Types from load into solve	2022-11-11 21:16:03 -06:00
Folkert	14cd48fce7	Merge remote-tracking branch 'origin/main' into rust-1-62-1	2022-11-09 13:51:51 +01:00
Ayaz Hafiz	f7724a7df3	Update derive tests	2022-11-02 15:05:42 -05:00
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	d77080529a	Introduce polarity for extension variable printing	2022-10-31 09:37:39 -05:00
Ayaz Hafiz	229548571b	Represent "able" variables with slices of abilities	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	c5a025f853	s/Eq/Bool	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	a256947a9f	Move Eq to Bool	2022-10-12 16:37:51 -05:00
Ayaz Hafiz	4c30e4c4bb	Add derive-key implementation for IsEq	2022-10-12 16:37:48 -05:00
Ayaz Hafiz	5b833e57b5	Support derivation of Hash for Str and List	2022-10-04 14:09:40 -05:00
Ayaz Hafiz	427528e659	Add deriving of immediates for the Hash ability	2022-10-04 14:09:39 -05:00
Anton-4	f6324edc10	Merge branch 'main' of github.com:roc-lang/roc into rust-1-62-1	2022-09-10 18:17:33 +02:00
Ayaz Hafiz	a01583efff	Add derive key tests for able ext vars	2022-08-23 10:41:06 -05:00
Ayaz Hafiz	b5e59d22e3	Support extension variables in record and tag union encoding derive keys	2022-08-23 10:41:06 -05:00
Anton-4	6df2632157	minor cleanup	2022-08-22 15:33:18 +02:00
Anton-4	9aee7cdcf6	1.62.1 version update, fmt, clippy	2022-08-22 15:27:19 +02:00
Ayaz Hafiz	51faeaf9af	Fix doc comment	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	3770db5d70	Add test for underivable optional record	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	68441479b8	Add decoding record derive key tests	2022-08-15 11:11:37 -05:00
Ayaz Hafiz	66f75b86ee	Fix ROC_PRINT_UNIFICATIONS_DERIVED	2022-08-15 11:11:33 -05:00
Ayaz Hafiz	8a0dedc975	Allow unused mut variable	2022-08-03 16:08:36 -05:00
Ayaz Hafiz	429ebbc830	Have v! macro specify what it needs itself	2022-08-03 14:57:16 -05:00
Ayaz Hafiz	e2179348c6	Add derive keys for decoders	2022-08-03 08:56:25 -05:00
Ayaz Hafiz	05d8bca0fb	Move DeriveBuiltin to derive_key	2022-08-02 14:29:49 -05:00
Ayaz Hafiz	6f06a59cdf	Condition derive tests on derived method	2022-08-02 14:28:20 -05:00
Ayaz Hafiz	c3383da994	Refactor deriving tests to put testing utilities in separate module ... As we prepare to add derivers for Decoders, we'll want to use this same infrastructure for Decoder derive tests. This pulls out the common test infrastructure into a separate module under test_derive.	2022-08-02 14:28:20 -05:00