comp.lang.ada
 help / color / mirror / Atom feed
From: "Santiago Urueña" <suruena@gmail.com>
Subject: Re: Proposal: pragma Assumption
Date: Tue, 27 May 2008 01:11:36 -0700 (PDT)
Date: 2008-05-27T01:11:36-07:00	[thread overview]
Message-ID: <fd7c528d-2e0f-4ebc-a3d3-3b969bfb7dbe@e53g2000hsa.googlegroups.com> (raw)
In-Reply-To: m2lk1xvscw.fsf@mac.com

> 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)?

--
Santiago Urueña-Pascual
Technical University of Madrid (UPM)



  reply	other threads:[~2008-05-27  8:11 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 [this message]
2008-05-27 19:08         ` Simon Wright
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