Re: comparing characters in string

[Simon Wright <simon@pushface.org>]

Shark8 <OneWingedShark@gmail.com> writes:

>      function tt (a, b  : in String) return Boolean is
>        Target    : Character renames a(a'first);
>        Found     : Constant Boolean:= True;
>        Substring : constant String:= b(b'first+1..b'last);
>      begin
>        return (if (for some Ch of Substring => Ch = Target) then Found
>                else not Found);
>      end tt;

Couldn't that just be

   function tt (a, b  : in String) return Boolean is
     Target    : Character renames a(a'first);
     Substring : constant String:= b(b'first+1..b'last);
   begin
     return (for some Ch of Substring => Ch = Target);
   end tt;