Re: What has happened to clone() in SE 2?

Dominique Colnet wrote:

> And twin is frozen just because new object allocation is magic (cannot
> be written in pure Eiffel).

I don't understand why this means it must be frozen.

Couldn't one legitimately redefine it as follows?

	twin: like Current is
		do
			Result := Precursor
			if source = Void then
				create source
			end
		end

- Peter Gummer