558 commits

Author	SHA1	Message	Date
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
Ayaz Hafiz	190e436f4f	Move files	2023-03-31 17:58:24 -05:00
Ayaz Hafiz	fadd3e7e4a	Remove migrated test	2023-03-31 14:35:21 -05:00
Ayaz Hafiz	d39a329e28	Update emit header	2023-03-31 14:35:10 -05:00
Ayaz Hafiz	a10ce77584	Support printing can decls in uitest	2023-03-31 14:34:06 -05:00
Ayaz Hafiz	d891dd829f	Migrate more tests	2023-03-31 14:06:49 -05:00
Ayaz Hafiz	834f4afe2c	Add more tests	2023-03-31 13:56:46 -05:00
Ayaz Hafiz	5a9109f17b	Make uitests less noisy	2023-03-31 13:54:38 -05:00
Ayaz Hafiz	3fc54ea578	Migrate a few more tests	2023-03-31 13:45:06 -05:00
Ayaz Hafiz	54d6bf7747	Stub out the rest of uitest	2023-03-31 13:39:33 -05:00
Ayaz Hafiz	cf3fc7f4a8	Scaffold uitest	2023-03-31 12:47:13 -05:00
Ayaz Hafiz	58cef56a23	Move solve test helpers to their own crate, for now	2023-03-31 11:35:23 -05:00
Ayaz Hafiz	1227d10731	Refactor solve test helpers into a new module	2023-03-31 11:18:24 -05:00
Ayaz Hafiz	f458da0cbc	Implement Hash for Bool	2023-03-28 15:04:45 -05:00
Ayaz Hafiz	d2b9a1a33c	Improve debug printing for can decls	2023-03-27 10:10:56 -05:00
Ayaz	8c55e8126d	Merge pull request #5203 from roc-lang/virtual-dom-annotations ... Fix a few bugs Virtual-DOM cropped up	2023-03-25 20:00:51 -05:00
Ayaz	1891df77b8	Merge pull request #5188 from roc-lang/i5177 ... Make sure openness constraint goes under tuples	2023-03-25 15:52:09 -05: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	f37ede036a	Do not adjust rank of lambda sets under alias arguments	2023-03-25 15:21:40 -05:00
Ayaz Hafiz	1b2ee9ad30	Make sure openness constraint goes under tuples ... Closes #5177	2023-03-24 14:13:14 -05:00
Ayaz Hafiz	84fa22f235	Fix solve test module	2023-03-22 17:08:43 -05:00
Ayaz Hafiz	3e83e42195	Make sure to report error rather than descending as appropriate	2023-03-22 17:08:43 -05:00
Ayaz Hafiz	3d2642b282	Stray dbg	2023-03-22 17:08:42 -05:00
Ayaz Hafiz	e6094df69b	Fast-path for determining ability member impls for builtin opaques	2023-03-22 17:08:41 -05:00
Ayaz Hafiz	297a571b34	Eq for Bool	2023-03-22 17:03:58 -05:00
Ayaz Hafiz	5be8ff700d	Derive encode for bool	2023-03-22 17:03:58 -05:00
Ayaz Hafiz	9563b444cd	Fix test	2023-03-22 17:03:57 -05:00