search

emacs-elsa / Elsa

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

Symbol’s function definition is void: elsa-form-int-p #142

Closed xuchunyang closed 5 years ago

xuchunyang commented 5 years ago

I tried to run elsa on elsa.el but got the error:

~/src/Elsa $ EMACSLOADPATH=/Users/xcy/.emacs.d/elpa-26.1.91/trinary-20180904.2313/:/Users/xcy/src/racket-mode/:/Users/xcy/.emacs.d/elpa-26.1.91/f-20190109.906/:/Users/xcy/.emacs.d/elpa-26.1.91/dash-20190128.1920/:$PWD: \
> bin/elsa elsa.el
Symbol’s function definition is void: elsa-form-int-p

there is a function elsa-form-integer-p when elsa.el is loaded.

xuchunyang commented 5 years ago

By the way, I didn't byte compile elsa because of the Invalid slot name error.

Fuco1 commented 5 years ago

Yes it should most likely be elsa-form-integer-p indeed.

Fuco1 commented 5 years ago

Fixed in b9bfbde867679f0c18e24e259d2f3e5a7417e492