434 Commits

Author	SHA1	Message	Date
Ayaz Hafiz	6014370b91	Initial support for erasure in tests	2023-07-12 13:53:51 -05:00
Ayaz Hafiz	1d6f0d3d3f	Instantiate erased lambdas	2023-07-12 13:53:51 -05:00
Ayaz Hafiz	33b1b8236a	Break up SolveEnv	2023-07-12 13:53:51 -05:00
Ayaz Hafiz	15eef74a83	Shove more into a common env	2023-07-12 13:53:51 -05:00
Ayaz Hafiz	f8e377a055	Break up solve/solve into smaller modules	2023-07-12 13:53:50 -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
Ayaz Hafiz	739343a5b6	Clippy	2023-06-22 14:32:07 -05:00
Ayaz Hafiz	e019ec6736	Add todo	2023-06-22 14:31:49 -05:00
Ayaz Hafiz	adf961ba0b	Use UEnv where possible	2023-06-22 14:31:49 -05:00
Ayaz Hafiz	ad20a2ee41	Shove more into a common env	2023-06-22 14:31:48 -05:00
Ayaz Hafiz	b5ea2c2c99	s/SolveCtx/SolveConfig/g	2023-06-22 14:31:36 -05:00
Ayaz Hafiz	4f7f66d695	Reorder	2023-06-22 14:31:24 -05:00
Ayaz Hafiz	8314d44650	Break up solve/solve into smaller modules	2023-06-22 14:31:14 -05:00
Ayaz Hafiz	d1dad56331	Rename env to scope	2023-06-22 14:31:03 -05:00
Ayaz Hafiz	683b586f60	Use more structs instead of tuples	2023-06-22 14:31:02 -05:00
Hannes	97fa6758d0	Rename trimLeft to trimStart and trimRight to trimEnd	2023-06-19 13:17:59 +08:00
Ayaz Hafiz	5ec2715820	Correctly introduce new recursion variables at the correct rank	2023-05-01 13:14:59 -05:00
Ayaz Hafiz	190990155e	Correctly introduce new openness variables at the union rank	2023-05-01 13:14:58 -05:00
Anton-4	e784baccce	rust update, nix update, clippy fixes	2023-04-22 14:51:01 +02:00
Ayaz Hafiz	7797412aef	Drop unused functions	2023-04-20 17:57:18 -05:00
Ayaz Hafiz	721d3836cd	Migrate even more tests	2023-04-20 16:18:23 -05:00
Ayaz Hafiz	7c14b78e5d	Migrate more tests	2023-04-20 16:18:23 -05:00
Ayaz	8739099bdc	Merge pull request #5288 from roc-lang/i4725 ... Do not replace already-recursive lambda sets in occurs checks	2023-04-12 17:08:34 -05:00
Ayaz Hafiz	87a36e62bf	Do not replace already-recursive lambda sets in occurs checks ... If a lambda set appears in an occurs chain but it is itself already recursive, then it is should not be eligibil for modification in the occurs chain. Closes #4725	2023-04-12 16:13:30 -05:00
Ayaz Hafiz	014ec8c092	Support multiple modules in uitest	2023-04-12 11:35:33 -05:00
Brendan Hansknecht	165ffcf38d	properly unify ingested file type variable	2023-04-09 14:03:34 -07:00
Brendan Hansknecht	8dd9a5e3c7	correct wrong early return	2023-04-09 14:03:34 -07:00
Brendan Hansknecht	e5b88366fe	add proper error messages for ingested files	2023-04-09 14:03:33 -07:00
Brendan Hansknecht	62fcc71be3	snapshot subs to avoid cloning them	2023-04-09 14:03:33 -07:00
Brendan Hansknecht	2e2b687fac	fix errors with alias analysis	2023-04-09 14:03:33 -07:00
Brendan Hansknecht	6302a8d4b5	switch from type annotation to type variable	2023-04-09 14:03:33 -07:00
Ayaz Hafiz	aa7fb75f3e	Drop infer_queries macro	2023-04-02 13:16:04 -05:00
Ayaz Hafiz	c57aaecad4	Migrate pattern tests	2023-04-02 13:15:36 -05:00
Ayaz Hafiz	67364e1a42	Migrate polymorphic lambda set specialization tests	2023-04-02 13:12:51 -05:00
Ayaz Hafiz	e72e17fc82	Migrate list_of_lambdas	2023-04-02 13:03:18 -05:00
Ayaz Hafiz	88b044a765	Migrate ability resolution tests	2023-04-02 13:02:01 -05:00
Ayaz Hafiz	05af17af43	Migrate even more tests	2023-04-02 12:56:01 -05:00
Ayaz Hafiz	2dcafffb46	Migrate couple more tests	2023-04-02 12:53:06 -05:00
Ayaz Hafiz	bc7e6c4340	Unused test	2023-04-02 12:50:19 -05:00
Ayaz Hafiz	2f43aad8d0	Move uitests to their own crate	2023-04-02 09:11:31 -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	6b3a4b419e	Migrate even more tests	2023-03-31 19:05:10 -05:00
Ayaz Hafiz	346e3f0dd5	Add missing file	2023-03-31 18:36:00 -05:00
Ayaz Hafiz	61adcd34d2	Migrate more tests	2023-03-31 18:35:45 -05:00
Ayaz Hafiz	32a59b7e72	Lints	2023-03-31 18:04:32 -05:00
Ayaz Hafiz	906f2349b8	Remove migrated test	2023-03-31 18:02:10 -05:00
Ayaz Hafiz	442812f7c5	Add another test	2023-03-31 18:02:01 -05:00