1.5.0.pre.5

Release note

Type checker core

• Unreachability improvements (#845)
• Fix type inference problem (#843)

1.5.0.pre.4

Release note

Type checker core

• Fix unreachability test (#842)
• Make type of case node untyped rather than nil (#841)
• Fix #partition_union (#840)
• Fix type-case (#839)

1.5.0.pre.3

Release note

Type checker core

• Resolve type names from TypeAssertion and TypeApplication (#836)

Commandline tool

• Replace ElseOnExhaustiveCase by UnreachableBranch from steep/diagnostic/ruby.rb (#833)

Language server

• Reuse the latest result to keep SignatureHelp opened while typing (#835)

1.5.0.pre.2

Release note

1.5.0.pre.1 didn't include #832, the CHANGELOG and release note were incorrect.

Language server

• Fix signature help is not shown for the optional chaining (&.) (#832)

1.5.0.pre.1

Release note

Type checker core

• Refactor occurrence typing (#831)
• Better flow-sensitive typing (#825)
• Fix interface type inference (#816)
• Make nth_ref and :back_ref nodes optional (#815)
• Add new diagnostic for setter methods (#809)
• Better hint type handling given to lambda (#807)
• Fix type assertion parsing error (#805)
• Distribute untyped to block params (#798)
• Should escape underscore for method name (#770)

Commandline tool

• Ensure at least one type check worker runs (#814)
• Improve worker process handling (#801)
• Add Steep::Diagnostic::Ruby.silent template to suppress all warnings (#800)
• Suppress UnsupportedSyntax warnings by default (#799)
• Infer method return types using hint (#789)
• Handling splat nodes in super (#788)
• Add handling splat node in tuple type checking (#786)
• Let return have multiple values (#785)
• Remove trailing extra space from Steepfile generated by steep init (#774)

Language server

• Fix signature help is not shown for the optional chaining (&.) (#832)
• Completion in annotations (#818)
• Implement go to type definition (#784)

Miscellaneous

• Typecheck sources (#820)
• Relax concurrent-ruby requirement (#812)

Version 1.4.0

Release note

Type checker core

• Return immediately if blocks are incompatible (#765)
• Fix location of no method error (#763)
• Support gvasgn in assignment variants (#762)
• Set up break contexts correctly for untyped blocks (#752)
• Fix flow sensitive on case without condition (#751)
• Support ... syntax (#750)
• Fix constant declaration type checking (#738)
• Fix errors caused by non-ascii variable names (#703)
• Update RBS to 3.0 (#716, #754)

Language server

• Implement signature help, better completion and hover (#759, #761, #766)

Miscellaneous

• Remove pathname from runtime_dependency (#739)
• parallel out, concurrent-ruby in (#760)

Version 1.3.2

Release note

Miscellaneous

• Remove pathname from runtime_dependency (#740)

Version 1.3.1

Release note

Miscellaneous

• Require rbs-2.8.x (#732)

Version 1.4.0.dev.2

Release note

Version 1.3.0

Release note

Type checker core

• Type check types (#676)