55 commits

Author	SHA1	Message	Date
Agus Zubiaga	6ffc8a507b	Allow suffixed pure functions that are exposed to the host	2024-11-27 14:06:37 -03:00
Richard Feldman	ab17bfc260	Drop unnecessary comment	2024-10-21 22:10:44 -04:00
Richard Feldman	44d00e1f13	Updates for making soa no_std	2024-10-21 22:10:43 -04:00
Richard Feldman	2567c8b545	Convert over Subs to use the new soa crate	2024-10-10 00:30:35 -04:00
Agus Zubiaga	519ff56a85	Create can::module::ModuleParams for convenience	2024-08-17 13:10:37 -03:00
Agus Zubiaga	d23a8dc618	Fix importing of module params vars	2024-07-02 22:48:47 -03:00
Agus Zubiaga	5ec4b042bb	Constrain and solve import params ... No reporting yet	2024-07-02 04:10:46 -03:00
Agus Zubiaga	dd0e28240a	Add module param identifiers to solve's scope	2024-07-02 04:10:45 -03:00
Agus Zubiaga	4e5fdfbf52	Handle root type when loading from str	2024-06-08 19:46:41 -03:00
Brendan Hansknecht	6dc5bfb1b7	Use roc_target over target_lexicon ... Tailors a target class for our needs. Replaces tons of uses across the entire compiler. This is a base for later adding new targets like thumb.	2024-03-31 10:50:26 -07:00
Brendan Hansknecht	f0dee1f6e9	add missing ToInspector case	2023-11-28 16:40:40 -08:00
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