Added TreeLists to Typed-Racket along with type-checking tests.#1439

Merged

samth merged 5 commits intoracket:masterfrom

Ryan-Ficklin:master

Mar 21, 2025

Commits on Mar 3, 2025

Added TreeLists to Typed-Racket along with type-checking tests.
Ryan Ficklin
committed

Commits on Mar 4, 2025

Changed treelist-flatten to Any -> TreeListof Any, removed incorrect ToDos regarding Mutable/Immutable TreeLists, added shallow annotations
Ryan Ficklin
committed

Commits on Mar 11, 2025

Added documentation for TreeLists, and slightly changed treelist-empty? and treelist-length types
Ryan Ficklin
committed
changed types of treelist-empty? and treelist-length back
Ryan Ficklin
committed

Commits on Mar 19, 2025

Fixed treelist subtyping and added more treelist test
Ryan Ficklin
committed