From patchwork Fri Mar 29 16:42:46 2013 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Dos Reis X-Patchwork-Id: 232461 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "localhost", Issuer "www.qmailtoaster.com" (not verified)) by ozlabs.org (Postfix) with ESMTPS id ABEC12C00C6 for ; Sat, 30 Mar 2013 03:43:12 +1100 (EST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-type; q=dns; s=default; b=OtuM2MH2JBUGFR3f Qpvhf5FWzqlC/pz4E5p+VtmmZ6ITNSHPY6sd+zzhygM9BtIKYtcvK01YMJgWTdwX HgIaeSdGsRv+QG4y0KH9VcUbJaHSi+BlIcBlH9UPs0vmx6KlCkJ8lyowGe32g1WM Q1YtAegwgMAJ8c2qNZE2E0ONrFA= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-type; s=default; bh=ENgJSVEoEcaYvI6egImzCm FKH3g=; b=fbRWpZTSzyxj19gSudvufozsdki1Khm0im5SAnmh+Q+UbtntOAHGUE 64POe9ArA3k8MO0taw8rgke/DES98KpnfpfiWLUc/rM5nSRKbQasX1YYTWGCuOJa 176ehTWMQAR4LLsCKwri5vgm/Sgh121zBreGqa1XtfWF3bsHmoFSE= Received: (qmail 22015 invoked by alias); 29 Mar 2013 16:42:58 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 21524 invoked by uid 89); 29 Mar 2013 16:42:51 -0000 X-Spam-SWARE-Status: No, score=-3.4 required=5.0 tests=AWL, BAYES_00, KHOP_THREADED, RP_MATCHES_RCVD autolearn=ham version=3.3.1 Received: from www.axiomatics.org (HELO mail.axiomatics.org) (66.228.53.191) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Fri, 29 Mar 2013 16:42:49 +0000 Received: by mail.axiomatics.org (Postfix, from userid 1000) id E3A53ED4F; Fri, 29 Mar 2013 11:42:46 -0500 (CDT) From: Gabriel Dos Reis To: Andrew Sutton Cc: gcc-patches@gcc.gnu.org, Jason Merrill Subject: Re: [c++concepts] Reducing requirements In-Reply-To: (Andrew Sutton's message of "Wed, 27 Mar 2013 10:18:34 -0500") References: Date: Fri, 29 Mar 2013 11:42:46 -0500 Message-ID: <87li96dunt.fsf@euclid.axiomatics.org> Lines: 31 MIME-Version: 1.0 Andrew Sutton writes: | Implements reduction of requirements into the constraints language: | logical formulas comprised of atomic propositions. Calls to constraint | predicates are recursively inlined in the resulting expression. All | other calls are treated as atoms. | | 2013-03-01 Andrew Sutton | | * gcc/cp/Makefile.lang.in: Add constraints.o target. Wrong filename. It should be gcc/cp/Make-lang.in. [...] Index: constraint.cc =================================================================== --- constraint.cc (revision 0) +++ constraint.cc (revision 0) @@ -0,0 +1,450 @@ +/* Process declarations and variables for C++ compiler. + Copyright (C) 1988-2013 Free Software Foundation, Inc. + Contributed by Michael Tiemann (tiemann@cygnus.com) This file is newly introduced, so the copyright date should be 2013. It is being contributed by Andrew Sutton if I am not mistaken :-) Patch OK to commit with these issues fixed. -- Gaby