Re: [gobo-eiffel-develop] SE 2.1 work-rounds

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
> In KI_PLATFORM I see:
> 
> 	Minimum_integer: INTEGER is
> 			-- Smallest supported value of type INTEGER
> 		deferred
> 		ensure
> 			meaningful: Result <= 0
> 				-- Result = - (2 ^ (Integer_bits - 1)):
> #ifdef ISE || VE 
> 			definition: Result = (2 ^ (Integer_bits - 2)) * -2
> #else
> 			-- Problem with ^ in SE 2.1b1:
> 			-- definition: Result = (2 ^ (Integer_bits - 2)) * -2
> #endif
> 
> I think there is a lot of stuff like this still around that could be
> usefully removed, now that we have dropped SE 2.1.

It should be checked that it works with SE 1.2.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com