-
-
Notifications
You must be signed in to change notification settings - Fork 27
Issues: emacs-elsa/Elsa
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
elsa--get-requires
fails to process "cl-macs.el.gz" due to syntax-ppss
#226
opened May 8, 2024 by
wtianyi
Create some system of checks for defgeneric before defmethod
enhancement
scope:checks
#213
opened Mar 9, 2023 by
Fuco1
Implement cl object methods for Emacs interop
enhancement
good first issue
help wanted
#204
opened Feb 23, 2023 by
Fuco1
8 tasks
Replace the internal elsa sequence functions with implementations of seq- methods
enhancement
good first issue
help wanted
scope:reader
#200
opened Feb 17, 2023 by
Fuco1
10 tasks
Incorrect overload analysis when the input is a "sum" type, but individual type would succeed
bug
needs:test
scope:analyser
#189
opened Feb 11, 2023 by
Fuco1
Incorrect analysis of funcall of a symbol holding a quoted symbol
bug
scope:analyser
#188
opened Feb 10, 2023 by
Fuco1
Add an option to assert that something is 100% certain type
enhancement
scope:analyser
scope:reader
scope:types
#180
opened Nov 26, 2021 by
Fuco1
Issue executing Elsa via. Cask
enhancement
scope:documentation
#179
opened Nov 26, 2021 by
ethan-leba
Pass higher-level function type parameters to lambdas supplied as arguments.
enhancement
scope:analyser
scope:inference
#171
opened Apr 25, 2020 by
Fuco1
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.