Path: utzoo!attcan!uunet!steinmetz!davidsen
From: davidsen@steinmetz.ge.com (William E. Davidsen Jr)
Newsgroups: comp.std.c
Subject: Re: A Little Quibble
Message-ID: <12775@steinmetz.ge.com>
Date: 9 Dec 88 19:41:46 GMT
References: <25200001@uicsrd.csrd.uiuc.edu>
Reply-To: davidsen@crdos1.UUCP (bill davidsen)
Organization: General Electric CRD, Schenectady, NY
Lines: 17

In article <25200001@uicsrd.csrd.uiuc.edu> mcdaniel@uicsrd.csrd.uiuc.edu writes:
| - I would like to declare an invariant like this:
| 	double nubie;
| 	. . . compute nubie . . .
| 	{const double nubie = nubie;
| 	    . . . here, nubie is invariant . . .
| 	}

How about:
  #define nubie ((const int) nubie)
or some such? I don't have the standard handy, but at worst I think you
would have to use another name, although I think there was something
about not recursively evaluating a macro...
-- 
	bill davidsen		(wedu@ge-crd.arpa)
  {uunet | philabs}!steinmetz!crdos1!davidsen
"Stupidity, like virtue, is its own reward" -me