Re: [boost] [contract] syntax redesign

Subject: Re: [boost] [contract] syntax redesign
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2012-05-03 20:59:07

On Fri, Sep 2, 2011 at 3:14 PM, Dave Abrahams <dave_at_[hidden]> wrote:
>
> on Fri Sep 02 2011, Lorenzo Caminiti <lorcaminiti-AT-gmail.com> wrote:
>
>> For whomever is curious, I have implemented the new Boost.Contract
>> syntax. Here's large number of examples that now compile with the new
>> syntax:
>>     http://svn.boost.org/svn/boost/sandbox/contract/libs/contract/doc/html2/contract__/examples.html
>
> Wow.  This is a powerful new language!  How does this relate to the work
> Matt Calabrese started on implementing concepts in C++11 (see the

/Perhaps/ this could be done (but I'm not positive...):

http://contractpp.svn.sourceforge.net/viewvc/contractpp/trunk/doc/html/contract__/grammar.html#contract__.grammar.possible_concept_definition_syntax

--Lorenzo