Steep Versions Save

Static type checker for Ruby

v1.7.0.dev.2

2 months ago

Release note

v1.6.0.pre.4

2 months ago

Release note

Language server

  • Fix LSP text synchronization problems (#954)

v1.7.0.dev.1

3 months ago

Release note

v1.6.0

6 months ago

Release note

Nothing changed from 1.6.0.pre.4.

v1.6.0.pre.3

6 months ago

Release note

Type checker core

  • Object methods are moved to Kernel (#952)
  • Check if rescue body has bot type (#953)

v1.6.0.pre.2

6 months ago

Release note

Type checker core

  • Assign types on method calls in mlhs node (#951)
  • Change severity of block diagnostics (#950)

Commandline tool

  • Match with ** in pattern (#949)

v1.6.0.pre.1

6 months ago

Release note

Type checker core

  • Test if a parameter is _ (#946)
  • Let []= call have correct type (#945)
  • Support type narrowing by Module#< (#877)
  • Fewer UnresolvedOverloading (#941)
  • Fix ArgumentTypeMismatch for PublishDiagnosticsParams (#895)
  • Add types for LSP::Constant::MessageType (#894)
  • nil is not a NilClass (#920)
  • Fix unexpected error when DifferentMethodParameterKind (#917)

Commandline tool

  • Fix space in file path crash (#944)
  • refactor: Rename driver objects to command (#893)
  • Run with --jobs=2 automatically on CI (#924)
  • Fix type alias validation (#922)

Language server

  • Let goto definition work from UnresolvedOverloading error calls (#943)
  • Let label be whole method type in SignatureHelp (#942)
  • Set up file watcher (#936)
  • Reset file content on didOpen notification (#935)
  • Start type check on change (#934)
  • Better completion with module alias and use directives (#923)

Miscellaneous

  • Drop 2.7 support (#928)
  • Type check subtyping/check.rb (#921)
  • Type check constant under self (#908)

v1.5.3

9 months ago

Release note

Type checker core

  • Fix type checking parenthesized conditional nodes (#896)

v1.5.2

9 months ago

Release note

Type checker core

  • Avoid inifinite loop in #shape (#884)
  • Fix nil? typing with untyped receiver (#882)

Language server

  • Avoid breaking the original source code through CompletionProvider (#883)

v1.5.1

9 months ago

Release note

Type checker core

  • Support unreachable branch detection with elsif (#879)
  • Give an optional type hint to lhs of || (#874)

Miscellaneous

  • Update steep (#878)
  • Update inline type comments (#875)