steep 0.1.0.pre

data/smoke/module/a.rb

@@ -0,0 +1,21 @@
+module A
+  # @implements A
+
+  def count
+    # @type var n: Integer
+    n = 0
+
+    each do |_|
+      n = n + 1
+    end
+
+    # @type var s: String
+    # !expects IncompatibleAssignment: lhs_type=String, rhs_type=Integer
+    s = n
+
+    # !expects NoMethodError: type=_Each<Integer> + A, method=foo
+    foo()
+
+    n
+  end
+end

data/smoke/module/a.rbi

@@ -0,0 +1,7 @@
+interface _Each<'a>
+  def each: { ('a) -> any } -> instance
+end
+
+module A : _Each<Integer>
+  def count: () -> Integer
+end

data/smoke/module/b.rb

@@ -0,0 +1,8 @@
+# @type var klass: Class<any>
+# @type var mod: Module
+
+3.is_a?(3.class)
+klass = 3.class
+mod = "".class
+
+

data/smoke/self/a.rb

@@ -0,0 +1,23 @@
+def foo
+  # @type self: A
+
+  self.bar()
+
+  tap do
+    # @type self: A
+
+    bar
+  end
+end
+
+def bar
+  # @type self: Object
+
+  # !expects NoMethodError: type=Object, method=baz
+  baz
+
+  tap do
+    # !expects NoMethodError: type=Object, method=baz
+    baz
+  end
+end

data/smoke/self/a.rbi

@@ -0,0 +1,4 @@
+class A
+  def foo: -> any
+  def bar: -> any
+end

data/smoke/super/a.rb

@@ -0,0 +1,34 @@
+class A
+  def foo(x)
+    # @type self: A
+
+    # @type var a: Integer
+    # !expects IncompatibleAssignment: lhs_type=Integer, rhs_type=Object
+    a = super(x)
+    # !expects IncompatibleAssignment: lhs_type=Integer, rhs_type=Object
+    a = super
+
+    # @type var b: Object
+    b = super(x)
+
+    # @type var c: Integer
+    c = foo(x)
+  end
+
+  def bar()
+    # @type self: A
+
+    super()
+    super
+  end
+
+  def baz
+    # @type self: A
+
+    # !expects UnexpectedSuper: method=baz
+    super()
+
+    # !expects UnexpectedSuper: method=baz
+    super
+  end
+end

data/smoke/super/a.rbi

@@ -0,0 +1,10 @@
+class A
+  def foo: (any) -> Integer
+  include M
+
+  def baz: () -> any
+end
+
+module M
+  def foo: (any) -> Object
+end

data/smoke/yield/a.rb

@@ -0,0 +1,18 @@
+class A
+  # @type method foo: () { (Integer) -> Integer } -> any
+  def foo()
+    # @type var x: String
+
+    # !expects IncompatibleAssignment: lhs_type=String, rhs_type=Integer
+    x = yield(3)
+
+    # !expects IncompatibleAssignment: lhs_type=Integer, rhs_type=String
+    yield(x)
+  end
+
+  # @type method bar: () -> any
+  def bar()
+    # !expects UnexpectedYield
+    yield 4
+  end
+end

data/stdlib/builtin.rbi

@@ -0,0 +1,89 @@
+class BasicObject
+  def __id__: -> Integer
+end
+
+class Object <: BasicObject
+  include Kernel
+  def tap: { (instance) -> any } -> instance
+  def to_s: -> String
+  def hash: -> Integer
+  def eql?: (any) -> _Boolean
+  def ==: (any) -> _Boolean
+  def ===: (any) -> _Boolean
+  def !=: (any) -> _Boolean
+  def class: -> class
+  def to_i: -> Integer
+  def is_a?: (Module) -> _Boolean
+end
+
+class Module
+  def attr_reader: (*any) -> any
+  def class: -> Class<Module>
+  def tap: { (Module) -> any } -> Module
+end
+
+class Class<'instance> <: Module
+  def new: -> 'instance
+  def allocate: -> 'instance
+end
+
+module Kernel
+  def raise: () -> any
+           | (String) -> any
+end
+
+class Array<'a>
+  def []: (Integer) -> 'a
+  def []=: (Integer, 'a) -> 'a
+  def empty?: -> _Boolean
+  def size: -> Integer
+  def map: <'b> { ('a) -> 'b } -> Array<'b>
+  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 each: { ('a) -> any } -> instance
+  def select: { ('a) -> any } -> Array<'a>
+  def <<: ('a) -> instance
+  def filter: { ('a) -> any } -> Array<'a>
+end
+
+class Hash<'key, 'value>
+  def []: ('key) -> 'value
+  def size: -> Integer
+  def transform_values: <'a> { ('value) -> 'a } -> Hash<'key, 'a>
+
+  def self.[]: (Array<any>) -> Hash<'key, 'value>
+end
+
+class Symbol
+end
+
+interface _Boolean
+end
+
+class NilClass
+end
+
+class Numeric
+  def +: (Numeric) -> Numeric
+end
+
+class Integer <: Numeric
+  def to_int: -> Integer
+  def +: (Integer) -> Integer
+       | (Numeric) -> Numeric
+  def ^: (Numeric) -> Integer
+end
+
+class Float <: Numeric
+end
+
+class Range<'a>
+end
+
+class String
+  def +: (String) -> String
+  def to_str: -> String
+  def size: -> Integer
+end

data/steep.gemspec

@@ -0,0 +1,32 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'steep/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "steep"
+  spec.version       = Steep::VERSION
+  spec.authors       = ["Soutaro Matsumoto"]
+  spec.email         = ["matsumoto@soutaro.com"]
+
+  spec.summary       = %q{Gradual Typing for Ruby}
+  spec.description   = %q{Gradual Typing for Ruby}
+  spec.homepage      = "https://github.com/soutaro/steep"
+
+  spec.files         = `git ls-files -z`.split("\x0").reject do |f|
+    f.match(%r{^(test|spec|features)/})
+  end
+  spec.files         << "lib/steep/parser.rb"
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.13"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "minitest", "~> 5.0"
+  spec.add_development_dependency "racc", "~> 1.4"
+  spec.add_development_dependency "rainbow", "~> 2.2.2"
+
+  spec.add_runtime_dependency "parser", "~> 2.4"
+  spec.add_runtime_dependency "ast_utils", "~> 0.1.0"
+end

metadata

@@ -0,0 +1,214 @@
+--- !ruby/object:Gem::Specification
+name: steep
+version: !ruby/object:Gem::Version
+  version: 0.1.0.pre
+platform: ruby
+authors:
+- Soutaro Matsumoto
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2017-09-15 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.13'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.13'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.0'
+- !ruby/object:Gem::Dependency
+  name: racc
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.4'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.4'
+- !ruby/object:Gem::Dependency
+  name: rainbow
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.2.2
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.2.2
+- !ruby/object:Gem::Dependency
+  name: parser
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.4'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.4'
+- !ruby/object:Gem::Dependency
+  name: ast_utils
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+description: Gradual Typing for Ruby
+email:
+- matsumoto@soutaro.com
+executables:
+- steep
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".travis.yml"
+- Gemfile
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- bin/smoke_runner.rb
+- exe/steep
+- lib/steep.rb
+- lib/steep/annotation.rb
+- lib/steep/cli.rb
+- lib/steep/drivers/check.rb
+- lib/steep/errors.rb
+- lib/steep/interface.rb
+- lib/steep/parser.rb
+- lib/steep/parser.y
+- lib/steep/signature/class.rb
+- lib/steep/signature/errors.rb
+- lib/steep/signature/extension.rb
+- lib/steep/signature/interface.rb
+- lib/steep/source.rb
+- lib/steep/type_assignability.rb
+- lib/steep/type_construction.rb
+- lib/steep/type_name.rb
+- lib/steep/types.rb
+- lib/steep/types/any.rb
+- lib/steep/types/class.rb
+- lib/steep/types/instance.rb
+- lib/steep/types/merge.rb
+- lib/steep/types/name.rb
+- lib/steep/types/union.rb
+- lib/steep/types/var.rb
+- lib/steep/typing.rb
+- lib/steep/version.rb
+- manual/annotations.md
+- sig/signature.rbi
+- sig/types.rbi
+- smoke/and/a.rb
+- smoke/array/a.rb
+- smoke/block/a.rb
+- smoke/block/a.rbi
+- smoke/case/a.rb
+- smoke/class/a.rb
+- smoke/class/a.rbi
+- smoke/class/b.rb
+- smoke/class/c.rb
+- smoke/const/a.rb
+- smoke/dstr/a.rb
+- smoke/extension/a.rb
+- smoke/extension/a.rbi
+- smoke/extension/b.rb
+- smoke/extension/c.rb
+- smoke/hello/hello.rb
+- smoke/hello/hello.rbi
+- smoke/if/a.rb
+- smoke/implements/a.rb
+- smoke/implements/a.rbi
+- smoke/literal/a.rb
+- smoke/map/a.rb
+- smoke/method/a.rb
+- smoke/method/a.rbi
+- smoke/module/a.rb
+- smoke/module/a.rbi
+- smoke/module/b.rb
+- smoke/self/a.rb
+- smoke/self/a.rbi
+- smoke/super/a.rb
+- smoke/super/a.rbi
+- smoke/yield/a.rb
+- stdlib/builtin.rbi
+- steep.gemspec
+homepage: https://github.com/soutaro/steep
+licenses: []
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">"
+    - !ruby/object:Gem::Version
+      version: 1.3.1
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.6.8
+signing_key: 
+specification_version: 4
+summary: Gradual Typing for Ruby
+test_files: []