Matus Goljer

Make sure defgeneric is always declared before defmethod. We should "Crawl out" the requires and if a method is defined and no require contains (recursively) a defgeneric, we should show...

Each Elsa object should have two printing methods: - one to serialize the object, in a way that this can be read back to reconstruct the object => `object-write`. Slots...

- [ ] Add defmacro declarations to the cache so we know the number of arguments and some types. - [x] Parse the macro edebug declaration to learn which forms...

See #164 and #4 ```elisp (let ((my-lex-var nil)) ;; Elsa thinks `my-lex-var' can only be nil (setq my-lex-var t) ;; Elsa thinks this conditional is always false because it thinks...

While analysing `defcustom` we can read the `:type` property and convert the "custom" type to "elsa type" and attach it to the created special variable.

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...

All error messages should have a code. This way we can selectively ignore them with annotations or disable checks alltogether. In general, there is a bigger refactoring necessary: 1. Each...

In case `x` is int, the first overload could be used, in case `x` is float, the second could be used. We can't determine the return type (it's int or...