steep 0.4.0 → 0.5.0

data/smoke/literal/b.rb

@@ -0,0 +1,9 @@
+l = LiteralMethods.new
+
+l.foo(3)
+# !expects ArgumentTypeMismatch: receiver=::LiteralMethods, expected=3, actual=::Integer
+l.foo(4)
+
+l.bar(foo: :foo)
+# !expects ArgumentTypeMismatch: receiver=::LiteralMethods, expected=:foo, actual=::Symbol
+l.bar(foo: :bar)

data/smoke/literal/literal_methods.rbi

@@ -0,0 +1,4 @@
+class LiteralMethods
+  def foo: (3) -> 4
+  def bar: (foo: :foo) -> 5
+end

data/smoke/method/c.rb

@@ -0,0 +1,5 @@
+a = 123
+
+a = -a
+b = !a
+c = a.nil?

data/smoke/regression/array.rb

@@ -0,0 +1,7 @@
+class Foo
+  # @type method foo: (Array<String>) -> void
+  def array(x)
+    # @type ivar @y: Array<String>>
+    @y = x
+  end
+end

data/smoke/regression/hash.rb

@@ -0,0 +1,7 @@
+class Foo
+  # @type method foo: (Hash<String, any>) -> void
+  def foo(x)
+    # @type ivar @y: Hash<String, any>
+    @y = x
+  end
+end

data/smoke/regression/set_divide.rb

@@ -0,0 +1,16 @@
+d = Set.new([1,2,3], &:to_s)
+# !expects NoMethodError: type=::Set<::String>, method=ffffffff
+d.ffffffff
+
+d.divide do |x, y|
+  # !expects NoMethodError: type=::String, method=ggggg
+  x.ggggg
+
+  # !expects NoMethodError: type=::String, method=ggggg
+  y.ggggg
+end
+
+d.divide do |x|
+  # !expects NoMethodError: type=::String, method=ggggg
+  x.ggggg
+end

data/smoke/self/a.rb

@@ -13,11 +13,11 @@ end
 def bar
   # @type self: Object
 
-  # !expects NoMethodError: type=Object, method=baz
+  # !expects NoMethodError: type=::Object, method=baz
   baz
 
   tap do
-    # !expects NoMethodError: type=Object, method=baz
+    # !expects NoMethodError: type=::Object, method=baz
     baz
   end
 end

data/stdlib/builtin.rbi

@@ -20,7 +20,12 @@ class Object <: BasicObject
   def yield_self: <'a>{ (self) -> 'a } -> 'a
   def dup: -> self
   def send: (Symbol, *any) -> any
+  def __send__: (Symbol, *any) -> any
   def instance_variable_get: (Symbol) -> any
+  def nil?: -> bool
+  def !: -> bool
+  def Array: (any) -> Array<any>
+  def Hash: (any) -> Hash<any, any>
 end
 
 class Module
@@ -73,6 +78,7 @@ class Array<'a>
 
   def []: (Integer) -> 'a
         | (Range<Integer>) -> self?
+        | (0, Integer) -> self
         | (Integer, Integer) -> self?
   def at: (Integer) -> 'a
         | (Range<Integer>) -> self?
@@ -102,7 +108,7 @@ class Array<'a>
   def concat: (*Array<'a>) -> self
             | (*'a) -> self
   def delete: ('a) -> 'a?
-            | <'x> ('a) { ('a) -> any } -> ('a | 'x)
+            | <'x> ('a) { () -> 'x } -> ('a | 'x)
   def delete_at: (Integer) -> 'a?
   def delete_if: { ('a) -> any } -> self
                | -> Enumerator<'a, self>
@@ -225,6 +231,12 @@ class Hash<'key, 'value>
               | -> Enumerator<'a, self>
   def self.[]: (Array<any>) -> Hash<'key, 'value>
   def keys: () -> Array<'key>
+  def each: { (['key, 'value]) -> any } -> self
+          | -> Enumerator<['key, 'value], self>
+  def key?: ('key) -> bool
+  def merge: (Hash<'key, 'value>) -> Hash<'key, 'value>
+
+  include Enumerable<['key, 'value], self>
 end
 
 class Symbol
@@ -253,6 +265,7 @@ class Numeric
   def >=: (any) -> bool
   def < : (any) -> bool
   def >: (any) -> bool
+  def -@: -> self
 end
 
 class Integer <: Numeric
@@ -321,6 +334,7 @@ end
 
 class String
   def []: (Range<Integer>) -> String
+        | (Integer, Integer) -> String
   def to_sym: -> Symbol
   def +: (String) -> String
   def to_str: -> String
@@ -352,6 +366,13 @@ class String
   def *: (Integer) -> String
   def scan: (Regexp) { (Array<String>) -> void } -> String
           | (Regexp) -> Array<String>
+  def lines: -> Array<String>
+  def bytesize: -> Integer
+  def start_with?: (String) -> bool
+  def byteslice: (Integer, Integer) -> String
+  def empty?: -> bool
+  def length: -> Integer
+  def force_encoding: (any) -> self
 end
 
 interface _Iteratable<'a, 'b>
@@ -507,6 +528,9 @@ module Enumerable<'a, 'b> : _Iteratable<'a, 'b>
   def sort_by: { ('a) -> any } -> Array<'a>
              | -> Enumerator<'a, Array<'a>>
 
+  def sort_by!: { ('a) -> any } -> self
+              | -> Enumerator<'a, self>
+
   def sum: () -> Numeric
          | (Numeric) -> Numeric
          | (any) -> any
@@ -529,16 +553,25 @@ class Enumerator<'a, 'b>
   def each: { ('a) -> any } -> 'b
   def with_object: <'x> ('x) { ('a, 'x) -> any } -> 'x
   def with_index: { ('a, Integer) -> any } -> 'b
+                | -> Enumerator<['a, Integer], 'b>
 end
 
 class Regexp
+  def self.compile: (String, *any) -> Regexp
+  def self.escape: (String) -> String
+  def source: -> String
 end
 
 class IO
   def gets: -> String?
   def puts: (*any) -> void
+  def read: (Integer) -> String
+  def write: (String) -> Integer
+  def flush: () -> void
 end
 
+File::FNM_DOTMATCH: Integer
+
 class File <: IO
   def self.binread: (String) -> String
   def self.extname: (String) -> String
@@ -547,6 +580,25 @@ class File <: IO
   def self.binwrite: (String, String) -> void
   def self.read: (String) -> String
                | (String, Integer?) -> String?
+  def self.fnmatch: (String, String, Integer) -> bool
+  def path: -> String
+  def self.write: (String, String) -> void
+  def self.chmod: (Integer, String) -> void
+end
+
+class Proc
+  def []: (*any) -> any
+  def call: (*any) -> any
+  def ===: (*any) -> any
+  def yield: (*any) -> any
+  def arity: -> Integer
+  def binding: -> any
+  def curry: -> Proc
+           | (Integer) -> Proc
+  def lambda?: -> bool
+  def parameters: -> Array<[(:req | :opt | :rest | :keyreq | :key | :keyrest | :block), Symbol]>
+  def source_location: -> [String, Integer]?
+  def to_proc: -> self
 end
 
 STDOUT: IO
@@ -555,3 +607,101 @@ class StringIO
   def initialize: (?String, ?String) -> any
   def puts: (*any) -> void
 end
+
+class Process::Status
+  def &: (Integer) -> Integer
+  def >>: (Integer) -> Integer
+  def coredump: -> bool
+  def exited?: -> bool
+  def exitstatus: -> Integer?
+  def pid: -> Integer
+  def signaled?: -> bool
+  def stopsig: -> Integer?
+  def success?: -> bool
+  def termsig: -> Integer?
+  def to_i: -> Integer
+  def to_int: -> Integer
+end
+
+module Marshal
+  def self.load: (String) -> any
+  def self.dump: (any) -> String
+end
+
+class Set<'a>
+  def self.[]: <'x> (*'x) -> Set<'x>
+
+  def initialize: (_Iteratable<'a, any>) -> any
+                | <'x> (_Iteratable<'x, any>) { ('x) -> 'a } -> any
+                | (?nil) -> any
+
+  def intersection: (_Iteratable<'a, any>) -> self
+  def &: (_Iteratable<'a, any>) -> self
+
+  def union: (_Iteratable<'a, any>) -> self
+  def +: (_Iteratable<'a, any>) -> self
+  def |: (_Iteratable<'a, any>) -> self
+
+  def difference: (_Iteratable<'a, any>) -> self
+  def -: (_Iteratable<'a, any>) -> self
+
+  def add: ('a) -> self
+  def <<: ('a) -> self
+  def add?: ('a) -> self?
+
+  def member?: (any) -> bool
+  def include?: (any) -> bool
+
+  def ^: (_Iteratable<'a, any>) -> self
+
+  def classify: <'x> { ('a) -> 'x } -> Hash<'x, self>
+
+  def clear: -> self
+
+  def collect!: { ('a) -> 'a } -> self
+  def map!: { ('a) -> 'a } -> self
+
+  def delete: (any) -> self
+  def delete?: (any) -> self?
+
+  def delete_if: { ('a) -> any } -> self
+  def reject!: { ('a) -> any } -> self
+
+  def disjoint?: (self) -> bool
+
+  def divide: { ('a, 'a) -> any } -> Set<self>
+            | { ('a) -> any } -> Set<self>
+
+  def each: { ('a) -> void } -> self
+
+  def empty?: -> bool
+
+  def flatten: -> Set<any>
+
+  def intersect?: -> bool
+
+  def keep_if: { ('a) -> any } -> self
+
+  def size: -> Integer
+  def length: -> Integer
+
+  def merge: (_Iteratable<'a, any>) -> self
+
+  def subset?: (self) -> bool
+  def proper_subst?: (self) -> bool
+
+  def superset?: (self) -> bool
+  def proper_superset?: (self) -> bool
+
+  def replace: (_Iteratable<'a, any>) -> self
+
+  def reset: -> self
+
+  def select!: { ('a) -> any } -> self?
+
+  def subtract: (_Iteratable<'a, any>) -> self
+
+  def to_a: -> Array<'a>
+
+  include Enumerable<'a, self>
+end

data/steep.gemspec

@@ -12,6 +12,7 @@ Gem::Specification.new do |spec|
   spec.summary       = %q{Gradual Typing for Ruby}
   spec.description   = %q{Gradual Typing for Ruby}
   spec.homepage      = "https://github.com/soutaro/steep"
+  spec.license       = 'MIT'
 
   spec.files         = `git ls-files -z`.split("\x0").reject do |f|
     f.match(%r{^(test|spec|features)/})

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-06-14 00:00:00.000000000 Z
+date: 2018-08-10 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -134,6 +134,7 @@ files:
 - ".travis.yml"
 - CHANGELOG.md
 - Gemfile
+- LICENSE
 - README.md
 - Rakefile
 - bin/console
@@ -146,6 +147,7 @@ files:
 - lib/steep/ast/buffer.rb
 - lib/steep/ast/location.rb
 - lib/steep/ast/method_type.rb
+- lib/steep/ast/signature/alias.rb
 - lib/steep/ast/signature/class.rb
 - lib/steep/ast/signature/const.rb
 - lib/steep/ast/signature/env.rb
@@ -165,6 +167,7 @@ files:
 - lib/steep/ast/types/literal.rb
 - lib/steep/ast/types/name.rb
 - lib/steep/ast/types/nil.rb
+- lib/steep/ast/types/proc.rb
 - lib/steep/ast/types/self.rb
 - lib/steep/ast/types/top.rb
 - lib/steep/ast/types/tuple.rb
@@ -211,12 +214,20 @@ files:
 - manual/annotations.md
 - sig/signature.rbi
 - sig/types.rbi
+- smoke/alias/a.rb
+- smoke/alias/a.rbi
+- smoke/alias/b.rb
+- smoke/alias/c.rb
 - smoke/and/a.rb
 - smoke/array/a.rb
 - smoke/array/b.rb
+- smoke/array/c.rb
 - smoke/block/a.rb
 - smoke/block/a.rbi
 - smoke/block/b.rb
+- smoke/block/c.rb
+- smoke/block/c.rbi
+- smoke/block/d.rb
 - smoke/case/a.rb
 - smoke/class/a.rb
 - smoke/class/a.rbi
@@ -226,6 +237,10 @@ files:
 - smoke/class/e.rb
 - smoke/class/f.rb
 - smoke/class/g.rb
+- smoke/class/h.rb
+- smoke/class/h.rbi
+- smoke/class/i.rb
+- smoke/class/i.rbi
 - smoke/const/a.rb
 - smoke/dstr/a.rb
 - smoke/ensure/a.rb
@@ -235,6 +250,9 @@ files:
 - smoke/extension/a.rbi
 - smoke/extension/b.rb
 - smoke/extension/c.rb
+- smoke/extension/d.rb
+- smoke/hash/a.rb
+- smoke/hash/b.rb
 - smoke/hello/hello.rb
 - smoke/hello/hello.rbi
 - smoke/if/a.rb
@@ -243,11 +261,15 @@ files:
 - smoke/initialize/a.rb
 - smoke/initialize/a.rbi
 - smoke/kwbegin/a.rb
+- smoke/lambda/a.rb
 - smoke/literal/a.rb
+- smoke/literal/b.rb
+- smoke/literal/literal_methods.rbi
 - smoke/map/a.rb
 - smoke/method/a.rb
 - smoke/method/a.rbi
 - smoke/method/b.rb
+- smoke/method/c.rb
 - smoke/module/a.rb
 - smoke/module/a.rbi
 - smoke/module/b.rb
@@ -255,6 +277,9 @@ files:
 - smoke/module/d.rb
 - smoke/module/e.rb
 - smoke/module/f.rb
+- smoke/regression/array.rb
+- smoke/regression/hash.rb
+- smoke/regression/set_divide.rb
 - smoke/rescue/a.rb
 - smoke/self/a.rb
 - smoke/self/a.rbi
@@ -267,7 +292,8 @@ files:
 - stdlib/builtin.rbi
 - steep.gemspec
 homepage: https://github.com/soutaro/steep
-licenses: []
+licenses:
+- MIT
 metadata: {}
 post_install_message: 
 rdoc_options: []
@@ -285,7 +311,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.7.3
+rubygems_version: 2.7.6
 signing_key: 
 specification_version: 4
 summary: Gradual Typing for Ruby