Re: [gobo-eiffel-develop] MA_DECIMAL_CONSTANTS.zero

[Berend de B. <be...@po...>]

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

    Eric> It does not make sense to me. In your implementation you have
    Eric> a recursive call to the once function to define it.

    Eric> I think that what Berend meant was something like:

	zero: MA_DECIMAL is
			-- Neutral element for "+" and "-"
		once
			create Result.make_zero
		ensure
			zero_not_void: Result /= Void
		end

    Eric> As far as I can tell we don't create a million objects and the
    Eric> implementation of `zero' is not recursive anymore.

Exactly.

-- 
Cheers,

Berend de Boer