search

emacs-elsa / Elsa

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

Pass higher-level function type parameters to lambdas supplied as arguments. #171

Open Fuco1 opened 4 years ago

Fuco1 commented 4 years ago

If I have a higher-level function foo with type (Bool -> Int) -> Int implemented as

(foo (lambda (x) 1))

it should derive that x must be of type Bool.