Thread overview
[Issue 7517] Interface contracts broken
Jul 01, 2015
Kenji Hara
Nov 03, 2015
Kenji Hara
Dec 06, 2015
Kenji Hara
May 02, 2016
Denis Shelomovskij
May 02, 2016
Denis Shelomovskij
July 01, 2015
https://issues.dlang.org/show_bug.cgi?id=7517

Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull, wrong-code
           Hardware|x86                         |All
                 OS|Windows                     |All

--- Comment #2 from Kenji Hara <k.hara.pg@gmail.com> ---
(In reply to Rene Zwanenburg from comment #0)
> enable's in contract is not being called.

Today this is intended behavior. See the discussion in issue 6856.

> After setting _enabled to true an
> exception is thrown saying C does not implement opCmp().

This is definitely wrong-code bug.

https://github.com/D-Programming-Language/dmd/pull/4794

--
November 03, 2015
https://issues.dlang.org/show_bug.cgi?id=7517

Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |initrd.gz@gmail.com

--- Comment #3 from Kenji Hara <k.hara.pg@gmail.com> ---
*** Issue 15274 has been marked as a duplicate of this issue. ***

--
December 06, 2015
https://issues.dlang.org/show_bug.cgi?id=7517

--- Comment #4 from Kenji Hara <k.hara.pg@gmail.com> ---
*** Issue 15346 has been marked as a duplicate of this issue. ***

--
February 24, 2016
https://issues.dlang.org/show_bug.cgi?id=7517

--- Comment #5 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/5b7291428e22fd356df5e9540c093252152c854d fix Issue 7517 - Interface contracts broken

https://github.com/D-Programming-Language/dmd/commit/65e058f5fdcc5c811f19c141eab25d67ed608925 Merge pull request #4794 from 9rnsr/fix7517

Issue 7517 - Interface contracts broken

--
May 02, 2016
https://issues.dlang.org/show_bug.cgi?id=7517

Denis Shelomovskij <verylonglogin.reg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Depends on|                            |15984

--
May 02, 2016
https://issues.dlang.org/show_bug.cgi?id=7517

Denis Shelomovskij <verylonglogin.reg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |verylonglogin.reg@gmail.com

--- Comment #6 from Denis Shelomovskij <verylonglogin.reg@gmail.com> ---
Please reopen if this is a cumulative issue as interface contracts are still broken, they can't access parameters (see Issue 15984).

--
May 15, 2019
https://issues.dlang.org/show_bug.cgi?id=7517
Issue 7517 depends on issue 15984, which changed state.

Issue 15984 Summary: [REG2.071] Interface contracts retrieve garbage instead of parameters https://issues.dlang.org/show_bug.cgi?id=15984

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--