I just got it! (invariant/const)

[Janice Caron]

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.