Re: [boost] [contract] Without the macros

On 15 June 2016 at 23:15, Lorenzo Caminiti wrote:

On Wed, Jun 15, 2016 at 8:47 AM, Matt Calabrese wrote:

...

On Jun 15, 2016 08:31, "Lorenzo Caminiti" 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