steep 0.3.0 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/CHANGELOG.md +6 -0
- data/lib/steep.rb +4 -0
- data/lib/steep/ast/types/any.rb +4 -0
- data/lib/steep/ast/types/boolean.rb +53 -0
- data/lib/steep/ast/types/bot.rb +4 -0
- data/lib/steep/ast/types/class.rb +4 -0
- data/lib/steep/ast/types/instance.rb +4 -0
- data/lib/steep/ast/types/intersection.rb +4 -0
- data/lib/steep/ast/types/literal.rb +59 -0
- data/lib/steep/ast/types/name.rb +4 -0
- data/lib/steep/ast/types/nil.rb +48 -0
- data/lib/steep/ast/types/self.rb +4 -0
- data/lib/steep/ast/types/top.rb +4 -0
- data/lib/steep/ast/types/tuple.rb +51 -0
- data/lib/steep/ast/types/union.rb +4 -0
- data/lib/steep/ast/types/var.rb +4 -0
- data/lib/steep/ast/types/void.rb +4 -0
- data/lib/steep/drivers/scaffold.rb +1 -1
- data/lib/steep/errors.rb +15 -0
- data/lib/steep/interface/builder.rb +5 -0
- data/lib/steep/interface/method.rb +10 -0
- data/lib/steep/parser.y +81 -39
- data/lib/steep/subtyping/check.rb +78 -0
- data/lib/steep/type_construction.rb +325 -195
- data/lib/steep/type_inference/type_env.rb +1 -1
- data/lib/steep/typing.rb +34 -19
- data/lib/steep/version.rb +1 -1
- data/smoke/and/a.rb +2 -2
- data/smoke/case/a.rb +1 -1
- data/smoke/literal/a.rb +2 -2
- data/stdlib/builtin.rbi +86 -84
- metadata +6 -2
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: 0.
|
|
4
|
+
version: 0.4.0
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Soutaro Matsumoto
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: exe
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2018-
|
|
11
|
+
date: 2018-06-14 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: bundler
|
|
@@ -156,14 +156,18 @@ files:
|
|
|
156
156
|
- lib/steep/ast/signature/module.rb
|
|
157
157
|
- lib/steep/ast/type_params.rb
|
|
158
158
|
- lib/steep/ast/types/any.rb
|
|
159
|
+
- lib/steep/ast/types/boolean.rb
|
|
159
160
|
- lib/steep/ast/types/bot.rb
|
|
160
161
|
- lib/steep/ast/types/class.rb
|
|
161
162
|
- lib/steep/ast/types/helper.rb
|
|
162
163
|
- lib/steep/ast/types/instance.rb
|
|
163
164
|
- lib/steep/ast/types/intersection.rb
|
|
165
|
+
- lib/steep/ast/types/literal.rb
|
|
164
166
|
- lib/steep/ast/types/name.rb
|
|
167
|
+
- lib/steep/ast/types/nil.rb
|
|
165
168
|
- lib/steep/ast/types/self.rb
|
|
166
169
|
- lib/steep/ast/types/top.rb
|
|
170
|
+
- lib/steep/ast/types/tuple.rb
|
|
167
171
|
- lib/steep/ast/types/union.rb
|
|
168
172
|
- lib/steep/ast/types/var.rb
|
|
169
173
|
- lib/steep/ast/types/void.rb
|