New RFC spark-constant-in-iterator

[tonunaks]

#191

[sttaft]

Can you clarify what you mean by a "private function", perhaps with an example?

[tonunaks]

@Nikokrock, do you have an example for this? You mentioned that this has been discussed earlier.

[Nikokrock]

type Bytes is private
   with Iterable => (First       => First,
                     Next        => Next,
                     Has_Element => Has_Element,
                     Element     => Unsafe_Get);

If you want to have an efficient implementation, it's better to provide a Get_Element that does not checks bounds has this check is already done by Has_Element. Would be great to make in that case Unsafe_Get private (and so only usable through the iterator)

[clairedross]

I am not sure I understand what you mean by "bounds". Note that Get_Element might have a precondition (not executed in production) and not necessarily defensive coding.