29 commits

Author	SHA1	Message	Date
Luke Boswell	624021bf49	replace cargo deps with workspace in test_solve_helpers, test_syntax, types, uitest, unify, work, worker	2024-11-29 11:31:48 +11:00
Agus Zubiaga	4e5fdfbf52	Handle root type when loading from str	2024-06-08 19:46:41 -03:00
Anton-4	f085b96f78	removed unused deps, added CI test	2024-04-09 19:47:31 +02: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
Folkert	60afb79cc7	simplify regex expression strings	2023-10-07 19:11:37 +02: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
Ayaz Hafiz	d13e221678	Print variables if asked to	2023-05-02 13:08:58 -05:00
Ayaz Hafiz	7beee4e1f3	Add a way to print ranks in uitest	2023-05-01 13:14:59 -05:00
Folkert	4cd8f0a056	clippy --fix fixes	2023-04-21 12:05:51 +02:00
Ayaz Hafiz	677d19d825	Allow type error config in uitest	2023-04-12 14:04:51 -05:00
Ayaz Hafiz	b33393ca39	Allow configuring whether can errors are acceptable in tests	2023-04-12 13:54:26 -05:00
Ayaz Hafiz	014ec8c092	Support multiple modules in uitest	2023-04-12 11:35:33 -05:00
Ayaz Hafiz	0ec0568ef9	Drop unused function	2023-04-12 11:16:20 -05:00
Ayaz Hafiz	53af6ed4eb	Offer a way to print mono IR in uitest	2023-04-12 10:52:39 -05:00
Ayaz Hafiz	32d4b45557	Add a uitest for pseudo-polymorphic specializations	2023-04-10 16:31:00 -05:00
Ayaz Hafiz	630a8e32d4	Clippy	2023-04-02 00:32:20 -05:00
Ayaz Hafiz	c7a1d29695	Fix order of elaborated queries	2023-04-02 00:30:34 -05:00
Ayaz Hafiz	0e47140eaf	Complete instantiation annotations	2023-04-01 20:05:18 -05:00
Ayaz Hafiz	ca5a5c2698	More progress on instantiated annotations in the source	2023-04-01 15:06:44 -05:00
Ayaz Hafiz	bfcafb0be3	Refactor the solve inferrer	2023-04-01 12:45:32 -05:00
Ayaz Hafiz	9d8d36b532	Fix doc comemnt	2023-04-01 10:24:00 -05:00
Ayaz Hafiz	32a59b7e72	Lints	2023-03-31 18:04:32 -05:00
Ayaz Hafiz	442812f7c5	Add another test	2023-03-31 18:02:01 -05:00
Ayaz Hafiz	a10ce77584	Support printing can decls in uitest	2023-03-31 14:34:06 -05:00
Ayaz Hafiz	5a9109f17b	Make uitests less noisy	2023-03-31 13:54:38 -05:00
Ayaz Hafiz	54d6bf7747	Stub out the rest of uitest	2023-03-31 13:39:33 -05:00
Ayaz Hafiz	3aaf771543	Break up query inference into smaller composable pieces	2023-03-31 13:03:50 -05:00
Ayaz Hafiz	58cef56a23	Move solve test helpers to their own crate, for now	2023-03-31 11:35:23 -05:00