On Tuesday, 3 December 2019 at 14:24:15 UTC, Robert M. Münch wrote:
My point was, when the superclass doesn't has an in() contract:

Error: function contracts.Derived.test cannot have an in contract when overridden function contracts.Base.test does not have an in contract

ooooh geeze I was so focused on inheriting the contract that I didn't even test if it didn't have one at all. So we need a language change anyway.

ugh.
  • interfaces and contracts -... Adam D. Ruppe via Digitalmars-d-announce
    • Re: interfaces and co... Ola Fosheim Grøstad via Digitalmars-d-announce
      • Re: interfaces an... Adam D. Ruppe via Digitalmars-d-announce
        • Re: interface... Ola Fosheim Grøstad via Digitalmars-d-announce
          • Re: inter... Robert M. Münch via Digitalmars-d-announce
            • Re: ... Adam D. Ruppe via Digitalmars-d-announce
              • ... Robert M. Münch via Digitalmars-d-announce
                • ... Adam D. Ruppe via Digitalmars-d-announce
                • ... Ola Fosheim Grøstad via Digitalmars-d-announce
                • ... Adam D. Ruppe via Digitalmars-d-announce
                • ... Ola Fosheim Grøstad via Digitalmars-d-announce
                • ... Ola Fosheim Grøstad via Digitalmars-d-announce
                • ... Adam D. Ruppe via Digitalmars-d-announce
                • ... Adam D. Ruppe via Digitalmars-d-announce
                • ... Ola Fosheim Grøstad via Digitalmars-d-announce
                • ... Ola Fosheim Grøstad via Digitalmars-d-announce
                • ... Adam D. Ruppe via Digitalmars-d-announce
                • ... Ola Fosheim Grøstad via Digitalmars-d-announce

Reply via email to