steep 1.5.0.pre.2 → 1.5.0.pre.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c6cfc6dc27ad9f1d484bf734c1633319866b9c6f2593237adace2f17562dfe4b
-  data.tar.gz: 05af58e6372461a82e0cfe3984c9694b51bb706236db7a64302e772f476efd9a
+  metadata.gz: 1fe028736497aa5746e128c32a325b6b98101dc30a97f82b16d572db9a3d39b8
+  data.tar.gz: 1ac7376836e97b860052b75aab42a08ad7a06143d8e0208c9fc764ea54e74cee
 SHA512:
-  metadata.gz: b3b5f11e9a138fceb039c2fb7970f4fbb0b27344114427267d8d74dfab0050f299a75ee8ff6a7051ef93c353dd73f7eac74d9994f998a07360a6743e7e76a8cf
-  data.tar.gz: d75bf5d4329e11ff68f0d61421b3c9c4cf24406959b084b4042e03210477f53469ae02bfd351834c276c9d46c9237bd4a3054a8c5a8b460e9be6f617a64f034b
+  metadata.gz: 9e1dbff5baebfd9ffd88390dcff4831d7d2bead258bd860fa7a6cf62e4c7880c398788c1d6f3ad163ac4256bcf9f25e59f78350a0422e4afa6ee360d38dbc876
+  data.tar.gz: ba0a4d84cb3a50c764369766fceae755fd6ec5717a488904db5d29f5b2ad48d05dadcec6ce37ef9092616aa540e3c513eaa526983ed15fe3096349d685aa0f24

data/CHANGELOG.md

@@ -2,6 +2,20 @@
 
 ## master
 
+## 1.5.0.pre.3 (2023-07-05)
+
+### Type checker core
+
+* Resolve type names from TypeAssertion and TypeApplication ([#836](https://github.com/soutaro/steep/pull/836))
+
+### Commandline tool
+
+* Replace ElseOnExhaustiveCase by UnreachableBranch from steep/diagnostic/ruby.rb ([#833](https://github.com/soutaro/steep/pull/833))
+
+### Language server
+
+* Reuse the latest result to keep SignatureHelp opened while typing ([#835](https://github.com/soutaro/steep/pull/835))
+
 ## 1.5.0.pre.2 (2023-07-05)
 
 ### Language server
@@ -21,6 +35,10 @@
 * Fix type assertion parsing error ([#805](https://github.com/soutaro/steep/pull/805))
 * Distribute `untyped` to block params ([#798](https://github.com/soutaro/steep/pull/798))
 * Should escape underscore for method name ([#770](https://github.com/soutaro/steep/pull/770))
+* Give a special typing rule to `#lambda` calls ([#811](https://github.com/soutaro/steep/pull/811))
+* Support early return code using "and return" ([#828](https://github.com/soutaro/steep/pull/828))
+* Validate type applications in ancestors ([#810](https://github.com/soutaro/steep/pull/810))
+* Convert block-pass-arguments with `#to_proc` ([#806](https://github.com/soutaro/steep/pull/806))
 
 ### Commandline tool
 
@@ -38,11 +56,14 @@
 
 * Completion in annotations ([#818](https://github.com/soutaro/steep/pull/818))
 * Implement *go to type definition* ([#784](https://github.com/soutaro/steep/pull/784))
+* completion: Support completion for optional chaining (&.) ([#827](https://github.com/soutaro/steep/pull/827))
+* signature helps are not shown if the target code has comments ([#829](https://github.com/soutaro/steep/pull/829))
 
 ### Miscellaneous
 
 * Typecheck sources ([#820](https://github.com/soutaro/steep/pull/820))
 * Relax concurrent-ruby requirement ([#812](https://github.com/soutaro/steep/pull/812))
+* Cast from union for faster type checking ([#830](https://github.com/soutaro/steep/pull/830))
 
 ## 1.4.0 (2023-04-25)
 

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    steep (1.5.0.pre.2)
+    steep (1.5.0.pre.3)
       activesupport (>= 5.1)
       concurrent-ruby (>= 1.1.10)
       csv (>= 3.0.9)

data/lib/steep/ast/node/type_application.rb

@@ -25,6 +25,8 @@ module Steep
         end
 
         def types(context, subtyping, type_vars)
+          resolver = RBS::Resolver::TypeNameResolver.new(subtyping.factory.env)
+
           # @type var types: Array[Types::t]
           types = []
 
@@ -32,6 +34,7 @@ module Steep
 
           while true
             ty = RBS::Parser.parse_type(loc.buffer, range: loc.range, variables: type_vars) or break
+            ty = ty.map_type_name {|name| resolver.resolve(name, context: context) || name.absolute! }
 
             validator = Signature::Validator.new(checker: subtyping)
             validator.validate_type(ty)
@@ -41,7 +44,7 @@ module Steep
             end
 
             ty = subtyping.factory.type(ty)
-            types << subtyping.factory.absolute_type(ty, context: context)
+            types << ty
 
             match = RBS::Location.new(loc.buffer, ty.location.end_pos, type_location.end_pos).source.match(/\A\s*,\s*/) or break
             offset = match.length

data/lib/steep/ast/node/type_assertion.rb

@@ -18,12 +18,14 @@ module Steep
 
         def type(context, subtyping, type_vars)
           if ty = RBS::Parser.parse_type(type_location.buffer, range: type_location.range, variables: type_vars, require_eof: true)
+            resolver = RBS::Resolver::TypeNameResolver.new(subtyping.factory.env)
+            ty = ty.map_type_name {|name| resolver.resolve(name, context: context) || name.absolute! }
+
             validator = Signature::Validator.new(checker: subtyping)
             validator.validate_type(ty)
 
             unless validator.has_error?
-              ty = subtyping.factory.type(ty)
-              subtyping.factory.absolute_type(ty, context: context)
+              subtyping.factory.type(ty)
             end
           else
             nil

data/lib/steep/diagnostic/ruby.rb

@@ -968,7 +968,7 @@ module Steep
           {
             ImplicitBreakValueMismatch => :warning,
             FallbackAny => :information,
-            ElseOnExhaustiveCase => :warning,
+            UnreachableBranch => :warning,
             UnknownConstant => :warning,
             MethodDefinitionMissing => :information,
             FalseAssertion => :information,
@@ -989,7 +989,7 @@ module Steep
             NoMethod => nil,
             ImplicitBreakValueMismatch => nil,
             FallbackAny => nil,
-            ElseOnExhaustiveCase => nil,
+            UnreachableBranch => nil,
             UnknownConstant => nil,
             MethodDefinitionMissing => nil,
             UnsupportedSyntax => nil,
@@ -1006,7 +1006,7 @@ module Steep
             NoMethod => nil,
             ImplicitBreakValueMismatch => nil,
             FallbackAny => nil,
-            ElseOnExhaustiveCase => nil,
+            UnreachableBranch => nil,
             UnknownConstant => nil,
             MethodDefinitionMissing => nil,
             UnexpectedJump => nil,

data/lib/steep/server/interaction_worker.rb

@@ -406,7 +406,8 @@ module Steep
                 )
               end
 
-              LSP::Interface::SignatureHelp.new(
+              @last_signature_help_line = job.line
+              @last_signature_help_result = LSP::Interface::SignatureHelp.new(
                 signatures: signatures,
                 active_signature: index
               )
@@ -414,7 +415,8 @@ module Steep
           end
         end
       rescue Parser::SyntaxError
-        # Ignore syntax error
+        # Reuse the latest result to keep SignatureHelp opened while typing
+        @last_signature_help_result if @last_signature_help_line == job.line
       end
     end
   end

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.5.0.pre.2"
+  VERSION = "1.5.0.pre.3"
 end

data/sig/steep/server/interaction_worker.rbs

@@ -52,6 +52,10 @@ module Steep
 
       module LSP = LanguageServer::Protocol
 
+      @last_signature_help_line: Integer
+
+      @last_signature_help_result: LanguageServer::Protocol::Interface::SignatureHelp
+
       attr_reader service: Services::TypeCheckService
 
       def initialize: (project: Project, reader: Reader, writer: Writer, ?queue: Queue) -> void

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.5.0.pre.2
+  version: 1.5.0.pre.3
 platform: ruby
 authors:
 - Soutaro Matsumoto