typeprof 0.21.0 → 0.21.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 18bdb9e24afde0cb827e78bc77825f9d316fa4959f0276b961f8fd897787810a
-  data.tar.gz: '095fdf956b09a88940adfe99f68bc6d6afe6d01f2e521b0ca8801691b3df7ab3'
+  metadata.gz: 87b881146ffc3f78049ac01775f0bd6cae8efeec13a77da7eab2a61e3027a802
+  data.tar.gz: 61507f6552b6440fa58ea298ed80956a32e97b149b46d0969a594e8d1b0920bc
 SHA512:
-  metadata.gz: df332ec8c3b08f13d6bf35dd3ae60604ddb31ea4e27d959b0c027b0fb616ab74df582b292ff27169daf6a962f34b21550a21214826ac8a2815829a57b94dd5ed
-  data.tar.gz: cf47173a218dca213e96cc3ebeb84b86c1376cca6f5f06703fb95c1d3de6c0d289d719324ac9d887eefbb36662458bd636250239389fe16bd0f34a66f402abb7
+  metadata.gz: dce6a8c024aa553089224545ca89a6148a590390791f9411b6a70791ad23cb70a9e97d4405264882c3cfccc8cd30e69443cc6330cb81c33f996fa2363dc0369a
+  data.tar.gz: c6f6e02dc30a6c8b7ecbee01f05f171b467a95526b4541173b303803287ea208eb816223353a704866b7f0b87b266462560554bb997bdbe67d3b5c9373385a4f

data/.github/workflows/main.yml

@@ -7,10 +7,10 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ruby-version: [2.7, 3.0,head]
+        ruby-version: [2.7, 3.0, 3.1, head]
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
       with:
         submodules: true
     - name: Set up Ruby

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    typeprof (0.21.0)
+    typeprof (0.21.3)
       rbs (>= 1.8.1)
 
 GEM
@@ -10,15 +10,15 @@ GEM
     coverage-helpers (1.0.0)
     docile (1.4.0)
     power_assert (2.0.1)
-    rake (13.0.1)
-    rbs (1.8.1)
+    rake (13.0.6)
+    rbs (2.6.0)
     simplecov (0.21.2)
       docile (~> 1.1)
       simplecov-html (~> 0.11)
       simplecov_json_formatter (~> 0.1)
     simplecov-html (0.12.3)
-    simplecov_json_formatter (0.1.3)
-    stackprof (0.2.17)
+    simplecov_json_formatter (0.1.4)
+    stackprof (0.2.19)
     test-unit (3.5.3)
       power_assert
 
@@ -36,4 +36,4 @@ DEPENDENCIES
   typeprof!
 
 BUNDLED WITH
-   2.3.0.dev
+   2.2.15

data/lib/typeprof/block.rb

@@ -92,7 +92,7 @@ module TypeProf
       aargs = scratch.globalize_type(aargs, caller_env, caller_ep)
       subst = aargs.consistent_with_method_signature?(@msig)
       unless subst
-        scratch.warn(caller_ep, "The arguments is not compatibile to RBS block")
+        scratch.warn(caller_ep, "The arguments is not compatible to RBS block")
       end
       # check?
       #subst = { Type::Var.new(:self) => caller_env.static_env.recv_ty }

data/lib/typeprof/import.rb

@@ -158,7 +158,10 @@ module TypeProf
         decls.each do |decl|
           decl = decl.decl
 
-          type_params2 = decl.type_params.params.map {|param| [param.name, param.variance] }
+          type_params2 = decl.type_params
+          # A hack to deal with the imcompatibility between rbs 1.8 and 2.0
+          type_params2 = type_params2.params if type_params2.respond_to?(:params)
+          type_params2 = type_params2.map {|param| [param.name, param.variance] }
           raise "inconsistent type parameter declaration" if type_params && type_params != type_params2
           type_params = type_params2
 

data/lib/typeprof/lsp.rb

@@ -5,6 +5,8 @@ require "uri"
 module TypeProf
   def self.start_lsp_server(config)
     if config.lsp_options[:stdio]
+      $stdin.binmode
+      $stdout.binmode
       reader = LSP::Reader.new($stdin)
       writer = LSP::Writer.new($stdout)
       # pipe all builtin print output to stderr to avoid conflicting with lsp
@@ -498,9 +500,11 @@ module TypeProf
         when "typeprof.enableSignature"
           @server.signature_enabled = true
           @server.send_request("workspace/codeLens/refresh")
+          respond(nil)
         when "typeprof.disableSignature"
           @server.signature_enabled = false
           @server.send_request("workspace/codeLens/refresh")
+          respond(nil)
         when "typeprof.createPrototypeRBS"
           class_kind, class_name, sig_str = @params[:arguments]
           code_range =

data/lib/typeprof/type.rb

@@ -855,7 +855,7 @@ module TypeProf
       sig_help = {}
       add_farg = -> farg, name, help: false, key: sig_help.size do
         name = "`#{ name }`" if RBS::Parser::KEYWORDS.key?(name.to_s)
-        name = "noname_#{ name }" if name.is_a?(Integer)
+        name = "noname" if name.is_a?(Integer) || name == :"*"
         fargs_str << ", " if fargs_str != "("
         i = fargs_str.size
         fargs_str << (Config.current.options[:show_parameter_names] && name ? "#{ farg } #{ name }" : farg)

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.21.0"
+  VERSION = "0.21.3"
 end

data/typeprof.gemspec

@@ -24,7 +24,7 @@ Gem::Specification.new do |spec|
   # Specify which files should be added to the gem when it is released.
   # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
   spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
-    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(doc|test|spec|features|smoke|testbed)/}) }
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(doc|test|spec|features|smoke|testbed|vscode)/}) }
   end
   spec.bindir        = "exe"
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.21.0
+  version: 0.21.3
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-12-20 00:00:00.000000000 Z
+date: 2022-07-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -67,16 +67,6 @@ files:
 - tools/setup-insns-def.rb
 - typeprof-lsp
 - typeprof.gemspec
-- vscode/.gitignore
-- vscode/.vscode/launch.json
-- vscode/.vscodeignore
-- vscode/README.md
-- vscode/development.md
-- vscode/package-lock.json
-- vscode/package.json
-- vscode/sandbox/test.rb
-- vscode/src/extension.ts
-- vscode/tsconfig.json
 homepage: https://github.com/ruby/typeprof
 licenses:
 - MIT
@@ -98,7 +88,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.0.dev
+rubygems_version: 3.3.7
 signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation

data/vscode/.gitignore

@@ -1,5 +0,0 @@
-/out
-node_modules
-.vscode/*
-!.vscode/launch.json
-*.vsix

data/vscode/.vscode/launch.json

@@ -1,16 +0,0 @@
-{
-    "version": "0.1.0",
-    "configurations": [
-        {
-            "name": "Launch Extension",
-            "type": "extensionHost",
-            "request": "launch",
-            "runtimeExecutable": "${execPath}",
-            "args": ["--extensionDevelopmentPath=${workspaceRoot}" ],
-            "stopOnEntry": false,
-            "sourceMaps": true,
-            "outFiles": [ "${workspaceRoot}/out/src/**/*.js" ],
-            "preLaunchTask": "npm: vscode:prepublish"
-        }
-    ]
-}

data/vscode/.vscodeignore

@@ -1,7 +0,0 @@
-/sandbox
-.vscode/**
-/src
-**/*.ts
-**/*.js.map
-**/tsconfig.json
-development.md

data/vscode/README.md

@@ -1,22 +0,0 @@
-# Ruby TypeProf VSCode Integration
-
-*NOTE: This extenstion is very preliminary.*
-
-This is a VSCode extension to help you write Ruby code by using an code analyzer called [Ruby TypeProf](https://github.com/ruby/typeprof/) as a backend.
-
-## How to use this extension
-
-*TBD*
-
-Requirements:
-
-1. Use Ruby 3.1.0 or later, and TypeProf 0.20.0 or later
-2. Add `gem "typeprof"` to your `Gemfile`, and execute `bundle install`
-
-Troubleshooting:
-
-*TBD*
-
-## How to develop this extension
-
-See [development.md](https://github.com/ruby/typeprof/blob/master/development.md).

data/vscode/development.md

@@ -1,31 +0,0 @@
-# LSP client for vscode
-
-Note: this is under development
-
-## How to run
-
-```
-$ cd vscode
-$ npm install
-$ npx run tsc -p ./
-$ cd ..
-$ code --extensionDevelopmentPath=vscode/ .
-```
-
-Alternatively, you can do it in vscode itself.
-
-```
-$ cd vscode
-$ code
-```
-
-And then press F5 to run another vscode with extension.
-
-## How to release
-
-```
-$ npm run package
-$ npx vsce publish
-```
-
-See also: https://code.visualstudio.com/api/working-with-extensions/publishing-extension