A Little Quibble

[William E. Davidsen Jr]

In article <25200001 at uicsrd.csrd.uiuc.edu> mcdaniel at 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 at ge-crd.arpa)
  {uunet | philabs}!steinmetz!crdos1!davidsen
"Stupidity, like virtue, is its own reward" -me