typeprof 0.21.4 → 0.21.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c0f10007471912f793ce801817a088aa794bc4baeb15e5179362521f55e41ec0
-  data.tar.gz: ed61a2b2f4b9800cfb9c9e75d7aa0d0a5690ec1660e509dd4da456b60d1d03e7
+  metadata.gz: 3f5c0fba3561953bdf7db3fe5c326cd4a8375376189928270d919f23dffd78ce
+  data.tar.gz: b3d7aabe2f15298c41de661308e3d757ed0643df079092fe184f6046cc9336c6
 SHA512:
-  metadata.gz: 218064fc39d5eeacfe48c8babb28cfade5a069703d71ec4fb45f1a436491596006a01e46b63a14a25c611924176e7bc7aa5131a687c48f9c35b9d84e03e044e8
-  data.tar.gz: 61cca1138af6ab08bb91b9e05cd03a27de7c43bd13a36b9aa5522dffb1a118cb67f4494b0f109097572aa787a334be822773c6fedd87b3f1bcce1d7d221d7eba
+  metadata.gz: b861fb63e8cfb3d39fdf5a5f753ea88041e730d5c8518098c05fa07f360eae8f3f808697e5e0462ffc76def30e7163c184a95e3bd14a941063c3dc523a9fad53
+  data.tar.gz: 6b061ce0869738ea048e85c74a018adc8894f1c05d71c61b0e91d93b0714c177ef2bc48499640a97fc5f43fd29ace9227ef13924df006a81239cf2ac50480087

data/.github/workflows/main.yml

@@ -1,32 +1,38 @@
 name: Ruby
 
-on: [push,pull_request]
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+  schedule:
+    - cron: '11 24 * * 5'
 
 jobs:
+  ruby-versions:
+    uses: ruby/actions/.github/workflows/ruby_versions.yml@master
+    with:
+      engine: cruby-truffleruby
+      min_version: 2.7
+
   build:
+    needs: ruby-versions
+    name: build (${{ matrix.ruby }})
     strategy:
       fail-fast: false
       matrix:
-        ruby-version: [2.7, 3.0, 3.1, 3.2, head]
+        ruby: ${{ fromJson(needs.ruby-versions.outputs.versions) }}
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v3
     - name: Set up Ruby
       uses: ruby/setup-ruby@v1
       with:
-        ruby-version: ${{ matrix.ruby-version }}
-        bundler-cache: true
+        ruby-version: ${{ matrix.ruby }}
+    - name: Bundle install
+      run: |
+        bundle install
+    - run: bundle exec typeprof --version
     - name: Run the test suite
       run: |
         bundle exec rake TESTOPT=-v
-
-  truffleruby:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v3
-    - name: Set up Ruby
-      uses: ruby/setup-ruby@v1
-      with:
-        ruby-version: truffleruby
-        bundler-cache: true
-    - run: bundle exec typeprof --version
+      if: ${{ !startsWith(matrix.ruby, 'truffle') }}

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    typeprof (0.21.3)
+    typeprof (0.21.5)
       rbs (>= 1.8.1)
 
 GEM
@@ -11,7 +11,7 @@ GEM
     docile (1.4.0)
     power_assert (2.0.1)
     rake (13.0.1)
-    rbs (2.8.3)
+    rbs (3.0.0)
     simplecov (0.21.2)
       docile (~> 1.1)
       simplecov-html (~> 0.11)

data/lib/typeprof/import.rb

@@ -7,6 +7,7 @@ module TypeProf
       collection_path = Config.current.collection_path
       if collection_path&.exist?
         collection_lock = RBS::Collection::Config.lockfile_of(collection_path)
+        raise "Please execute 'rbs collection install'" if collection_lock.nil?
         @repo.add(collection_lock.repo_path)
       end
       @env, @loaded_gems, @builtin_env_json = RBSReader.get_builtin_env
@@ -77,19 +78,37 @@ module TypeProf
     def load_rbs_string(name, content)
       buffer = RBS::Buffer.new(name: name, content: content)
       new_decls = []
-      RBS::Parser.parse_signature(buffer).each do |decl|
-        @env << decl
-        new_decls << decl
+      ret = RBS::Parser.parse_signature(buffer)
+      if ret[0].is_a?(RBS::Buffer)
+        # rbs 3.0
+        buffer, directives, decls = ret
+        @env.add_signature(buffer: buffer, directives: directives, decls: decls)
+        new_decls.concat(decls)
+      else
+        ret.each do |decl|
+          @env << decl
+          new_decls << decl
+        end
       end
       RBSReader.load_rbs(@env, new_decls)
     end
 
     def self.load_rbs(env, new_decls)
       all_env = env.resolve_type_names
-      resolver = RBS::TypeNameResolver.from_env(all_env)
       cur_env = RBS::Environment.new
-      new_decls.each do |decl|
-        cur_env << env.resolve_declaration(resolver, decl, outer: [], prefix: RBS::Namespace.root)
+      if defined?(RBS::TypeNameResolver)
+        resolver = RBS::TypeNameResolver.from_env(all_env)
+        new_decls.each do |decl|
+          cur_env << env.resolve_declaration(resolver, decl, outer: [], prefix: RBS::Namespace.root)
+        end
+      else
+        resolver = RBS::Resolver::TypeNameResolver.new(all_env)
+        table = RBS::Environment::UseMap::Table.new()
+        table.compute_children
+        map = RBS::Environment::UseMap.new(table: table)
+        new_decls.each do |decl|
+          cur_env << s = env.resolve_declaration(resolver, map, decl, outer: [], prefix: RBS::Namespace.root)
+        end
       end
 
       RBS2JSON.new(all_env, cur_env).dump_json
@@ -134,6 +153,9 @@ module TypeProf
       gvars
     end
 
+    AliasDecl = defined?(RBS::AST::Declarations::Alias) ? RBS::AST::Declarations::Alias : RBS::AST::Declarations::AliasDecl
+    TypeAlias = defined?(RBS::AST::Declarations::TypeAlias) ? RBS::AST::Declarations::TypeAlias : nil
+
     def conv_classes
       json = {}
 
@@ -265,9 +287,10 @@ module TypeProf
 
             # The following declarations are ignoreable because they are handled in other level
             when RBS::AST::Declarations::Constant
-            when RBS::AST::Declarations::Alias # type alias
+            when AliasDecl # type alias
             when RBS::AST::Declarations::Class, RBS::AST::Declarations::Module
             when RBS::AST::Declarations::Interface
+            when TypeAlias
 
             else
               warn "Importing #{ member.class.name } is not supported yet"
@@ -492,7 +515,7 @@ module TypeProf
         else
           begin
             @alias_resolution_stack[ty.name] = true
-            alias_decl = @all_env.alias_decls[ty.name]
+            alias_decl = (@all_env.respond_to?(:alias_decls) ? @all_env.alias_decls : @all_env.type_alias_decls)[ty.name]
             alias_decl ? conv_type(alias_decl.decl.type) : [:any]
           ensure
             @alias_resolution_stack.delete(ty.name)

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.21.4"
+  VERSION = "0.21.5"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.21.4
+  version: 0.21.5
 platform: ruby
 authors:
 - Yusuke Endoh
-autorequire:
+autorequire: 
 bindir: exe
 cert_chain: []
-date: 2023-01-12 00:00:00.000000000 Z
+date: 2023-02-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -74,7 +74,7 @@ licenses:
 metadata:
   homepage_uri: https://github.com/ruby/typeprof
   source_code_uri: https://github.com/ruby/typeprof
-post_install_message:
+post_install_message: 
 rdoc_options: []
 require_paths:
 - lib
@@ -89,8 +89,8 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.26
-signing_key:
+rubygems_version: 3.5.0.dev
+signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
 test_files: []