[Issue 8027] in contract is never checked for overrided functions

2012-05-03 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=8027


timon.g...@gmx.ch changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||timon.g...@gmx.ch
 Resolution||DUPLICATE


--- Comment #1 from timon.g...@gmx.ch 2012-05-03 14:32:27 PDT ---
*** This issue has been marked as a duplicate of issue 6856 ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---

[Issue 8027] in contract is never checked for overrided functions

2012-05-03 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=8027


timon.g...@gmx.ch changed:

   What|Removed |Added

 Resolution|DUPLICATE   |INVALID


--- Comment #2 from timon.g...@gmx.ch 2012-05-03 14:35:25 PDT ---
Oops, actually this is not a duplicate, it is just invalid.
This is how precondition inheritance is supposed to work. (a0  b0 suffices
as a condition for the inheriting class to need to accept the input, therefore
the additional in-contract is not even checked.)

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---