typeprof 0.3.0 → 0.4.0

data/smoke/rbs-proc2.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: (^(Integer) -> Integer) -> String
+end

data/smoke/rbs-proc3.rb

@@ -0,0 +1,13 @@
+def log(foo)
+  foo.get.call
+end
+
+foo = Foo.new
+foo.set(1)
+log(foo)
+
+__END__
+# Classes
+class Object
+  def log : (Foo[Integer]) -> Integer
+end

data/smoke/rbs-proc3.rbs

@@ -0,0 +1,4 @@
+class Foo[X]
+  def set: (X) -> void
+  def get: -> ^() -> X
+end

data/smoke/rbs-record.rb

@@ -0,0 +1,17 @@
+def test_foo
+  h = C.new.foo
+  return h[:aaa], h[:bbb]
+end
+
+def test_bar
+  h = { }
+  h[:a] = 42
+  C.new.bar(h)
+end
+
+__END__
+# Classes
+class Object
+  def test_foo : -> [Integer, String]
+  def test_bar : -> Integer
+end

data/smoke/rbs-record.rbs

@@ -0,0 +1,4 @@
+class C
+  def foo: -> { aaa: Integer, bbb: String }
+  def bar: ({ a: Integer }) -> Integer
+end

data/smoke/rbs-tyvar3.rb

@@ -0,0 +1,25 @@
+class StringFoo
+  def initialize
+    @foo = Foo.new
+  end
+
+  def set
+    @foo.set("42")
+  end
+
+  def get
+    @foo.get
+  end
+end
+
+StringFoo.new.set
+StringFoo.new.get
+
+__END__
+# Classes
+class StringFoo
+  @foo : Foo[String] | Foo[bot]
+  def initialize : -> Foo[bot]
+  def set : -> void
+  def get : -> String
+end

data/smoke/rbs-tyvar3.rbs

@@ -0,0 +1,4 @@
+class Foo[X]
+  def set: (X) -> void
+  def get: -> X
+end

data/smoke/rest2.rb

@@ -26,5 +26,5 @@ foo(*a)
 __END__
 # Classes
 class Object
-  def foo : (:s | Integer | String, :s | Integer | String, :s | Integer | String) -> ([:s | Integer | String, :s | Integer | String, :s | Integer | String])
+  def foo : (Integer, String, :s) -> [Integer, String, :s]
 end

data/smoke/rest5.rb

@@ -6,5 +6,5 @@ foo(42)
 __END__
 # Classes
 class Object
-  def foo : (*Integer) -> Array[Integer]
+  def foo : (*Integer) -> [Integer]
 end

data/smoke/return.rb

@@ -1,5 +1,5 @@
 def foo
-  loop do |_|
+  loop do
     return 42
   end
   nil

data/smoke/singleton_method.rb

@@ -7,3 +7,6 @@ end
 
 __END__
 # Classes
+class Object
+  V : Object
+end

data/smoke/struct.rb

@@ -1,12 +1,13 @@
-# tentative
+# tentative: Currently, the hidden instance variable belongs to Foo, not Anonymous Struct.
+# Thus, it outputs "untyped"
 class Foo < Struct.new(:a)
 end
 Foo.new.a = 1
 __END__
 # Classes
-class (Struct) < Struct
+class (Anonymous Struct) < Struct
   attr_accessor a() : untyped
 end
 
-class Foo < (Struct)
+class Foo < (Anonymous Struct)
 end

data/smoke/struct3.rb

@@ -0,0 +1,14 @@
+class App
+  FooBar = Struct.new(:foo, :bar)
+end
+
+App::FooBar.new(1, "str")
+
+__END__
+# Classes
+class App
+  class FooBar < Struct
+    attr_accessor foo() : Integer
+    attr_accessor bar() : String
+  end
+end

data/smoke/symbol-proc.rb

@@ -0,0 +1,24 @@
+def foo
+  [1, :sym, "str"].map(&:to_s)
+end
+
+class Foo
+  def foo
+    :foo
+  end
+end
+
+def bar
+  [Foo.new].map(&:foo)
+end
+
+__END__
+# Classes
+class Object
+  def foo : -> Array[String]
+  def bar : -> Array[:foo]
+end
+
+class Foo
+  def foo : -> :foo
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.4.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-10-27 00:00:00.000000000 Z
+date: 2020-11-04 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -44,12 +44,15 @@ files:
 - LICENSE
 - README.md
 - Rakefile
+- doc/demo.md
 - doc/doc.ja.md
 - doc/doc.md
 - doc/ppl2019.pdf
 - exe/typeprof
 - lib/typeprof.rb
 - lib/typeprof/analyzer.rb
+- lib/typeprof/arguments.rb
+- lib/typeprof/block.rb
 - lib/typeprof/builtin.rb
 - lib/typeprof/cli.rb
 - lib/typeprof/config.rb
@@ -99,12 +102,22 @@ files:
 - smoke/array9.rb
 - smoke/attr.rb
 - smoke/backtrace.rb
+- smoke/block-ambiguous.rb
+- smoke/block-args1-rest.rb
+- smoke/block-args1.rb
+- smoke/block-args2-rest.rb
+- smoke/block-args2.rb
+- smoke/block-args3-rest.rb
+- smoke/block-args3.rb
+- smoke/block-blockarg.rb
+- smoke/block-kwarg.rb
 - smoke/block1.rb
 - smoke/block10.rb
 - smoke/block11.rb
 - smoke/block12.rb
 - smoke/block13.rb
 - smoke/block13.rbs
+- smoke/block14.rb
 - smoke/block2.rb
 - smoke/block3.rb
 - smoke/block4.rb
@@ -118,6 +131,8 @@ files:
 - smoke/break2.rb
 - smoke/case.rb
 - smoke/case2.rb
+- smoke/class-hierarchy.rb
+- smoke/class-hierarchy2.rb
 - smoke/class.rb
 - smoke/class_instance_var.rb
 - smoke/class_method.rb
@@ -156,6 +171,7 @@ files:
 - smoke/flow5.rb
 - smoke/flow6.rb
 - smoke/flow7.rb
+- smoke/flow8.rb
 - smoke/for.rb
 - smoke/freeze.rb
 - smoke/function.rb
@@ -210,6 +226,7 @@ files:
 - smoke/once.rb
 - smoke/optional1.rb
 - smoke/optional2.rb
+- smoke/optional3.rb
 - smoke/parameterizedd-self.rb
 - smoke/pathname1.rb
 - smoke/pathname2.rb
@@ -227,10 +244,20 @@ files:
 - smoke/rbs-extend.rbs
 - smoke/rbs-interface.rb
 - smoke/rbs-interface.rbs
+- smoke/rbs-proc1.rb
+- smoke/rbs-proc1.rbs
+- smoke/rbs-proc2.rb
+- smoke/rbs-proc2.rbs
+- smoke/rbs-proc3.rb
+- smoke/rbs-proc3.rbs
+- smoke/rbs-record.rb
+- smoke/rbs-record.rbs
 - smoke/rbs-tyvar.rb
 - smoke/rbs-tyvar.rbs
 - smoke/rbs-tyvar2.rb
 - smoke/rbs-tyvar2.rbs
+- smoke/rbs-tyvar3.rb
+- smoke/rbs-tyvar3.rbs
 - smoke/rbs-vars.rb
 - smoke/rbs-vars.rbs
 - smoke/redo1.rb
@@ -255,10 +282,12 @@ files:
 - smoke/string-split.rb
 - smoke/struct.rb
 - smoke/struct2.rb
+- smoke/struct3.rb
 - smoke/super1.rb
 - smoke/super2.rb
 - smoke/super3.rb
 - smoke/svar1.rb
+- smoke/symbol-proc.rb
 - smoke/tap1.rb
 - smoke/toplevel.rb
 - smoke/two-map.rb
@@ -266,7 +295,6 @@ files:
 - smoke/typed_method.rb
 - smoke/union-recv.rb
 - smoke/user-demo.rb
-- smoke/variadic1.rb.notyet
 - smoke/wrong-extend.rb
 - smoke/wrong-include.rb
 - smoke/wrong-rbs.rb

data/smoke/variadic1.rb.notyet

@@ -1,5 +0,0 @@
-def foo(*a)
-  p a
-end
-
-foo(1, 2)