Hi José,
2013/12/11 José Bollo <address@hidden>
It works very well with SmartEiffel but adler doesn't want to compile
it. It argues that at least one conforming path must exist. Why? I
can't agree. From ECMA page 94, the validity rule VMRC also disagree.
So Why? What is the good reason that I don't know?
You are right, that is strange. It comes from the never-released SmartEiffel 2.4 codebase (r8513), the log is "Checking for situations that can lead to ambiguous feature calls".
The problem is a technical one and the solution is not good because it forbids valid use cases and does not fix actual problem (see TEST_INHERIT2).
Cheers
Cyril ADRIAN (from office)
To any NSA and FBI agents reading my email: please consider whether defending the US Constitution against all enemies, foreign or domestic, requires you to follow Snowden's example.
|
|
My latest G+: Liberty Eiffel adler-rc1 is out! |