Re: [C++ Patch] Remove is_auto_or_concept, etc

2017-05-16 Thread Adam Butcher
Sorry for not getting back to your original post Paolo. I haven't been picking up mails for a while. On 2017-05-01 16:56, Jason Merrill wrote: On Thu, Apr 27, 2017 at 2:02 PM, Paolo Carlini wrote: On 26/04/2017 12:32, Paolo Carlini wrote: in 2013 (2013-09-16) Adam added two slightly obscur

Re: [C++ Patch] Remove is_auto_or_concept, etc (Was: Re: [C++, concepts] Two slightly obscure pt.c functions?)

2017-05-01 Thread Jason Merrill
OK. On Thu, Apr 27, 2017 at 2:02 PM, Paolo Carlini wrote: > Hi again, > > On 26/04/2017 12:32, Paolo Carlini wrote: >> >> Hi, >> >> in 2013 (2013-09-16) Adam added two slightly obscure functions and I can't >> find much around in terms of rationale, etc: >> >> /* Returns true iff TYPE is a TEMPLA

Re: [C++ Patch] Remove is_auto_or_concept, etc (Was: Re: [C++, concepts] Two slightly obscure pt.c functions?)

2017-04-28 Thread Nathan Sidwell
On 04/27/2017 02:02 PM, Paolo Carlini wrote: ... replying to myself, in practice we could do the below, which certainly passes testing, and in fact now seems to me even more obvious than I thought a couple of days ago... I'm insufficiently conceptified to know whether this is safe (but lack

Apology (was: Re: C++ PATCH:)

2005-02-23 Thread Gabriel Dos Reis
Joe Buck <[EMAIL PROTECTED]> writes: | Also, we maintain a standard of civility on this list. I've been known | to violate it occasionally, but when I do I promptly apologize. Let's | try to express our disagreements without treating each other with | disrespect. I realize I should have express

Re: C++ PATCH:

2005-02-23 Thread Andreas Schwab
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Great. The emacs that comes with the suse I'm running is 21.3.1. > Do you have emacs 22 in your latest release? It'll probably take a few months until Emacs 22 is released. Andreas. -- Andreas Schwab, SuSE Labs, [EMAIL PROTECTED] SuSE Linux Produ

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Neil Booth <[EMAIL PROTECTED]> writes: | I also suggest you stop viewing everything as a personal attack. Thanks for the suggestion, but it would be valuable if its predicate hold. I do not view anything as a personal attack. -- Gaby

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Andreas Schwab <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > I've seen cpplib uses that format for a long time now (I think it was | > Neil's work), but I do not seem to see emacs actively take advantage | > of it. | | Emacs 22 will. Compilation mode has been

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
James E Wilson <[EMAIL PROTECTED]> writes: | Marcin Dalecki wrote: | > this. Every time I see gcc reporting tens of k errors after discovering a | > serious parser error for no good reason running out of every xterm | > scroll back | | The -Wfatal-errors option will make gcc exit after the first

Re: C++ PATCH:

2005-02-23 Thread Neil Booth
Gabriel Dos Reis wrote:- > Please, the statement was that EDG does not print expression outside > declarations. But the fact is it does not just print declarations. It > prints also statements and expressions part of those statements. And the fact is it Mark is right - it doesn't. It prints ra

Re: C++ PATCH:

2005-02-23 Thread Andreas Schwab
Marcin Dalecki <[EMAIL PROTECTED]> writes: > Please note that there exists only a GNU *convention* for error > reporting. A not particularly well tough out one. One would for example > welcome if the error reporting would refer to particular points in the > ANSI papers by reference like TenDRA an

Re: C++ PATCH:

2005-02-23 Thread Marcin Dalecki
On 2005-02-23, at 20:25, Gabriel Dos Reis wrote: of source code in the diagnostic. That is based on the GNU standard for diagnostics. Other people seem to have built tools on top of that too. Please note that there exists only a GNU *convention* for error reporting. A not particularly well tough

Re: C++ PATCH:

2005-02-23 Thread James E Wilson
Marcin Dalecki wrote: this. Every time I see gcc reporting tens of k errors after discovering a serious parser error for no good reason running out of every xterm scroll back The -Wfatal-errors option will make gcc exit after the first error, instead of trying to recover and continue. I suppose

Re: C++ PATCH:

2005-02-23 Thread Andreas Schwab
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > I've seen cpplib uses that format for a long time now (I think it was > Neil's work), but I do not seem to see emacs actively take advantage > of it. Emacs 22 will. Compilation mode has been largely rewritten. Andreas. -- Andreas Schwab, SuSE Lab

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Tom Tromey <[EMAIL PROTECTED]> writes: | > "Gabriel" == Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | Mark> (However, I've never had the time or energy to | Mark> work through the process of implementing the caret approach, which is | Mark> definitely a lot of work, and would necessarily i

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Jakub Jelinek <[EMAIL PROTECTED]> writes: | On Wed, Feb 23, 2005 at 06:51:46PM +0100, Gabriel Dos Reis wrote: | > | I think that the best solution for the long term is the caret approach, | > | printing out the original source line that the user typed. Trying to | > | re-generate the expression f

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Marcin Dalecki <[EMAIL PROTECTED]> writes: | On 2005-02-23, at 18:40, Gabriel Dos Reis wrote: | > ndards for error messages, etc.) | > | > That certainly would require changing many things, e.g. Emacs support | > and like. That is a reason why I approach this issue conservatively. | > | Factually

Re: C++ PATCH:

2005-02-23 Thread Tom Tromey
> "Gabriel" == Gabriel Dos Reis <[EMAIL PROTECTED]> writes: Mark> (However, I've never had the time or energy to Mark> work through the process of implementing the caret approach, which is Mark> definitely a lot of work, and would necessarily include working Mark> through issues about the GNU

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Mark Mitchell <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > I don't think it makes sense or it serves any useful purpose removing | > you from maintainership, although I believe you should exercise it | > with more openness. | | Are we talking here about my role as a C++ maintainer

Re: C++ PATCH:

2005-02-23 Thread Marcin Dalecki
On 2005-02-23, at 18:40, Gabriel Dos Reis wrote: ndards for error messages, etc.) That certainly would require changing many things, e.g. Emacs support and like. That is a reason why I approach this issue conservatively. Factually the support for error handling by integration in to external tools

Re: C++ PATCH:

2005-02-23 Thread Mark Mitchell
Gabriel Dos Reis wrote: I don't think it makes sense or it serves any useful purpose removing you from maintainership, although I believe you should exercise it with more openness. Are we talking here about my role as a C++ maintainer? What kind of additional openness would you like to see? I h

Re: C++ PATCH:

2005-02-23 Thread Jakub Jelinek
On Wed, Feb 23, 2005 at 06:51:46PM +0100, Gabriel Dos Reis wrote: > | I think that the best solution for the long term is the caret approach, > | printing out the original source line that the user typed. Trying to > | re-generate the expression from the tree is likely to generate something > | co

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Joe Buck <[EMAIL PROTECTED]> writes: | On Wed, Feb 23, 2005 at 12:14:23PM -0500, Jason Merrill wrote: | > On 23 Feb 2005 16:49:51 +0100, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | > | > > Neil Booth <[EMAIL PROTECTED]> writes: | > > | > > | Gabriel Dos Reis wrote:- | > > | | > > | > That stat

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Mark Mitchell <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > Lower forms appear because currently we do not do a good in the | > front-end and pretty-printer telling which level of abstraction is | > preferred. I noted initial effort in that direction has already | > been undermine

Re: C++ PATCH:

2005-02-23 Thread Joe Buck
On Wed, Feb 23, 2005 at 12:14:23PM -0500, Jason Merrill wrote: > On 23 Feb 2005 16:49:51 +0100, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > > > Neil Booth <[EMAIL PROTECTED]> writes: > > > > | Gabriel Dos Reis wrote:- > > | > > | > That statement is factually false as can be verified with EDG-3

Re: C++ PATCH:

2005-02-23 Thread Jason Merrill
On 23 Feb 2005 16:49:51 +0100, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > Neil Booth <[EMAIL PROTECTED]> writes: > > | Gabriel Dos Reis wrote:- > | > | > That statement is factually false as can be verified with EDG-3.5: > | > | Oh come on Gaby, that's not printing an expression, it prints >

Re: C++ PATCH:

2005-02-23 Thread Mark Mitchell
Gabriel Dos Reis wrote: Lower forms appear because currently we do not do a good in the front-end and pretty-printer telling which level of abstraction is preferred. I noted initial effort in that direction has already been undermined by you. Since, no technical reason was given, I must assume

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Neil Booth <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote:- | | > That statement is factually false as can be verified with EDG-3.5: | | Oh come on Gaby, that's not printing an expression, it prints Please, the statement was that EDG does not print expression outside declarations. But th

Re: C++ PATCH:

2005-02-23 Thread Neil Booth
Gabriel Dos Reis wrote:- > That statement is factually false as can be verified with EDG-3.5: Oh come on Gaby, that's not printing an expression, it prints the raw source line, comments and trigraphs included. Are you proposing your pretty printer do that too? Neil.

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Mark Mitchell <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > Actually, we do have machinery to print statement-expression. It is | > just that calling dump_expr() is wrong. | | Why do we want to print them? When does that help the user debug the | problem? The only situation I ca