issues
search
emacs-elsa
/
Elsa
Emacs Lisp Static Analyzer and gradual type system.
GNU General Public License v3.0
640
stars
26
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Issue executing Elsa via. Cask
#179
ethan-leba
opened
2 years ago
6
Use `seq-take`, not `-take` for improper lists
#177
ethan-leba
closed
2 years ago
0
Elsa crashes on reading `'(x . y)` syntax
#176
ethan-leba
closed
2 years ago
3
When trying to require `elsa` or more specifically `elsa-check` I get void-variable elsa-check
#175
terlar
closed
1 year ago
3
updates `elsa--read-cons` to correctly handle symbols starting with dot
#174
Gopiandcode
closed
3 years ago
1
[Question] How to handle cl-defstructs from other, require'd packages?
#173
nbfalcon
closed
1 year ago
2
Elsa crashes when reading forms inside 'let-alist', prints: 'Scan error: "Containing expression ends prematurely"'
#172
spellcard199
closed
3 years ago
2
Pass higher-level function type parameters to lambdas supplied as arguments.
#171
Fuco1
opened
4 years ago
0
extension for emacs-deferred
#170
gonewest818
opened
4 years ago
2
Feat/makem.sh
#169
alphapapa
closed
4 years ago
1
Elsa should exit non-zero when errors
#168
alphapapa
closed
4 years ago
1
Scan error with "Containing expression ends prematurely"
#167
conao3
closed
1 year ago
2
Use cl-the annotations as a source of types
#166
ebpa
opened
4 years ago
1
Unable to analyse
#165
contrapunctus-1
closed
4 years ago
3
Some correct code that Elsa complains about
#164
DarwinAwardWinner
closed
1 year ago
3
Elsa thinks a condition is always nil when it isn't
#163
DarwinAwardWinner
opened
4 years ago
5
Add types for a bunch of builtins
#162
DarwinAwardWinner
closed
4 years ago
3
How to write the type of "identity"?
#161
DarwinAwardWinner
closed
4 years ago
1
docs: fix typo
#160
jwilk
closed
4 years ago
1
Elsa doesn't like it when I (require 's)
#159
DarwinAwardWinner
closed
4 years ago
17
There is already an open source project called Elsa: https://github.com/dsw/oink-stack/tree/master/elsa
#158
dsw
closed
4 years ago
1
Implement a better pretty printer
#157
Fuco1
opened
5 years ago
0
feat: add lsp hover handler printing the expression and its type
#156
Fuco1
closed
1 year ago
1
false alarm on defcustom initialized to a value
#155
Fuco1
opened
5 years ago
0
How to express the type of upcase?
#154
xuchunyang
closed
2 years ago
6
If there is no Elsafile just load everything by default.
#153
Fuco1
opened
5 years ago
0
Add check for assignment to defconst
#152
fmdkdd
closed
5 years ago
13
Annotate variable definitions?
#151
TatriX
closed
2 years ago
2
Check that we are not assigning to a defconst
#150
Fuco1
closed
5 years ago
0
Abstract access to (get var-name 'elsa-type-var)
#149
Fuco1
opened
5 years ago
1
Add EMake instructions to the README
#148
vermiculus
closed
1 year ago
11
Add variables from emacs.c
#147
Fuco1
opened
5 years ago
0
Compile errors
#146
Fuco1
closed
5 years ago
2
Research "Mapped types"
#145
Fuco1
opened
5 years ago
0
Fix a typo [Fix #141]
#144
xuchunyang
closed
5 years ago
0
Fix a typo [Fix #144]
#143
xuchunyang
closed
5 years ago
0
Symbol’s function definition is void: elsa-form-int-p
#142
xuchunyang
closed
5 years ago
3
A likely typo
#141
xuchunyang
closed
5 years ago
3
(arglist-cont . 0) Invalid read syntax "."
#140
Fuco1
closed
5 years ago
0
As a user I don't want to register extensions which should obviously be used
#139
Fuco1
closed
1 year ago
1
Hard time installation on Windows x64
#138
randomwangran
closed
1 year ago
2
Prefer `-p` over `?` suffix for predicates
#137
Fuco1
opened
5 years ago
1
Create a "gallery of bad code"
#136
Fuco1
opened
5 years ago
0
Update "How do I run it" in README
#135
Fuco1
closed
5 years ago
3
Invalid slot name:
#134
cpitclaudel
closed
4 years ago
21
Support multiple files passed on the command line
#133
vermiculus
closed
5 years ago
0
Support multiple files passed on the command line
#132
vermiculus
closed
5 years ago
4
Add types for some predefined symbols used in `org-get-at-bol`
#131
Fuco1
opened
5 years ago
0
Fix compile errors
#130
vermiculus
closed
5 years ago
12
Possible shadowing going on between types elsa-form and elsa-form-list
#129
vermiculus
closed
1 year ago
9
Previous
Next