From: Simon Wright <simon.j.wright@mac.com>
Subject: Re: Proposal: pragma Assumption
Date: Tue, 27 May 2008 20:08:33 +0100
Date: 2008-05-27T20:08:33+01:00 [thread overview]
Message-ID: <m2hccjwoni.fsf@mac.com> (raw)
In-Reply-To: fd7c528d-2e0f-4ebc-a3d3-3b969bfb7dbe@e53g2000hsa.googlegroups.com
Santiago Urue�a <suruena@gmail.com> writes:
>> It's a pragma that I made up and that the compiler ignores with a
>> warning .. while refactoring some code recently, I found myself
>> using pragma I_Dont_Believe_It (see British TV program "One Foot In
>> The Grave").
>
> :-)
>
> Interesting addition. But which one is more useful in your opinion,
> pragma Fixme or Assumption (or both)?
I'd certainly use Assumption is it was available. The other is just a
crude workround, of course, but has the advantage of being here now.
next prev parent reply other threads:[~2008-05-27 19:08 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-05-25 18:59 Proposal: pragma Assumption Santiago Urueña
2008-05-25 22:34 ` Georg Bauhaus
2008-05-26 17:10 ` Santiago Urueña
2008-05-26 10:01 ` Simon Wright
2008-05-26 17:21 ` Santiago Urueña
2008-05-26 18:21 ` Simon Wright
2008-05-27 8:11 ` Santiago Urueña
2008-05-27 19:08 ` Simon Wright [this message]
2008-05-27 3:28 ` anon
2008-05-27 7:51 ` Santiago Urueña
2008-05-27 9:39 ` anon
2008-05-27 10:39 ` Georg Bauhaus
2008-05-27 11:27 ` Santiago Urueña
2008-05-28 1:12 ` anon
2008-05-28 7:54 ` Santiago Urueña
2008-05-30 0:27 ` Randy Brukardt
2008-05-30 7:50 ` Georg Bauhaus
2008-05-30 11:03 ` Santiago Urueña
2008-05-31 5:56 ` Stephen Leake
2008-05-31 9:04 ` Georg Bauhaus
2008-06-02 8:24 ` Santiago Urueña
2008-06-02 19:35 ` anon
2008-05-30 11:02 ` Santiago Urueña
2008-05-28 7:58 ` Santiago Urueña
2008-05-28 8:24 ` Jean-Pierre Rosen
2008-05-28 13:11 ` Santiago Urueña
2008-05-28 9:14 ` Georg Bauhaus
2008-05-28 13:14 ` Santiago Urueña
2008-05-28 11:01 ` anon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox