typeprof 0.8.0 → 0.11.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 +6 -5
- data/doc/demo.md +1 -1
- data/doc/todo.md +133 -0
- data/lib/typeprof/analyzer.rb +177 -76
- data/lib/typeprof/arguments.rb +2 -0
- data/lib/typeprof/block.rb +40 -2
- data/lib/typeprof/builtin.rb +279 -111
- data/lib/typeprof/cli.rb +5 -0
- data/lib/typeprof/config.rb +15 -1
- data/lib/typeprof/container-type.rb +5 -4
- data/lib/typeprof/export.rb +115 -70
- data/lib/typeprof/import.rb +71 -33
- data/lib/typeprof/iseq.rb +46 -11
- data/lib/typeprof/method.rb +42 -21
- data/lib/typeprof/type.rb +93 -15
- data/lib/typeprof/version.rb +1 -1
- data/smoke/alias.rb +4 -4
- data/smoke/alias2.rb +6 -4
- data/smoke/any1.rb +1 -1
- data/smoke/any2.rb +2 -2
- data/smoke/arguments.rb +2 -2
- data/smoke/arguments2.rb +10 -10
- data/smoke/array-each.rb +1 -1
- data/smoke/array-each2.rb +1 -1
- data/smoke/array-each3.rb +1 -1
- data/smoke/array-ltlt.rb +1 -1
- data/smoke/array-ltlt2.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 +3 -2
- data/smoke/array-pop.rb +1 -1
- data/smoke/array-range-aref.rb +11 -11
- data/smoke/array-replace.rb +1 -1
- data/smoke/array-s-aref.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 +3 -3
- data/smoke/array13.rb +4 -4
- data/smoke/array14.rb +1 -1
- data/smoke/array15.rb +16 -0
- data/smoke/array2.rb +3 -3
- data/smoke/array3.rb +5 -4
- data/smoke/array4.rb +1 -1
- data/smoke/array5.rb +1 -1
- data/smoke/array6.rb +3 -2
- data/smoke/array7.rb +1 -1
- data/smoke/array8.rb +1 -1
- data/smoke/array9.rb +1 -1
- data/smoke/attr-module.rb +27 -0
- data/smoke/attr-vis.rb +43 -0
- data/smoke/attr-vis.rbs +4 -0
- data/smoke/attr.rb +5 -5
- data/smoke/autoload.rb +1 -1
- data/smoke/backtrace.rb +3 -3
- data/smoke/block-ambiguous.rb +8 -8
- data/smoke/block-args1-rest.rb +12 -11
- data/smoke/block-args1.rb +10 -10
- data/smoke/block-args2-rest.rb +12 -11
- data/smoke/block-args2.rb +10 -10
- data/smoke/block-args3-rest.rb +14 -13
- data/smoke/block-args3.rb +12 -12
- data/smoke/block-blockarg.rb +4 -4
- data/smoke/block-kwarg.rb +10 -10
- data/smoke/block1.rb +1 -1
- data/smoke/block10.rb +1 -1
- data/smoke/block11.rb +5 -5
- data/smoke/block12.rb +2 -2
- data/smoke/block14.rb +2 -2
- data/smoke/block2.rb +1 -1
- data/smoke/block3.rb +3 -3
- data/smoke/block4.rb +2 -2
- data/smoke/block5.rb +3 -2
- data/smoke/block6.rb +2 -2
- data/smoke/block7.rb +1 -1
- data/smoke/block8.rb +3 -3
- data/smoke/block9.rb +1 -1
- data/smoke/block_given.rb +37 -0
- data/smoke/blown.rb +1 -1
- data/smoke/break1.rb +2 -2
- data/smoke/break2.rb +1 -1
- data/smoke/break3.rb +13 -0
- data/smoke/case.rb +1 -1
- data/smoke/case2.rb +1 -1
- data/smoke/case3.rb +17 -0
- data/smoke/class-hierarchy.rb +5 -5
- data/smoke/class-hierarchy2.rb +3 -3
- data/smoke/class-new.rb +15 -0
- data/smoke/class_instance_var.rb +1 -1
- data/smoke/class_method.rb +2 -2
- data/smoke/class_method2.rb +2 -2
- data/smoke/class_method3.rb +2 -2
- data/smoke/constant1.rb +6 -6
- data/smoke/constant2.rb +5 -4
- data/smoke/constant3.rb +1 -1
- data/smoke/constant4.rb +1 -1
- data/smoke/context-sensitive1.rb +1 -1
- data/smoke/cvar.rb +6 -5
- data/smoke/cvar2.rb +2 -2
- data/smoke/define_method.rb +2 -2
- data/smoke/define_method2.rb +2 -2
- data/smoke/define_method3.rb +14 -0
- data/smoke/define_method3.rbs +3 -0
- data/smoke/define_method4.rb +15 -0
- data/smoke/define_method4.rbs +3 -0
- data/smoke/define_method5.rb +12 -0
- data/smoke/define_method6.rb +19 -0
- data/smoke/demo.rb +6 -6
- data/smoke/demo1.rb +1 -1
- data/smoke/demo10.rb +2 -2
- 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 +4 -3
- data/smoke/demo7.rb +1 -1
- data/smoke/demo8.rb +2 -2
- data/smoke/demo9.rb +3 -2
- data/smoke/dummy-execution1.rb +2 -2
- data/smoke/dummy-execution2.rb +2 -2
- data/smoke/dummy_element.rb +14 -0
- data/smoke/ensure1.rb +2 -2
- data/smoke/enum_for.rb +15 -0
- data/smoke/enum_for2.rb +17 -0
- data/smoke/enumerator.rb +2 -2
- data/smoke/expandarray1.rb +1 -1
- data/smoke/expandarray2.rb +1 -1
- data/smoke/fib.rb +2 -2
- data/smoke/flip-flop.rb +28 -0
- 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 +12 -0
- data/smoke/freeze.rb +1 -1
- data/smoke/function.rb +2 -2
- data/smoke/gvar.rb +2 -2
- data/smoke/gvar2.rb +3 -3
- data/smoke/hash-bot.rb +12 -0
- data/smoke/hash-fetch.rb +3 -3
- data/smoke/hash-merge-bang.rb +1 -1
- data/smoke/hash1.rb +2 -2
- data/smoke/hash2.rb +1 -1
- data/smoke/hash3.rb +1 -1
- data/smoke/hash4.rb +1 -1
- data/smoke/hash5.rb +1 -1
- data/smoke/inheritance.rb +4 -4
- data/smoke/inheritance2.rb +2 -2
- data/smoke/initialize.rb +6 -5
- data/smoke/instance_eval.rb +2 -2
- data/smoke/instance_eval2.rb +10 -0
- data/smoke/instance_eval3.rb +25 -0
- data/smoke/int_times.rb +1 -1
- data/smoke/integer.rb +1 -1
- data/smoke/ivar.rb +5 -4
- data/smoke/ivar2.rb +4 -4
- data/smoke/ivar3.rb +4 -3
- data/smoke/ivar4.rb +21 -0
- data/smoke/kernel-class.rb +1 -1
- data/smoke/keyword1.rb +1 -1
- data/smoke/keyword2.rb +1 -1
- data/smoke/keyword3.rb +1 -1
- data/smoke/keyword4.rb +1 -1
- data/smoke/keyword5.rb +1 -1
- data/smoke/kwrest.rb +3 -2
- data/smoke/kwsplat1.rb +4 -4
- data/smoke/kwsplat2.rb +1 -1
- data/smoke/lit-complex.rb +10 -0
- data/smoke/lit-encoding.rb +10 -0
- data/smoke/manual-rbs.rb +5 -4
- data/smoke/manual-rbs2.rb +1 -1
- data/smoke/manual-rbs3.rb +3 -2
- data/smoke/masgn1.rb +1 -1
- data/smoke/masgn2.rb +2 -2
- data/smoke/masgn3.rb +1 -1
- data/smoke/method_in_branch.rb +3 -3
- data/smoke/method_missing.rb +5 -4
- data/smoke/module1.rb +2 -2
- data/smoke/module2.rb +1 -1
- data/smoke/module3.rb +3 -3
- data/smoke/module4.rb +3 -2
- data/smoke/module5.rb +17 -0
- data/smoke/module6.rb +40 -0
- data/smoke/module_function1.rb +4 -3
- data/smoke/module_function2.rb +4 -3
- data/smoke/multiple-include.rb +2 -1
- data/smoke/multiple-superclass.rb +1 -1
- data/smoke/next1.rb +2 -2
- data/smoke/next2.rb +1 -1
- data/smoke/object-send1.rb +3 -3
- data/smoke/object-send2.rb +10 -0
- data/smoke/object-send3.rb +18 -0
- data/smoke/once.rb +1 -1
- data/smoke/optional1.rb +1 -1
- data/smoke/optional2.rb +1 -1
- data/smoke/optional3.rb +1 -1
- data/smoke/parameterizedd-self.rb +3 -2
- data/smoke/parameterizedd-self2.rb +1 -1
- data/smoke/pathname1.rb +1 -1
- data/smoke/pathname2.rb +1 -1
- data/smoke/pattern-match1.rb +1 -1
- data/smoke/pattern-match2.rb +1 -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/printf.rb +2 -2
- data/smoke/proc.rb +2 -2
- data/smoke/proc2.rb +1 -1
- data/smoke/proc3.rb +1 -1
- data/smoke/proc4.rb +1 -1
- data/smoke/proc5.rb +19 -0
- data/smoke/public.rb +38 -0
- data/smoke/range.rb +1 -1
- data/smoke/rbs-alias.rb +1 -1
- data/smoke/rbs-attr.rb +5 -5
- data/smoke/rbs-attr2.rb +1 -1
- data/smoke/rbs-extend.rb +1 -1
- data/smoke/rbs-interface.rb +4 -4
- data/smoke/rbs-module.rb +26 -0
- data/smoke/rbs-module.rbs +4 -0
- data/smoke/rbs-opt-and-rest.rb +10 -0
- data/smoke/rbs-opt-and-rest.rbs +3 -0
- data/smoke/rbs-proc1.rb +1 -1
- data/smoke/rbs-proc2.rb +2 -2
- data/smoke/rbs-proc3.rb +1 -1
- data/smoke/rbs-record.rb +2 -2
- data/smoke/rbs-tyvar.rb +2 -2
- data/smoke/rbs-tyvar2.rb +2 -2
- data/smoke/rbs-tyvar3.rb +2 -2
- data/smoke/rbs-tyvar4.rb +4 -3
- data/smoke/rbs-tyvar5.rb +1 -1
- data/smoke/rbs-tyvar6.rb +3 -3
- data/smoke/rbs-tyvar7.rb +1 -1
- data/smoke/rbs-vars.rb +6 -6
- data/smoke/redo1.rb +2 -2
- data/smoke/redo2.rb +2 -2
- data/smoke/req-keyword.rb +1 -1
- data/smoke/rescue1.rb +2 -2
- data/smoke/rescue2.rb +2 -2
- data/smoke/rescue3.rb +20 -0
- data/smoke/rescue4.rb +17 -0
- data/smoke/respond_to.rb +1 -1
- data/smoke/rest-farg.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/return.rb +1 -1
- data/smoke/simple.rb +12 -0
- data/smoke/singleton_method.rb +1 -1
- data/smoke/step.rb +3 -3
- data/smoke/string-split.rb +1 -1
- data/smoke/struct-keyword_init.rb +10 -0
- data/smoke/struct.rb +1 -1
- data/smoke/struct2.rb +4 -4
- data/smoke/struct3.rb +2 -2
- data/smoke/struct4.rb +7 -0
- data/smoke/struct5.rb +16 -0
- data/smoke/struct6.rb +15 -0
- data/smoke/struct7.rb +17 -0
- data/smoke/stub-keyword.rb +10 -0
- data/smoke/super1.rb +4 -4
- data/smoke/super2.rb +1 -1
- data/smoke/super3.rb +4 -3
- data/smoke/super4.rb +7 -5
- data/smoke/super5.rb +6 -4
- data/smoke/svar1.rb +1 -1
- data/smoke/symbol-proc-attr.rb +22 -0
- data/smoke/symbol-proc-attr2.rb +15 -0
- data/smoke/symbol-proc-bot.rb +13 -0
- data/smoke/symbol-proc.rb +3 -3
- data/smoke/tap1.rb +2 -2
- data/smoke/toplevel.rb +1 -1
- data/smoke/two-map.rb +2 -2
- data/smoke/type_var.rb +3 -3
- data/smoke/typed_method.rb +1 -1
- data/smoke/uninitialize-var.rb +1 -1
- data/smoke/union-recv.rb +2 -2
- data/smoke/user-demo.rb +3 -3
- data/smoke/wrong-extend.rb +3 -2
- data/smoke/wrong-include.rb +3 -2
- data/smoke/wrong-include2.rb +17 -0
- data/typeprof.gemspec +1 -1
- metadata +59 -6
- data/tools/stackprof-wrapper.rb +0 -10
data/smoke/attr-vis.rbs
ADDED
data/smoke/attr.rb
CHANGED
@@ -20,9 +20,9 @@ foo.c = :ccc
|
|
20
20
|
__END__
|
21
21
|
# Classes
|
22
22
|
class Foo
|
23
|
-
|
24
|
-
|
25
|
-
|
26
|
-
def
|
27
|
-
|
23
|
+
def initialize: (:aaa a) -> :aaa
|
24
|
+
attr_reader a: :aaa
|
25
|
+
attr_writer b: :bbb
|
26
|
+
def get_b: -> :bbb
|
27
|
+
attr_accessor c: :ccc
|
28
28
|
end
|
data/smoke/autoload.rb
CHANGED
data/smoke/backtrace.rb
CHANGED
data/smoke/block-ambiguous.rb
CHANGED
@@ -26,12 +26,12 @@ __END__
|
|
26
26
|
# Classes
|
27
27
|
class Object
|
28
28
|
private
|
29
|
-
def f1
|
30
|
-
def log1
|
31
|
-
def f2
|
32
|
-
def log2
|
33
|
-
def f3
|
34
|
-
def log3
|
35
|
-
def f4
|
36
|
-
def log4
|
29
|
+
def f1: { (:a, :b, :c) -> nil } -> nil
|
30
|
+
def log1: (:a x) -> nil
|
31
|
+
def f2: { (:a, :b, :c) -> nil } -> nil
|
32
|
+
def log2: (:a x) -> nil
|
33
|
+
def f3: { ([:a, :b, :c]) -> nil } -> nil
|
34
|
+
def log3: ([:a, :b, :c] x) -> nil
|
35
|
+
def f4: { ([:a, :b, :c]) -> nil } -> nil
|
36
|
+
def log4: (:a x) -> nil
|
37
37
|
end
|
data/smoke/block-args1-rest.rb
CHANGED
@@ -48,16 +48,17 @@ end
|
|
48
48
|
__END__
|
49
49
|
# Classes
|
50
50
|
class Object
|
51
|
-
StringArray
|
51
|
+
StringArray: Array[String]
|
52
|
+
|
52
53
|
private
|
53
|
-
def f1
|
54
|
-
def log1
|
55
|
-
def f2
|
56
|
-
def log2
|
57
|
-
def f3
|
58
|
-
def log3
|
59
|
-
def f4
|
60
|
-
def log4
|
61
|
-
def f5
|
62
|
-
def log5
|
54
|
+
def f1: { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
|
55
|
+
def log1: (String a, :opt | String o, String c) -> nil
|
56
|
+
def f2: { (:a, *String) -> nil } -> (^(:a, ?:opt | String, String) -> nil)
|
57
|
+
def log2: (:a a, :opt | String o, String c) -> nil
|
58
|
+
def f3: { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, :b | String) -> nil)
|
59
|
+
def log3: (:a a, :b | :opt o, :b | String c) -> nil
|
60
|
+
def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
|
61
|
+
def log4: (:a a, :b | :opt o, :b | :c c) -> nil
|
62
|
+
def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
|
63
|
+
def log5: (:a a, :b | :opt o, :b | :c c) -> nil
|
63
64
|
end
|
data/smoke/block-args1.rb
CHANGED
@@ -47,14 +47,14 @@ __END__
|
|
47
47
|
# Classes
|
48
48
|
class Object
|
49
49
|
private
|
50
|
-
def f1
|
51
|
-
def log1
|
52
|
-
def f2
|
53
|
-
def log2
|
54
|
-
def f3
|
55
|
-
def log3
|
56
|
-
def f4
|
57
|
-
def log4
|
58
|
-
def f5
|
59
|
-
def log5
|
50
|
+
def f1: { -> nil } -> ^(nil, ?:opt, nil) -> nil
|
51
|
+
def log1: (nil a, :opt o, nil c) -> nil
|
52
|
+
def f2: { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil
|
53
|
+
def log2: (:a a, :opt o, nil c) -> nil
|
54
|
+
def f3: { (:a, :b) -> nil } -> ^(:a, ?:opt, :b) -> nil
|
55
|
+
def log3: (:a a, :opt o, :b c) -> nil
|
56
|
+
def f4: { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
|
57
|
+
def log4: (:a a, :b | :opt o, :c c) -> nil
|
58
|
+
def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
|
59
|
+
def log5: (:a a, :b | :opt o, :c c) -> nil
|
60
60
|
end
|
data/smoke/block-args2-rest.rb
CHANGED
@@ -48,16 +48,17 @@ end
|
|
48
48
|
__END__
|
49
49
|
# Classes
|
50
50
|
class Object
|
51
|
-
StringArray
|
51
|
+
StringArray: Array[String]
|
52
|
+
|
52
53
|
private
|
53
|
-
def f1
|
54
|
-
def log1
|
55
|
-
def f2
|
56
|
-
def log2
|
57
|
-
def f3
|
58
|
-
def log3
|
59
|
-
def f4
|
60
|
-
def log4
|
61
|
-
def f5
|
62
|
-
def log5
|
54
|
+
def f1: { (*String) -> nil } -> ^(String, *String, String) -> nil
|
55
|
+
def log1: (String a, Array[String] r, String c) -> nil
|
56
|
+
def f2: { (:a, *String) -> nil } -> ^(:a, *String, String) -> nil
|
57
|
+
def log2: (:a a, Array[String] r, String c) -> nil
|
58
|
+
def f3: { (:a, :b, *String) -> nil } -> (^(:a, *:b | String, :b | String) -> nil)
|
59
|
+
def log3: (:a a, Array[:b | String] r, :b | String c) -> nil
|
60
|
+
def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, *:b | :c | String, :c | String) -> nil)
|
61
|
+
def log4: (:a a, Array[:b | :c | String] r, :c | String c) -> nil
|
62
|
+
def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, *:b | :c | :d | String, :d | String) -> nil)
|
63
|
+
def log5: (:a a, Array[:b | :c | :d | String] r, :d | String c) -> nil
|
63
64
|
end
|
data/smoke/block-args2.rb
CHANGED
@@ -47,14 +47,14 @@ __END__
|
|
47
47
|
# Classes
|
48
48
|
class Object
|
49
49
|
private
|
50
|
-
def f1
|
51
|
-
def log1
|
52
|
-
def f2
|
53
|
-
def log2
|
54
|
-
def f3
|
55
|
-
def log3
|
56
|
-
def f4
|
57
|
-
def log4
|
58
|
-
def f5
|
59
|
-
def log5
|
50
|
+
def f1: { -> nil } -> ^(nil, *bot, nil) -> nil
|
51
|
+
def log1: (nil a, Array[bot] r, nil c) -> nil
|
52
|
+
def f2: { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
|
53
|
+
def log2: (:a a, Array[bot] r, nil c) -> nil
|
54
|
+
def f3: { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
|
55
|
+
def log3: (:a a, Array[bot] r, :b c) -> nil
|
56
|
+
def f4: { (:a, :b, :c) -> nil } -> ^(:a, *:b, :c) -> nil
|
57
|
+
def log4: (:a a, [:b] r, :c c) -> nil
|
58
|
+
def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, *:b | :c, :d) -> nil)
|
59
|
+
def log5: (:a a, [:b, :c] r, :d c) -> nil
|
60
60
|
end
|
data/smoke/block-args3-rest.rb
CHANGED
@@ -57,18 +57,19 @@ end
|
|
57
57
|
__END__
|
58
58
|
# Classes
|
59
59
|
class Object
|
60
|
-
StringArray
|
60
|
+
StringArray: Array[String]
|
61
|
+
|
61
62
|
private
|
62
|
-
def f1
|
63
|
-
def log1
|
64
|
-
def f2
|
65
|
-
def log2
|
66
|
-
def f3
|
67
|
-
def log3
|
68
|
-
def f4
|
69
|
-
def log4
|
70
|
-
def f5
|
71
|
-
def log5
|
72
|
-
def f6
|
73
|
-
def log6
|
63
|
+
def f1: { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
|
64
|
+
def log1: (String a, :opt | String o, Array[String] r, String c) -> nil
|
65
|
+
def f2: { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
|
66
|
+
def log2: (:a a, :opt | String o, Array[String] r, String c) -> nil
|
67
|
+
def f3: { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
|
68
|
+
def log3: (:a a, :b | :opt o, Array[String] r, :b | String c) -> nil
|
69
|
+
def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
|
70
|
+
def log4: (:a a, :b | :opt o, Array[:c | String] r, :c | String c) -> nil
|
71
|
+
def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
|
72
|
+
def log5: (:a a, :b | :opt o, Array[:c | :d | String] r, :d | String c) -> nil
|
73
|
+
def f6: { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
|
74
|
+
def log6: (:a a, :b | :opt o, Array[:c | :d | :e | String] r, :e | String c) -> nil
|
74
75
|
end
|
data/smoke/block-args3.rb
CHANGED
@@ -56,16 +56,16 @@ __END__
|
|
56
56
|
# Classes
|
57
57
|
class Object
|
58
58
|
private
|
59
|
-
def f1
|
60
|
-
def log1
|
61
|
-
def f2
|
62
|
-
def log2
|
63
|
-
def f3
|
64
|
-
def log3
|
65
|
-
def f4
|
66
|
-
def log4
|
67
|
-
def f5
|
68
|
-
def log5
|
69
|
-
def f6
|
70
|
-
def log6
|
59
|
+
def f1: { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
|
60
|
+
def log1: (nil a, :opt o, Array[bot] r, nil c) -> nil
|
61
|
+
def f2: { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
|
62
|
+
def log2: (:a a, :opt o, Array[bot] r, nil c) -> nil
|
63
|
+
def f3: { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
|
64
|
+
def log3: (:a a, :opt o, Array[bot] r, :b c) -> nil
|
65
|
+
def f4: { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
|
66
|
+
def log4: (:a a, :b | :opt o, Array[bot] r, :c c) -> nil
|
67
|
+
def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
|
68
|
+
def log5: (:a a, :b | :opt o, [:c] r, :d c) -> nil
|
69
|
+
def f6: { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
|
70
|
+
def log6: (:a a, :b | :opt o, [:c, :d] r, :e c) -> nil
|
71
71
|
end
|
data/smoke/block-blockarg.rb
CHANGED
@@ -21,8 +21,8 @@ __END__
|
|
21
21
|
# Classes
|
22
22
|
class Object
|
23
23
|
private
|
24
|
-
def log1
|
25
|
-
def log2
|
26
|
-
def log3
|
27
|
-
def f
|
24
|
+
def log1: (:a x) -> nil
|
25
|
+
def log2: (:b x) -> nil
|
26
|
+
def log3: (:c x) -> nil
|
27
|
+
def f: { -> :c } -> :d
|
28
28
|
end
|
data/smoke/block-kwarg.rb
CHANGED
@@ -40,14 +40,14 @@ smoke/block-kwarg.rb:31: [error] no argument for required keywords
|
|
40
40
|
# Classes
|
41
41
|
class Object
|
42
42
|
private
|
43
|
-
def f1
|
44
|
-
def log1
|
45
|
-
def f2
|
46
|
-
def log2
|
47
|
-
def f3
|
48
|
-
def log3
|
49
|
-
def f4
|
50
|
-
def log4
|
51
|
-
def f5
|
52
|
-
def f6
|
43
|
+
def f1: { -> nil } -> nil
|
44
|
+
def log1: (Integer n) -> nil
|
45
|
+
def f2: { -> nil } -> nil
|
46
|
+
def log2: (:opt | Integer n) -> nil
|
47
|
+
def f3: { -> nil } -> nil
|
48
|
+
def log3: (Integer | String n) -> nil
|
49
|
+
def f4: { -> nil } -> nil
|
50
|
+
def log4: ({k: Integer} kwrest) -> nil
|
51
|
+
def f5: { -> nil } -> untyped
|
52
|
+
def f6: { -> nil } -> untyped
|
53
53
|
end
|
data/smoke/block1.rb
CHANGED
@@ -19,5 +19,5 @@ __END__
|
|
19
19
|
# Classes
|
20
20
|
class Object
|
21
21
|
private
|
22
|
-
def foo
|
22
|
+
def foo: (:sym | String x) { (:sym | Integer | String) -> (:sym | Integer | String) } -> (:sym | Integer | String)
|
23
23
|
end
|
data/smoke/block10.rb
CHANGED
data/smoke/block11.rb
CHANGED
@@ -32,9 +32,9 @@ __END__
|
|
32
32
|
# Classes
|
33
33
|
class Object
|
34
34
|
private
|
35
|
-
def log1
|
36
|
-
def log2
|
37
|
-
def foo
|
38
|
-
def test_yield
|
39
|
-
def bar
|
35
|
+
def log1: (Integer? x) -> nil
|
36
|
+
def log2: (Integer? x) -> nil
|
37
|
+
def foo: -> Integer?
|
38
|
+
def test_yield: { -> nil } -> nil
|
39
|
+
def bar: -> Integer?
|
40
40
|
end
|
data/smoke/block12.rb
CHANGED
data/smoke/block14.rb
CHANGED
data/smoke/block2.rb
CHANGED
data/smoke/block3.rb
CHANGED
@@ -26,13 +26,13 @@ Bar.new.bar
|
|
26
26
|
__END__
|
27
27
|
# Classes
|
28
28
|
class Common
|
29
|
-
def func
|
29
|
+
def func: (:sym | String x) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
|
30
30
|
end
|
31
31
|
|
32
32
|
class Foo
|
33
|
-
def foo
|
33
|
+
def foo: -> (:sym2 | Integer)
|
34
34
|
end
|
35
35
|
|
36
36
|
class Bar
|
37
|
-
def bar
|
37
|
+
def bar: -> (:sym2 | Integer)
|
38
38
|
end
|
data/smoke/block4.rb
CHANGED
@@ -14,6 +14,6 @@ __END__
|
|
14
14
|
# Classes
|
15
15
|
class Object
|
16
16
|
private
|
17
|
-
def foo
|
18
|
-
def bar
|
17
|
+
def foo: { (:sym | String) -> (:sym | String) } -> (:sym | String)
|
18
|
+
def bar: { (:sym | String) -> (:sym | String) } -> (:sym | String)
|
19
19
|
end
|
data/smoke/block5.rb
CHANGED
data/smoke/block6.rb
CHANGED
data/smoke/block7.rb
CHANGED
data/smoke/block8.rb
CHANGED
@@ -22,7 +22,7 @@ __END__
|
|
22
22
|
# Classes
|
23
23
|
class Object
|
24
24
|
private
|
25
|
-
def bar
|
26
|
-
def baz
|
27
|
-
def foo
|
25
|
+
def bar: { -> String } -> String
|
26
|
+
def baz: { -> String } -> String
|
27
|
+
def foo: -> (Integer | String)
|
28
28
|
end
|
data/smoke/block9.rb
CHANGED
@@ -0,0 +1,37 @@
|
|
1
|
+
def foo
|
2
|
+
block_given?
|
3
|
+
end
|
4
|
+
|
5
|
+
foo {}
|
6
|
+
|
7
|
+
def bar
|
8
|
+
block_given?
|
9
|
+
end
|
10
|
+
|
11
|
+
bar
|
12
|
+
|
13
|
+
def baz
|
14
|
+
block_given?
|
15
|
+
end
|
16
|
+
|
17
|
+
baz {}
|
18
|
+
baz
|
19
|
+
|
20
|
+
def qux
|
21
|
+
block_given?
|
22
|
+
end
|
23
|
+
|
24
|
+
qux(&unknown)
|
25
|
+
|
26
|
+
__END__
|
27
|
+
# Errors
|
28
|
+
smoke/block_given.rb:24: [error] undefined method: Object#unknown
|
29
|
+
|
30
|
+
# Classes
|
31
|
+
class Object
|
32
|
+
private
|
33
|
+
def foo: { -> nil } -> true
|
34
|
+
def bar: -> false
|
35
|
+
def baz: ?{ -> nil } -> bool
|
36
|
+
def qux: -> bool
|
37
|
+
end
|