Re: [boost] [contract] Without the macros

Subject: Re: [boost] [contract] Without the macros
From: Klaim - Joël Lamotte (mjklaim_at_[hidden])
Date: 2016-06-15 17:21:02

On 15 June 2016 at 23:15, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:

> On Wed, Jun 15, 2016 at 8:47 AM, Matt Calabrese <rivorus_at_[hidden]> wrote:
> > On Jun 15, 2016 08:31, "Lorenzo Caminiti" <lorcaminiti_at_[hidden]> wrote:
> > Have you followed any of the recent papers regarding language-level
> > contracts for C++?
>
> No... but I should definitely take a look! Do you have a link to the
> proposal to get me started?

Here is the last version of the proposal:
http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0380r0.pdf

It seems like it's close to completion.
To be short, it's using attributes and unspecifiedly set constants to drive
the compiler into inserting or not
the checking code in the produced program.

Joël Lamotte