steep 1.0.1 → 1.0.2
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/CHANGELOG.md +8 -0
- data/Gemfile.lock +5 -5
- data/lib/steep/signature/validator.rb +6 -1
- data/lib/steep/version.rb +1 -1
- metadata +2 -2
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 8317c379e5b7e85cca4a22c9133248a77a112e7687c3cf553ddb90f96ab31236
|
4
|
+
data.tar.gz: cd9c06372e29c009b4af99a5f0c252dcdbdcc9d2905cbd601cffb7210f809c93
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 7b0cfaee1dac3cdc8a69d9ef50714615647c1049783d6406d6ee3246c11a5cb2b5e4287f42a896d13e9ed6411e092acf15406199a0f6f0e3bad412f0ae12e250
|
7
|
+
data.tar.gz: a8b8192a8e6217eff958d30ac12c9aa1cbf9608626c892c9ae9585e33c9241d5a75e760060271e15f60f9869ceab41e9ff2fab38920db9692aa4f1ec296d1257
|
data/CHANGELOG.md
CHANGED
@@ -2,6 +2,14 @@
|
|
2
2
|
|
3
3
|
## master
|
4
4
|
|
5
|
+
## 1.0.2 (2022-07-19)
|
6
|
+
|
7
|
+
This is another patch release for Steep 1.0.
|
8
|
+
|
9
|
+
### Type checker
|
10
|
+
|
11
|
+
* Fix type application validation ([#607](https://github.com/soutaro/steep/pull/607))
|
12
|
+
|
5
13
|
## 1.0.1 (2022-06-16)
|
6
14
|
|
7
15
|
This is the first patch release for Steep 1.0.
|
data/Gemfile.lock
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
PATH
|
2
2
|
remote: .
|
3
3
|
specs:
|
4
|
-
steep (1.0.
|
4
|
+
steep (1.0.2)
|
5
5
|
activesupport (>= 5.1)
|
6
6
|
language_server-protocol (>= 3.15, < 4.0)
|
7
7
|
listen (~> 3.0)
|
@@ -24,7 +24,7 @@ PATH
|
|
24
24
|
GEM
|
25
25
|
remote: https://rubygems.org/
|
26
26
|
specs:
|
27
|
-
activesupport (7.0.3)
|
27
|
+
activesupport (7.0.3.1)
|
28
28
|
concurrent-ruby (~> 1.0, >= 1.0.2)
|
29
29
|
i18n (>= 1.6, < 2)
|
30
30
|
minitest (>= 5.1)
|
@@ -32,7 +32,7 @@ GEM
|
|
32
32
|
ast (2.4.2)
|
33
33
|
concurrent-ruby (1.1.10)
|
34
34
|
ffi (1.15.5)
|
35
|
-
i18n (1.
|
35
|
+
i18n (1.12.0)
|
36
36
|
concurrent-ruby (~> 1.0)
|
37
37
|
language_server-protocol (3.16.0.3)
|
38
38
|
listen (3.7.1)
|
@@ -51,13 +51,13 @@ GEM
|
|
51
51
|
rb-fsevent (0.11.1)
|
52
52
|
rb-inotify (0.10.1)
|
53
53
|
ffi (~> 1.0)
|
54
|
-
rbs (2.
|
54
|
+
rbs (2.6.0)
|
55
55
|
stackprof (0.2.19)
|
56
56
|
terminal-table (3.0.2)
|
57
57
|
unicode-display_width (>= 1.1.1, < 3)
|
58
58
|
tzinfo (2.0.4)
|
59
59
|
concurrent-ruby (~> 1.0)
|
60
|
-
unicode-display_width (2.
|
60
|
+
unicode-display_width (2.2.0)
|
61
61
|
|
62
62
|
PLATFORMS
|
63
63
|
ruby
|
@@ -58,9 +58,14 @@ module Steep
|
|
58
58
|
|
59
59
|
def validate_type_application_constraints(type_name, type_params, type_args, location:)
|
60
60
|
if type_params.size == type_args.size
|
61
|
+
subst = Interface::Substitution.build(
|
62
|
+
type_params.map(&:name),
|
63
|
+
type_args.map {|type| factory.type(type) }
|
64
|
+
)
|
65
|
+
|
61
66
|
type_params.zip(type_args).each do |param, arg|
|
62
67
|
if param.upper_bound
|
63
|
-
upper_bound_type = factory.type(param.upper_bound)
|
68
|
+
upper_bound_type = factory.type(param.upper_bound).subst(subst)
|
64
69
|
arg_type = factory.type(arg)
|
65
70
|
|
66
71
|
constraints = Subtyping::Constraints.empty
|
data/lib/steep/version.rb
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: steep
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.0.
|
4
|
+
version: 1.0.2
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Soutaro Matsumoto
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date: 2022-
|
11
|
+
date: 2022-07-19 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: parser
|