1.9.1

Release note

Type checker core

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

1.9.0

Release note

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.9.0.dev.2

Release note

1.9.0.dev.1

Release note

1.8.3

Release note

Type checker core

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

Language server

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

1.8.2

Release note

Language server

• Ignore didChangeWatchedFiles notification for open files (#1290)

1.8.1

Release note

Language server

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

1.8.0

Release note

Type checker core

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

1.8.0.pre.2

Release note

Type checker core

• Support non symbol record keys (#1227)

1.8.0.pre.1

Release note

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)