181 commits

Author	SHA1	Message	Date
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 Hafiz	014ec8c092	Support multiple modules in uitest	2023-04-12 11:35:33 -05: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 Hafiz	84fa22f235	Fix solve test module	2023-03-22 17:08:43 -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
Ayaz Hafiz	f079e8c96b	Bool derive key for Decode	2023-03-22 17:03:57 -05:00
Ayaz Hafiz	e8a29d2df4	Ensure that closures inside recursive closures capture correctly ... With a code like ``` thenDo = \x, callback -> callback x f = \{} -> code = 10u16 bf = \{} -> thenDo code \_ -> bf {} bf {} ``` The lambda `\_ -> bf {}` must capture `bf`. Previously, this would not happen correctly, because we assumed that mutually recursive functions (including singleton recursive functions, like `bf` here) cannot capture themselves. Of course, that premise does not hold in general. Instead, we should have mutually recursive functions capture the closure (haha, get it) of values captured by all functions constituting the mutual recursion. Then, any nested closures can capture outer recursive closures' values appropriately.	2023-03-20 17:44:59 -04:00
Ayaz Hafiz	b406e384fc	Print recursion variables correctly in pretty printer	2023-02-13 17:42:21 -06:00
Joshua Warner	5a6be05ead	implement mono / lowering for tuples	2023-02-07 18:54:50 -08:00
Joshua Warner	303e5bceb3	Fix tuple accessor type printing	2023-01-22 13:22:39 -08:00
Joshua Warner	de828416bf	Initial implementation of tuples in type checking ... This leaves in place a bunch of TODOs and likely many bugs - notably, I haven't tested codegen/layout at all here.	2023-01-22 12:40:44 -08:00
Ayaz Hafiz	c3f1646274	Weaken ability members behind let-bindings	2023-01-16 10:49:17 -06:00
Ayaz Hafiz	48049ed956	Weaken tags behind let bindings	2023-01-16 10:49:17 -06:00
Ayaz Hafiz	52c2f3a054	Weaken zero-argument tags in let bindings	2023-01-16 10:49:16 -06:00
Ayaz Hafiz	b8712bcb30	Weaken records in let-bindings ... This change also means we must update the interface of `Dict.empty` and `Set.empty` from ``` Dict.empty : Dict k v ``` to ``` Dict.empty : {} -> Dict k v ```	2023-01-14 15:33:51 +01:00