[Ecls-list] INCF/1+ and LOOP differences at same OPTIMIZE/SAFETY levels

[Matthew Mondor]

On Fri, 24 Dec 2010 13:30:44 +0100
Juan Jose Garcia-Ripoll <juanjose.garciaripoll at googlemail.com> wrote:

> Loop uses a completely different mechanism than the others. In the cases you
> exposed in your example, they are based on type inference. LOOP is using a
> strict coercion via THE, so in this sense it is more permisive to higher
> safety levels.

Thanks for the explanation.
-- 
Matt