CHANGELOG.md

CHANGELOG

1.9.1 (2024-12-09)

Type checker core

• Make implicitly-returns-nil opt-in (#1396)

1.9.0 (2024-12-06)

Type checker core

• Report diagnostic on unknown record key (#1385)
• Report annotation syntax error (#1384)
• emit UnreachableBranch to the "void" condition (#1356)
• Support &method(:name) call for block_pass (#1276)
• Emit SingletonTypeMismatch when class/module mismatch (#1274)
• refactor: Use Array#fetch instead of Array#[] to resolve type errors (#1287)
• refactor: Use Hash#fetch instead of Hash#[] to resolve type errors (#1286)
• Expand array(splat(expr node (#1347)
• Add UnannotatedEmptyCollection diagnostic (#1338)
• Update type checking strategy (#1308)
• Fix untyped hash typing (#1299)
• Support implicitly-returns-nil (#1258)
• Fix record shape (#1265)
• Remove unused rules (#1238)

Commandline tool

• Introduces a new target.* syntax for everything in the target (#1387)
• Symbolize target/group names (#1364)
• Update Steepfile template (#1355)
• Delete target from --validate option (#1346)
• Install rbs collection automatically (#1345)

Language server

• Add link to diagnostic manual (#1388)
• Stop accumulating diagnostics (#1367)
• Send server version to client (#1341)
• Add custom methods to trigger type check manually (#1340)
• Type check thread helpers (#1335)
• Use URI::RFC2396_Parser (#1329)
• Handle file deletion notification (#1300)
• Refactor communication between master and type check worker (#1285)
• Skip sending response to $/steep/typecheck request from steep langserver (#1267)

Miscellaneous

• Use rbs-3.7 (#1383)
• Move diagnostic docs (#1370)
• Add anchor (#1359)
• Update example to not use ^ as a hash function (#1360)
• doc: Add diagnostics for Ruby page (#1249)
• Update filename example in initial Steepfile (#1230)
• docs: Add document for steep:ignore comment (#1353)
• docs: Add document for type assertion and type application (#1235)
• Print test names in CI for investigation (#1354)
• Fix typo (#1352)
• Set up type checking tests (#1339)
• Fix typo (#1248)

1.8.3 (2024-10-29)

Type checker core

• Fix untyped hash typing (#1299, Backport in #1301)

Language server

• Handle file deletion notification (#1300, Backport in #1301)

1.8.2 (2024-10-24)

Language server

• Ignore didChangeWatchedFiles notification for open files (#1290)

1.8.1 (2024-10-08)

Language server

• Skip sending response to $/steep/typecheck request from steep langserver (#1268, backport #1267)

1.8.0 (2024-09-30)

Type checker core

• RBS validation (#1239)
• Add special path for Kernel#class method (#1229)

1.8.0.pre.2 (2024-09-18)

Type checker core

• Support non symbol record keys (#1227)

1.8.0.pre.1 (2024-09-17)

Type checker core

• Fix some subtyping problems (#1221)
• Support optional keys in record types (#1223)
• Revert implicit generic upper bound (#1220)
• Improve generics (#1216)
• Delete meta data from MethodType and Types::* (#1201)
• Delete ContextArray (#1199)
• Fix shape calculation error (#1197)
• Skip #: syntax in Data.define and Struct.new (#1196)
• Support literals for Rational and Complex (#1178)
• Ignore type assertions on arguments/receiver on def/defs (#1179)
• Ignore #: annotation on attr_* calls (#1176)

Commandline tool

• Improve performance when there are many files (#1184)
• Fix type errors (#1183)

Language server

• Make type checking a LSP request, not a LSP notification (#1218)
• No timeout: nil (#1217)
• Print loading project message via LSP (#1213)
• Load files in main process (#1206)

Miscellaneous

• Drop Ruby 3.0 (#1225)
• Add bin/steep-check for profiling (#1198)

1.7.1 (2024-06-12)

Type checker core

• Fix subtyping issues (#1165)

1.7.0 (2024-06-07)

Type checker core

• Implement untyped function params (#1101)
• Fix method call type narrowing with|| operator (#1085)
• Refactor Interface::Builder (#1081)
• Fix UnexpectedError with unnamed arguments (#1041)
• Abort if subtyping fails to (possible) infinite loop (#1055)
• Ignore diagnostics by steep:ignore comment (#1034)
• Make defined? accept any type (#1031)
• Refactor case-when syntax (#999)
• Update Steep::Subtyping::Check#check types (#972)

Commandline tool

• Improve wildcard handling in pattern matching for directory paths (#1121)
• Fix issue with wildcard expansion in FileLoader (#1113)
• Avoid unnecessary calling RBS::Location#to_s on debug log (#1092)
• Better recovery from collection problems (#987)
• Handle absolute path (#975)
• Default to check the entire current directory when there is no Steepfile (#968)

Language server

• Fix variable untyped hover issue in rescue clause (#1147)
• Handle $/file/reset request in interaction worker (#1122)
• Skip pending UI jobs (#1035)
• Fix no method error (#1040)
• Implement completion for comments (#1039)
• Fix signature help (#1038)

Miscellaneous

• Revise rake tasks (#1156)
• Update steep.gemspec (#1155)
• Add Steep::RakeTask (#995)
• Stop to distribute sig dir (#1144)
• Update gem-rbs-collection.md (#1127)
• Add shape docs (#1089)
• Ignore smoke tests when packaging gem (#962)
• Fix setup for Ruby 3.3 (#1000)

master

1.6.0 (2023-11-09)

Nothing changed from 1.6.0.pre.4.

1.6.0.pre.4 (2023-11-02)

Language server

• Fix LSP text synchronization problems (#954)

1.6.0.pre.3 (2023-11-01)

Type checker core

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

1.6.0.pre.2 (2023-10-31)

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)

1.6.0.pre.1 (2023-10-27)

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)

1.5.3 (2023-08-10)

Type checker core

• Fix type checking parenthesized conditional nodes (#896)

1.5.2 (2023-07-27)

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)

1.5.1 (2023-07-20)

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)

1.5.0 (2023-07-13)

Type checker core

• Fix for the case untyped is the proc type hint (#868)
• Type case with type variable (#869)
• Filx nil? unreachability detection (#867)

Commandline tool

• Update #configure_code_diagnostics type (#873)
• Update diagnostics templates (#871)
• Removed "set" from "libray" in init.rb and README (#870)

Language server

• Use RBS::Buffer method to calculate position (#872)

1.5.0.pre.6 (2023-07-11)

Type checker core

• Report RBS validation errors in Ruby code (#859)
• Fix proc type assignment (#858)
• Report UnexpectedKeywordArgument even if no keyword param is accepted (#856)
• Unfold type alias on unwrap optional (#855)

Language server

• Keyword completion in block call (#865)
• Indicate the current or next argument on signature help (#850)
• Support completion for keyword arguments (#851)
• Let hover show the type of method call node (#864)
• Fix UnknownNodeError in SignatureHelp (#863)
• hover: Fix NoMethodError on generating hover for not supported files (#853)

1.5.0.pre.5 (2023-07-07)

Type checker core

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

1.5.0.pre.4 (2023-07-06)

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 (2023-07-05)

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 (2023-07-05)

Language server

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

1.5.0.pre.1 (2023-07-05)

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)
• Give a special typing rule to #lambda calls (#811)
• Support early return code using "and return" (#828)
• Validate type applications in ancestors (#810)
• Convert block-pass-arguments with #to_proc (#806)

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

• Completion in annotations (#818)
• Implement go to type definition (#784)
• completion: Support completion for optional chaining (&.) (#827)
• signature helps are not shown if the target code has comments (#829)

Miscellaneous

• Typecheck sources (#820)
• Relax concurrent-ruby requirement (#812)
• Cast from union for faster type checking (#830)

1.4.0 (2023-04-25)

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)

1.3.2 (2023-03-17)

Miscellaneous

• Remove pathname from runtime_dependency (#740)

1.3.1 (2023-03-08)

Miscellaneous

• Require rbs-2.8.x (#732)

1.3.0 (2022-11-25)

Type checker core

• Type check types (#676)

1.3.0.pre.2 (2022-11-23)

Type checker core

• Add missing #level method (#671)
• Cache constant_resolver among files in a target(#673)
• Early return from type checking overloads (#674)

Commandline tool

• Spawn worker processes if --steep-command is specified (#672)

1.3.0.pre.1 (2022-11-22)

Type checker core

• Add type assertion syntax (#665)
• Add type application syntax (#670)

Commandline tool

• Fork when available for quicker startup (#664)

Miscellaneous

• Fixes for some RBS errors within steep gem (#668)
• Upgrade to RBS 2.8 (pre) (#669)

1.2.1 (2022-10-22)

Type checker core

• Fix type narrowing on case-when (#662)

1.2.0 (2022-10-08)

Commandline tool

• Refactor --jobs and --steep-command option handling (#654)

Miscellaneous

• Delete debug prints (#653)
• Update RBS to 2.7.0 (#655)

1.2.0.pre.1 (2022-10-06)

Type checker core

• Support type checking block/proc self type binding (#637)
• Type check multiple assignment on block parameters (#641, #643)
• Make more multiple assignments type check (#630)
• Refactor shape calculation (#635, #649)
• Report type errors if argument mismatch on yield (#640)
• Relax caching requirements to cache more results (#651)

Commandline tool

• Add steep checkfile command (#650)

Miscellaneous

• Add docs for sublime text integration (#633)

1.1.1 (2022-07-31)

Type checker core

• Ignore special local variables -- _, __any__ and __skip__ (#617, #627)
• Fix type narrowing on assignments (#622)

1.1.0 (2022-07-27)

Type checker core

• Fix #each_child_node (#612)

1.1.0.pre.1 (2022-07-26)

Type checker core

• Type refinement with method calls (#590)
• Better multiple assignment type checking (#605)
• Fix generics issues around proc types (#609, #611)
• Fix type application validation (#607; backport from 1.0.2)
• Add class variable validation (#593)
• Fix type application validation (#607)

Commandline tool

• Appends "done!" to the watch output when the type check is complete (#596)

Language server

• Fix hover on multiple assignment (#606)

1.0.2 (2022-07-19)

This is another patch release for Steep 1.0.

Type checker core

• Fix type application validation (#607)

1.0.1 (2022-06-16)

This is the first patch release for Steep 1.0. However, this release includes one non-trivial type system update, #570, which adds a special typing rule for Hash#compact like Array#compact. The change will make type checking more permissive and precise, so no new error won't be reported with the fix.

Type checker core

• Support shorthand hash for Ruby 3.1 (#567)
• Fix super and zsuper with block (#568)
• Apply logic-type evaluation only if the node is :send (#569)
• Add support for Hash#compact (#570)
• Use given const_env when making a new ModuleContext (#575)
• Graceful, hopefully, error handling with undefined outer module (#576)
• Type check anonymous block forwarding (#577)
• Incompatible default value is a type error (#578)
• Load ChildrenLevel helper in AST::Types::Proc (#584)
• Type check gvar and gvasgn in methods(#579)
• Avoid UnexpectedError when assigning untyped singleton class (#586)

Commandline tool

• Improve Windows support (#561, #573)
• Test if .ruby-version exists before rvm do in binstub (#558)
• Fix typo (#564)
• Ignore untitled: URIs in LSP (#580)

Miscellaneous

• Fix test name (#565, #566, #585)
• Remove some unused code except tests (#587)

1.0.0 (2022-05-20)

• Add special typing rule for Array#compact (#555)
• Add custom method type of #fetch on tuples and records (#554)
• Better masgn (#553)
• Fix method parameter type checking (#552)

0.52.2 (2022-05-02)

• Handle class declaration with non-const super class (#546)
• Remove #to_a error message (#545)
• Add #filter_map shim (#544)

0.52.1 (2022-04-25)

• Better union type inference (it type checks Array#filter_map now!) (#531)
• Improve method call hover message (#537, #538)
• Make NilClass#! a special method to improve flow-sensitive typing (#539)
• Fix steep binstub (#540, #541)

0.52.0 (2022-04-05)

• Add steep binstub command (#527)
• Let hover and completion work in heredoc (#528)
• Better constant typing (#529)

0.51.0 (2022-04-01)

• Completion for constant (#524)
• Better hover/completion message (#525)
• Show available commands when using --help (#523)

0.50.0 (2022-03-22)

• CLI option for override steep command at spawn worker (#511)
• LSP related improvements for Sublime LSP (#513)
• Support Windows environment (#514)
• Let &:foo proc work with methods with optional parameters (#516)
• Fix unexpected error when or-asgn/and-asgn (#517)
• Fix goto-definition from method call inside block (#518)
• Better splat in array typing (#519)

0.49.1 (2022-03-11)

• Fix lambda typing (#506)
• Validate type descendants (#507)
• Fix print error with absolute path (#508)
• Skip non-target ruby code on steep stats (#509)

0.49.0 (2022-03-08)

• Better typing for #flat_map (#504)
• Support lambdas (->) with block (#503)
• Let proc type be ::Proc class instance (#502)
• Disable contextual typing on bool type (#501)
• Type check return without value (#500)

0.48.0 (2022-03-07)

Steep supports all of the new features of RBS 2. 🎉 It now requires RBS >= 2.2 and support all of the features.

• Update RBS (#495)
• Support generic type aliases (#496)
• Support bounded generics (#499)

0.47.1 (2022-02-17)

This update lets Steep run with Active Support 7.

• Fix ActiveSupport requirement in lib/steep.rb (#484)

0.47.0 (2021-11-30)

This update contains update for RBS 1.7.

• RBS 1.7 (#455)
• Bug fixes related to SendArgs (#444, #449, #451)
• LSP completion item formatting improvement (#442)

0.46.0 (2021-08-30)

This release updates Steepfile DSL syntax, introducing stdlib_path and configure_code_diagnostics syntax (methods).

• stdlib_path allows configuring core/stdlib RBS file locations.
• configure_code_diagnostics allows configuring severity of each type errors.

See the PRs for the explanation of these methods. You can try steep init to generate updated Steepfile template.

• Flexible diagnostics configuration (#422, #423)
• Revise Steepfile path DSL (#421)
• Avoid to stop process by invalid jobs_count (#419)
• Fix Steep::Typing::UnknownNodeError when hover method with numblock (#415)

0.45.0 (2021-08-22)

• Fix error reporting on RBS::MixinClassError (#411)
• Compact error reporting for method body type mismatch (#414)
• Fix NoMethodError with csend/numblock (#412)
• LSP completion for RBS files (#404)
• Allow break without value from bot methods (#398)
• Type check on lvar assignments (#390)
• Assign different error code to break without value (#387)
• Support Ruby3 Keyword Arguments (#386)
• LSP hover for RBS files (#385, #397)
• Fix FileLoader to skip files not matching to the given pattern (#382)
• Ruby3 support for numbered block parameters and end-less def (#381)

0.44.1 (2021-04-23)

• Disable goto declaration and goto type declaration (because they are not implemented) (#377)
• Fix goto from block calls (#378)

0.44.0 (2021-04-22)

• Implement LSP go to definition/implementation (#371, #375)
• Fix typing on passing optional block (#373)
• Do not crash when completion request context is missing (#370)
• Update RBS (#376)

0.43.1 (2021-04-01)

• Fix LSP textDocument/didSave notification handling (#368)

0.43.0 (2021-03-30)

• LSP responsiveness improvements (#352)
• @implements annotation in blocks (#338)
• Better steep stats table formatting (#300)
• Fix retry type checking (#293)
• Better tuple type checking (#328)
• Fix unexpected add_call error (#358)
• Ignore passing nil as a block &nil (#356)
• Better type checking for non-trivial block parameters (#354)
• Avoid unexpected error on splat assignments (#330)
• Fix constraint solver (#343)
• Ruby 2.7 compatible private method call typing (#344)

0.42.0 (2021-03-08)

• Type checking performance improvement (#309, #311, #312, #313, #314, #315, #316, #320, #322)
• Let watch command support files (#323)
• Validate module-self-type constraints (#308)
• Add -j option to specify number of worker processes (#318, #325)
• Fix code of RBS diagnostics (#306)
• Skip printing source code from out of date expectations file (#305)

0.41.0 (2021-02-07)

• Add --with-expectations and --save-expectations option (#303)

0.40.0 (2021-01-31)

• Report progress with dots (#287)
• Diagnostics message improvements (#297, #301)
• Fix error on implicit to_proc syntax when untyped is yielded (#291)

0.39.0 (2020-12-25)

• Update RBS to 1.0.0 (#282)
• Better && and || typing (#276)
• Type case based on literals (#277)
• Type case improvements (#279, #283)
• Improvements on untyped classes/modules, unsupported syntax error handling, and argument types in untyped methods (#280)
• Fix bot and top type format (#278)
• Colorfull error messages (#273)

0.38.0 (2020-12-10)

• Improve break/next typing (#271)
• Add LSP workspace/symbol feature (#267)

0.37.0 (2020-12-06)

• Update to RBS 0.20.0 with singleton attribute syntax and proc types with blocks. (#264)

0.36.0 (2020-11-16)

• Flow-sensitive typing improvements with || and && (#260)
• Type-case improvement (#259)
• Subtyping between bool and logic types (#258)

0.35.0 (2020-11-14)

• Support third party RBS repository (#231, #254, #255)
• Boolean type semantics update (#252)
• More flexible record typing (#256)

0.34.0 (2020-10-27)

• Add steep stats command to show method call typing stats (#246)
• Fix attribute assignment typing (#243)
• Let Range[T] be covariant (#242)
• Fix constant typing (#247, #248)

0.33.0 (2020-10-13)

• Make ! typing flow sensitive (#240)

0.32.0 (2020-10-09)

• Let type-case support interface types (#237)

0.31.1 (2020-10-07)

• Fix if-then-else parsing (#236)

0.31.0 (2020-10-04)

• Fix type checking performance (#230)
• Improve LSP completion/hover performance (#232)
• Fix instance variable completion (#234)
• Relax version requirements on Listen to allow installing on Ruby 3 (#235)

0.30.0 (2020-10-03)

• Let top-level defs be methods of Object (#227)
• Fix error caused by attribute definitions (#228)
• LSP worker improvements (#222, #223, #226, #229)

0.29.0 (2020-09-28)

• Implement reasoning on is_a?, nil?, and === methods. (#218)
• Better completion based on interface (#215)
• Fix begin-rescue typing (#221)

0.28.0 (2020-09-17)

• Fix typing case-when with empty body (#200)
• Fix lvasgn typing with void type hint (#200)
• Fix subtype checking between type variables and union types (#200)
• Support endless range (#200)
• Fix optarg, kwoptarg typing (#202)
• Better union/intersection types (#204)
• Fix generic method instantiation (#205)
• Fix module typing (#206)
• Fix shutdown problem (#209)
• Update RBS to 0.12.0 (#210)
• Improve processing singleton class decls without RBS (#211)
• Improve processing block parameter with masgn (#212)

0.27.0 (2020-08-31)

• Make tuple types covariant (#195)
• Support or_asgn/and_asgn with send node lhs (#194)
• Performance improvement (#193)
• Add specialized versions of #first and #last on tuples (#191)
• Typing bug fix on [] (empty array) (#190)
• Earlier shutdown with interruption while steep watch (#173)

0.26.0

• Skipped

0.25.0 (2020-08-18)

• Improve op_send typing (#186)
• Improve op_asgn typing (#189)
• Better multi-assignment support (#183, #184)
• Support for loop and class variables (#182)
• Fix tuple typing (#181)

0.24.0 (2020-08-11)

• Update RBS to 0.10 (#180)

0.23.0 (2020-08-06)

• Fix literal typing with hint (#179)
• Fix literal type subtyping (#178)

0.22.0 (2020-08-03)

• Improve signature validation (#175, #177)
• Fix boolean literal typing (#172)
• Make exit code success when Steep has unreported type errors (#171)
• Allow ./ prefix for signature pattern (#170)

0.21.0 (2020-07-20)

• Fix LSP hover (#168)
• Nominal subtyping (#167)

0.20.0 (2020-07-17)

• Support singleton class definitions (#166)

0.19.0 (2020-07-12)

• Update RBS. (#157)
• No initialize in completion. (#164)
• Granular typing option setup. (#163)

0.18.0 (2020-07-06)

• Sort result of Pathname#glob (#154)
• Sort methods in LanguageServer to return non-inherited methods first (#159)

0.17.1 (2020-06-15)

• Allow RBS gem to be 0.4 (#153)

0.17.0 (2020-06-13)

• Fix steep watch and steep langserver to correctly handle error message filterings based on options (#152)
• Fix typing of collections (#151)

0.16.3

• Fix steep watch (#147)
• Stop using pry (#148)

0.16.2 (2020-05-27)

• Update gems (#144, #145)

0.16.1 (2020-05-22)

• Fix constant resolution (#143)
• Fix RBS diagnostics line number in LSP (#142)
• Fix crash caused by hover on def in LSP (#140)

0.16.0 (2020-05-19)

• Spawn workers for type check performance (#137)
• Fix check and signature methods in Steepfile (8f3e4c7)

0.15.0 (2020-05-05)

• Add type checking configuration to dsl (#132)
• More flow sensitive type checking

0.14.0 (2020-02-24)

• Implementat LSP completion. (#119)
• Update ruby-signature. (#120)
• Rescue errors during langserver. (#121)
• Pass hint when type checking return. (#122)
• Remove trailing spaces from Steepfile. (#118)

0.13.0 (2020-02-16)

• Improve LSP hover support. (#117)

0.12.0 (2020-02-11)

• Add Steepfile for configuration
• Use the latest version of ruby-signature

0.11.1 (2019-07-15)

• Relax activesupport versnion requirement (#90)

0.11.0 (2019-05-18)

• Skip alias nodes type checking (#85)
• Add experimental LSP support (#79. #83)
• Fix logging (#81)

0.10.0 (2019-03-05)

• Add watch subcommand (#77)
• Automatically @implements super class if the class definition inherits
• Fix tuple typing
• Fix or typing

0.9.0 (2018-11-11)

• Private methods (#72)
• __skip__ to skip type checking (#73)
• Add alias for method types (#75)
• Fix Names::Base#hash (#69 @hanachin)
• Add super in method types (#76)

0.8.2 (2018-11-09)

• Fix ElseOnExhaustiveCase error implementation
• Add some builtin methods

0.8.1 (2018-10-29)

• Remove duplicated detected paths (#67)

0.8.0 (2018-10-29)

• Load types from gems (#64, #66)
• Fix exit status (#65)
• Fix --version handling (#57 @ybiquitous, #58)
• Add Regexp and MatchData (#58 @ybiquitous)

0.7.1 (2018-10-22)

• Rename hash type to record type (#60)
• Fix keyword typing (#59)

0.7.0 (2018-09-24)

• Add some builtin
• Fix array argument typing
• Allow @type instance variable declaration in signature
• Fix @type annotation parsing
• Fix polymorphic method type inference
• Fix relative module lookup
• Fix module name tokenization

0.6.0 (2018-09-23)

• Update ast_utils
• Introduce hash type { id: Integer, name: String } (#54)
• Revise signature syntax; use < instead of <: for inheritance (#53)
• Interface and alias name can be namespaced (#52)
• Grammar formatting (#51 @iliabylich)

0.5.1 (2018-08-11)

• Relax dependency requirements (#49, #50)

0.5.0 (2018-08-11)

• Support lambda -> (#47)
• Introduce incompatible method (#45)
• Add type alias (#44)
• Steep is MIT license (#43)
• Improved block parameter typing (#41)
• Support optional block
• Support attributes in module
• Support :xstr node
• Allow missing method definition with steep check without --strict

0.4.0 (2018-06-14)

• Add tuple type (#40)
• Add bool and nil types (#39)
• Add literal type (#37)

0.3.0 (2018-05-31)

• Add interface command to print interface built for given type
• Add --strict option for check command
• Fix scaffold command for empty class/modules
• Type check method definition with empty body
• Add STDOUT and StringIO minimal definition
• Fix validate command to load stdlib
• Fix parsing keyword argument type

0.2.0 (2018-05-30)

• Add attr_reader and attr_accessor syntax to signature (#33)
• Fix parsing on union with any