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

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

>>>>> "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.

Therefore I have updated the tests and routines (which should now be
more efficient).
All tests pass with all three compilers (but I didn't try with
assertions on for SE, as I'm getting too short of remaining years).
-- 
Colin Adams
Preston Lancashire