I just got it! (invariant/const)

Janice Caron caron800 at googlemail.com
Wed Apr 9 09:57:05 PDT 2008


On 09/04/2008, guslay <guslay at gmail.com> wrote:
> Janice Caron Wrote:
>
>  > On 09/04/2008, Georg Wrede <georg at nospam.org> wrote:
>  >
>
> >     int f(invariant D d) invariant pure { ... }
>
>  Shouldn't it be
>
>  int f(invariant D d) pure { ... }

Hopefully, it will just be

    int f(D d) pure {...}

and pure will imply, not only that "this" is invariant, but that all
function arguments are too. However, at this stage we can only guess
at what the syntax will be.



More information about the Digitalmars-d mailing list