Agus Zubiaga 762799052e Merge branch 'main' into typecheck-module-params		2024-08-07 18:55:33 -03:00
..
ability	Merge branch 'main' into typecheck-module-params	2024-08-07 18:55:33 -03:00
exhaustive	fix openness inference for empty tag	2024-07-06 16:29:10 +02:00
instantiate	Fix more tests	2023-08-10 22:24:24 -04:00
lambda_set	fix ui tests	2024-07-06 16:14:32 +02:00
oiop	Move uitests to their own crate	2023-04-02 09:11:31 -05:00
pattern	Correctly introduce new openness variables at the union rank	2023-05-01 13:14:58 -05:00
ranged	Move uitests to their own crate	2023-04-02 09:11:31 -05:00
record	Move uitests to their own crate	2023-04-02 09:11:31 -05:00
recursion	Update mono tests	2024-01-26 16:25:32 -05:00
recursive_type	Support fixpoint-fixing under recursion variables	2023-06-13 17:15:11 -05:00
solve	test_gen: replace stdlib Json with inline implementation	2024-07-01 20:30:05 +02:00
specialize	update mono tests after adding import defs	2024-07-06 22:52:38 -03:00
weaken	Move uitests to their own crate	2023-04-02 09:11:31 -05:00