steep 1.1.0 → 1.2.0.pre.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7c8da530ec2506030583be78aaaecc04f977ce86bef6c69a5025806c29f32a73
-  data.tar.gz: 507b2fc612005b9893ae02ec840114b428654d039dd6e0c3cf3c719fc03916ab
+  metadata.gz: 16805860000461131410384bf4faece6263672c4e3378ecfe464e0f710322f61
+  data.tar.gz: 3c3bd23ed01ae1fc56f4ecb683e5ef1f6dfdba3ff131be88c93bd43f87b621b2
 SHA512:
-  metadata.gz: 03444250fd89df0edcb58884081dee7c21f5a2b26d1c2b012371ee5b7046355b426dec781b7a9551d336190f306850721ac66d525128518a7c2324fb8b63f4f1
-  data.tar.gz: c4f35528752c20c8d2b494e8bb60546ca65cf0317134343202679b865e7afd92d58bcfe49dc315f58ea2f29c93906ba65ebacb1a53741f94f2f47870961e23ff
+  metadata.gz: 73c14bad856adc3a5bfbd4f10604a6e42ce73fc338e8891a50de91d86e971a42195aff504fb9c1d9eee41ef39bed8ec05d0622a5208403a2e4d219f3f8a3e85d
+  data.tar.gz: 2c94b001a204c73498532062c14db1c01fb67b0562f18c815be5ca3dd99ceeea44e65ea13f17909dc6d7f3a00a885810ab0ec3d9d58f9a734913c06566712a42

data/CHANGELOG.md

@@ -2,6 +2,33 @@
 
 ## master
 
+## 1.2.0.pre.1 (2022-10-06)
+
+### Type checker core
+
+* Support type checking block/proc self type binding ([#637](https://github.com/soutaro/steep/pull/637))
+* Type check multiple assignment on block parameters ([#641](https://github.com/soutaro/steep/pull/641), [#643](https://github.com/soutaro/steep/pull/643))
+* Make more multiple assignments type check ([#630](https://github.com/soutaro/steep/pull/630))
+* Refactor *shape* calculation ([#635](https://github.com/soutaro/steep/pull/635), [#649
+](https://github.com/soutaro/steep/pull/649))
+* Report type errors if argument mismatch on yield ([#640](https://github.com/soutaro/steep/pull/640))
+* Relax caching requirements to cache more results ([#651](https://github.com/soutaro/steep/pull/651))
+
+### Commandline tool
+
+* Add `steep checkfile` command ([#650](https://github.com/soutaro/steep/pull/650))
+
+### Miscellaneous
+
+* Add docs for sublime text integration ([#633](https://github.com/soutaro/steep/pull/633))
+
+## 1.1.1 (2022-07-31)
+
+### Type checker core
+
+* Ignore special local variables -- `_`, `__any__` and `__skip__` ([#617](https://github.com/soutaro/steep/pull/617), [#627](https://github.com/soutaro/steep/pull/627))
+* Fix type narrowing on assignments ([#622](https://github.com/soutaro/steep/pull/622))
+
 ## 1.1.0 (2022-07-27)
 
 ### Type checker core

data/Gemfile

@@ -10,7 +10,6 @@ group :stackprof, optional: true do
   gem "stackprof"
 end
 gem 'minitest-slow_test'
-gem "rbs", "~> 2.5.1"
 
 group :ide, optional: true do
   gem "ruby-debug-ide"

data/Gemfile.lock

@@ -1,20 +1,21 @@
 PATH
   remote: .
   specs:
-    steep (1.1.0)
+    steep (1.2.0.pre.1)
       activesupport (>= 5.1)
       language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
       parallel (>= 1.0.0)
       parser (>= 3.1)
       rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 2.3.2)
+      rbs (>= 2.7.0.pre)
+      securerandom (>= 0.1)
       terminal-table (>= 2, < 4)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (7.0.3.1)
+    activesupport (7.0.4)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
@@ -27,32 +28,33 @@ GEM
     ffi (1.15.5)
     i18n (1.12.0)
       concurrent-ruby (~> 1.0)
-    language_server-protocol (3.16.0.3)
+    language_server-protocol (3.17.0.1)
     listen (3.7.1)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
-    minitest (5.16.2)
+    minitest (5.16.3)
     minitest-hooks (1.5.0)
       minitest (> 5.3)
     minitest-slow_test (0.2.0)
       minitest (>= 5.0)
     parallel (1.22.1)
-    parser (3.1.2.0)
+    parser (3.1.2.1)
       ast (~> 2.4.1)
     rainbow (3.1.1)
     rake (13.0.6)
-    rb-fsevent (0.11.1)
+    rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (2.5.1)
+    rbs (2.7.0.pre.3)
     ruby-debug-ide (0.7.3)
       rake (>= 0.8.1)
-    stackprof (0.2.19)
+    securerandom (0.2.0)
+    stackprof (0.2.21)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     tzinfo (2.0.5)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.2.0)
+    unicode-display_width (2.3.0)
 
 PLATFORMS
   ruby
@@ -63,7 +65,6 @@ DEPENDENCIES
   minitest-hooks
   minitest-slow_test
   rake
-  rbs (~> 2.5.1)
   ruby-debug-ide
   stackprof
   steep!

data/Gemfile.steep

@@ -1,4 +1,4 @@
 source "https://rubygems.org"
 
-gem 'steep', '~> 1.1.pre'
-gem "rbs", "~> 2.5.0"
+gem 'steep', '~> 1.1.0'
+gem "rbs", "~> 2.7.pre"

data/Gemfile.steep.lock

@@ -1,7 +1,7 @@
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (7.0.3.1)
+    activesupport (7.0.4)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
@@ -11,20 +11,20 @@ GEM
     ffi (1.15.5)
     i18n (1.12.0)
       concurrent-ruby (~> 1.0)
-    language_server-protocol (3.16.0.3)
+    language_server-protocol (3.17.0.1)
     listen (3.7.1)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
-    minitest (5.16.2)
+    minitest (5.16.3)
     parallel (1.22.1)
-    parser (3.1.2.0)
+    parser (3.1.2.1)
       ast (~> 2.4.1)
     rainbow (3.1.1)
-    rb-fsevent (0.11.1)
+    rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (2.5.1)
-    steep (1.1.0.pre.1)
+    rbs (2.7.0.pre.2)
+    steep (1.1.1)
       activesupport (>= 5.1)
       language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
@@ -37,14 +37,14 @@ GEM
       unicode-display_width (>= 1.1.1, < 3)
     tzinfo (2.0.5)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.2.0)
+    unicode-display_width (2.3.0)
 
 PLATFORMS
   arm64-darwin-21
 
 DEPENDENCIES
-  rbs (~> 2.5.0)
-  steep (~> 1.1.pre)
+  rbs (~> 2.7.pre)
+  steep (~> 1.1.0)
 
 BUNDLED WITH
    2.3.15

data/README.md

@@ -207,9 +207,9 @@ You can find examples in `smoke` directory.
 
 ## IDEs
 
-Steep implements some of the Language Server Protocol features. You can use Steep with VSCode and its plugin.
-
-- https://github.com/soutaro/steep-vscode
+Steep implements some of the Language Server Protocol features. 
+- For **VSCode** please install [the plugin](https://github.com/soutaro/steep-vscode)
+- For **SublimeText** please install [LSP](https://github.com/sublimelsp/LSP) package and follow [instructions](https://lsp.sublimetext.io/language_servers/#steep)
 
 Other LSP supporting tools may work with Steep where it starts the server as `steep langserver`.
 

data/Steepfile

@@ -3,4 +3,27 @@ target :app do
   signature "sig"
 
   collection_config "rbs_collection.steep.yaml"
+
+  signature "../rbs/sig", "../rbs/stdlib/rdoc/0"
+  library(
+    "set",
+    "pathname",
+    "json",
+    "logger",
+    "monitor",
+    "tsort",
+    "uri",
+    'yaml',
+    'dbm',
+    'pstore',
+    'singleton',
+    'shellwords',
+    'fileutils',
+    'find',
+    'digest',
+    "strscan",
+    "rubygems",
+    "optparse",
+    "securerandom"
+  )
 end

data/bin/steep-prof

@@ -4,12 +4,13 @@ require "stackprof"
 
 mode = (ENV["STEEP_STACKPROF_MODE"] || :wall).to_sym
 out = ENV["STEEP_STACKPROF_OUT"] || "tmp/stackprof-#{mode}-steep.dump"
+interval = ENV["STEEP_STACKPROF_INTERVAL"]&.to_i || 1000
 
 def exit(*)
 
 end
 
 STDERR.puts "Running profiler: mode=#{mode}, out=#{out}"
-StackProf.run(mode: mode, out: out, raw: true) do
+StackProf.run(mode: mode, out: out, raw: true, interval: interval) do
   load File.join(__dir__, "../exe/steep")
 end

data/lib/steep/annotation_parser.rb

@@ -76,7 +76,7 @@ module Steep
           name = match[:name]
           type = match[:type]
 
-          method_type = factory.method_type(RBS::Parser.parse_method_type(type), self_type: AST::Types::Self.new, method_decls: Set[])
+          method_type = factory.method_type(RBS::Parser.parse_method_type(type), method_decls: Set[])
 
           AST::Annotation::MethodType.new(name: name.to_sym,
                                           type: method_type,

data/lib/steep/ast/types/class.rb

@@ -8,6 +8,10 @@ module Steep
           @location = location
         end
 
+        def self.instance
+          @instance ||= new()
+        end
+
         def to_s
           "class"
         end