Talk:Agent problems

Revision as of 23:26, 20 November 2006 by Schoelle (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Is CAT Call

First comment: I assume you are missing a 'l_f := f'.

Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'. --Schoelle 09:26, 21 November 2006 (CET)

Retrieved from "https://dev.eiffel.com/index.php?title=Talk:Agent_problems&oldid=6292"