From: "marcandre (Marc-Andre Lafortune)" <ruby-core@...>
Date: 2013-02-15T01:25:03+09:00
Subject: [ruby-core:52262] [ruby-trunk - Bug #7844] include/prepend satisfiable module dependencies are not satisfied


Issue #7844 has been updated by marcandre (Marc-Andre Lafortune).


As I stated before (#1586), I feel that the solution is easy:

A.ancestors = [*A.prepended_modules.flat_map(&:ancestors), A, *A.included_modules.flat_map(&:ancestors), *A.superclass.ancestors]

In the given example, this would be:

  P, A, S, Q, P, R, Object, Kernel, BasicObject

It makes absolutely no sense to me that R could come before A and believe it is clearly a major problem. R is never prepended, nor included in a prepended module!

Matz: how would you explain that R can be called before A in that example?

----------------------------------------
Bug #7844: include/prepend satisfiable module dependencies are not satisfied
https://bugs.ruby-lang.org/issues/7844#change-36294

Author: mame (Yusuke Endoh)
Status: Assigned
Priority: Normal
Assignee: matz (Yukihiro Matsumoto)
Category: 
Target version: next minor
ruby -v: ruby 2.0.0dev (2013-02-13 trunk 39225) [x86_64-linux]


Hello,

  module P
    def m; puts "P"; super; end
  end
  module Q
    def m; puts "Q"; super; end
    include P
  end
  module R
    def m; puts "R"; super; end
    prepend Q
  end
  module S
    def m; puts "S"; super; end
    include R
  end
  class A
    def m; puts "A"; super; end
    prepend P
    include S
  end
  A.new.m #=> P, R, A, S, Q

This code has five module dependencies, but only two are satisfied.

- Q includes P, which is not satisfied: P#m precedes Q#m.
- R prepends Q, which is not satisfied: R#m precedes Q#m.
- S includes R, which is not satisfied: R#m precedes S#m.
- A prepends P, which is satisfied: P#m precedes A#m.
- A includes S, which is satisfied: A#m precedes S#m.

Note that all the dependencies can be satisfied at all:

  A.new.m #=> Q, P, A, S, R

-- 
Yusuke Endoh <mame@tsg.ne.jp>


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