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

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

Colin Paul Adams wrote:
>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
> 
>     Eric> Colin Paul Adams wrote:
>     >> Then the question is under what circumstances should
>     >> `is_integer_64' return True?  One answer that is inconsistent
>     >> with your desired post-condition would be an Eiffel INTEGER_64
>     >> literal (as it might contain underscores). Likewise it can't
>     >> contain a leading negative sign.
> 
>     Eric> That's true I forgot about that.
> 
> I have taken that as expressing some more sympathy with my original
> usage presumption.

Well, I still believe that in general purpose class
like KL_STRING_ROUTINES there should not be any
assumption.

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