Re: [gobo-eiffel-develop] Usage of INTEGER_64

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> We could also have a feature:

    Eric>      maximum_integer_64: INTEGER_64

    Eric> in class KL_PLATFORM. This latter solution would probably be
    Eric> better.

I've done this.
-- 
Colin Adams
Preston Lancashire