steep 0.1.0.pre → 0.1.0.pre2

data/smoke/class/d.rb

@@ -0,0 +1,9 @@
+# @type const A: A.class
+# @type const B: A.class constructor
+# @type const C: A.class noconstructor
+
+# !expects NoMethodError: type=A.module, method=new
+a = A.new
+b = B.new
+# !expects NoMethodError: type=A.module noconstructor, method=new
+c = C.new

data/smoke/class/e.rb

@@ -0,0 +1,12 @@
+class C
+  # @implements C
+
+  def foo
+    self.class.new
+  end
+
+  def bar
+    # !expects NoMethodError: type=C.module noconstructor, method=new
+    self.class.new
+  end
+end

data/smoke/class/f.rb

@@ -0,0 +1,8 @@
+# @type var e: E
+# @type var d: D
+
+e = nil
+d = nil
+
+e = d
+d = e

data/smoke/enumerator/a.rb

@@ -0,0 +1,19 @@
+# @type var hash: Hash<Symbol, String>
+
+a = [1]
+
+# !expects IncompatibleAssignment: lhs_type=Hash<Symbol, String>, rhs_type=String
+hash = a.each.with_object("") do |x, y|
+  # !expects IncompatibleAssignment: lhs_type=Hash<Symbol, String>, rhs_type=Integer
+  hash = x
+  # !expects IncompatibleAssignment: lhs_type=Hash<Symbol, String>, rhs_type=String
+  hash = y
+end
+
+# !expects IncompatibleAssignment: lhs_type=Hash<Symbol, String>, rhs_type=Array<Integer>
+hash = a.each.with_index do |x, y|
+  # !expects IncompatibleAssignment: lhs_type=Hash<Symbol, String>, rhs_type=Integer
+  hash = x
+  # !expects IncompatibleAssignment: lhs_type=Hash<Symbol, String>, rhs_type=Integer
+  hash = y
+end

data/smoke/initialize/a.rb

@@ -0,0 +1,12 @@
+class A
+  # @implements A
+
+  def initialize()
+    
+  end
+
+  def foo()
+    # !expects NoMethodError: type=A, method=initialize
+    initialize()
+  end
+end

data/smoke/initialize/a.rbi

@@ -0,0 +1,3 @@
+class A
+  def initialize: () -> any
+end

data/smoke/module/a.rb

@@ -13,7 +13,7 @@ module A
     # !expects IncompatibleAssignment: lhs_type=String, rhs_type=Integer
     s = n
 
-    # !expects NoMethodError: type=_Each<Integer> + A, method=foo
+    # !expects NoMethodError: type=Object + _Each<Integer> + A, method=foo
     foo()
 
     n

data/smoke/module/c.rb

@@ -0,0 +1,23 @@
+module A
+  # @implements A
+
+  def count
+    if block_given?
+      n = 0
+
+      each do |_|
+        n = n + 1
+      end
+
+      n
+    else
+      0
+    end
+  end
+
+  # ok
+  block_given?
+
+  # !expects NoMethodError: type=Module + A.module, method=no_such_method_in_module
+  no_such_method_in_module
+end

data/stdlib/builtin.rbi

@@ -14,6 +14,7 @@ class Object <: BasicObject
   def class: -> class
   def to_i: -> Integer
   def is_a?: (Module) -> _Boolean
+  def inspect: -> String
 end
 
 class Module
@@ -23,13 +24,19 @@ class Module
 end
 
 class Class<'instance> <: Module
-  def new: -> 'instance
   def allocate: -> 'instance
+  def tap: { (any) -> any } -> any
+  def class: -> any
 end
 
 module Kernel
   def raise: () -> any
            | (String) -> any
+
+  def block_given?: -> _Boolean
+  def include: (Module) -> _Boolean
+  def prepend: (Module) -> _Boolean
+  def enum_for: (Symbol, *any) -> any
 end
 
 class Array<'a>
@@ -41,8 +48,9 @@ class Array<'a>
   def join: (any) -> String
   def all?: { (any) -> any } -> _Boolean
   def sort_by: { ('a) -> any } -> Array<'a>
-  def zip: <'b> (Array<'b>) -> Array<Array<'a, 'b> >
+  def zip: <'b> (Array<'b>) -> Array<any>
   def each: { ('a) -> any } -> instance
+          | -> Enumerator<'a, instance>
   def select: { ('a) -> any } -> Array<'a>
   def <<: ('a) -> instance
   def filter: { ('a) -> any } -> Array<'a>
@@ -50,9 +58,11 @@ end
 
 class Hash<'key, 'value>
   def []: ('key) -> 'value
+  def []=: ('key, 'value) -> 'value
   def size: -> Integer
   def transform_values: <'a> { ('value) -> 'a } -> Hash<'key, 'a>
-
+  def each_key: { ('key) -> any } -> instance
+              | -> Enumerator<'a, instance>
   def self.[]: (Array<any>) -> Hash<'key, 'value>
 end
 
@@ -71,7 +81,7 @@ end
 
 class Integer <: Numeric
   def to_int: -> Integer
-  def +: (Integer) -> Integer
+  def +: (Numeric) -> Integer
        | (Numeric) -> Numeric
   def ^: (Numeric) -> Integer
 end
@@ -87,3 +97,8 @@ class String
   def to_str: -> String
   def size: -> Integer
 end
+
+class Enumerator<'a, 'this>
+  def with_object: <'b> ('b) { ('a, 'b) -> any } -> 'b
+  def with_index: { ('a, Integer) -> any } -> 'this
+end

data/steep.gemspec

@@ -21,6 +21,8 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
+  spec.required_ruby_version = '>= 2.4.0'
+  
   spec.add_development_dependency "bundler", "~> 1.13"
   spec.add_development_dependency "rake", "~> 10.0"
   spec.add_development_dependency "minitest", "~> 5.0"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.1.0.pre
+  version: 0.1.0.pre2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-09-15 00:00:00.000000000 Z
+date: 2017-11-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -156,6 +156,7 @@ files:
 - sig/types.rbi
 - smoke/and/a.rb
 - smoke/array/a.rb
+- smoke/array/b.rb
 - smoke/block/a.rb
 - smoke/block/a.rbi
 - smoke/case/a.rb
@@ -163,8 +164,12 @@ files:
 - smoke/class/a.rbi
 - smoke/class/b.rb
 - smoke/class/c.rb
+- smoke/class/d.rb
+- smoke/class/e.rb
+- smoke/class/f.rb
 - smoke/const/a.rb
 - smoke/dstr/a.rb
+- smoke/enumerator/a.rb
 - smoke/extension/a.rb
 - smoke/extension/a.rbi
 - smoke/extension/b.rb
@@ -174,6 +179,8 @@ files:
 - smoke/if/a.rb
 - smoke/implements/a.rb
 - smoke/implements/a.rbi
+- smoke/initialize/a.rb
+- smoke/initialize/a.rbi
 - smoke/literal/a.rb
 - smoke/map/a.rb
 - smoke/method/a.rb
@@ -181,6 +188,7 @@ files:
 - smoke/module/a.rb
 - smoke/module/a.rbi
 - smoke/module/b.rb
+- smoke/module/c.rb
 - smoke/self/a.rb
 - smoke/self/a.rbi
 - smoke/super/a.rb
@@ -199,7 +207,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '0'
+      version: 2.4.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">"
@@ -207,7 +215,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: 1.3.1
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.6.8
+rubygems_version: 2.6.13
 signing_key: 
 specification_version: 4
 summary: Gradual Typing for Ruby