emacs-elsa / Elsa

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

Add types for a bunch of builtins #162

Closed DarwinAwardWinner closed 4 years ago

DarwinAwardWinner commented 4 years ago

I went through elsa-typed-builtin.el and added types for all the functions I could figure out the types for. Please check my work before merging.

DarwinAwardWinner commented 4 years ago

This branch doesn't seem to run on my main elisp project. It just says:

Invalid slot type: elsa-function-type, return, elsa-type, nil

I don't know if that means I wrote an invalid type declaration somewhere or what.

Fuco1 commented 4 years ago

These errors from eieio are extremly difficult to debug, I'm kind of considering dropping it.

Best way I've found so far is binary search (comment one half out, try and recurse).

As for the work, I'll check it out, thanks!

Fuco1 commented 4 years ago

Late but it's in! Thanks and sorry for the wait.