Expand description
Enhanced type checker for Seq with full type tracking
Uses row polymorphism and unification to verify stack effects. Based on cem2’s type checker but simplified for Phase 8.5.
Enhanced type checker for Seq with full type tracking
Uses row polymorphism and unification to verify stack effects. Based on cem2’s type checker but simplified for Phase 8.5.