From: Simon Wright <simon@pushface.org>
Subject: Re: -fdump-ada-spec
Date: Fri, 10 Oct 2014 11:06:43 +0100
Date: 2014-10-10T11:06:43+01:00 [thread overview]
Message-ID: <lya9548ci4.fsf@pushface.org> (raw)
In-Reply-To: ly61fxay8n.fsf@pushface.org
Simon Wright <simon@pushface.org> writes:
> I'm having trouble with some of the system headers: on Mac OS X, with
> all the GNATs and GCCs I have, dumping /usr/include/wchar.h uses
> 'limited with' in a way that doesn't work, whereas on Debian (wheezy,
> gcc-4.7) there's no 'limited with'. Of course, wchar.h is different!
I'm told that this falls under "this capability is not intended to
generate 100% correct Ada specs".
next prev parent reply other threads:[~2014-10-10 10:06 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-06 17:45 -fdump-ada-spec Simon Wright
2014-10-07 14:08 ` -fdump-ada-spec Stephen Leake
2014-10-07 16:05 ` -fdump-ada-spec Simon Wright
2014-10-07 15:12 ` -fdump-ada-spec Markus Schöpflin
2014-10-07 16:05 ` -fdump-ada-spec Simon Wright
2014-10-10 10:06 ` Simon Wright [this message]
-- strict thread matches above, loose matches on Subject: below --
2014-10-06 22:42 Newcomers to comp.lang.ada: welcome and how did you end up here ? Simon Clubley
2014-10-07 8:10 ` Gour
2014-10-07 10:49 ` Luke A. Guest
2014-10-08 7:23 ` Gour
2014-10-08 8:35 ` Brian Drummond
2014-10-08 9:15 ` Simon Wright
2014-10-08 19:14 ` -fdump-ada-spec (was: Newcomers to comp.lang.ada: welcome and how did you end up here ?) Ludovic Brenta
2014-10-08 19:48 ` -fdump-ada-spec Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox