From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24739 invoked by alias); 3 Jul 2009 16:34:47 -0000 Mailing-List: contact archer-help@sourceware.org; run by ezmlm Sender: Precedence: bulk List-Post: List-Help: List-Subscribe: List-Id: Received: (qmail 24722 invoked by uid 22791); 3 Jul 2009 16:34:43 -0000 X-SWARE-Spam-Status: No, hits=-2.3 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS,SPF_PASS X-Spam-Check-By: sourceware.org To: Roland McGrath Cc: Project Archer Subject: Re: feature idea: type nicknames References: <20090703002049.C49F1404FD@magilla.sf.frob.com> From: Tom Tromey Reply-To: Tom Tromey Date: Fri, 03 Jul 2009 16:34:00 -0000 In-Reply-To: <20090703002049.C49F1404FD@magilla.sf.frob.com> (Roland McGrath's message of "Thu\, 2 Jul 2009 17\:20\:49 -0700 \(PDT\)") Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-SW-Source: 2009-q3/txt/msg00015.txt.bz2 >>>>> "Roland" == Roland McGrath writes: [...] Roland> appears in *my* code nowhere in a form longer than: Roland> std::map > >::const_iterator We looked into this particular sub-problem a little. Our idea was that it would be nice if "ptype x" showed exactly what the user wrote in the declaration of "x". In the end it seems that GCC usually emits the verbose forms. I filed a gcc bug report about this; but it isn't completely clear that this is what we actually want (see last comment): http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37590 Another idea would be to suppress printing of defaulted template parameters by default. I don't think we've researched that yet. (I assume we'll get into the usual problems: DWARF still can't represent everything, and anyway even if it could, GCC doesn't emit it :-) Roland> What makes sense to me is that the STL pretty printer module can also Roland> have "type name pretty-printers". Interesting idea. Maybe it is time to resurrect the currently-defunct type-printing task. Tom