Re: Simple Case Study in Types. Chords.

[Simon Wright <simon@pogner.demon.co.uk>]

G <Dizzy@interact.net.au> writes:

>   With the following code fragments, I am not
> sure if I constructed the types in [Chord_Definition.ads]
> such that they actually mean what I think they do.

Since I don't know what you think they mean (!), may I just suggest

>   type Twelve_Tone is
>   -- Thirteen because that allows the octave.
>   (One, Two, Three, Four,
>     Five, Six, Seven, Eight,
>     Nine, Ten, Eleven, Twelve, Thirteen);
> 
>   type Chord_List is array (1..13) of Twelve_Tone;

  -- Assuming that no Chord ever spans more than an octave, we can
  -- represent a Chord by indicating the Notes present in it
  type Chord is array (Twelve_Tone) of Boolean;