typeprof 0.9.2 → 0.10.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/Gemfile.lock +3 -2
- data/lib/typeprof/analyzer.rb +82 -59
- data/lib/typeprof/block.rb +34 -0
- data/lib/typeprof/builtin.rb +169 -64
- data/lib/typeprof/cli.rb +2 -0
- data/lib/typeprof/config.rb +13 -1
- data/lib/typeprof/export.rb +114 -69
- data/lib/typeprof/import.rb +50 -28
- data/lib/typeprof/iseq.rb +23 -4
- data/lib/typeprof/method.rb +29 -7
- data/lib/typeprof/type.rb +41 -13
- data/lib/typeprof/version.rb +1 -1
- data/smoke/alias.rb +4 -4
- data/smoke/alias2.rb +3 -1
- data/smoke/arguments.rb +2 -2
- data/smoke/arguments2.rb +5 -5
- data/smoke/array-each.rb +1 -1
- data/smoke/array-each3.rb +1 -1
- data/smoke/array-map.rb +1 -1
- data/smoke/array-map2.rb +1 -1
- data/smoke/array-map3.rb +3 -3
- data/smoke/array-mul.rb +2 -2
- data/smoke/array-plus1.rb +1 -1
- data/smoke/array-plus2.rb +1 -0
- data/smoke/array-range-aref.rb +11 -11
- data/smoke/array-replace.rb +1 -1
- data/smoke/array1.rb +5 -5
- data/smoke/array10.rb +1 -1
- data/smoke/array11.rb +1 -1
- data/smoke/array12.rb +1 -1
- data/smoke/array14.rb +1 -1
- data/smoke/array15.rb +1 -1
- data/smoke/array2.rb +2 -2
- data/smoke/array3.rb +1 -0
- data/smoke/array6.rb +2 -1
- data/smoke/array8.rb +1 -1
- data/smoke/array9.rb +1 -1
- data/smoke/attr-module.rb +1 -0
- data/smoke/attr-vis.rb +43 -0
- data/smoke/attr-vis.rbs +4 -0
- data/smoke/attr.rb +2 -2
- data/smoke/block-ambiguous.rb +4 -4
- data/smoke/block-args1-rest.rb +6 -5
- data/smoke/block-args1.rb +5 -5
- data/smoke/block-args2-rest.rb +6 -5
- data/smoke/block-args2.rb +5 -5
- data/smoke/block-args3-rest.rb +7 -6
- data/smoke/block-args3.rb +6 -6
- data/smoke/block-blockarg.rb +3 -3
- data/smoke/block-kwarg.rb +4 -4
- data/smoke/block1.rb +1 -1
- data/smoke/block10.rb +1 -1
- data/smoke/block11.rb +2 -2
- data/smoke/block2.rb +1 -1
- data/smoke/block3.rb +1 -1
- data/smoke/block5.rb +1 -0
- data/smoke/block_given.rb +37 -0
- data/smoke/class_method.rb +2 -2
- data/smoke/class_method2.rb +2 -2
- data/smoke/constant2.rb +3 -2
- data/smoke/context-sensitive1.rb +1 -1
- data/smoke/cvar.rb +3 -2
- data/smoke/define_method.rb +2 -2
- data/smoke/define_method3.rb +1 -0
- data/smoke/define_method4.rb +1 -1
- data/smoke/define_method6.rb +19 -0
- data/smoke/demo.rb +6 -6
- data/smoke/demo1.rb +1 -1
- data/smoke/demo11.rb +1 -1
- data/smoke/demo2.rb +1 -1
- data/smoke/demo3.rb +1 -1
- data/smoke/demo4.rb +3 -3
- data/smoke/demo5.rb +1 -1
- data/smoke/demo6.rb +2 -1
- data/smoke/demo7.rb +1 -1
- data/smoke/demo9.rb +1 -0
- data/smoke/dummy-execution1.rb +1 -1
- data/smoke/dummy-execution2.rb +1 -1
- data/smoke/dummy_element.rb +1 -1
- data/smoke/ensure1.rb +1 -1
- data/smoke/enum_for.rb +15 -0
- data/smoke/enum_for2.rb +17 -0
- data/smoke/fib.rb +2 -2
- data/smoke/flow1.rb +1 -1
- data/smoke/flow10.rb +17 -0
- data/smoke/flow2.rb +1 -1
- data/smoke/flow3.rb +1 -1
- data/smoke/flow5.rb +1 -1
- data/smoke/flow6.rb +1 -1
- data/smoke/flow7.rb +1 -1
- data/smoke/flow8.rb +1 -1
- data/smoke/flow9.rb +1 -1
- data/smoke/function.rb +1 -1
- data/smoke/gvar.rb +1 -1
- data/smoke/gvar2.rb +1 -1
- data/smoke/hash-fetch.rb +3 -3
- data/smoke/inheritance.rb +4 -4
- data/smoke/initialize.rb +3 -2
- data/smoke/instance_eval.rb +1 -1
- data/smoke/int_times.rb +1 -1
- data/smoke/integer.rb +1 -1
- data/smoke/ivar.rb +3 -2
- data/smoke/ivar2.rb +2 -2
- data/smoke/ivar3.rb +2 -1
- data/smoke/ivar4.rb +1 -0
- data/smoke/kernel-class.rb +1 -1
- data/smoke/keyword4.rb +1 -1
- data/smoke/kwrest.rb +1 -0
- data/smoke/kwsplat1.rb +2 -2
- data/smoke/kwsplat2.rb +1 -1
- data/smoke/manual-rbs.rb +1 -0
- data/smoke/manual-rbs3.rb +1 -0
- data/smoke/method_missing.rb +4 -3
- data/smoke/module3.rb +1 -1
- data/smoke/module4.rb +1 -0
- data/smoke/module5.rb +1 -1
- data/smoke/module_function1.rb +3 -2
- data/smoke/module_function2.rb +3 -2
- data/smoke/multiple-include.rb +1 -0
- data/smoke/next1.rb +1 -1
- data/smoke/object-send1.rb +3 -3
- data/smoke/optional1.rb +1 -1
- data/smoke/optional2.rb +1 -1
- data/smoke/optional3.rb +1 -1
- data/smoke/parameterizedd-self.rb +2 -1
- data/smoke/prepend1.rb +33 -0
- data/smoke/prepend2.rb +10 -0
- data/smoke/prepend2.rbs +9 -0
- data/smoke/primitive_method.rb +19 -0
- data/smoke/proc4.rb +1 -1
- data/smoke/public.rb +4 -0
- data/smoke/range.rb +1 -1
- data/smoke/rbs-attr.rb +2 -2
- data/smoke/rbs-proc2.rb +1 -1
- data/smoke/rbs-proc3.rb +1 -1
- data/smoke/rbs-tyvar4.rb +3 -2
- data/smoke/rbs-tyvar6.rb +3 -3
- data/smoke/redo1.rb +1 -1
- data/smoke/redo2.rb +1 -1
- data/smoke/rescue1.rb +1 -1
- data/smoke/rescue2.rb +1 -1
- data/smoke/rescue3.rb +1 -0
- data/smoke/rescue4.rb +1 -1
- data/smoke/respond_to.rb +1 -1
- data/smoke/rest1.rb +2 -2
- data/smoke/rest2.rb +1 -1
- data/smoke/rest3.rb +6 -6
- data/smoke/rest4.rb +2 -2
- data/smoke/rest5.rb +1 -1
- data/smoke/rest6.rb +1 -1
- data/smoke/retry1.rb +2 -2
- data/smoke/simple.rb +1 -1
- data/smoke/step.rb +3 -3
- data/smoke/struct-keyword_init.rb +5 -15
- data/smoke/struct5.rb +1 -1
- data/smoke/struct6.rb +1 -1
- data/smoke/super1.rb +4 -4
- data/smoke/super3.rb +3 -2
- data/smoke/super4.rb +7 -5
- data/smoke/super5.rb +6 -4
- data/smoke/symbol-proc-attr.rb +1 -1
- data/smoke/tap1.rb +2 -2
- data/smoke/toplevel.rb +1 -1
- data/smoke/type_var.rb +3 -3
- data/smoke/user-demo.rb +1 -1
- data/smoke/wrong-extend.rb +1 -0
- data/smoke/wrong-include.rb +1 -0
- data/smoke/wrong-include2.rb +1 -1
- metadata +14 -3
data/smoke/define_method3.rb
CHANGED
data/smoke/define_method4.rb
CHANGED
@@ -0,0 +1,19 @@
|
|
1
|
+
class A
|
2
|
+
%i[a b].each.with_index { |sym, i| define_method(sym) { i } }
|
3
|
+
end
|
4
|
+
|
5
|
+
def foo
|
6
|
+
A.new.a + A.new.b
|
7
|
+
end
|
8
|
+
|
9
|
+
__END__
|
10
|
+
# Classes
|
11
|
+
class Object
|
12
|
+
private
|
13
|
+
def foo: -> Integer
|
14
|
+
end
|
15
|
+
|
16
|
+
class A
|
17
|
+
def a: -> Integer
|
18
|
+
def b: -> Integer
|
19
|
+
end
|
data/smoke/demo.rb
CHANGED
@@ -66,16 +66,16 @@ __END__
|
|
66
66
|
# Classes
|
67
67
|
class Object
|
68
68
|
private
|
69
|
-
def foo: (bool) -> (Integer | String)
|
70
|
-
def identity: (:sym | Integer | String) -> (:sym | Integer | String)
|
71
|
-
def fib: (Integer) -> Integer
|
69
|
+
def foo: (bool x) -> (Integer | String)
|
70
|
+
def identity: (:sym | Integer | String x) -> (:sym | Integer | String)
|
71
|
+
def fib: (Integer x) -> Integer
|
72
72
|
end
|
73
73
|
|
74
74
|
class A
|
75
|
-
def foo: (Integer | String) -> nil
|
76
|
-
def bar: (Integer | String) -> nil
|
75
|
+
def foo: (Integer | String x) -> nil
|
76
|
+
def bar: (Integer | String x) -> nil
|
77
77
|
end
|
78
78
|
|
79
79
|
class B < A
|
80
|
-
def bar: (Integer | String) -> nil
|
80
|
+
def bar: (Integer | String x) -> nil
|
81
81
|
end
|
data/smoke/demo1.rb
CHANGED
data/smoke/demo11.rb
CHANGED
data/smoke/demo2.rb
CHANGED
data/smoke/demo3.rb
CHANGED
data/smoke/demo4.rb
CHANGED
@@ -18,10 +18,10 @@ B.new.foo("str")
|
|
18
18
|
__END__
|
19
19
|
# Classes
|
20
20
|
class A
|
21
|
-
def foo: (Integer | String) -> nil
|
22
|
-
def bar: (Integer | String) -> nil
|
21
|
+
def foo: (Integer | String x) -> nil
|
22
|
+
def bar: (Integer | String x) -> nil
|
23
23
|
end
|
24
24
|
|
25
25
|
class B < A
|
26
|
-
def bar: (Integer | String) -> nil
|
26
|
+
def bar: (Integer | String x) -> nil
|
27
27
|
end
|
data/smoke/demo5.rb
CHANGED
data/smoke/demo6.rb
CHANGED
data/smoke/demo7.rb
CHANGED
data/smoke/demo9.rb
CHANGED
data/smoke/dummy-execution1.rb
CHANGED
data/smoke/dummy-execution2.rb
CHANGED
data/smoke/dummy_element.rb
CHANGED
data/smoke/ensure1.rb
CHANGED
data/smoke/enum_for.rb
ADDED
data/smoke/enum_for2.rb
ADDED
@@ -0,0 +1,17 @@
|
|
1
|
+
class Foo
|
2
|
+
def int_and_str_enum
|
3
|
+
return enum_for(__method__) unless block_given?
|
4
|
+
|
5
|
+
yield 1
|
6
|
+
yield 2
|
7
|
+
yield 3
|
8
|
+
|
9
|
+
1.0
|
10
|
+
end
|
11
|
+
end
|
12
|
+
|
13
|
+
__END__
|
14
|
+
# Classes
|
15
|
+
class Foo
|
16
|
+
def int_and_str_enum: ?{ (Integer) -> untyped } -> (Enumerator[Integer, untyped] | Float)
|
17
|
+
end
|
data/smoke/fib.rb
CHANGED
data/smoke/flow1.rb
CHANGED
data/smoke/flow10.rb
ADDED
data/smoke/flow2.rb
CHANGED
data/smoke/flow3.rb
CHANGED
data/smoke/flow5.rb
CHANGED
data/smoke/flow6.rb
CHANGED
data/smoke/flow7.rb
CHANGED
data/smoke/flow8.rb
CHANGED
data/smoke/flow9.rb
CHANGED
data/smoke/function.rb
CHANGED
data/smoke/gvar.rb
CHANGED
data/smoke/gvar2.rb
CHANGED
data/smoke/hash-fetch.rb
CHANGED
@@ -22,7 +22,7 @@ __END__
|
|
22
22
|
# Classes
|
23
23
|
class Object
|
24
24
|
private
|
25
|
-
def foo: ({a: :A, b: :B}) -> (:A | :B)
|
26
|
-
def bar: ({a: :A, b: :B}) -> (:A | :B | :C)
|
27
|
-
def baz: ({a: :A, b: :B}) -> ([:A | :B | :C, (:a | :b)?])
|
25
|
+
def foo: ({a: :A, b: :B} h) -> (:A | :B)
|
26
|
+
def bar: ({a: :A, b: :B} h) -> (:A | :B | :C)
|
27
|
+
def baz: ({a: :A, b: :B} h) -> ([:A | :B | :C, (:a | :b)?])
|
28
28
|
end
|
data/smoke/inheritance.rb
CHANGED
@@ -24,11 +24,11 @@ B.test("str")
|
|
24
24
|
__END__
|
25
25
|
# Classes
|
26
26
|
class A
|
27
|
-
def foo: (Integer | String) -> nil
|
28
|
-
def bar: (Integer | String) -> nil
|
29
|
-
def self.test: (Integer | String) -> nil
|
27
|
+
def foo: (Integer | String x) -> nil
|
28
|
+
def bar: (Integer | String x) -> nil
|
29
|
+
def self.test: (Integer | String x) -> nil
|
30
30
|
end
|
31
31
|
|
32
32
|
class B < A
|
33
|
-
def bar: ((Integer | String)?) -> nil
|
33
|
+
def bar: ((Integer | String)? x) -> nil
|
34
34
|
end
|
data/smoke/initialize.rb
CHANGED
@@ -16,12 +16,13 @@ __END__
|
|
16
16
|
# Classes
|
17
17
|
class Object
|
18
18
|
private
|
19
|
-
def log: (A) -> nil
|
19
|
+
def log: (A x) -> nil
|
20
20
|
end
|
21
21
|
|
22
22
|
class A
|
23
23
|
@int: Integer
|
24
24
|
@str: String
|
25
25
|
@val: (Integer | String)?
|
26
|
-
|
26
|
+
|
27
|
+
def initialize: ((Integer | String)? x) -> ((Integer | String)?)
|
27
28
|
end
|
data/smoke/instance_eval.rb
CHANGED
data/smoke/int_times.rb
CHANGED
data/smoke/integer.rb
CHANGED
data/smoke/ivar.rb
CHANGED
@@ -20,11 +20,12 @@ __END__
|
|
20
20
|
# Classes
|
21
21
|
class Object
|
22
22
|
private
|
23
|
-
def log: (Integer | String) -> nil
|
23
|
+
def log: (Integer | String x) -> nil
|
24
24
|
end
|
25
25
|
|
26
26
|
class Foo
|
27
27
|
@foo: Integer | String
|
28
|
-
|
28
|
+
|
29
|
+
def foo=: (Integer | String x) -> (Integer | String)
|
29
30
|
def foo: -> (Integer | String)
|
30
31
|
end
|
data/smoke/ivar2.rb
CHANGED
@@ -23,8 +23,8 @@ Foo.new.set
|
|
23
23
|
__END__
|
24
24
|
# Classes
|
25
25
|
class Foo
|
26
|
-
attr_reader array: Array[:sym | Integer | String]
|
27
|
-
attr_reader hash: {a: Integer, b: String, c: :sym}
|
28
26
|
def initialize: -> Hash[bot, bot]
|
29
27
|
def set: -> :sym
|
28
|
+
attr_reader array: Array[:sym | Integer | String]
|
29
|
+
attr_reader hash: {a: Integer, b: String, c: :sym}
|
30
30
|
end
|
data/smoke/ivar3.rb
CHANGED
@@ -7,10 +7,11 @@ end
|
|
7
7
|
|
8
8
|
__END__
|
9
9
|
# Errors
|
10
|
-
smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared
|
10
|
+
smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared variable
|
11
11
|
|
12
12
|
# Classes
|
13
13
|
class Foo
|
14
14
|
@bar: String
|
15
|
+
|
15
16
|
def initialize: -> String
|
16
17
|
end
|