203 commits

Author	SHA1	Message	Date
ayazhafiz	aa9fbb7cd2	Remove stray debug	2022-06-22 23:40:59 -04:00
Ayaz Hafiz	eb1f62dbf3	Collect specialization lambda sets during unification rather than solve	2022-06-22 18:10:47 -04:00
Ayaz Hafiz	328eea8b25	Add extra metadata parameter to unification	2022-06-22 17:19:01 -04:00
Richard Feldman	962e08b10d	Merge pull request #3234 from rtfeldman/toplevel-expect ... toplevel expect	2022-06-17 10:06:22 -04:00
Folkert	5371f057be	fix empty expect being added	2022-06-16 21:38:12 +02:00
Ayaz Hafiz	86b34a6008	Lift outcome when unifying record fields	2022-06-15 14:26:55 -04:00
Ayaz Hafiz	3df5be6528	Some cleanup	2022-06-07 12:17:03 -04:00
Ayaz Hafiz	9b4ae7bac1	Deduplicate unspecialized lambda sets by root key	2022-06-07 10:42:19 -04:00
Ayaz Hafiz	0476d4a65c	Remove unspecialized following unification links	2022-06-07 08:46:16 -04:00
Ayaz Hafiz	d71fadd8b0	Resolve and compact specialized lambda sets	2022-06-07 08:46:15 -04:00
Ayaz Hafiz	feea727697	Introduce unspecialized lambda sets to Content::LambdaSet	2022-06-07 08:46:13 -04:00
Ayaz Hafiz	6a447f2333	Get rid of RIGID_AS_FLEX unification mode ... This was relevant when we checked numeric ranges using unification, but thanks to Folkert's refactoring, that is no longer necessary.	2022-06-02 20:52:41 -05:00
Ayaz Hafiz	5f5f025e4c	Split up unify_rigid into unify_rigid, unify_rigid_able	2022-06-02 20:51:23 -05:00
Ayaz Hafiz	bef83324da	Break up unify_flex into unify_flex, unify_flex_able	2022-06-02 20:47:57 -05:00
Ayaz Hafiz	bde107da49	Remove TagName in favor of explicit TagName or Closure ... Note that we still need a `TagOrClosure` enum for phases past mono, but at least we get rid of the branches in the front end.	2022-06-02 09:44:34 -05:00
Ayaz Hafiz	c827349ae2	Simply choosing of the matching variable	2022-06-01 13:18:56 -05:00
Ayaz Hafiz	0fa4aa8cbd	Simplify maybe_mark_union_recursive	2022-06-01 13:18:55 -05:00
Ayaz Hafiz	2f29326e7a	Remove piggyback of tag unions for lambda sets	2022-06-01 13:18:55 -05:00
Ayaz Hafiz	b4bca5423b	Remove promotion to recursion var for lambda sets	2022-06-01 13:18:55 -05:00
Ayaz Hafiz	c66f989467	Recursive closure layout working again in effect test	2022-06-01 13:18:54 -05:00
Ayaz Hafiz	2e70c9aba4	Getting closer. Checking in for a break.	2022-06-01 13:18:53 -05:00
Ayaz Hafiz	790eb8e20c	Lambda sets don't need extension vars	2022-06-01 13:18:03 -05:00
Ayaz Hafiz	c2a2ce690c	Lift lambda sets as their own type ... This prepares for unspecialized lambda set in the type system in general.	2022-06-01 13:17:22 -05:00
Richard Feldman	4eec34becf	Update to use new square brace formatting	2022-05-22 23:15:54 -04:00
Folkert	fb37d925dc	deal with aliases around number types	2022-05-21 21:28:31 +02:00
Folkert	d43bda83b4	cleanup	2022-05-21 20:50:06 +02:00
Folkert	98ce9f4d09	remove the snapshots	2022-05-21 20:42:19 +02:00
Folkert	b46721e43b	exit early from range checking	2022-05-21 18:28:11 +02:00
Folkert	e9bdf0e5de	re-enable builtin module caching	2022-05-20 22:24:21 +02:00
Ayaz Hafiz	cf56b5015a	Fix existing reporting tests	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	2c87214b44	Check derivability of abilities for structural types	2022-05-19 18:23:02 -04:00
Richard Feldman	1047c5635a	Merge remote-tracking branch 'origin/trunk' into test-bindgen	2022-05-19 14:10:53 -04:00
Richard Feldman	7a353f0e0c	Fix --release warnings	2022-05-18 08:20:22 -04:00
Anton-4	0f59f3097a	cargo fix --edition	2022-05-16 17:04:17 +02:00
Richard Feldman	de75f2e550	Fix --release warnings	2022-05-15 22:10:24 -04:00
Richard Feldman	9bc1e320dc	Fix --release warnings	2022-05-15 21:50:49 -04:00
Ayaz Hafiz	62ebb80f09	Handle recursion through Applys with errors ... Closes #219	2022-05-10 12:58:14 -04:00
Ayaz Hafiz	5a5fc0162d	FlexAble must always constrain a Flex	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	9964f86a3d	Factor bespoke debug variables into debug_flags crate	2022-04-29 17:45:55 -04:00
Ayaz Hafiz	afe49cf570	Cleanup	2022-04-28 20:34:04 -04:00
Ayaz Hafiz	b6383f81ee	Numbers are opaques	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	969d14dfe9	I love 50 arguments	2022-04-25 10:59:42 -04:00
Ayaz Hafiz	8b291854d3	Improve alias<->opaque unification logic	2022-04-25 10:59:40 -04:00
Ayaz Hafiz	bb06bcd7f1	Fix compile error	2022-04-22 17:57:02 -04:00
ayazhafiz	939f413569	Don't try to fix recursion vars if there are other errors	2022-04-22 17:57:02 -04:00
Ayaz	3906c5c200	Clippy	2022-04-22 17:57:01 -04:00
Ayaz Hafiz	b61481c6e7	Try another strategy - fix recursion vars during typechecking	2022-04-22 17:57:01 -04:00
Ayaz Hafiz	11f29baf25	Add note about output	2022-04-21 09:34:40 -04:00
Ayaz Hafiz	21661275d8	Show unified variables as a tree	2022-04-21 09:32:26 -04:00
Ayaz Hafiz	9d71a3d1ac	Generalizing ability type instance to ability is illegal ... Closes #2881	2022-04-20 17:45:40 -04:00