4 Commits

Author	SHA1	Message	Date
James Shubin	4e18c9c67a	lang: Plumb through the unified state facility	2024-07-01 16:07:14 -04:00
James Shubin	1b00af6926	lang: Add unification optimizations ... This adds a unification optimizations API, and uses it to optimize the embedded provisioner. With these turned on, type unification drops from around 1m45s to 2.5s which is a 40x speedup.	2024-03-30 18:05:16 -04:00
James Shubin	ddf1be653e	lang: Plumb data and unification strategy through the lang struct ... This adds some plumbing to pass values into the lang struct.	2024-03-30 17:36:49 -04:00
James Shubin	cede7e5ac0	lang: Structurally refactor type unification ... This will make it easier to add new solvers and also cleans up some pending issues.	2024-03-30 16:55:20 -04:00