emacs-elsa/Elsa

Issues

• Condition always evaluates to nil: (eq name 'nil)

  #88 opened 6 years ago
  1

• Add some generic mechanism for normalizing composite types

  #86 opened 6 years ago
  1

• We can not run narrowing on condtions which might not run

  #85 opened 6 years ago
  0

• FYI: python-deduckt

  #84 opened 2 years ago
  0

• Copy relevant Type algebra tests from psalm (php SA)

  #83 opened 2 years ago
  0

• Add check for useless assignments

  #82 opened 6 years ago
  0

• If `if` has both true and false body condition nil/t analysis is broken

  #81 opened 6 years ago
  0

• We need a logo

  #80 opened 6 years ago
  27

• (setq n (or n 1)) reports that "1 always evaluates to true" but this is not a warning

  #79 opened 6 years ago
  0

• Add rule for eq, equal, =, eql comparing type domains

  #78 opened 6 years ago
  0

• LSP?

  #77 opened 6 years ago
  1

• Add extensions for built-in predicates "always returning true" if corresponding argument is passed

  #76 opened 2 years ago
  2

• Propagate narrow-types on all special forms

  #75 opened 6 years ago
  1

• Lispify and de-Haskellize annotations?

  #74 opened 3 years ago
  28

• [Epic] Add a fixer

  #73 opened 6 years ago
  0

• Improve readme with list of checks and examples/screenshots

  #72 opened 6 years ago
  0

• Write some crazy destructuring macro that can take forms and pluck out data

  #71 opened 6 years ago
  1

• Prefer when-let and if-let over binding and conditionals

  #70 opened 6 years ago
  0

• Add check for merging let forms

  #69 opened 6 years ago
  0

• Add a check for unused return values

  #68 opened 6 years ago
  2

• M-x entrypoint

  #67 opened 6 years ago
  3

• Introduce an `elsa-annotate` macro for the type definitions

  #66 opened 2 years ago
  1

• Add a setting which will make Mixed accepted by all types, even more narrow ones

  #65 opened 6 years ago
  1

• Implement rules from emacs style guide

  #64 opened 6 years ago
  1

• Get rid of stale unused code

  #63 opened 6 years ago
  1

• Introduce ternary logic

  #62 opened 2 years ago
  3

• Add type annotations for dash

  #60 opened 6 years ago
  0

• Make elsa-make-error & friends API better

  #59 opened 6 years ago
  0

• Interpret symbol property `byte-obsolete-info`

  #58 opened 6 years ago
  0

• Create usable documentation on readthedocs

  #57 opened 6 years ago
  0

• Check that a variadic type has corresponding &rest on the function declaration

  #56 opened 6 years ago
  0

• Fix the `elsa` binary help and parameters

  #55 opened 6 years ago
  1

• Change the comment type annotation syntax to include the function name

  #54 opened 6 years ago
  1

• Add feature to get target Emacs platform from Cask/pkg headers

  #53 opened 6 years ago
  1

• A &rest argument shoud not be Mixed but [Mixed]

  #52 opened 6 years ago
  0

• Detect impossible conditionals

  #51 opened 6 years ago
  0

• Implement type narrowing in conditionals

  #50 opened 6 years ago
  1

• Write a blog post about `line-number-at-pos`

  #49 opened 6 years ago
  1

• Figure out a way of tracking "callability" of a form

  #48 opened 3 years ago
  0

• Add some support for "dumping" type definitions.

  #47 opened 6 years ago
  1

• Add support for composite variadic types (such as `(a | b)...`)

  #46 opened 6 years ago
  1

• Properly handle types of quoted things

  #45 opened 6 years ago
  0

• Add constant types

  #44 opened 6 years ago
  0

• Add a plist type

  #43 opened 6 years ago
  0

• Add a type Callable for things which might be called but we don't know the exact type

  #42 opened 6 years ago
  0

• Add an "error" type which marks that a function can throw

  #41 opened 6 years ago
  0

• Replace the tests for elsa-make-type comparing to vectors with comparing to print representation

  #40 opened 6 years ago
  0

• Add check for unused variables.

  #39 opened 6 years ago
  0

• Make a separate package with the flycheck extension

  #38 opened 6 years ago
  1

• Add support for `cl-defmethod`

  #37 opened 2 years ago
  2