149 commits

Author	SHA1	Message	Date
Sam Mohr	f95d0f8df6	Update derive tests	2025-01-05 07:34:53 -08:00
Luke Boswell	fdaaca8c8b	replace cargo deps with workspace in lower_parms, module, mono, parse, problem, roc_target, serialize, solve, solve_problem, specialize_types, test_*	2024-11-29 11:29:04 +11:00
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
Anton-4	2df6f5cb72	Merge remote-tracking branch 'upstream/main' into optional-decoding-works	2024-04-12 16:05:50 +02:00
faldor20	892d264304	explicitly match errors	2024-04-02 11:16:02 +10: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
faldor20	089c499fc6	fixed types so tests are happy	2024-03-17 20:33:30 +10: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	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Bryce Miller	d2503bb9f2	has -> implements	2023-05-26 22:59:29 -04:00
Bryce Miller	58a84fdc29	has -> implements in tests	2023-05-26 20:37:42 -04:00
Bryce Miller	91e37293a2	abilities syntax has -> implements	2023-05-24 21:29:38 -04:00
Ayaz	61dd5cc8c7	Merge pull request #5179 from roc-lang/i5143-tuple-abilities ... Implement ability obligation checking and derivation for tuples	2023-03-25 15:51:39 -05:00
Ayaz Hafiz	c7f2a1cfe9	Avoid using builtin types in derive tests	2023-03-22 17:08:43 -05:00
Ayaz Hafiz	cb5a21cb20	Derive decoding for tuples	2023-03-22 16:43:52 -05:00
Ayaz Hafiz	5e0a6e5926	Derive key for Decoding tuples	2023-03-22 12:23:16 -05:00
Ayaz Hafiz	0b4a45c70d	Derive encoding for tuples	2023-03-22 11:37:47 -05:00
Ayaz Hafiz	e5fcb05a2d	Implement derivation keys for tuple encoders	2023-03-22 11:19:47 -05:00
Ayaz Hafiz	8f7b6aaeaa	Implement hash derivation for tuple	2023-03-22 10:28:13 -05:00
Ayaz Hafiz	d9c7010104	Add derive-key tests for derived hash	2023-03-22 10:19:14 -05:00
Brendan Hansknecht	f42f61e271	run a toml formatter and then clean it up a bit	2023-03-06 19:47:57 -08:00
Brendan Hansknecht	4a89bee0a5	centralize package versions except for vendor and excluded	2023-03-06 19:29:09 -08:00
Brendan Hansknecht	5485c8a5b0	update to using workspace package spec	2023-03-06 16:36:18 -08:00
Brendan Hansknecht	21af20597e	remove unused dependencies	2023-03-06 12:09:00 -08: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	1e120653ff	Update derive tests	2022-12-12 15:06:32 -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	b2beeb770e	Merge remote-tracking branch 'origin/main' into https-packages	2022-11-25 19:50:06 -05:00
Ayaz Hafiz	e2b30e5301	Constrain + solve crash	2022-11-24 14:46:50 -06:00
Ayaz Hafiz	ee5eacc3e4	Support crash in derive tests	2022-11-24 14:46:49 -06:00
Richard Feldman	b9b03d432a	Merge remote-tracking branch 'origin/main' into https-packages	2022-11-24 13:14:36 -05:00
Folkert	51c018b03c	fix compile error in tests	2022-11-23 23:24:53 +01:00
Richard Feldman	721841fa1f	Provide roc_cache_dir everywhere	2022-11-20 19:53:48 -05:00