emacs-elsa / Elsa

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

Move analysis of annotations to analyser instead of reader #208

Open Fuco1 opened 1 year ago

Fuco1 commented 1 year ago

In the reader we simply have not enough information about the context and some data is missing. Currently the system is a bit convoluted where we "assume" reader did some work and then try to fetch from global state. This makes the analysis sit in separate places and it is confusing.