INTERNAL.field question

[Jimmy Johnson]

Why is the generating type of the resulting object of a call to
  {INTERNAL}.field (i: INTEGER; object: ANY): detachable ANY
an INTERGER_REF when the field is of type INTEGER?

I tried to duplicate this with:

to_detachable (a_value: INTEGER): detachable ANY
  do
    Result := a_value
  end

but the generating type of the result is INTEGER not INTEGER_REF.


BTW, I though the _REF types were going to go away at some point?

jjj

[Emmanuel Stapf]

> Why is the generating type of the resulting object of a call to
>   {INTERNAL}.field (i: INTEGER; object: ANY): detachable ANY
> an INTERGER_REF when the field is of type INTEGER?

There is indeed a mismatch and you should be getting INTEGER, not INTEGER_REF.
This will be fixed in the next release.

Thanks,
Manu