Re: API design problem - buffer scatter I/O

[christoph.grein@eurocopter.com]

Thank you, Bob, for these illustrative comments. Problems with wiki is
that people with no good knowledge about the innards of a language
implementation may contribute (and I include myself into this class).

I fear you do not feel like correcting the wiki. I know, it's much
work, the whole chapter has to be rearranged.

> >...This is not an implementation
> > detail.
>
> Sure it is.  How a compiler represents data types (including access
> types) is an implementation detail.

What I meant is the incompatibility between pointers to constrained
and unconstrained:

type Unc     is array (Integer range <>) of Character;
type Acc_Unc is access Unc;

CO: aliased Unc (-1 .. +1) := (-1 .. +1 => ' ');
UO: aliased Unc            := (-1 .. +1 => ' ');

A: Acc_Unc            := CO'Access;  -- illegal
B: Acc_Unc            := UO'Access;  -- OK
C: Acc_Unc (CO'Range) := CO'Access;  -- also illegal

which is not an implementation detail.