typeprof 0.20.0 → 0.20.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/Gemfile.lock +1 -1
- data/doc/ide.md +81 -0
- data/doc/typeprof-for-ide-log.png +0 -0
- data/doc/typeprof-for-ide.png +0 -0
- data/lib/typeprof/analyzer.rb +7 -2
- data/lib/typeprof/cli.rb +1 -3
- data/lib/typeprof/config.rb +1 -5
- data/lib/typeprof/import.rb +22 -19
- data/lib/typeprof/iseq.rb +5 -0
- data/lib/typeprof/lsp.rb +40 -21
- data/lib/typeprof/version.rb +1 -1
- data/lib/typeprof.rb +0 -5
- data/typeprof.gemspec +1 -1
- metadata +5 -331
- data/smoke/alias.rb +0 -31
- data/smoke/alias2.rb +0 -21
- data/smoke/any-cbase.rb +0 -5
- data/smoke/any1.rb +0 -16
- data/smoke/any2.rb +0 -18
- data/smoke/arguments.rb +0 -17
- data/smoke/arguments2.rb +0 -56
- data/smoke/array-each.rb +0 -15
- data/smoke/array-each2.rb +0 -16
- data/smoke/array-each3.rb +0 -13
- data/smoke/array-ltlt.rb +0 -14
- data/smoke/array-ltlt2.rb +0 -17
- data/smoke/array-map.rb +0 -12
- data/smoke/array-map2.rb +0 -11
- data/smoke/array-map3.rb +0 -23
- data/smoke/array-mul.rb +0 -18
- data/smoke/array-plus1.rb +0 -11
- data/smoke/array-plus2.rb +0 -16
- data/smoke/array-pop.rb +0 -12
- data/smoke/array-range-aref.rb +0 -71
- data/smoke/array-replace.rb +0 -13
- data/smoke/array-s-aref.rb +0 -12
- data/smoke/array1.rb +0 -27
- data/smoke/array10.rb +0 -15
- data/smoke/array11.rb +0 -14
- data/smoke/array12.rb +0 -25
- data/smoke/array13.rb +0 -31
- data/smoke/array14.rb +0 -14
- data/smoke/array15.rb +0 -16
- data/smoke/array2.rb +0 -28
- data/smoke/array3.rb +0 -26
- data/smoke/array4.rb +0 -15
- data/smoke/array5.rb +0 -14
- data/smoke/array6.rb +0 -17
- data/smoke/array7.rb +0 -14
- data/smoke/array8.rb +0 -13
- data/smoke/array9.rb +0 -13
- data/smoke/attr-module.rb +0 -24
- data/smoke/attr-vis.rb +0 -43
- data/smoke/attr-vis.rbs +0 -4
- data/smoke/attr.rb +0 -28
- data/smoke/autoload.rb +0 -14
- data/smoke/backtrace.rb +0 -33
- data/smoke/block-ambiguous.rb +0 -37
- data/smoke/block-args1-rest.rb +0 -64
- data/smoke/block-args1.rb +0 -60
- data/smoke/block-args2-rest.rb +0 -64
- data/smoke/block-args2.rb +0 -60
- data/smoke/block-args3-rest.rb +0 -75
- data/smoke/block-args3.rb +0 -71
- data/smoke/block-blockarg.rb +0 -28
- data/smoke/block-kwarg.rb +0 -53
- data/smoke/block1.rb +0 -23
- data/smoke/block10.rb +0 -15
- data/smoke/block11.rb +0 -40
- data/smoke/block12.rb +0 -23
- data/smoke/block13.rb +0 -9
- data/smoke/block13.rbs +0 -3
- data/smoke/block14.rb +0 -18
- data/smoke/block2.rb +0 -15
- data/smoke/block3.rb +0 -38
- data/smoke/block4.rb +0 -19
- data/smoke/block5.rb +0 -21
- data/smoke/block6.rb +0 -21
- data/smoke/block7.rb +0 -19
- data/smoke/block8.rb +0 -28
- data/smoke/block9.rb +0 -13
- data/smoke/block_given.rb +0 -37
- data/smoke/blown.rb +0 -13
- data/smoke/break1.rb +0 -19
- data/smoke/break2.rb +0 -16
- data/smoke/break3.rb +0 -13
- data/smoke/break4.rb +0 -17
- data/smoke/case.rb +0 -17
- data/smoke/case2.rb +0 -18
- data/smoke/case3.rb +0 -17
- data/smoke/class-hierarchy.rb +0 -54
- data/smoke/class-hierarchy2.rb +0 -27
- data/smoke/class-new.rb +0 -15
- data/smoke/class.rb +0 -7
- data/smoke/class_eval.rb +0 -22
- data/smoke/class_instance_var.rb +0 -9
- data/smoke/class_method.rb +0 -25
- data/smoke/class_method2.rb +0 -21
- data/smoke/class_method3.rb +0 -29
- data/smoke/constant1.rb +0 -46
- data/smoke/constant2.rb +0 -36
- data/smoke/constant3.rb +0 -10
- data/smoke/constant4.rb +0 -12
- data/smoke/context-sensitive1.rb +0 -13
- data/smoke/cvar.rb +0 -31
- data/smoke/cvar2.rb +0 -17
- data/smoke/define_method.rb +0 -16
- data/smoke/define_method2.rb +0 -18
- data/smoke/define_method3.rb +0 -14
- data/smoke/define_method3.rbs +0 -3
- data/smoke/define_method4.rb +0 -15
- data/smoke/define_method4.rbs +0 -3
- data/smoke/define_method5.rb +0 -12
- data/smoke/define_method6.rb +0 -19
- data/smoke/define_method7.rb +0 -18
- data/smoke/demo.rb +0 -81
- data/smoke/demo1.rb +0 -17
- data/smoke/demo10.rb +0 -21
- data/smoke/demo11.rb +0 -12
- data/smoke/demo2.rb +0 -15
- data/smoke/demo3.rb +0 -17
- data/smoke/demo4.rb +0 -27
- data/smoke/demo5.rb +0 -16
- data/smoke/demo6.rb +0 -22
- data/smoke/demo7.rb +0 -15
- data/smoke/demo8.rb +0 -19
- data/smoke/demo9.rb +0 -18
- data/smoke/dummy-execution1.rb +0 -15
- data/smoke/dummy-execution2.rb +0 -16
- data/smoke/dummy_element.rb +0 -14
- data/smoke/ensure1.rb +0 -21
- data/smoke/enum_for.rb +0 -15
- data/smoke/enum_for2.rb +0 -17
- data/smoke/enumerator.rb +0 -16
- data/smoke/expandarray1.rb +0 -23
- data/smoke/expandarray2.rb +0 -24
- data/smoke/extended.rb +0 -38
- data/smoke/fib.rb +0 -28
- data/smoke/flip-flop.rb +0 -28
- data/smoke/flow1.rb +0 -17
- data/smoke/flow10.rb +0 -17
- data/smoke/flow11.rb +0 -17
- data/smoke/flow2.rb +0 -15
- data/smoke/flow3.rb +0 -15
- data/smoke/flow4.rb +0 -5
- data/smoke/flow5.rb +0 -20
- data/smoke/flow6.rb +0 -20
- data/smoke/flow7.rb +0 -21
- data/smoke/flow8.rb +0 -14
- data/smoke/flow9.rb +0 -12
- data/smoke/for.rb +0 -9
- data/smoke/freeze.rb +0 -12
- data/smoke/function.rb +0 -17
- data/smoke/gvar.rb +0 -14
- data/smoke/gvar2.rb +0 -15
- data/smoke/gvar2.rbs +0 -1
- data/smoke/hash-bot.rb +0 -12
- data/smoke/hash-fetch.rb +0 -28
- data/smoke/hash-merge-bang.rb +0 -12
- data/smoke/hash1.rb +0 -20
- data/smoke/hash2.rb +0 -13
- data/smoke/hash3.rb +0 -14
- data/smoke/hash4.rb +0 -11
- data/smoke/hash5.rb +0 -14
- data/smoke/huge_union.rb +0 -86
- data/smoke/identifier_keywords.rb +0 -17
- data/smoke/included.rb +0 -38
- data/smoke/inheritance.rb +0 -34
- data/smoke/inheritance2.rb +0 -35
- data/smoke/inherited.rb +0 -26
- data/smoke/initialize.rb +0 -28
- data/smoke/instance_eval.rb +0 -18
- data/smoke/instance_eval2.rb +0 -10
- data/smoke/instance_eval3.rb +0 -25
- data/smoke/instance_eval4.rb +0 -12
- data/smoke/int_times.rb +0 -15
- data/smoke/integer.rb +0 -11
- data/smoke/ivar.rb +0 -31
- data/smoke/ivar2.rb +0 -30
- data/smoke/ivar3.rb +0 -17
- data/smoke/ivar3.rbs +0 -3
- data/smoke/ivar4.rb +0 -21
- data/smoke/kernel-class.rb +0 -13
- data/smoke/keyword1.rb +0 -12
- data/smoke/keyword2.rb +0 -12
- data/smoke/keyword3.rb +0 -12
- data/smoke/keyword4.rb +0 -12
- data/smoke/keyword5.rb +0 -16
- data/smoke/kwrest.rb +0 -13
- data/smoke/kwrest.rbs +0 -3
- data/smoke/kwsplat1.rb +0 -43
- data/smoke/kwsplat2.rb +0 -13
- data/smoke/lit-complex.rb +0 -10
- data/smoke/lit-encoding.rb +0 -10
- data/smoke/manual-rbs.rb +0 -29
- data/smoke/manual-rbs.rbs +0 -3
- data/smoke/manual-rbs2.rb +0 -21
- data/smoke/manual-rbs2.rbs +0 -8
- data/smoke/manual-rbs3.rb +0 -13
- data/smoke/manual-rbs3.rbs +0 -3
- data/smoke/masgn1.rb +0 -14
- data/smoke/masgn2.rb +0 -18
- data/smoke/masgn3.rb +0 -13
- data/smoke/method_in_branch.rb +0 -23
- data/smoke/method_missing.rb +0 -29
- data/smoke/module1.rb +0 -29
- data/smoke/module2.rb +0 -28
- data/smoke/module3.rb +0 -33
- data/smoke/module4.rb +0 -35
- data/smoke/module5.rb +0 -17
- data/smoke/module6.rb +0 -40
- data/smoke/module_function1.rb +0 -29
- data/smoke/module_function2.rb +0 -29
- data/smoke/multiple-include.rb +0 -15
- data/smoke/multiple-superclass.rb +0 -28
- data/smoke/next1.rb +0 -21
- data/smoke/next2.rb +0 -17
- data/smoke/noname.rb +0 -9
- data/smoke/object-send1.rb +0 -23
- data/smoke/object-send2.rb +0 -10
- data/smoke/object-send3.rb +0 -18
- data/smoke/once.rb +0 -13
- data/smoke/optional1.rb +0 -14
- data/smoke/optional2.rb +0 -16
- data/smoke/optional3.rb +0 -11
- data/smoke/or_raise.rb +0 -18
- data/smoke/parameterizedd-self.rb +0 -20
- data/smoke/parameterizedd-self2.rb +0 -15
- data/smoke/pathname1.rb +0 -14
- data/smoke/pathname2.rb +0 -14
- data/smoke/pattern-match1.rb +0 -19
- data/smoke/pattern-match2.rb +0 -16
- data/smoke/prepend1.rb +0 -33
- data/smoke/prepend2.rb +0 -10
- data/smoke/prepend2.rbs +0 -9
- data/smoke/primitive_method.rb +0 -19
- data/smoke/printf.rb +0 -20
- data/smoke/proc.rb +0 -20
- data/smoke/proc2.rb +0 -17
- data/smoke/proc3.rb +0 -15
- data/smoke/proc4.rb +0 -12
- data/smoke/proc5.rb +0 -19
- data/smoke/proc6.rb +0 -13
- data/smoke/proc7.rb +0 -32
- data/smoke/public.rb +0 -38
- data/smoke/range.rb +0 -14
- data/smoke/rbs-alias.rb +0 -10
- data/smoke/rbs-alias.rbs +0 -4
- data/smoke/rbs-attr.rb +0 -27
- data/smoke/rbs-attr.rbs +0 -5
- data/smoke/rbs-attr2.rb +0 -11
- data/smoke/rbs-attr2.rbs +0 -3
- data/smoke/rbs-extend.rb +0 -10
- data/smoke/rbs-extend.rbs +0 -7
- data/smoke/rbs-interface.rb +0 -25
- data/smoke/rbs-interface.rbs +0 -12
- data/smoke/rbs-module.rb +0 -26
- data/smoke/rbs-module.rbs +0 -4
- data/smoke/rbs-opt-and-rest.rb +0 -10
- data/smoke/rbs-opt-and-rest.rbs +0 -3
- data/smoke/rbs-proc1.rb +0 -10
- data/smoke/rbs-proc1.rbs +0 -3
- data/smoke/rbs-proc2.rb +0 -21
- data/smoke/rbs-proc2.rbs +0 -3
- data/smoke/rbs-proc3.rb +0 -14
- data/smoke/rbs-proc3.rbs +0 -4
- data/smoke/rbs-record.rb +0 -18
- data/smoke/rbs-record.rbs +0 -4
- data/smoke/rbs-tyvar.rb +0 -19
- data/smoke/rbs-tyvar.rbs +0 -5
- data/smoke/rbs-tyvar2.rb +0 -21
- data/smoke/rbs-tyvar2.rbs +0 -9
- data/smoke/rbs-tyvar3.rb +0 -18
- data/smoke/rbs-tyvar3.rbs +0 -5
- data/smoke/rbs-tyvar4.rb +0 -37
- data/smoke/rbs-tyvar5.rb +0 -13
- data/smoke/rbs-tyvar5.rbs +0 -8
- data/smoke/rbs-tyvar6.rb +0 -18
- data/smoke/rbs-tyvar6.rbs +0 -12
- data/smoke/rbs-tyvar7.rb +0 -12
- data/smoke/rbs-tyvar7.rbs +0 -7
- data/smoke/rbs-vars.rb +0 -35
- data/smoke/rbs-vars.rbs +0 -7
- data/smoke/redo1.rb +0 -22
- data/smoke/redo2.rb +0 -23
- data/smoke/req-keyword.rb +0 -13
- data/smoke/require1.rb +0 -13
- data/smoke/require2.rb +0 -13
- data/smoke/rescue1.rb +0 -21
- data/smoke/rescue2.rb +0 -23
- data/smoke/rescue3.rb +0 -20
- data/smoke/rescue4.rb +0 -17
- data/smoke/respond_to.rb +0 -23
- data/smoke/rest-farg.rb +0 -11
- data/smoke/rest1.rb +0 -26
- data/smoke/rest2.rb +0 -31
- data/smoke/rest3.rb +0 -37
- data/smoke/rest4.rb +0 -19
- data/smoke/rest5.rb +0 -11
- data/smoke/rest6.rb +0 -12
- data/smoke/retry1.rb +0 -21
- data/smoke/return.rb +0 -14
- data/smoke/reveal.rb +0 -13
- data/smoke/simple.rb +0 -12
- data/smoke/singleton_class.rb +0 -8
- data/smoke/singleton_method.rb +0 -12
- data/smoke/step.rb +0 -18
- data/smoke/string-split.rb +0 -12
- data/smoke/struct-keyword_init.rb +0 -10
- data/smoke/struct.rb +0 -13
- data/smoke/struct2.rb +0 -25
- data/smoke/struct3.rb +0 -14
- data/smoke/struct4.rb +0 -7
- data/smoke/struct5.rb +0 -16
- data/smoke/struct6.rb +0 -15
- data/smoke/struct7.rb +0 -17
- data/smoke/stub-keyword.rb +0 -10
- data/smoke/super1.rb +0 -69
- data/smoke/super2.rb +0 -16
- data/smoke/super3.rb +0 -20
- data/smoke/super4.rb +0 -45
- data/smoke/super5.rb +0 -38
- data/smoke/svar1.rb +0 -13
- data/smoke/symbol-proc-attr.rb +0 -22
- data/smoke/symbol-proc-attr2.rb +0 -15
- data/smoke/symbol-proc-bot.rb +0 -13
- data/smoke/symbol-proc.rb +0 -25
- data/smoke/tap1.rb +0 -18
- data/smoke/toplevel.rb +0 -13
- data/smoke/two-map.rb +0 -18
- data/smoke/type_var.rb +0 -11
- data/smoke/typed_method.rb +0 -16
- data/smoke/uninitialize-var.rb +0 -13
- data/smoke/union-recv.rb +0 -35
- data/smoke/user-demo.rb +0 -15
- data/smoke/wrong-extend.rb +0 -27
- data/smoke/wrong-include.rb +0 -27
- data/smoke/wrong-include2.rb +0 -17
- data/smoke/wrong-rbs.rb +0 -15
- data/smoke/wrong-rbs.rbs +0 -7
- data/testbed/ao.rb +0 -297
- data/testbed/diff-lcs-entrypoint.rb +0 -4
- data/testbed/goodcheck-Gemfile.lock +0 -51
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: typeprof
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.20.
|
4
|
+
version: 0.20.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Yusuke Endoh
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date: 2021-10-
|
11
|
+
date: 2021-10-25 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: rbs
|
@@ -47,8 +47,11 @@ files:
|
|
47
47
|
- doc/demo.md
|
48
48
|
- doc/doc.ja.md
|
49
49
|
- doc/doc.md
|
50
|
+
- doc/ide.md
|
50
51
|
- doc/ppl2019.pdf
|
51
52
|
- doc/todo.md
|
53
|
+
- doc/typeprof-for-ide-log.png
|
54
|
+
- doc/typeprof-for-ide.png
|
52
55
|
- exe/typeprof
|
53
56
|
- lib/typeprof.rb
|
54
57
|
- lib/typeprof/analyzer.rb
|
@@ -68,335 +71,6 @@ files:
|
|
68
71
|
- lib/typeprof/type.rb
|
69
72
|
- lib/typeprof/utils.rb
|
70
73
|
- lib/typeprof/version.rb
|
71
|
-
- smoke/alias.rb
|
72
|
-
- smoke/alias2.rb
|
73
|
-
- smoke/any-cbase.rb
|
74
|
-
- smoke/any1.rb
|
75
|
-
- smoke/any2.rb
|
76
|
-
- smoke/arguments.rb
|
77
|
-
- smoke/arguments2.rb
|
78
|
-
- smoke/array-each.rb
|
79
|
-
- smoke/array-each2.rb
|
80
|
-
- smoke/array-each3.rb
|
81
|
-
- smoke/array-ltlt.rb
|
82
|
-
- smoke/array-ltlt2.rb
|
83
|
-
- smoke/array-map.rb
|
84
|
-
- smoke/array-map2.rb
|
85
|
-
- smoke/array-map3.rb
|
86
|
-
- smoke/array-mul.rb
|
87
|
-
- smoke/array-plus1.rb
|
88
|
-
- smoke/array-plus2.rb
|
89
|
-
- smoke/array-pop.rb
|
90
|
-
- smoke/array-range-aref.rb
|
91
|
-
- smoke/array-replace.rb
|
92
|
-
- smoke/array-s-aref.rb
|
93
|
-
- smoke/array1.rb
|
94
|
-
- smoke/array10.rb
|
95
|
-
- smoke/array11.rb
|
96
|
-
- smoke/array12.rb
|
97
|
-
- smoke/array13.rb
|
98
|
-
- smoke/array14.rb
|
99
|
-
- smoke/array15.rb
|
100
|
-
- smoke/array2.rb
|
101
|
-
- smoke/array3.rb
|
102
|
-
- smoke/array4.rb
|
103
|
-
- smoke/array5.rb
|
104
|
-
- smoke/array6.rb
|
105
|
-
- smoke/array7.rb
|
106
|
-
- smoke/array8.rb
|
107
|
-
- smoke/array9.rb
|
108
|
-
- smoke/attr-module.rb
|
109
|
-
- smoke/attr-vis.rb
|
110
|
-
- smoke/attr-vis.rbs
|
111
|
-
- smoke/attr.rb
|
112
|
-
- smoke/autoload.rb
|
113
|
-
- smoke/backtrace.rb
|
114
|
-
- smoke/block-ambiguous.rb
|
115
|
-
- smoke/block-args1-rest.rb
|
116
|
-
- smoke/block-args1.rb
|
117
|
-
- smoke/block-args2-rest.rb
|
118
|
-
- smoke/block-args2.rb
|
119
|
-
- smoke/block-args3-rest.rb
|
120
|
-
- smoke/block-args3.rb
|
121
|
-
- smoke/block-blockarg.rb
|
122
|
-
- smoke/block-kwarg.rb
|
123
|
-
- smoke/block1.rb
|
124
|
-
- smoke/block10.rb
|
125
|
-
- smoke/block11.rb
|
126
|
-
- smoke/block12.rb
|
127
|
-
- smoke/block13.rb
|
128
|
-
- smoke/block13.rbs
|
129
|
-
- smoke/block14.rb
|
130
|
-
- smoke/block2.rb
|
131
|
-
- smoke/block3.rb
|
132
|
-
- smoke/block4.rb
|
133
|
-
- smoke/block5.rb
|
134
|
-
- smoke/block6.rb
|
135
|
-
- smoke/block7.rb
|
136
|
-
- smoke/block8.rb
|
137
|
-
- smoke/block9.rb
|
138
|
-
- smoke/block_given.rb
|
139
|
-
- smoke/blown.rb
|
140
|
-
- smoke/break1.rb
|
141
|
-
- smoke/break2.rb
|
142
|
-
- smoke/break3.rb
|
143
|
-
- smoke/break4.rb
|
144
|
-
- smoke/case.rb
|
145
|
-
- smoke/case2.rb
|
146
|
-
- smoke/case3.rb
|
147
|
-
- smoke/class-hierarchy.rb
|
148
|
-
- smoke/class-hierarchy2.rb
|
149
|
-
- smoke/class-new.rb
|
150
|
-
- smoke/class.rb
|
151
|
-
- smoke/class_eval.rb
|
152
|
-
- smoke/class_instance_var.rb
|
153
|
-
- smoke/class_method.rb
|
154
|
-
- smoke/class_method2.rb
|
155
|
-
- smoke/class_method3.rb
|
156
|
-
- smoke/constant1.rb
|
157
|
-
- smoke/constant2.rb
|
158
|
-
- smoke/constant3.rb
|
159
|
-
- smoke/constant4.rb
|
160
|
-
- smoke/context-sensitive1.rb
|
161
|
-
- smoke/cvar.rb
|
162
|
-
- smoke/cvar2.rb
|
163
|
-
- smoke/define_method.rb
|
164
|
-
- smoke/define_method2.rb
|
165
|
-
- smoke/define_method3.rb
|
166
|
-
- smoke/define_method3.rbs
|
167
|
-
- smoke/define_method4.rb
|
168
|
-
- smoke/define_method4.rbs
|
169
|
-
- smoke/define_method5.rb
|
170
|
-
- smoke/define_method6.rb
|
171
|
-
- smoke/define_method7.rb
|
172
|
-
- smoke/demo.rb
|
173
|
-
- smoke/demo1.rb
|
174
|
-
- smoke/demo10.rb
|
175
|
-
- smoke/demo11.rb
|
176
|
-
- smoke/demo2.rb
|
177
|
-
- smoke/demo3.rb
|
178
|
-
- smoke/demo4.rb
|
179
|
-
- smoke/demo5.rb
|
180
|
-
- smoke/demo6.rb
|
181
|
-
- smoke/demo7.rb
|
182
|
-
- smoke/demo8.rb
|
183
|
-
- smoke/demo9.rb
|
184
|
-
- smoke/dummy-execution1.rb
|
185
|
-
- smoke/dummy-execution2.rb
|
186
|
-
- smoke/dummy_element.rb
|
187
|
-
- smoke/ensure1.rb
|
188
|
-
- smoke/enum_for.rb
|
189
|
-
- smoke/enum_for2.rb
|
190
|
-
- smoke/enumerator.rb
|
191
|
-
- smoke/expandarray1.rb
|
192
|
-
- smoke/expandarray2.rb
|
193
|
-
- smoke/extended.rb
|
194
|
-
- smoke/fib.rb
|
195
|
-
- smoke/flip-flop.rb
|
196
|
-
- smoke/flow1.rb
|
197
|
-
- smoke/flow10.rb
|
198
|
-
- smoke/flow11.rb
|
199
|
-
- smoke/flow2.rb
|
200
|
-
- smoke/flow3.rb
|
201
|
-
- smoke/flow4.rb
|
202
|
-
- smoke/flow5.rb
|
203
|
-
- smoke/flow6.rb
|
204
|
-
- smoke/flow7.rb
|
205
|
-
- smoke/flow8.rb
|
206
|
-
- smoke/flow9.rb
|
207
|
-
- smoke/for.rb
|
208
|
-
- smoke/freeze.rb
|
209
|
-
- smoke/function.rb
|
210
|
-
- smoke/gvar.rb
|
211
|
-
- smoke/gvar2.rb
|
212
|
-
- smoke/gvar2.rbs
|
213
|
-
- smoke/hash-bot.rb
|
214
|
-
- smoke/hash-fetch.rb
|
215
|
-
- smoke/hash-merge-bang.rb
|
216
|
-
- smoke/hash1.rb
|
217
|
-
- smoke/hash2.rb
|
218
|
-
- smoke/hash3.rb
|
219
|
-
- smoke/hash4.rb
|
220
|
-
- smoke/hash5.rb
|
221
|
-
- smoke/huge_union.rb
|
222
|
-
- smoke/identifier_keywords.rb
|
223
|
-
- smoke/included.rb
|
224
|
-
- smoke/inheritance.rb
|
225
|
-
- smoke/inheritance2.rb
|
226
|
-
- smoke/inherited.rb
|
227
|
-
- smoke/initialize.rb
|
228
|
-
- smoke/instance_eval.rb
|
229
|
-
- smoke/instance_eval2.rb
|
230
|
-
- smoke/instance_eval3.rb
|
231
|
-
- smoke/instance_eval4.rb
|
232
|
-
- smoke/int_times.rb
|
233
|
-
- smoke/integer.rb
|
234
|
-
- smoke/ivar.rb
|
235
|
-
- smoke/ivar2.rb
|
236
|
-
- smoke/ivar3.rb
|
237
|
-
- smoke/ivar3.rbs
|
238
|
-
- smoke/ivar4.rb
|
239
|
-
- smoke/kernel-class.rb
|
240
|
-
- smoke/keyword1.rb
|
241
|
-
- smoke/keyword2.rb
|
242
|
-
- smoke/keyword3.rb
|
243
|
-
- smoke/keyword4.rb
|
244
|
-
- smoke/keyword5.rb
|
245
|
-
- smoke/kwrest.rb
|
246
|
-
- smoke/kwrest.rbs
|
247
|
-
- smoke/kwsplat1.rb
|
248
|
-
- smoke/kwsplat2.rb
|
249
|
-
- smoke/lit-complex.rb
|
250
|
-
- smoke/lit-encoding.rb
|
251
|
-
- smoke/manual-rbs.rb
|
252
|
-
- smoke/manual-rbs.rbs
|
253
|
-
- smoke/manual-rbs2.rb
|
254
|
-
- smoke/manual-rbs2.rbs
|
255
|
-
- smoke/manual-rbs3.rb
|
256
|
-
- smoke/manual-rbs3.rbs
|
257
|
-
- smoke/masgn1.rb
|
258
|
-
- smoke/masgn2.rb
|
259
|
-
- smoke/masgn3.rb
|
260
|
-
- smoke/method_in_branch.rb
|
261
|
-
- smoke/method_missing.rb
|
262
|
-
- smoke/module1.rb
|
263
|
-
- smoke/module2.rb
|
264
|
-
- smoke/module3.rb
|
265
|
-
- smoke/module4.rb
|
266
|
-
- smoke/module5.rb
|
267
|
-
- smoke/module6.rb
|
268
|
-
- smoke/module_function1.rb
|
269
|
-
- smoke/module_function2.rb
|
270
|
-
- smoke/multiple-include.rb
|
271
|
-
- smoke/multiple-superclass.rb
|
272
|
-
- smoke/next1.rb
|
273
|
-
- smoke/next2.rb
|
274
|
-
- smoke/noname.rb
|
275
|
-
- smoke/object-send1.rb
|
276
|
-
- smoke/object-send2.rb
|
277
|
-
- smoke/object-send3.rb
|
278
|
-
- smoke/once.rb
|
279
|
-
- smoke/optional1.rb
|
280
|
-
- smoke/optional2.rb
|
281
|
-
- smoke/optional3.rb
|
282
|
-
- smoke/or_raise.rb
|
283
|
-
- smoke/parameterizedd-self.rb
|
284
|
-
- smoke/parameterizedd-self2.rb
|
285
|
-
- smoke/pathname1.rb
|
286
|
-
- smoke/pathname2.rb
|
287
|
-
- smoke/pattern-match1.rb
|
288
|
-
- smoke/pattern-match2.rb
|
289
|
-
- smoke/prepend1.rb
|
290
|
-
- smoke/prepend2.rb
|
291
|
-
- smoke/prepend2.rbs
|
292
|
-
- smoke/primitive_method.rb
|
293
|
-
- smoke/printf.rb
|
294
|
-
- smoke/proc.rb
|
295
|
-
- smoke/proc2.rb
|
296
|
-
- smoke/proc3.rb
|
297
|
-
- smoke/proc4.rb
|
298
|
-
- smoke/proc5.rb
|
299
|
-
- smoke/proc6.rb
|
300
|
-
- smoke/proc7.rb
|
301
|
-
- smoke/public.rb
|
302
|
-
- smoke/range.rb
|
303
|
-
- smoke/rbs-alias.rb
|
304
|
-
- smoke/rbs-alias.rbs
|
305
|
-
- smoke/rbs-attr.rb
|
306
|
-
- smoke/rbs-attr.rbs
|
307
|
-
- smoke/rbs-attr2.rb
|
308
|
-
- smoke/rbs-attr2.rbs
|
309
|
-
- smoke/rbs-extend.rb
|
310
|
-
- smoke/rbs-extend.rbs
|
311
|
-
- smoke/rbs-interface.rb
|
312
|
-
- smoke/rbs-interface.rbs
|
313
|
-
- smoke/rbs-module.rb
|
314
|
-
- smoke/rbs-module.rbs
|
315
|
-
- smoke/rbs-opt-and-rest.rb
|
316
|
-
- smoke/rbs-opt-and-rest.rbs
|
317
|
-
- smoke/rbs-proc1.rb
|
318
|
-
- smoke/rbs-proc1.rbs
|
319
|
-
- smoke/rbs-proc2.rb
|
320
|
-
- smoke/rbs-proc2.rbs
|
321
|
-
- smoke/rbs-proc3.rb
|
322
|
-
- smoke/rbs-proc3.rbs
|
323
|
-
- smoke/rbs-record.rb
|
324
|
-
- smoke/rbs-record.rbs
|
325
|
-
- smoke/rbs-tyvar.rb
|
326
|
-
- smoke/rbs-tyvar.rbs
|
327
|
-
- smoke/rbs-tyvar2.rb
|
328
|
-
- smoke/rbs-tyvar2.rbs
|
329
|
-
- smoke/rbs-tyvar3.rb
|
330
|
-
- smoke/rbs-tyvar3.rbs
|
331
|
-
- smoke/rbs-tyvar4.rb
|
332
|
-
- smoke/rbs-tyvar5.rb
|
333
|
-
- smoke/rbs-tyvar5.rbs
|
334
|
-
- smoke/rbs-tyvar6.rb
|
335
|
-
- smoke/rbs-tyvar6.rbs
|
336
|
-
- smoke/rbs-tyvar7.rb
|
337
|
-
- smoke/rbs-tyvar7.rbs
|
338
|
-
- smoke/rbs-vars.rb
|
339
|
-
- smoke/rbs-vars.rbs
|
340
|
-
- smoke/redo1.rb
|
341
|
-
- smoke/redo2.rb
|
342
|
-
- smoke/req-keyword.rb
|
343
|
-
- smoke/require1.rb
|
344
|
-
- smoke/require2.rb
|
345
|
-
- smoke/rescue1.rb
|
346
|
-
- smoke/rescue2.rb
|
347
|
-
- smoke/rescue3.rb
|
348
|
-
- smoke/rescue4.rb
|
349
|
-
- smoke/respond_to.rb
|
350
|
-
- smoke/rest-farg.rb
|
351
|
-
- smoke/rest1.rb
|
352
|
-
- smoke/rest2.rb
|
353
|
-
- smoke/rest3.rb
|
354
|
-
- smoke/rest4.rb
|
355
|
-
- smoke/rest5.rb
|
356
|
-
- smoke/rest6.rb
|
357
|
-
- smoke/retry1.rb
|
358
|
-
- smoke/return.rb
|
359
|
-
- smoke/reveal.rb
|
360
|
-
- smoke/simple.rb
|
361
|
-
- smoke/singleton_class.rb
|
362
|
-
- smoke/singleton_method.rb
|
363
|
-
- smoke/step.rb
|
364
|
-
- smoke/string-split.rb
|
365
|
-
- smoke/struct-keyword_init.rb
|
366
|
-
- smoke/struct.rb
|
367
|
-
- smoke/struct2.rb
|
368
|
-
- smoke/struct3.rb
|
369
|
-
- smoke/struct4.rb
|
370
|
-
- smoke/struct5.rb
|
371
|
-
- smoke/struct6.rb
|
372
|
-
- smoke/struct7.rb
|
373
|
-
- smoke/stub-keyword.rb
|
374
|
-
- smoke/super1.rb
|
375
|
-
- smoke/super2.rb
|
376
|
-
- smoke/super3.rb
|
377
|
-
- smoke/super4.rb
|
378
|
-
- smoke/super5.rb
|
379
|
-
- smoke/svar1.rb
|
380
|
-
- smoke/symbol-proc-attr.rb
|
381
|
-
- smoke/symbol-proc-attr2.rb
|
382
|
-
- smoke/symbol-proc-bot.rb
|
383
|
-
- smoke/symbol-proc.rb
|
384
|
-
- smoke/tap1.rb
|
385
|
-
- smoke/toplevel.rb
|
386
|
-
- smoke/two-map.rb
|
387
|
-
- smoke/type_var.rb
|
388
|
-
- smoke/typed_method.rb
|
389
|
-
- smoke/uninitialize-var.rb
|
390
|
-
- smoke/union-recv.rb
|
391
|
-
- smoke/user-demo.rb
|
392
|
-
- smoke/wrong-extend.rb
|
393
|
-
- smoke/wrong-include.rb
|
394
|
-
- smoke/wrong-include2.rb
|
395
|
-
- smoke/wrong-rbs.rb
|
396
|
-
- smoke/wrong-rbs.rbs
|
397
|
-
- testbed/ao.rb
|
398
|
-
- testbed/diff-lcs-entrypoint.rb
|
399
|
-
- testbed/goodcheck-Gemfile.lock
|
400
74
|
- tools/coverage.rb
|
401
75
|
- tools/setup-insns-def.rb
|
402
76
|
- typeprof-lsp
|
data/smoke/alias.rb
DELETED
@@ -1,31 +0,0 @@
|
|
1
|
-
def foo(x)
|
2
|
-
x
|
3
|
-
end
|
4
|
-
|
5
|
-
alias bar foo
|
6
|
-
|
7
|
-
class Test
|
8
|
-
def baz(x)
|
9
|
-
x
|
10
|
-
end
|
11
|
-
|
12
|
-
alias qux baz
|
13
|
-
end
|
14
|
-
|
15
|
-
foo(1)
|
16
|
-
bar("str")
|
17
|
-
Test.new.baz(1)
|
18
|
-
Test.new.qux("str")
|
19
|
-
|
20
|
-
__END__
|
21
|
-
# Classes
|
22
|
-
class Object
|
23
|
-
private
|
24
|
-
def foo: (Integer | String x) -> (Integer | String)
|
25
|
-
alias bar foo
|
26
|
-
end
|
27
|
-
|
28
|
-
class Test
|
29
|
-
def baz: (Integer | String x) -> (Integer | String)
|
30
|
-
alias qux baz
|
31
|
-
end
|
data/smoke/alias2.rb
DELETED
@@ -1,21 +0,0 @@
|
|
1
|
-
class Foo
|
2
|
-
class << self
|
3
|
-
alias [] new
|
4
|
-
end
|
5
|
-
|
6
|
-
def initialize(a, b, c)
|
7
|
-
@a, @b, @c = a, b, c
|
8
|
-
end
|
9
|
-
end
|
10
|
-
|
11
|
-
Foo[:x, :y, :z]
|
12
|
-
__END__
|
13
|
-
# Classes
|
14
|
-
class Foo
|
15
|
-
@a: :x
|
16
|
-
@b: :y
|
17
|
-
@c: :z
|
18
|
-
|
19
|
-
alias self.[] self.new
|
20
|
-
def initialize: (:x a, :y b, :z c) -> void
|
21
|
-
end
|
data/smoke/any-cbase.rb
DELETED
data/smoke/any1.rb
DELETED
data/smoke/any2.rb
DELETED
data/smoke/arguments.rb
DELETED
@@ -1,17 +0,0 @@
|
|
1
|
-
def foo(x)
|
2
|
-
end
|
3
|
-
def bar(x)
|
4
|
-
end
|
5
|
-
|
6
|
-
bar(foo(1, 2))
|
7
|
-
|
8
|
-
__END__
|
9
|
-
# Errors
|
10
|
-
smoke/arguments.rb:6: [error] wrong number of arguments (given 2, expected 1)
|
11
|
-
|
12
|
-
# Classes
|
13
|
-
class Object
|
14
|
-
private
|
15
|
-
def foo: (untyped x) -> nil
|
16
|
-
def bar: (untyped x) -> nil
|
17
|
-
end
|
data/smoke/arguments2.rb
DELETED
@@ -1,56 +0,0 @@
|
|
1
|
-
def f1
|
2
|
-
end
|
3
|
-
f1
|
4
|
-
|
5
|
-
def f2(x, y, z)
|
6
|
-
end
|
7
|
-
f2(:x, :y, :z)
|
8
|
-
|
9
|
-
def f3(x = "str", y = "str")
|
10
|
-
end
|
11
|
-
f3
|
12
|
-
|
13
|
-
def f4(*r)
|
14
|
-
end
|
15
|
-
f4(:a, :b, :c)
|
16
|
-
|
17
|
-
def f5(x, y = "str", z)
|
18
|
-
end
|
19
|
-
f5(:x, :z)
|
20
|
-
|
21
|
-
def f6(k:)
|
22
|
-
end
|
23
|
-
f6(k: :kk)
|
24
|
-
|
25
|
-
def f7(k: 42)
|
26
|
-
end
|
27
|
-
f7
|
28
|
-
|
29
|
-
def f8(k: "str")
|
30
|
-
end
|
31
|
-
f8
|
32
|
-
|
33
|
-
def f9(**kw)
|
34
|
-
end
|
35
|
-
f9(k: :kk)
|
36
|
-
|
37
|
-
def f10(&blk)
|
38
|
-
blk.call(1)
|
39
|
-
end
|
40
|
-
f10 {|n| }
|
41
|
-
|
42
|
-
__END__
|
43
|
-
# Classes
|
44
|
-
class Object
|
45
|
-
private
|
46
|
-
def f1: -> nil
|
47
|
-
def f2: (:x x, :y y, :z z) -> nil
|
48
|
-
def f3: (?String x, ?String y) -> nil
|
49
|
-
def f4: (*:a | :b | :c r) -> nil
|
50
|
-
def f5: (:x x, ?String y, :z z) -> nil
|
51
|
-
def f6: (k: :kk) -> nil
|
52
|
-
def f7: (?k: Integer) -> nil
|
53
|
-
def f8: (?k: String) -> nil
|
54
|
-
def f9: (**:kk) -> nil
|
55
|
-
def f10: { (Integer) -> nil } -> nil
|
56
|
-
end
|
data/smoke/array-each.rb
DELETED
data/smoke/array-each2.rb
DELETED
data/smoke/array-each3.rb
DELETED
data/smoke/array-ltlt.rb
DELETED
data/smoke/array-ltlt2.rb
DELETED
data/smoke/array-map.rb
DELETED
data/smoke/array-map2.rb
DELETED
data/smoke/array-map3.rb
DELETED
@@ -1,23 +0,0 @@
|
|
1
|
-
def map_test(a)
|
2
|
-
a.map {|n| n.to_s }
|
3
|
-
end
|
4
|
-
def map_bang_test(a)
|
5
|
-
a.map! {|n| n.to_s }
|
6
|
-
a
|
7
|
-
end
|
8
|
-
def map_bang_test_known_bug(a)
|
9
|
-
a.map! {|n| n.to_s }
|
10
|
-
end
|
11
|
-
|
12
|
-
map_test([1, 2, 3])
|
13
|
-
map_bang_test([1, 2, 3])
|
14
|
-
map_bang_test_known_bug([1, 2, 3])
|
15
|
-
|
16
|
-
__END__
|
17
|
-
# Classes
|
18
|
-
class Object
|
19
|
-
private
|
20
|
-
def map_test: ([Integer, Integer, Integer] a) -> Array[String]
|
21
|
-
def map_bang_test: ([Integer, Integer, Integer] a) -> (Array[Integer | String])
|
22
|
-
def map_bang_test_known_bug: ([Integer, Integer, Integer] a) -> [Integer, Integer, Integer]
|
23
|
-
end
|
data/smoke/array-mul.rb
DELETED
@@ -1,18 +0,0 @@
|
|
1
|
-
def foo(a)
|
2
|
-
a * 3
|
3
|
-
end
|
4
|
-
|
5
|
-
def bar(a)
|
6
|
-
a * "join"
|
7
|
-
end
|
8
|
-
|
9
|
-
foo([1, 2, 3])
|
10
|
-
bar([1, 2, 3])
|
11
|
-
|
12
|
-
__END__
|
13
|
-
# Classes
|
14
|
-
class Object
|
15
|
-
private
|
16
|
-
def foo: ([Integer, Integer, Integer] a) -> Array[Integer]
|
17
|
-
def bar: ([Integer, Integer, Integer] a) -> String
|
18
|
-
end
|
data/smoke/array-plus1.rb
DELETED