emacs-elsa / Elsa

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

How to write the type of "identity"? #161

Closed DarwinAwardWinner closed 4 years ago

DarwinAwardWinner commented 4 years ago

Is there a way to have the return type of a function depend on the type of argument that it receives?

Fuco1 commented 4 years ago

Not right now, but we have #13 planned.

note: duplicate of #13