Re: generic function and overloading

[Simon Wright <simon.j.wright@mac.com>]

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> But do you really want to do arithmetic on these types,
> as well as setting/clearing bits?  If all you want to
> do is set/clear bits, you might want to consider using
> a packed array of Boolean.  Then to set the Nth bit you
> can say:
>
>     X (N) := True;
>
> Alternatively, a packed array of type Bit, where:
>
>     type Bit is range 0..1;
>
> If the individual bit numbers have some specific meaning,
> the index type could be an enumeration type.

Will give surprising results on a big-endian machine. At least code
using shifts and masks is portable if gruesome -- and no more gruesome
than code I've written which says

   type Unrepresented is ..
   Internal : Unrepresented;
   ...

   if System.Default_Bit_Order = System.High_Order_First then
      declare
         type Represented is ..
         for Represented use ..
            -- record rep with big-endian usage
         External : constant Represented := Internal;
      begin
         Output (External);
      end;
   else
      --  equivalent for l-e