steep 0.1.0.pre2 → 0.1.0

data/steep.gemspec

@@ -21,14 +21,15 @@ 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.required_ruby_version = '>= 2.5.0'
   
   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"
+  spec.add_runtime_dependency "activesupport", "~> 5.1.0"
+  spec.add_runtime_dependency "rainbow", "~> 2.2.2"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.1.0.pre2
+  version: 0.1.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-11-16 00:00:00.000000000 Z
+date: 2018-05-28 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -67,47 +67,61 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '1.4'
 - !ruby/object:Gem::Dependency
-  name: rainbow
+  name: parser
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 2.2.2
-  type: :development
+        version: '2.4'
+  type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 2.2.2
+        version: '2.4'
 - !ruby/object:Gem::Dependency
-  name: parser
+  name: ast_utils
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '2.4'
+        version: 0.1.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '2.4'
+        version: 0.1.0
 - !ruby/object:Gem::Dependency
-  name: ast_utils
+  name: activesupport
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.1.0
+        version: 5.1.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.1.0
+        version: 5.1.0
+- !ruby/object:Gem::Dependency
+  name: rainbow
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.2.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.2.2
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -126,29 +140,66 @@ files:
 - bin/smoke_runner.rb
 - exe/steep
 - lib/steep.rb
-- lib/steep/annotation.rb
+- lib/steep/ast/annotation.rb
+- lib/steep/ast/annotation/collection.rb
+- lib/steep/ast/buffer.rb
+- lib/steep/ast/location.rb
+- lib/steep/ast/method_type.rb
+- lib/steep/ast/signature/class.rb
+- lib/steep/ast/signature/const.rb
+- lib/steep/ast/signature/env.rb
+- lib/steep/ast/signature/extension.rb
+- lib/steep/ast/signature/gvar.rb
+- lib/steep/ast/signature/interface.rb
+- lib/steep/ast/signature/members.rb
+- lib/steep/ast/signature/module.rb
+- lib/steep/ast/type_params.rb
+- lib/steep/ast/types/any.rb
+- lib/steep/ast/types/bot.rb
+- lib/steep/ast/types/class.rb
+- lib/steep/ast/types/helper.rb
+- lib/steep/ast/types/instance.rb
+- lib/steep/ast/types/intersection.rb
+- lib/steep/ast/types/name.rb
+- lib/steep/ast/types/self.rb
+- lib/steep/ast/types/top.rb
+- lib/steep/ast/types/union.rb
+- lib/steep/ast/types/var.rb
+- lib/steep/ast/types/void.rb
 - lib/steep/cli.rb
+- lib/steep/drivers/annotations.rb
 - lib/steep/drivers/check.rb
+- lib/steep/drivers/scaffold.rb
+- lib/steep/drivers/utils/each_signature.rb
+- lib/steep/drivers/utils/validator.rb
+- lib/steep/drivers/validate.rb
 - lib/steep/errors.rb
-- lib/steep/interface.rb
+- lib/steep/interface/abstract.rb
+- lib/steep/interface/builder.rb
+- lib/steep/interface/instantiated.rb
+- lib/steep/interface/ivar_chain.rb
+- lib/steep/interface/method.rb
+- lib/steep/interface/method_type.rb
+- lib/steep/interface/substitution.rb
+- lib/steep/module_name.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/subtyping/check.rb
+- lib/steep/subtyping/constraints.rb
+- lib/steep/subtyping/relation.rb
+- lib/steep/subtyping/result.rb
+- lib/steep/subtyping/trace.rb
+- lib/steep/subtyping/variable_occurrence.rb
+- lib/steep/subtyping/variable_variance.rb
 - lib/steep/type_assignability.rb
 - lib/steep/type_construction.rb
+- lib/steep/type_inference/block_params.rb
+- lib/steep/type_inference/constant_env.rb
+- lib/steep/type_inference/send_args.rb
+- lib/steep/type_inference/type_env.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
@@ -159,6 +210,7 @@ files:
 - smoke/array/b.rb
 - smoke/block/a.rb
 - smoke/block/a.rbi
+- smoke/block/b.rb
 - smoke/case/a.rb
 - smoke/class/a.rb
 - smoke/class/a.rbi
@@ -167,9 +219,12 @@ files:
 - smoke/class/d.rb
 - smoke/class/e.rb
 - smoke/class/f.rb
+- smoke/class/g.rb
 - smoke/const/a.rb
 - smoke/dstr/a.rb
+- smoke/ensure/a.rb
 - smoke/enumerator/a.rb
+- smoke/enumerator/b.rb
 - smoke/extension/a.rb
 - smoke/extension/a.rbi
 - smoke/extension/b.rb
@@ -181,18 +236,25 @@ files:
 - smoke/implements/a.rbi
 - smoke/initialize/a.rb
 - smoke/initialize/a.rbi
+- smoke/kwbegin/a.rb
 - smoke/literal/a.rb
 - smoke/map/a.rb
 - smoke/method/a.rb
 - smoke/method/a.rbi
+- smoke/method/b.rb
 - smoke/module/a.rb
 - smoke/module/a.rbi
 - smoke/module/b.rb
 - smoke/module/c.rb
+- smoke/module/d.rb
+- smoke/module/e.rb
+- smoke/module/f.rb
+- smoke/rescue/a.rb
 - smoke/self/a.rb
 - smoke/self/a.rbi
 - smoke/super/a.rb
 - smoke/super/a.rbi
+- smoke/type_case/a.rb
 - smoke/yield/a.rb
 - stdlib/builtin.rbi
 - steep.gemspec
@@ -207,15 +269,15 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.4.0
+      version: 2.5.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.6.13
+rubygems_version: 2.7.6
 signing_key: 
 specification_version: 4
 summary: Gradual Typing for Ruby

data/lib/steep/annotation.rb

@@ -1,223 +0,0 @@
-module Steep
-  module Annotation
-    class Base; end
-
-    class VarType < Base
-      attr_reader :var
-      attr_reader :type
-
-      def initialize(var:, type:)
-        @var = var
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(VarType) &&
-          other.var == var &&
-          other.type == type
-      end
-    end
-
-    class MethodType < Base
-      attr_reader :method
-      attr_reader :type
-
-      def initialize(method:, type:)
-        @method = method
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(MethodType) &&
-          other.method == method &&
-          other.type == type
-      end
-    end
-
-    class ReturnType < Base
-      attr_reader :type
-
-      def initialize(type:)
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(ReturnType) && other.type == type
-      end
-    end
-
-    class BlockType < Base
-      attr_reader :type
-
-      def initialize(type:)
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(BlockType) && other.type == type
-      end
-    end
-
-    class SelfType < Base
-      attr_reader :type
-
-      def initialize(type:)
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(SelfType) && other.type == type
-      end
-    end
-
-    class InstanceType < Base
-      attr_reader :type
-
-      def initialize(type:)
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(InstanceType) && other.type == type
-      end
-    end
-
-    class ModuleType < Base
-      attr_reader :type
-
-      def initialize(type:)
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(ModuleType) && other.type == type
-      end
-    end
-
-    class Implements < Base
-      attr_reader :module_name
-
-      def initialize(module_name:)
-        @module_name = module_name
-      end
-
-      def ==(other)
-        other.is_a?(Implements) && other.module_name == module_name
-      end
-    end
-
-    class NameType < Base
-      attr_reader :name
-      attr_reader :type
-
-      def initialize(name:, type:)
-        @name = name
-        @type = type
-      end
-
-      def ==(other)
-        other.is_a?(self.class) && other.name == name && other.type == type
-      end
-    end
-
-    class ConstType < NameType
-    end
-
-    class IvarType < NameType
-    end
-
-    class Dynamic < Base
-      attr_reader :name
-
-      def initialize(name:)
-        @name = name
-      end
-
-      def ==(other)
-        other.is_a?(Dynamic) && other.name == name
-      end
-    end
-
-    class Collection
-      attr_reader :var_types
-      attr_reader :method_types
-      attr_reader :annotations
-      attr_reader :block_type
-      attr_reader :return_type
-      attr_reader :self_type
-      attr_reader :const_types
-      attr_reader :instance_type
-      attr_reader :module_type
-      attr_reader :implement_module
-      attr_reader :ivar_types
-      attr_reader :dynamics
-
-      def initialize(annotations:)
-        @var_types = {}
-        @method_types = {}
-        @const_types = {}
-        @ivar_types = {}
-        @dynamics = Set.new
-
-        annotations.each do |annotation|
-          case annotation
-          when VarType
-            var_types[annotation.var] = annotation
-          when MethodType
-            method_types[annotation.method] = annotation
-          when BlockType
-            @block_type = annotation.type
-          when ReturnType
-            @return_type = annotation.type
-          when SelfType
-            @self_type = annotation.type
-          when ConstType
-            @const_types[annotation.name] = annotation.type
-          when InstanceType
-            @instance_type = annotation.type
-          when ModuleType
-            @module_type = annotation.type
-          when Implements
-            @implement_module = annotation.module_name
-          when IvarType
-            ivar_types[annotation.name] = annotation.type
-          when Dynamic
-            dynamics << annotation.name
-          else
-            raise "Unexpected annotation: #{annotation.inspect}"
-          end
-        end
-
-        @annotations = annotations
-      end
-
-      def lookup_var_type(name)
-        var_types[name]&.type
-      end
-
-      def lookup_method_type(name)
-        method_types[name]&.type
-      end
-
-      def lookup_const_type(node)
-        const_types[node]
-      end
-
-      def +(other)
-        self.class.new(annotations: annotations.reject {|a| a.is_a?(BlockType) } + other.annotations)
-      end
-
-      def any?(&block)
-        annotations.any?(&block)
-      end
-
-      def size
-        annotations.size
-      end
-
-      def include?(obj)
-        annotations.include?(obj)
-      end
-    end
-  end
-end