steep 0.8.1 → 0.8.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 81293a79329d8902860bab9ed6d82d7dd3cb3b07d81dc65c99c0b02acc0b8704
-  data.tar.gz: d77dd60c0237a8474e0719f22fa94976e2bab32126d7f7c5576a7edd7ca88d99
+  metadata.gz: b701d322a3c49aa1444c839bee4a2da7265776463f8963780431251ab3c96903
+  data.tar.gz: '069769e987f34a131983c2c3de966bb0f0591478bf4fa1dd79c3831213bed411'
 SHA512:
-  metadata.gz: 0f5cbb876c8474a412e56f2ea2f2b5a23ac081c899d5ebc4a4a2914c9a93cddf28e90bb7485af05ea93214b3b87cdb2adefe14b9aa4223b073b059c0c13874ba
-  data.tar.gz: c27548ab0e425974b1258b29c50c51a76586df6b4a9e05dca543aa94d94b70bad675f3f58890438d667b28a17d487c26191db0463e29803fb0ebb179b8d65835
+  metadata.gz: f264922829daa436adcf0e0e18bca9cc22397928fed215005785b2e8e3142e51afdd04b4f3b819b89565d1fb4c19cab2d17087445b8f3b313299810d24554646
+  data.tar.gz: f2b6c543d8f0742b6a971a3040431162c4333e2c0db969b5de7f5e495e86c1a19378fe8b8438255ec1cc4f413a6b21dbe07a7e1acc40d7b3c71e212309093a70

data/CHANGELOG.md

@@ -2,6 +2,11 @@
 
 ## master
 
+## 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)

data/lib/steep/errors.rb

@@ -469,10 +469,15 @@ module Steep
     end
 
     class ElseOnExhaustiveCase < Base
+      attr_reader :type
+
       def initialize(node:, type:)
-        def to_s
-          "#{location_to_str}: ElseOnExhaustiveCase: type=#{type}"
-        end
+        super(node: node)
+        @type = type
+      end
+
+      def to_s
+        "#{location_to_str}: ElseOnExhaustiveCase: type=#{type}"
       end
     end
 

data/lib/steep/subtyping/trace.rb

@@ -37,7 +37,7 @@ module Steep
       def each
         if block_given?
           array.each do |pair|
-            yield *pair
+            yield(*pair)
           end
         else
           enum_for :each

data/lib/steep/type_construction.rb

@@ -165,14 +165,14 @@ module Steep
         annotation_types = annotation_method.types.each.with_object([]) do |method_type, array|
           fresh = method_type.type_params.map {|var| AST::Types::Var.fresh(var) }
           unknowns.push(*fresh)
-          
+
           subst = Interface::Substitution.build(method_type.type_params, fresh)
           array << method_type.instantiate(subst)
         end
 
         constraints = Subtyping::Constraints.new(unknowns: unknowns)
         interface_types.each do |type|
-          constraints.add_var *type.free_variables.to_a
+          constraints.add_var(*type.free_variables.to_a)
         end
 
         result = checker.check_method(method_name,

data/lib/steep/type_inference/block_params.rb

@@ -39,10 +39,10 @@ module Steep
 
       def params
         [].tap do |params|
-          params.push *leading_params
-          params.push *optional_params
+          params.push(*leading_params)
+          params.push(*optional_params)
           params.push rest_param if rest_param
-          params.push *trailing_params
+          params.push(*trailing_params)
         end
       end
 
@@ -229,7 +229,7 @@ module Steep
 
       def each(&block)
         if block_given?
-          params.each &block
+          params.each(&block)
         else
           enum_for :each
         end

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "0.8.1"
+  VERSION = "0.8.2"
 end

data/smoke/integer/a.rb

@@ -0,0 +1,31 @@
+integer_1 = Integer(1)
+# !expects NoMethodError: type=::Integer, method=foo
+integer_1.foo
+
+integer_2 = Integer("1")
+# !expects NoMethodError: type=::Integer, method=foo
+integer_2.foo
+
+class WithToInt
+  def to_int; 1; end
+end
+integer_3 = Integer(WithToInt.new)
+# !expects NoMethodError: type=::Integer, method=foo
+integer_3.foo
+
+class WithToI
+  def to_i; 1; end
+end
+integer_4 = Integer(WithToI.new)
+# !expects NoMethodError: type=::Integer, method=foo
+integer_4.foo
+
+integer_5 = Integer("10", 2)
+# !expects NoMethodError: type=::Integer, method=foo
+integer_5.foo
+
+# !expects IncompatibleArguments: receiver=::Object, method_type=(::String, ::Integer) -> ::Integer
+Integer(Object.new)
+
+# !expects IncompatibleArguments: receiver=::Object, method_type=(::String, ::Integer) -> ::Integer
+Integer(nil)

data/stdlib/builtin.rbi

@@ -12,7 +12,6 @@ class Object < BasicObject
   def ===: (any) -> bool
   def !=: (any) -> bool
   def class: -> class
-  def to_i: -> Integer
   def is_a?: (Module) -> bool
   def inspect: -> String
   def freeze: -> self
@@ -64,6 +63,8 @@ module Kernel
   def loop: { () -> void } -> void
   def puts: (*any) -> void
   def eval: (String, ? Integer?, ?String) -> any
+  def Integer: (String, Integer) -> Integer
+             | (_ToI | _ToInt) -> Integer
 end
 
 class Array<'a>
@@ -251,6 +252,14 @@ interface _ToS
   def to_s: -> String
 end
 
+interface _ToI
+  def to_i: -> Integer
+end
+
+interface _ToInt
+  def to_int: -> Integer
+end
+
 class TrueClass
   def !: -> bool
 end
@@ -273,6 +282,7 @@ class Numeric
 end
 
 class Integer < Numeric
+  def to_i: -> Integer
   def to_int: -> Integer
   def +: (Integer) -> Integer
        | (Numeric) -> Numeric
@@ -367,6 +377,7 @@ class String
   def sub: (Regexp | String, String) -> self
          | (Regexp | String) { (String) -> _ToS } -> String
   def chomp: -> String
+           | (String) -> String
   def *: (Integer) -> String
   def scan: (Regexp) { (Array<String>) -> void } -> String
           | (Regexp) -> Array<String>
@@ -377,6 +388,9 @@ class String
   def empty?: -> bool
   def length: -> Integer
   def force_encoding: (any) -> self
+  def to_i: -> Integer
+          | (Integer) -> Integer
+  def end_with?: (*String) -> bool
 end
 
 interface _Iteratable<'a, 'b>
@@ -665,6 +679,11 @@ STDOUT: IO
 class StringIO
   def initialize: (?String, ?String) -> any
   def puts: (*any) -> void
+  def readline: () -> String
+              | (String) -> String
+  def write: (String) -> void
+  def flush: () -> void
+  def string: -> String
 end
 
 class Process::Status

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.8.1
+  version: 0.8.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-10-29 00:00:00.000000000 Z
+date: 2018-11-09 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -273,6 +273,7 @@ files:
 - smoke/implements/a.rbi
 - smoke/initialize/a.rb
 - smoke/initialize/a.rbi
+- smoke/integer/a.rb
 - smoke/interface/a.rb
 - smoke/interface/a.rbi
 - smoke/kwbegin/a.rb