Patchwork [c++concepts] Reducing requirements

login
register
mail settings
Submitter Gabriel Dos Reis
Date March 29, 2013, 4:42 p.m.
Message ID <87li96dunt.fsf@euclid.axiomatics.org>
Download mbox | patch
Permalink /patch/232461/
State New
Headers show

Comments

Gabriel Dos Reis - March 29, 2013, 4:42 p.m.
Andrew Sutton <andrew.n.sutton@gmail.com> 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  <andrew.n.sutton@gmail.com>
| 
|         * gcc/cp/Makefile.lang.in: Add constraints.o target.

Wrong filename.  It should be gcc/cp/Make-lang.in.

[...]

Patch

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