Re: Creating several types from a base type and conversion

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 1/18/20 7:20 PM, Bill Findlay wrote:
> 
> Or, using GNAT, e.g.:
> 
> type word is mod 2**30;
> 
> subtype word_shift_length is Natural range 0..30;
> 
> function shift_word_left (W : word; amount : word_shift_length)
> return KDF9.word;
> 
> function shift_word_right (W : word; amount : word_shift_length)
> return KDF9.word;
> 
> function rotate_word_left (W : word; amount : word_shift_length)
> return KDF9.word;
> 
> function rotate_word_right (W : word; amount : word_shift_length)
> return KDF9.word;
> 
> All done.

I don't know what KDF9.Word is, but surely you have to implement these. Or are 
you saying GNAT magically implements them?

-- 
Jeff Carter
"He didn't get that nose from playing ping-pong."
Never Give a Sucker an Even Break
110