steep 0.3.0 → 0.4.0
Sign up to get free protection for your applications and to get access to all the features.
- 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
|