emacs-elsa/Elsa

Issues

• Was Elsa abandoned as a project?

  #231 opened 7 months ago by Kyure-A
  1

• Bool-vector type not supported by elsa-reader

  #228 opened 8 months ago by wtianyi
  3

• `elsa--get-requires` fails to process "cl-macs.el.gz" due to `syntax-ppss`

  #226 opened 8 months ago by wtianyi
  1

• LSP instructions fail

  #223 opened a year ago by jefftrull
  2

• Use without Eask or Cask ?

  #222 opened a year ago by mmontone
  1

• Using fewer dependencies

  #218 opened 2 years ago by phikal
  1

• Error on `(require 'elsa)`: `(void-variable elsa-type)`

  #216 opened 2 years ago by alphapapa
  11

• Create some system of checks for defgeneric before defmethod

  #213 opened 2 years ago by Fuco1
  0

• eask lint elsa issues

  #219 opened 2 years ago by smeagol74
  7

• Implement cl object methods for Emacs interop

  #204 opened 2 years ago by Fuco1
  0

• Add support for macros

  #196 opened 2 years ago by Fuco1
  0

• Is it safe to expand macros?

  #205 opened 2 years ago by Fuco1
  7

• unable to register with lsp or run via cask

  #215 opened 2 years ago by mooseyboots
  5

• Some correct code that Elsa complains about

  #164 opened 2 years ago by DarwinAwardWinner
  3

• Fix lexical variables and setq

  #217 opened 2 years ago by Fuco1
  0

• Add key and value types for hashtables

  #197 opened 2 years ago by Fuco1
  0

• Add rudimentary support for parsing basic defcustom types

  #206 opened 2 years ago by Fuco1
  0

• Move analysis of annotations to analyser instead of reader

  #208 opened 2 years ago by Fuco1
  0

• Refactor checks and messages to be centered around code

  #211 opened 2 years ago by Fuco1
  0

• Add rule to warn about ' or #' quoting lambdas => you shouldn't

  #210 opened 2 years ago by Fuco1
  0

• Elsa crashes with `Unknown specializer elsa-explainer`

  #207 opened 2 years ago by ethan-leba
  2

• When trying to require `elsa` or more specifically `elsa-check` I get void-variable elsa-check

  #175 opened 2 years ago by terlar
  3

• Incorrect overload analysis when the input is a "sum" type, but individual type would succeed

  #189 opened 2 years ago by Fuco1
  0

• Error: wrong-number-of-arguments ((2 . 2) 1), elsa-process-file

  #194 opened 2 years ago by jcs090218
  6

• Build fails because it installs some old version of Elsa from melpa?

  #202 opened 2 years ago by Fuco1
  2

• Replace the internal elsa sequence functions with implementations of seq- methods

  #200 opened 2 years ago by Fuco1
  0

• Add support for multiline function type annotations

  #198 opened 2 years ago by Fuco1
  0

• declared defvar is reported as unbound

  #195 opened 2 years ago by Fuco1
  0

• [Question] How to handle cl-defstructs from other, require'd packages?

  #173 opened 2 years ago by nbfalcon
  2

• Scan error with "Containing expression ends prematurely"

  #167 opened 2 years ago by conao3
  2

• Implement a better pretty printer

  #157 opened 6 years ago by Fuco1
  0

• Add a "list" type of "repeating elements"

  #181 opened 3 years ago by Fuco1
  0

• Implement narrowing in terms of type predicates

  #182 opened 2 years ago by Fuco1
  1

• Handle optional arguments somehow

  #193 opened 2 years ago by Fuco1
  0

• Add Eask as an option?

  #183 opened 2 years ago by jcs090218
  3

• Incorrect analysis of funcall of a symbol holding a quoted symbol

  #188 opened 2 years ago by Fuco1
  0

• Elsa thinks a condition is always nil when it isn't

  #163 opened 5 years ago by DarwinAwardWinner
  5

• Use cl-the annotations as a source of types

  #166 opened 5 years ago by ebpa
  1

• Elsa crashes on reading `'(x . y)` syntax

  #176 opened 3 years ago by ethan-leba
  3

• Issue executing Elsa via. Cask

  #179 opened 3 years ago by ethan-leba
  6

• Add an option to assert that something is 100% certain type

  #180 opened 3 years ago by Fuco1
  0

• Elsa crashes when reading forms inside 'let-alist', prints: 'Scan error: "Containing expression ends prematurely"'

  #172 opened 4 years ago by spellcard199
  2

• Pass higher-level function type parameters to lambdas supplied as arguments.

  #171 opened 5 years ago by Fuco1
  0

• extension for emacs-deferred

  #170 opened 5 years ago by gonewest818
  2

• Elsa should exit non-zero when errors

  #168 opened 5 years ago by alphapapa
  1

• Unable to analyse

  #165 opened 5 years ago by contrapunctus-1
  3

• Elsa doesn't like it when I (require 's)

  #159 opened 5 years ago by DarwinAwardWinner
  17

• How to write the type of "identity"?

  #161 opened 5 years ago by DarwinAwardWinner
  1

• There is already an open source project called Elsa: https://github.com/dsw/oink-stack/tree/master/elsa

  #158 opened 5 years ago by dsw
  1

• false alarm on defcustom initialized to a value

  #155 opened 6 years ago by Fuco1
  0