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.
Files changed (298) hide show
  1. checksums.yaml +4 -4
  2. data/Gemfile.lock +6 -5
  3. data/doc/demo.md +1 -1
  4. data/doc/todo.md +133 -0
  5. data/lib/typeprof/analyzer.rb +177 -76
  6. data/lib/typeprof/arguments.rb +2 -0
  7. data/lib/typeprof/block.rb +40 -2
  8. data/lib/typeprof/builtin.rb +279 -111
  9. data/lib/typeprof/cli.rb +5 -0
  10. data/lib/typeprof/config.rb +15 -1
  11. data/lib/typeprof/container-type.rb +5 -4
  12. data/lib/typeprof/export.rb +115 -70
  13. data/lib/typeprof/import.rb +71 -33
  14. data/lib/typeprof/iseq.rb +46 -11
  15. data/lib/typeprof/method.rb +42 -21
  16. data/lib/typeprof/type.rb +93 -15
  17. data/lib/typeprof/version.rb +1 -1
  18. data/smoke/alias.rb +4 -4
  19. data/smoke/alias2.rb +6 -4
  20. data/smoke/any1.rb +1 -1
  21. data/smoke/any2.rb +2 -2
  22. data/smoke/arguments.rb +2 -2
  23. data/smoke/arguments2.rb +10 -10
  24. data/smoke/array-each.rb +1 -1
  25. data/smoke/array-each2.rb +1 -1
  26. data/smoke/array-each3.rb +1 -1
  27. data/smoke/array-ltlt.rb +1 -1
  28. data/smoke/array-ltlt2.rb +1 -1
  29. data/smoke/array-map.rb +1 -1
  30. data/smoke/array-map2.rb +1 -1
  31. data/smoke/array-map3.rb +3 -3
  32. data/smoke/array-mul.rb +2 -2
  33. data/smoke/array-plus1.rb +1 -1
  34. data/smoke/array-plus2.rb +3 -2
  35. data/smoke/array-pop.rb +1 -1
  36. data/smoke/array-range-aref.rb +11 -11
  37. data/smoke/array-replace.rb +1 -1
  38. data/smoke/array-s-aref.rb +1 -1
  39. data/smoke/array1.rb +5 -5
  40. data/smoke/array10.rb +1 -1
  41. data/smoke/array11.rb +1 -1
  42. data/smoke/array12.rb +3 -3
  43. data/smoke/array13.rb +4 -4
  44. data/smoke/array14.rb +1 -1
  45. data/smoke/array15.rb +16 -0
  46. data/smoke/array2.rb +3 -3
  47. data/smoke/array3.rb +5 -4
  48. data/smoke/array4.rb +1 -1
  49. data/smoke/array5.rb +1 -1
  50. data/smoke/array6.rb +3 -2
  51. data/smoke/array7.rb +1 -1
  52. data/smoke/array8.rb +1 -1
  53. data/smoke/array9.rb +1 -1
  54. data/smoke/attr-module.rb +27 -0
  55. data/smoke/attr-vis.rb +43 -0
  56. data/smoke/attr-vis.rbs +4 -0
  57. data/smoke/attr.rb +5 -5
  58. data/smoke/autoload.rb +1 -1
  59. data/smoke/backtrace.rb +3 -3
  60. data/smoke/block-ambiguous.rb +8 -8
  61. data/smoke/block-args1-rest.rb +12 -11
  62. data/smoke/block-args1.rb +10 -10
  63. data/smoke/block-args2-rest.rb +12 -11
  64. data/smoke/block-args2.rb +10 -10
  65. data/smoke/block-args3-rest.rb +14 -13
  66. data/smoke/block-args3.rb +12 -12
  67. data/smoke/block-blockarg.rb +4 -4
  68. data/smoke/block-kwarg.rb +10 -10
  69. data/smoke/block1.rb +1 -1
  70. data/smoke/block10.rb +1 -1
  71. data/smoke/block11.rb +5 -5
  72. data/smoke/block12.rb +2 -2
  73. data/smoke/block14.rb +2 -2
  74. data/smoke/block2.rb +1 -1
  75. data/smoke/block3.rb +3 -3
  76. data/smoke/block4.rb +2 -2
  77. data/smoke/block5.rb +3 -2
  78. data/smoke/block6.rb +2 -2
  79. data/smoke/block7.rb +1 -1
  80. data/smoke/block8.rb +3 -3
  81. data/smoke/block9.rb +1 -1
  82. data/smoke/block_given.rb +37 -0
  83. data/smoke/blown.rb +1 -1
  84. data/smoke/break1.rb +2 -2
  85. data/smoke/break2.rb +1 -1
  86. data/smoke/break3.rb +13 -0
  87. data/smoke/case.rb +1 -1
  88. data/smoke/case2.rb +1 -1
  89. data/smoke/case3.rb +17 -0
  90. data/smoke/class-hierarchy.rb +5 -5
  91. data/smoke/class-hierarchy2.rb +3 -3
  92. data/smoke/class-new.rb +15 -0
  93. data/smoke/class_instance_var.rb +1 -1
  94. data/smoke/class_method.rb +2 -2
  95. data/smoke/class_method2.rb +2 -2
  96. data/smoke/class_method3.rb +2 -2
  97. data/smoke/constant1.rb +6 -6
  98. data/smoke/constant2.rb +5 -4
  99. data/smoke/constant3.rb +1 -1
  100. data/smoke/constant4.rb +1 -1
  101. data/smoke/context-sensitive1.rb +1 -1
  102. data/smoke/cvar.rb +6 -5
  103. data/smoke/cvar2.rb +2 -2
  104. data/smoke/define_method.rb +2 -2
  105. data/smoke/define_method2.rb +2 -2
  106. data/smoke/define_method3.rb +14 -0
  107. data/smoke/define_method3.rbs +3 -0
  108. data/smoke/define_method4.rb +15 -0
  109. data/smoke/define_method4.rbs +3 -0
  110. data/smoke/define_method5.rb +12 -0
  111. data/smoke/define_method6.rb +19 -0
  112. data/smoke/demo.rb +6 -6
  113. data/smoke/demo1.rb +1 -1
  114. data/smoke/demo10.rb +2 -2
  115. data/smoke/demo11.rb +1 -1
  116. data/smoke/demo2.rb +1 -1
  117. data/smoke/demo3.rb +1 -1
  118. data/smoke/demo4.rb +3 -3
  119. data/smoke/demo5.rb +1 -1
  120. data/smoke/demo6.rb +4 -3
  121. data/smoke/demo7.rb +1 -1
  122. data/smoke/demo8.rb +2 -2
  123. data/smoke/demo9.rb +3 -2
  124. data/smoke/dummy-execution1.rb +2 -2
  125. data/smoke/dummy-execution2.rb +2 -2
  126. data/smoke/dummy_element.rb +14 -0
  127. data/smoke/ensure1.rb +2 -2
  128. data/smoke/enum_for.rb +15 -0
  129. data/smoke/enum_for2.rb +17 -0
  130. data/smoke/enumerator.rb +2 -2
  131. data/smoke/expandarray1.rb +1 -1
  132. data/smoke/expandarray2.rb +1 -1
  133. data/smoke/fib.rb +2 -2
  134. data/smoke/flip-flop.rb +28 -0
  135. data/smoke/flow1.rb +1 -1
  136. data/smoke/flow10.rb +17 -0
  137. data/smoke/flow2.rb +1 -1
  138. data/smoke/flow3.rb +1 -1
  139. data/smoke/flow5.rb +1 -1
  140. data/smoke/flow6.rb +1 -1
  141. data/smoke/flow7.rb +1 -1
  142. data/smoke/flow8.rb +1 -1
  143. data/smoke/flow9.rb +12 -0
  144. data/smoke/freeze.rb +1 -1
  145. data/smoke/function.rb +2 -2
  146. data/smoke/gvar.rb +2 -2
  147. data/smoke/gvar2.rb +3 -3
  148. data/smoke/hash-bot.rb +12 -0
  149. data/smoke/hash-fetch.rb +3 -3
  150. data/smoke/hash-merge-bang.rb +1 -1
  151. data/smoke/hash1.rb +2 -2
  152. data/smoke/hash2.rb +1 -1
  153. data/smoke/hash3.rb +1 -1
  154. data/smoke/hash4.rb +1 -1
  155. data/smoke/hash5.rb +1 -1
  156. data/smoke/inheritance.rb +4 -4
  157. data/smoke/inheritance2.rb +2 -2
  158. data/smoke/initialize.rb +6 -5
  159. data/smoke/instance_eval.rb +2 -2
  160. data/smoke/instance_eval2.rb +10 -0
  161. data/smoke/instance_eval3.rb +25 -0
  162. data/smoke/int_times.rb +1 -1
  163. data/smoke/integer.rb +1 -1
  164. data/smoke/ivar.rb +5 -4
  165. data/smoke/ivar2.rb +4 -4
  166. data/smoke/ivar3.rb +4 -3
  167. data/smoke/ivar4.rb +21 -0
  168. data/smoke/kernel-class.rb +1 -1
  169. data/smoke/keyword1.rb +1 -1
  170. data/smoke/keyword2.rb +1 -1
  171. data/smoke/keyword3.rb +1 -1
  172. data/smoke/keyword4.rb +1 -1
  173. data/smoke/keyword5.rb +1 -1
  174. data/smoke/kwrest.rb +3 -2
  175. data/smoke/kwsplat1.rb +4 -4
  176. data/smoke/kwsplat2.rb +1 -1
  177. data/smoke/lit-complex.rb +10 -0
  178. data/smoke/lit-encoding.rb +10 -0
  179. data/smoke/manual-rbs.rb +5 -4
  180. data/smoke/manual-rbs2.rb +1 -1
  181. data/smoke/manual-rbs3.rb +3 -2
  182. data/smoke/masgn1.rb +1 -1
  183. data/smoke/masgn2.rb +2 -2
  184. data/smoke/masgn3.rb +1 -1
  185. data/smoke/method_in_branch.rb +3 -3
  186. data/smoke/method_missing.rb +5 -4
  187. data/smoke/module1.rb +2 -2
  188. data/smoke/module2.rb +1 -1
  189. data/smoke/module3.rb +3 -3
  190. data/smoke/module4.rb +3 -2
  191. data/smoke/module5.rb +17 -0
  192. data/smoke/module6.rb +40 -0
  193. data/smoke/module_function1.rb +4 -3
  194. data/smoke/module_function2.rb +4 -3
  195. data/smoke/multiple-include.rb +2 -1
  196. data/smoke/multiple-superclass.rb +1 -1
  197. data/smoke/next1.rb +2 -2
  198. data/smoke/next2.rb +1 -1
  199. data/smoke/object-send1.rb +3 -3
  200. data/smoke/object-send2.rb +10 -0
  201. data/smoke/object-send3.rb +18 -0
  202. data/smoke/once.rb +1 -1
  203. data/smoke/optional1.rb +1 -1
  204. data/smoke/optional2.rb +1 -1
  205. data/smoke/optional3.rb +1 -1
  206. data/smoke/parameterizedd-self.rb +3 -2
  207. data/smoke/parameterizedd-self2.rb +1 -1
  208. data/smoke/pathname1.rb +1 -1
  209. data/smoke/pathname2.rb +1 -1
  210. data/smoke/pattern-match1.rb +1 -1
  211. data/smoke/pattern-match2.rb +1 -1
  212. data/smoke/prepend1.rb +33 -0
  213. data/smoke/prepend2.rb +10 -0
  214. data/smoke/prepend2.rbs +9 -0
  215. data/smoke/primitive_method.rb +19 -0
  216. data/smoke/printf.rb +2 -2
  217. data/smoke/proc.rb +2 -2
  218. data/smoke/proc2.rb +1 -1
  219. data/smoke/proc3.rb +1 -1
  220. data/smoke/proc4.rb +1 -1
  221. data/smoke/proc5.rb +19 -0
  222. data/smoke/public.rb +38 -0
  223. data/smoke/range.rb +1 -1
  224. data/smoke/rbs-alias.rb +1 -1
  225. data/smoke/rbs-attr.rb +5 -5
  226. data/smoke/rbs-attr2.rb +1 -1
  227. data/smoke/rbs-extend.rb +1 -1
  228. data/smoke/rbs-interface.rb +4 -4
  229. data/smoke/rbs-module.rb +26 -0
  230. data/smoke/rbs-module.rbs +4 -0
  231. data/smoke/rbs-opt-and-rest.rb +10 -0
  232. data/smoke/rbs-opt-and-rest.rbs +3 -0
  233. data/smoke/rbs-proc1.rb +1 -1
  234. data/smoke/rbs-proc2.rb +2 -2
  235. data/smoke/rbs-proc3.rb +1 -1
  236. data/smoke/rbs-record.rb +2 -2
  237. data/smoke/rbs-tyvar.rb +2 -2
  238. data/smoke/rbs-tyvar2.rb +2 -2
  239. data/smoke/rbs-tyvar3.rb +2 -2
  240. data/smoke/rbs-tyvar4.rb +4 -3
  241. data/smoke/rbs-tyvar5.rb +1 -1
  242. data/smoke/rbs-tyvar6.rb +3 -3
  243. data/smoke/rbs-tyvar7.rb +1 -1
  244. data/smoke/rbs-vars.rb +6 -6
  245. data/smoke/redo1.rb +2 -2
  246. data/smoke/redo2.rb +2 -2
  247. data/smoke/req-keyword.rb +1 -1
  248. data/smoke/rescue1.rb +2 -2
  249. data/smoke/rescue2.rb +2 -2
  250. data/smoke/rescue3.rb +20 -0
  251. data/smoke/rescue4.rb +17 -0
  252. data/smoke/respond_to.rb +1 -1
  253. data/smoke/rest-farg.rb +1 -1
  254. data/smoke/rest1.rb +2 -2
  255. data/smoke/rest2.rb +1 -1
  256. data/smoke/rest3.rb +6 -6
  257. data/smoke/rest4.rb +2 -2
  258. data/smoke/rest5.rb +1 -1
  259. data/smoke/rest6.rb +1 -1
  260. data/smoke/retry1.rb +2 -2
  261. data/smoke/return.rb +1 -1
  262. data/smoke/simple.rb +12 -0
  263. data/smoke/singleton_method.rb +1 -1
  264. data/smoke/step.rb +3 -3
  265. data/smoke/string-split.rb +1 -1
  266. data/smoke/struct-keyword_init.rb +10 -0
  267. data/smoke/struct.rb +1 -1
  268. data/smoke/struct2.rb +4 -4
  269. data/smoke/struct3.rb +2 -2
  270. data/smoke/struct4.rb +7 -0
  271. data/smoke/struct5.rb +16 -0
  272. data/smoke/struct6.rb +15 -0
  273. data/smoke/struct7.rb +17 -0
  274. data/smoke/stub-keyword.rb +10 -0
  275. data/smoke/super1.rb +4 -4
  276. data/smoke/super2.rb +1 -1
  277. data/smoke/super3.rb +4 -3
  278. data/smoke/super4.rb +7 -5
  279. data/smoke/super5.rb +6 -4
  280. data/smoke/svar1.rb +1 -1
  281. data/smoke/symbol-proc-attr.rb +22 -0
  282. data/smoke/symbol-proc-attr2.rb +15 -0
  283. data/smoke/symbol-proc-bot.rb +13 -0
  284. data/smoke/symbol-proc.rb +3 -3
  285. data/smoke/tap1.rb +2 -2
  286. data/smoke/toplevel.rb +1 -1
  287. data/smoke/two-map.rb +2 -2
  288. data/smoke/type_var.rb +3 -3
  289. data/smoke/typed_method.rb +1 -1
  290. data/smoke/uninitialize-var.rb +1 -1
  291. data/smoke/union-recv.rb +2 -2
  292. data/smoke/user-demo.rb +3 -3
  293. data/smoke/wrong-extend.rb +3 -2
  294. data/smoke/wrong-include.rb +3 -2
  295. data/smoke/wrong-include2.rb +17 -0
  296. data/typeprof.gemspec +1 -1
  297. metadata +59 -6
  298. data/tools/stackprof-wrapper.rb +0 -10
@@ -0,0 +1,4 @@
1
+ class Foo
2
+ private
3
+ attr_accessor bar: Integer
4
+ end
@@ -20,9 +20,9 @@ foo.c = :ccc
20
20
  __END__
21
21
  # Classes
22
22
  class Foo
23
- attr_reader a : :aaa
24
- attr_writer b : :bbb
25
- attr_accessor c : :ccc
26
- def initialize : (:aaa) -> :aaa
27
- def get_b : -> :bbb
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
@@ -10,5 +10,5 @@ __END__
10
10
  # Classes
11
11
  class Object
12
12
  private
13
- def foo : -> Pathname
13
+ def foo: -> Pathname
14
14
  end
@@ -27,7 +27,7 @@ smoke/backtrace.rb:2: [error] undefined method: Object#unknown_method
27
27
  # Classes
28
28
  class Object
29
29
  private
30
- def foo : -> untyped
31
- def bar : -> untyped
32
- def baz : -> untyped
30
+ def foo: -> untyped
31
+ def bar: -> untyped
32
+ def baz: -> untyped
33
33
  end
@@ -26,12 +26,12 @@ __END__
26
26
  # Classes
27
27
  class Object
28
28
  private
29
- def f1 : { (:a, :b, :c) -> nil } -> nil
30
- def log1 : (:a) -> nil
31
- def f2 : { (:a, :b, :c) -> nil } -> nil
32
- def log2 : (:a) -> nil
33
- def f3 : { ([:a, :b, :c]) -> nil } -> nil
34
- def log3 : ([:a, :b, :c]) -> nil
35
- def f4 : { ([:a, :b, :c]) -> nil } -> nil
36
- def log4 : (:a) -> nil
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
@@ -48,16 +48,17 @@ end
48
48
  __END__
49
49
  # Classes
50
50
  class Object
51
- StringArray : Array[String]
51
+ StringArray: Array[String]
52
+
52
53
  private
53
- def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
54
- def log1 : (String, :opt | String, String) -> nil
55
- def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, String) -> nil)
56
- def log2 : (:a, :opt | String, String) -> nil
57
- def f3 : { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, :b | String) -> nil)
58
- def log3 : (:a, :b | :opt, :b | String) -> nil
59
- def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
60
- def log4 : (:a, :b | :opt, :b | :c) -> nil
61
- def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
62
- def log5 : (:a, :b | :opt, :b | :c) -> nil
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
@@ -47,14 +47,14 @@ __END__
47
47
  # Classes
48
48
  class Object
49
49
  private
50
- def f1 : { -> nil } -> ^(nil, ?:opt, nil) -> nil
51
- def log1 : (nil, :opt, nil) -> nil
52
- def f2 : { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil
53
- def log2 : (:a, :opt, nil) -> nil
54
- def f3 : { (:a, :b) -> nil } -> ^(:a, ?:opt, :b) -> nil
55
- def log3 : (:a, :opt, :b) -> nil
56
- def f4 : { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
57
- def log4 : (:a, :b | :opt, :c) -> nil
58
- def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
59
- def log5 : (:a, :b | :opt, :c) -> nil
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
@@ -48,16 +48,17 @@ end
48
48
  __END__
49
49
  # Classes
50
50
  class Object
51
- StringArray : Array[String]
51
+ StringArray: Array[String]
52
+
52
53
  private
53
- def f1 : { (*String) -> nil } -> ^(String, *String, String) -> nil
54
- def log1 : (String, Array[String], String) -> nil
55
- def f2 : { (:a, *String) -> nil } -> ^(:a, *String, String) -> nil
56
- def log2 : (:a, Array[String], String) -> nil
57
- def f3 : { (:a, :b, *String) -> nil } -> (^(:a, *:b | String, :b | String) -> nil)
58
- def log3 : (:a, Array[:b | String], :b | String) -> nil
59
- def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, *:b | :c | String, :c | String) -> nil)
60
- def log4 : (:a, Array[:b | :c | String], :c | String) -> nil
61
- def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, *:b | :c | :d | String, :d | String) -> nil)
62
- def log5 : (:a, Array[:b | :c | :d | String], :d | String) -> nil
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
@@ -47,14 +47,14 @@ __END__
47
47
  # Classes
48
48
  class Object
49
49
  private
50
- def f1 : { -> nil } -> ^(nil, *bot, nil) -> nil
51
- def log1 : (nil, Array[bot], nil) -> nil
52
- def f2 : { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
53
- def log2 : (:a, Array[bot], nil) -> nil
54
- def f3 : { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
55
- def log3 : (:a, Array[bot], :b) -> nil
56
- def f4 : { (:a, :b, :c) -> nil } -> ^(:a, *:b, :c) -> nil
57
- def log4 : (:a, [:b], :c) -> nil
58
- def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, *:b | :c, :d) -> nil)
59
- def log5 : (:a, [:b, :c], :d) -> nil
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
@@ -57,18 +57,19 @@ end
57
57
  __END__
58
58
  # Classes
59
59
  class Object
60
- StringArray : Array[String]
60
+ StringArray: Array[String]
61
+
61
62
  private
62
- def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
63
- def log1 : (String, :opt | String, Array[String], String) -> nil
64
- def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
65
- def log2 : (:a, :opt | String, Array[String], String) -> nil
66
- def f3 : { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
67
- def log3 : (:a, :b | :opt, Array[String], :b | String) -> nil
68
- def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
69
- def log4 : (:a, :b | :opt, Array[:c | String], :c | String) -> nil
70
- def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
71
- def log5 : (:a, :b | :opt, Array[:c | :d | String], :d | String) -> nil
72
- def f6 : { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
73
- def log6 : (:a, :b | :opt, Array[:c | :d | :e | String], :e | String) -> nil
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
@@ -56,16 +56,16 @@ __END__
56
56
  # Classes
57
57
  class Object
58
58
  private
59
- def f1 : { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
60
- def log1 : (nil, :opt, Array[bot], nil) -> nil
61
- def f2 : { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
62
- def log2 : (:a, :opt, Array[bot], nil) -> nil
63
- def f3 : { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
64
- def log3 : (:a, :opt, Array[bot], :b) -> nil
65
- def f4 : { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
66
- def log4 : (:a, :b | :opt, Array[bot], :c) -> nil
67
- def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
68
- def log5 : (:a, :b | :opt, [:c], :d) -> nil
69
- def f6 : { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
70
- def log6 : (:a, :b | :opt, [:c, :d], :e) -> nil
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
@@ -21,8 +21,8 @@ __END__
21
21
  # Classes
22
22
  class Object
23
23
  private
24
- def log1 : (:a) -> nil
25
- def log2 : (:b) -> nil
26
- def log3 : (:c) -> nil
27
- def f : { -> :c } -> :d
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
@@ -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 : { -> nil } -> nil
44
- def log1 : (Integer) -> nil
45
- def f2 : { -> nil } -> nil
46
- def log2 : (:opt | Integer) -> nil
47
- def f3 : { -> nil } -> nil
48
- def log3 : (Integer | String) -> nil
49
- def f4 : { -> nil } -> nil
50
- def log4 : ({k: Integer}) -> nil
51
- def f5 : { -> nil } -> untyped
52
- def f6 : { -> nil } -> untyped
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
@@ -19,5 +19,5 @@ __END__
19
19
  # Classes
20
20
  class Object
21
21
  private
22
- def foo : (:sym | String) { (:sym | Integer | String) -> (:sym | Integer | String) } -> (:sym | Integer | String)
22
+ def foo: (:sym | String x) { (:sym | Integer | String) -> (:sym | Integer | String) } -> (:sym | Integer | String)
23
23
  end
@@ -11,5 +11,5 @@ __END__
11
11
  # Classes
12
12
  class Object
13
13
  private
14
- def foo : ([Integer], [String]) -> ([Integer | String])
14
+ def foo: ([Integer] ary1, [String] ary2) -> ([Integer | String])
15
15
  end
@@ -32,9 +32,9 @@ __END__
32
32
  # Classes
33
33
  class Object
34
34
  private
35
- def log1 : (Integer?) -> nil
36
- def log2 : (Integer?) -> nil
37
- def foo : -> Integer?
38
- def test_yield : { -> nil } -> nil
39
- def bar : -> Integer?
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
@@ -18,6 +18,6 @@ __END__
18
18
  # Classes
19
19
  class Object
20
20
  private
21
- def foo : -> [:foo]
22
- def bar : -> [:bar]
21
+ def foo: -> [:foo]
22
+ def bar: -> [:bar]
23
23
  end
@@ -9,10 +9,10 @@ $blk.call(42)
9
9
 
10
10
  __END__
11
11
  # Global variables
12
- $blk : ^(Integer) -> nil
12
+ $blk: ^(Integer) -> nil
13
13
 
14
14
  # Classes
15
15
  class Object
16
16
  private
17
- def foo : { (Integer) -> nil } -> nil
17
+ def foo: { (Integer) -> nil } -> nil
18
18
  end
@@ -11,5 +11,5 @@ __END__
11
11
  # Classes
12
12
  class Object
13
13
  private
14
- def foo : (Integer) { (Integer) -> String } -> String
14
+ def foo: (Integer x) { (Integer) -> String } -> String
15
15
  end
@@ -26,13 +26,13 @@ Bar.new.bar
26
26
  __END__
27
27
  # Classes
28
28
  class Common
29
- def func : (:sym | String) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
29
+ def func: (:sym | String x) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
30
30
  end
31
31
 
32
32
  class Foo
33
- def foo : -> (:sym2 | Integer)
33
+ def foo: -> (:sym2 | Integer)
34
34
  end
35
35
 
36
36
  class Bar
37
- def bar : -> (:sym2 | Integer)
37
+ def bar: -> (:sym2 | Integer)
38
38
  end
@@ -14,6 +14,6 @@ __END__
14
14
  # Classes
15
15
  class Object
16
16
  private
17
- def foo : { (:sym | String) -> (:sym | String) } -> (:sym | String)
18
- def bar : { (:sym | String) -> (:sym | String) } -> (:sym | String)
17
+ def foo: { (:sym | String) -> (:sym | String) } -> (:sym | String)
18
+ def bar: { (:sym | String) -> (:sym | String) } -> (:sym | String)
19
19
  end
@@ -14,7 +14,8 @@ end
14
14
  __END__
15
15
  # Classes
16
16
  class Object
17
- F : ^(Integer) -> String
17
+ F: ^(Integer) -> String
18
+
18
19
  private
19
- def foo : { (:sym) -> String } -> String
20
+ def foo: { (:sym) -> String } -> String
20
21
  end
@@ -16,6 +16,6 @@ __END__
16
16
  # Classes
17
17
  class Object
18
18
  private
19
- def bar : { -> String } -> String
20
- def foo : -> (Integer | String)
19
+ def bar: { -> String } -> String
20
+ def foo: -> (Integer | String)
21
21
  end
@@ -15,5 +15,5 @@ smoke/block7.rb:8: [error] wrong argument type Integer<1> (expected Proc)
15
15
  # Classes
16
16
  class Object
17
17
  private
18
- def foo : -> untyped
18
+ def foo: -> untyped
19
19
  end
@@ -22,7 +22,7 @@ __END__
22
22
  # Classes
23
23
  class Object
24
24
  private
25
- def bar : { -> String } -> String
26
- def baz : { -> String } -> String
27
- def foo : -> (Integer | String)
25
+ def bar: { -> String } -> String
26
+ def baz: { -> String } -> String
27
+ def foo: -> (Integer | String)
28
28
  end
@@ -9,5 +9,5 @@ __END__
9
9
  # Classes
10
10
  class Object
11
11
  private
12
- def foo : { -> nil } -> Integer
12
+ def foo: { -> nil } -> Integer
13
13
  end
@@ -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