show to_proc bug

tupl-tufts · Sep 13, 2017 · ed2675c · ed2675c
1 parent e509acb
commit ed2675c
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/test/test_typecheck.rb b/test/test_typecheck.rb
@@ -1655,4 +1655,22 @@ def foo(x)
 
     assert_nil TestTypecheck::A5.new.foo(:a)
   end
+
+  def test_to_proc
+    self.class.class_eval "class ToProc; end"
+    ToProc.class_eval do
+      extend RDL::Annotate
+      type '() -> Array<Integer>', :typecheck => :call
+      def self.foo
+        a = [self.new].map{|x| x.bar}
+        b = [self.new].map(&:bar)
+      end
+      type '() -> Integer', :typecheck => :call
+      def bar
+        5
+      end
+    end
+
+    assert_equal [5], ToProc.foo
+  end
 end