220 4540 article Path: news.gmane.org!not-for-mail From: Nicol Bolas Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: contract programming :: preconditions in STD Date: Fri, 24 May 2013 11:39:33 -0700 (PDT) Lines: 94 Approved: news@gmane.org Message-ID: References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_562_16599350.1369420773687" X-Trace: ger.gmane.org 1369420776 7068 80.91.229.3 (24 May 2013 18:39:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 24 May 2013 18:39:36 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCEKFTV6ZUMBB2HH72GAKGQE33WOHQQ@isocpp.org Fri May 24 20:39:38 2013 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ie0-f199.google.com ([209.85.223.199]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Ufwtt-0003dX-J1 for gclcip-std-proposals@m.gmane.org; Fri, 24 May 2013 20:39:37 +0200 Original-Received: by mail-ie0-f199.google.com with SMTP id s9sf19139307iec.2 for ; Fri, 24 May 2013 11:39:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-beenthere:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=LLwA+eDTWfpjia+APwkT5cC1qXFD7y8Z0VCm0XRUpNg=; b=lmFamCDpBvrHha48M7CJzQkOVBoArQ6d2Qx+uE8pJQnm7yAXRPXrQIRMQ3xN8YcS7i HOUaeWTlu+HALG0HFNKuQbllh/g8LhzHk2LEkjOozdzaPzcFdiT0HY8xMhoPmUzlBIQN t+OqDnydlo1htvXqLt+b740wFxlkh4sqOmfh8gT2wvuI7gIKcX3VOJpKs883sygSMpU8 bh/f8jlpNpuy7GuAwoCbJGdPSpyBaZtKDrOOOLi+eoLtlXWy+KhkercIM68p8SN/FuXq w0vhWJI5UBkBhD0za9mlGhB9IcmL2yRXd1cjjdWgcwzbEU93f+PBneSZSXGq2xmeJBCz 2xVQ== X-Received: by 10.42.54.80 with SMTP id q16mr13777678icg.9.1369420776644; Fri, 24 May 2013 11:39:36 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.50.65.65 with SMTP id v1ls658788igs.5.gmail; Fri, 24 May 2013 11:39:34 -0700 (PDT) X-Received: by 10.50.56.51 with SMTP id x19mr509222igp.0.1369420774610; Fri, 24 May 2013 11:39:34 -0700 (PDT) In-Reply-To: X-Original-Sender: jmckesson@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:4540 Archived-At: ------=_Part_562_16599350.1369420773687 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On Friday, May 24, 2013 7:43:36 AM UTC-7, Nevin ":-)" Liber wrote: > > On 24 May 2013 09:33, Tony V E > wrote: > >> at() is basically described incorrectly and should be fixed.=20 >> > > It already has been (I reported it a while ago). > > IMO your best bet is to look at the C++14 CD Programming Languages =96 C+= +,=20 > Committee Draft as a base=20 > document for future proposals (even though it may change between now and= =20 > C++14). > Not all of these have been fixed. It should be noted that, relative to the= =20 C++14 CD, section 17.6.4.11 states: Violation of the preconditions specified in a function=92s Requires:=20 > paragraph results in undefined behavior unless the function=92s Throws:= =20 > paragraph specifies throwing an exception when the precondition is violat= ed. > It seems that you're saying that there shouldn't be that "unless" clause=20 there. --=20 ---=20 You received this message because you are subscribed to the Google Groups "= ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/?hl=3Den. ------=_Part_562_16599350.1369420773687 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On Friday, May 24, 2013 7:43:36 AM UTC-7, Nevin ":-)" Liber wrote:On 24 May 2013 09:33, Tony V E <tvan...@gmail.com> wrote:
at() is basically described incorrectly and should be= fixed. 

It already has be= en (I reported it a while ago).

IMO your best bet is to look at the C++14 CD Programming Languages =96 C++= , Committee Draft as a base document for future proposals (even th= ough it may change between now and C++14).
Not all of these have been fixed. It should be noted that, relative to the= C++14 CD, section 17.6.4.11 states:

Violation of the preconditions specified in a fu= nction=92s Requires: paragraph results in undefined behavior unless the fun= ction=92s Throws: paragraph specifies throwing an exception when the precon= dition is violated.

It seems that you're saying th= at there shouldn't be that "unless" clause there.

--
 
---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-pro= posals/?hl=3Den.
 
 
------=_Part_562_16599350.1369420773687-- .