typeprof 0.6.1 → 0.7.0

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.6.1"
+  VERSION = "0.7.0"
 end

data/smoke/array-each3.rb

@@ -8,5 +8,5 @@ end
 __END__
 # Classes
 class Object
-  def log : (untyped) -> nil
+  def log : (bot) -> nil
 end

data/smoke/array-range-aref.rb

@@ -0,0 +1,70 @@
+def f1(*ary)
+  ary[1..3]
+end
+
+def f2(*ary)
+  ary[1...3]
+end
+
+def f3(*ary)
+  ary[1..-3]
+end
+
+def f4(*ary)
+  ary[1...-3]
+end
+
+def f5(*ary)
+  ary[-4..3]
+end
+
+def f6(*ary)
+  ary[-4...3]
+end
+
+def f7(*ary)
+  ary[-4..-3]
+end
+
+def f8(*ary)
+  ary[-4...-3]
+end
+
+def f9(*ary)
+  ary[...3]
+end
+
+def f10(*ary)
+  ary[3..]
+end
+
+def dispatch(*ary)
+  f1(*ary)
+  f2(*ary)
+  f3(*ary)
+  f4(*ary)
+  f5(*ary)
+  f6(*ary)
+  f7(*ary)
+  f8(*ary)
+  f9(*ary)
+  f10(*ary)
+end
+
+dispatch(:a, :b, :c, :d, :e)
+
+__END__
+# Classes
+class Object
+  def f1 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f2 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f3 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f4 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f5 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f6 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f7 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f8 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f9 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f10 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def dispatch : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+end

data/smoke/autoload.rb

@@ -0,0 +1,13 @@
+autoload(:Pathname, "pathname")
+
+def foo
+  Pathname.new("foo")
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> Pathname
+end

data/smoke/define_method.rb

@@ -0,0 +1,16 @@
+class Foo
+  def bar(n)
+    :BAR
+  end
+
+  define_method(:foo) do |n|
+    bar(:FOO)
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def bar : (:FOO | untyped) -> :BAR
+  def foo : (untyped) -> :BAR
+end

data/smoke/define_method2.rb

@@ -0,0 +1,18 @@
+class C
+  x = :x
+  define_method(:foo) do
+    x
+  end
+  define_method(:bar) do
+    x
+  end
+end
+
+C.new.foo
+
+__END__
+# Classes
+class C
+  def foo : -> :x
+  def bar : -> :x
+end

data/smoke/kwrest.rb

@@ -0,0 +1,12 @@
+class Foo
+  def foo(**r)
+    @r = r[42]
+  end
+end
+
+__END__
+# Classes
+class Foo
+  @r : Integer
+# def foo : (**Hash[Integer, Integer]) -> void
+end

data/smoke/kwrest.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: (**Hash[Integer, Integer]) -> void
+end

data/smoke/method_missing.rb

@@ -0,0 +1,28 @@
+class D
+  def foo(x, y, z)
+  end
+end
+
+class C
+  def initialize(x)
+    @target = x
+  end
+
+  def method_missing(m, *args)
+    @target.send(m, *args)
+  end
+end
+
+C.new(D.new).foo(:X, :Y, :Z)
+
+__END__
+# Classes
+class D
+  def foo : (:X, :Y, :Z) -> nil
+end
+
+class C
+  @target : D
+  def initialize : (D) -> D
+  def method_missing : (:foo, *:X | :Y | :Z) -> nil
+end

data/smoke/rbs-attr.rb

@@ -15,8 +15,8 @@ end
 
 __END__
 # Errors
-smoke/rbs-attr.rb:11: [error] failed to resolve overload: Foo#writer_example=
-smoke/rbs-attr.rb:13: [error] failed to resolve overload: Foo#accessor_example=
+smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared global variable
+smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared global variable
 
 # Classes
 class Object

data/smoke/rbs-attr2.rb

@@ -0,0 +1,11 @@
+class Foo
+  def foo
+    @name
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def foo : -> String
+end

data/smoke/rbs-attr2.rbs

@@ -0,0 +1,3 @@
+class Foo
+  attr_reader name: String
+end

data/smoke/rbs-tyvar7.rb

@@ -0,0 +1,11 @@
+def foo
+  bar = Bar.new(1)
+  bar.set(["str"]) # TODO: This should update Bar[Integer] to Bar[Integer | String]
+  bar
+end
+
+__END__
+# Classes
+class Object
+  def foo : -> Bar[Integer]
+end

data/smoke/rbs-tyvar7.rbs

@@ -0,0 +1,7 @@
+class Foo[X]
+  def set: (X) -> void
+end
+
+class Bar[X] < Foo[Integer]
+  def initialize: (X) -> void
+end

data/smoke/rbs-vars.rb

@@ -30,8 +30,6 @@ class Object
 end
 
 class Foo
-# @ivar : :ivar_example
-# @@cvar : :cvar_example
   def const_test : -> :const_example
   def ivar_test : -> :ivar_example
   def cvar_test : -> :cvar_example

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.6.1
+  version: 0.7.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-11-18 00:00:00.000000000 Z
+date: 2020-11-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -84,6 +84,7 @@ files:
 - smoke/array-plus1.rb
 - smoke/array-plus2.rb
 - smoke/array-pop.rb
+- smoke/array-range-aref.rb
 - smoke/array-replace.rb
 - smoke/array-s-aref.rb
 - smoke/array1.rb
@@ -101,6 +102,7 @@ files:
 - smoke/array8.rb
 - smoke/array9.rb
 - smoke/attr.rb
+- smoke/autoload.rb
 - smoke/backtrace.rb
 - smoke/block-ambiguous.rb
 - smoke/block-args1-rest.rb
@@ -145,6 +147,8 @@ files:
 - smoke/context-sensitive1.rb
 - smoke/cvar.rb
 - smoke/cvar2.rb
+- smoke/define_method.rb
+- smoke/define_method2.rb
 - smoke/demo.rb
 - smoke/demo1.rb
 - smoke/demo10.rb
@@ -201,6 +205,8 @@ files:
 - smoke/keyword3.rb
 - smoke/keyword4.rb
 - smoke/keyword5.rb
+- smoke/kwrest.rb
+- smoke/kwrest.rbs
 - smoke/kwsplat1.rb
 - smoke/kwsplat2.rb
 - smoke/manual-rbs.rb
@@ -213,6 +219,7 @@ files:
 - smoke/masgn2.rb
 - smoke/masgn3.rb
 - smoke/method_in_branch.rb
+- smoke/method_missing.rb
 - smoke/module1.rb
 - smoke/module2.rb
 - smoke/module3.rb
@@ -244,6 +251,8 @@ files:
 - smoke/rbs-alias.rbs
 - smoke/rbs-attr.rb
 - smoke/rbs-attr.rbs
+- smoke/rbs-attr2.rb
+- smoke/rbs-attr2.rbs
 - smoke/rbs-extend.rb
 - smoke/rbs-extend.rbs
 - smoke/rbs-interface.rb
@@ -267,6 +276,8 @@ files:
 - smoke/rbs-tyvar5.rbs
 - smoke/rbs-tyvar6.rb
 - smoke/rbs-tyvar6.rbs
+- smoke/rbs-tyvar7.rb
+- smoke/rbs-tyvar7.rbs
 - smoke/rbs-vars.rb
 - smoke/rbs-vars.rbs
 - smoke/redo1.rb