steep 0.17.0 → 0.21.0

data/lib/steep/type_inference/type_env.rb

@@ -31,8 +31,8 @@ module Steep
           annotations.const_types.each do |name, type|
             env.set(const: name, type: type)
           end
-          signatures.name_to_global.each do |name, global|
-            type = signatures.absolute_type(global.type, namespace: RBS::Namespace.root) {|ty| ty.name.absolute! }
+          signatures.global_decls.each do |name, entry|
+            type = entry.decl.type
             env.set(gvar: name, type: subtyping.factory.type(type))
           end
         end

data/lib/steep/typing.rb

@@ -95,6 +95,12 @@ module Steep
         end_pos = node.loc.end.begin_pos
         add_context(begin_pos..end_pos, context: context)
 
+      when :sclass
+        name_node = node.children[0]
+        begin_pos = name_node.loc.expression.end_pos
+        end_pos = node.loc.end.begin_pos
+        add_context(begin_pos..end_pos, context: context)
+
       when :def, :defs
         args_node = case node.type
                     when :def

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "0.17.0"
+  VERSION = "0.21.0"
 end

data/smoke/class/a.rbs

@@ -18,7 +18,6 @@ class D
   def foo: -> untyped
 end
 
-class E
-  def initialize: () -> untyped
+interface _E
   def foo: -> untyped
 end

data/smoke/class/f.rb

@@ -1,8 +1,10 @@
-# @type var e: E
+# @type var e: _E
 # @type var d: D
 
 e = (_ = nil)
 d = (_ = nil)
 
 e = d
+
+# !expects IncompatibleAssignment: lhs_type=::D, rhs_type=::_E
 d = e

data/smoke/extension/a.rbs

@@ -1,9 +1,10 @@
-extension Object (X)
+
+class Object
   def try: [A] { (instance) -> A } -> A
   def f: -> Object
 end
 
-extension Kernel (X)
+module Kernel
   def new_module_method: () -> void
 end
 

data/smoke/extension/e.rbs

@@ -2,7 +2,6 @@ class NumberLike
   def to_number: -> Integer
 end
 
-extension Integer (NumberLike)
-  def `+`: (NumberLike) -> NumberLike
-         | super
+class Integer
+  overload def `+`: (NumberLike) -> NumberLike
 end

data/smoke/interface/a.rbs

@@ -1,12 +1,12 @@
 class A
   def foo: -> _Foo
   def hello: -> void
-end
 
-class A::Object
-  def object?: -> bool
-end
+  class Object
+    def object?: -> bool
+  end
 
-interface A::_Foo
-  def foo: -> Object
+  interface _Foo
+    def foo: -> Object
+  end
 end

data/steep.gemspec

@@ -41,5 +41,5 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
   spec.add_runtime_dependency "listen", "~> 3.1"
   spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.2"
-  spec.add_runtime_dependency "rbs", "~> 0.3.1"
+  spec.add_runtime_dependency "rbs", "~> 0.7.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.17.0
+  version: 0.21.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-06-13 00:00:00.000000000 Z
+date: 2020-07-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -190,14 +190,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.1
+        version: 0.7.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.1
+        version: 0.7.0
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com