Re: how to do things like procedure foo(A: string) is bar: string := A; begin; ...;end;

[Mehdi Saada <00120260a@gmail.com>]

I got it pretty early (was clear in the course) that array, and strings for the matter, can have arbitrary bounds. So with unconstrained formal parameters I always use 'LENGHT, 'First and 'Last, and no 'Range in for loop.
But your "" & S was mind-boggling... It does have the effect of changings bounds without touching the content. Very useful, thanks !
Not sure about the constrained formal parameter part. What happens when you call something like
function FOO(T: String range 5..9) return String;
with a parameter whose index subtype's bounds are say, 1..4 ? You say it would raise Constraint_Error ? If so I can see the point. There's never too much facultative checks.