Re: Introductory Ada Programming Book

["G.B." <bauhaus@notmyhomepage.invalid>]

On 04.01.17 23:39, Niklas Holsti wrote:
>
> That term is one nit that could be picked, but more specifically, it is quite possible to write "case" statements using an integer type without an "others" clause. Very recently, I had occasion to write code like this:
>
>    X : Int_Type := ...
>    ...
>    case X is
>    when Int_Type_T'First .. -1 => ...;
>    when 0                      => ...;
>    when 1 .. Int_Type'Last     => ...;
>    end case;


Interestingly, not so recent versions of Swift will
allow writing range
   0...Int.max
but will not make this range work. Ranges are "rewritten"
from a...b to a..<(b+1). Consequently, the upper bound Int.max
would have to be (Int.max+1), a value exceeding all of type Int.

So, while it was possible to write case distinctions
Ada style in Swift, the equivalent of Ada's Int_Type'Last
has then caused issues.


-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff