From: "saturnflyer (Jim Gay)" <jim@...>
Date: 2013-07-06T12:31:51+09:00
Subject: [ruby-core:55817] [ruby-trunk - Feature #8546] super errors in UnboundMethods


Issue #8546 has been updated by saturnflyer (Jim Gay).


=begin
 headius (Charles Nutter) wrote:
 > I don't see how it would know the order in which to do the super logic. What do you expect to happen?
 > 
 > First off, if the "supering" M was actually included into O, there would still be nothing to super to since its method would be above O's. So I assume you don't want the Method-based "super" to error the same way.
 > 
 > If you would expect the "supering" hello to call O's hello, I'd like to see some justification. That would emulate behavior as if M had been prepended on to O. As it stands, M and O have no hierarchical relationship at all.
 > 
 > I don't think there's other possibilities. What do you want it to do?

My expectation is that it would call whatever (({hello})) is first available on the singleton_class of (({o})) which in this case is that defined on (({O})). 
In other words, my current understanding of how this works is that binding the method is at the most immediate level (the equivalent of prepending a module).

  module M
    def hello
      "hello from M"
    end
  end

  module P
    def hello
      "prepended #{super}"
    end
  end

  module B
    def hello
      "binded #{super}"
    end
  end

  class O
    include M
    prepend P
    def hello
      super
    end
  end

  o = O.new
  puts o.hello #=> "prepended hello from M"
  puts B.instance_method(:hello).bind(o).call #=> self has wrong type to call super in this context: O (expected B) (TypeError)

With the new ability to bind methods to arbitrary objects, I was expecting the last line to return the string (({"binded prepended hello from M"}))

=end
----------------------------------------
Feature #8546: super errors in UnboundMethods
https://bugs.ruby-lang.org/issues/8546#change-40318

Author: saturnflyer (Jim Gay)
Status: Open
Priority: Normal
Assignee: 
Category: 
Target version: 


=begin
(({UnboundMethod}))s are unable to call (({super}))

  module M
    def hello
      puts "hello from M"
    end
  end

  class O
    def hello
      puts "hello"
    end
  end

  o = O.new
  o.hello #=> "hello"
  M.instance_method(:hello).bind(o).call #=> "hello from M"

  module M
    def hello
      super
    end
  end

  M.instance_method(:hello).bind(o).call #=> TypeError: self has wrong type to call super in this context: O (expected M)}))

Given that the non-super method works, I would expect super to work.
=end



-- 
http://bugs.ruby-lang.org/