search

emacs-elsa / Elsa

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

Use cl-the annotations as a source of types #166

Open ebpa opened 4 years ago

ebpa commented 4 years ago

I don't see anything in the project yet that mentions the cl-the macro. I think it would a great source of type information.

Fuco1 commented 4 years ago

Seems interesting! I actually had a similar idea adding elsa-cast or something to add type info to forms. The downside is that elsa would then become a run-time dependency of the package.

We can add some cl-the but it is probably pretty limited in what it can express.