search

emacs-elsa / Elsa

Emacs Lisp Static Analyzer and gradual type system.
GNU General Public License v3.0
643 stars 27 forks source link

Implement narrowing in terms of type predicates #182

Closed Fuco1 closed 1 year ago

Fuco1 commented 2 years ago

https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates

Fuco1 commented 1 year ago

Done in b088fa8bf6b726ebfbcc700090bf9d1f5bb753ef