emacs-elsa/Elsa

Issues

• How to express the type of upcase?

  #154 opened 3 years ago
  6

• If there is no Elsafile just load everything by default.

  #153 opened 6 years ago
  0

• Annotate variable definitions?

  #151 opened 3 years ago
  2

• Check that we are not assigning to a defconst

  #150 opened 6 years ago
  0

• Abstract access to (get var-name 'elsa-type-var)

  #149 opened 6 years ago
  1

• Add variables from emacs.c

  #147 opened 6 years ago
  0

• Research "Mapped types"

  #145 opened 6 years ago
  0

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

  #142 opened 6 years ago
  3

• A likely typo

  #141 opened 6 years ago
  3

• (arglist-cont . 0) Invalid read syntax "."

  #140 opened 6 years ago
  0

• As a user I don't want to register extensions which should obviously be used

  #139 opened 2 years ago
  1

• Hard time installation on Windows x64

  #138 opened 2 years ago
  2

• Prefer `-p` over `?` suffix for predicates

  #137 opened 6 years ago
  1

• Create a "gallery of bad code"

  #136 opened 6 years ago
  0

• Update "How do I run it" in README

  #135 opened 6 years ago
  3

• Invalid slot name:

  #134 opened 5 years ago
  21

• Support multiple files passed on the command line

  #132 opened 6 years ago
  4

• Add types for some predefined symbols used in `org-get-at-bol`

  #131 opened 6 years ago
  0

• Possible shadowing going on between types elsa-form and elsa-form-list

  #129 opened 2 years ago
  9

• Could this ever be repurposed to make a Common Lisp static analyzer tool?

  #128 opened 3 years ago
  1

• Flymake support

  #126 opened 6 years ago
  2

• Missing dependencies in Melpa package

  #124 opened 6 years ago
  0

• Using ELSA for Org-mode literate configs

  #123 opened 6 years ago
  10

• Add a check that shut-up-current-output is only called from inside shut-up

  #122 opened 6 years ago
  0

• All forms should internally hold the value in `:value` property

  #120 opened 2 years ago
  1

• Find a way to declare interfaces and type aliases

  #119 opened 6 years ago
  0

• process-mark returns a Marker, not Mixed

  #116 opened 6 years ago
  0

• Function = can take markers as argument

  #115 opened 6 years ago
  2

• Should support bindings with cl-destructuring-bind

  #114 opened 6 years ago
  2

• Unwanted assigning to free variable

  #113 opened 6 years ago
  2

• Problem with type inference: detecting Mixed but requiring [Mixed]

  #112 opened 2 years ago
  3

• Compiling elsa makes tests stop working

  #111 opened 5 years ago
  5

• README references an example.el file that does not exist

  #109 opened 6 years ago
  0

• Consider decomposing the project

  #108 opened 6 years ago
  1

• Add to GNU ELPA

  #106 opened 6 years ago
  12

• Add a check for multiple (same) keys in plist/alist/hash

  #104 opened 6 years ago
  0

• (rx (or (and (? "#") "'") "," "`" ",@")) should not be analyzed in the traditional sense

  #103 opened 6 years ago
  3

• Rewrite all the elsa style checks to report the actual forms in the hint and not just a placeholder

  #102 opened 6 years ago
  0

• Consider renaming elsa-form-sequence to elsa-to-list

  #101 opened 2 years ago
  1

• Add some macro that would do the cleanup when introducing lexical variables

  #100 opened 6 years ago
  0

• Make an accessor for type (elsa-type) usable in `setf`

  #99 opened 6 years ago
  2

• The handlers in condition-case are not always reachable, we need to take this into account when updating scope.

  #98 opened 6 years ago
  0

• Try to infer the type of `it` in dash anaphora.

  #97 opened 6 years ago
  0

• Implement checks from package-lint

  #95 opened 6 years ago
  0

• Add some checks to recommend built-in functions instead of external libraries.

  #94 opened 6 years ago
  0

• Check that during its life a lexical variable always has compatible domains when used as argument.

  #93 opened 6 years ago
  0

• Add type inference for function signatures.

  #92 opened 6 years ago
  2

• Implement analysis of unquote, backquote and splice

  #91 opened 6 years ago
  0

• Reader chokes on ',(cadr dfn)

  #90 opened 6 years ago
  0

• Fix printing of forms

  #89 opened 6 years ago
  0