56 Commits

Author	SHA1	Message	Date
Slava Pestov	148033930c	Sema: Split off introduceToInference() into its own Change ... Previously, retractFromInference() was the last step in unbindTypeVariable(). This doesn't really make sense, because bindTypeVariable() doesn't call introduceToInference(); its two callers do it later. Start untangling this by splitting off introduceToInference() into its own Change, but for now, record this change at the incorrect place to maintain the same behavior as before.	2024-09-29 21:46:41 -04:00
Slava Pestov	c0afe3fce1	Sema: Don't create new ConstraintGraphNode during active undo ... This messes up the bookkeeping for the trail.	2024-09-27 10:51:47 -04:00
Slava Pestov	0c53543927	Sema: More general dumpActiveScopeChanges()	2024-09-26 23:15:27 -04:00
Slava Pestov	105b6b39a9	Sema: Remove ConstraintGraphScope	2024-09-26 23:15:27 -04:00
Slava Pestov	8ee4eeee55	Sema: Migrate SavedTypeVariableBindings to SolverTrail	2024-09-26 23:15:27 -04:00
Slava Pestov	4cc27c9b20	Sema: Factor out SolverTrail from ConstraintGraph	2024-09-26 23:15:26 -04:00