[gobo-eiffel-develop] MA_DECIMAL_CONSTANTS.zero

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

Hi Guys,

Anyone an idea why zero is created like this:

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

There is a create Result.make_zero call, why not use that?

-- 
Cheers,

Berend de Boer