<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Am 11.03.2013 14:59, schrieb Jonas
      Maebe:<br>
    </div>
    <blockquote
      cite="mid:AEAE8F44-ED01-4FE0-808E-9E18A5A32F5D@elis.ugent.be"
      type="cite"><br>
      <div>
        <div>On 11 Mar 2013, at 14:52, Sven Barth wrote:</div>
        <br class="Apple-interchange-newline">
        <blockquote type="cite"><span class="Apple-style-span"
            style="border-collapse: separate; color: rgb(0, 0, 0);
            font-family: Monaco; font-style: normal; font-variant:
            normal; font-weight: normal; letter-spacing: normal;
            line-height: normal; orphans: 2; text-align: -webkit-auto;
            text-indent: 0px; text-transform: none; white-space: normal;
            widows: 2; word-spacing: 0px;
            -webkit-border-horizontal-spacing: 0px;
            -webkit-border-vertical-spacing: 0px;
            -webkit-text-decorations-in-effect: none;
            -webkit-text-size-adjust: auto; -webkit-text-stroke-width:
            0px; font-size: medium; "><span class="Apple-style-span"
              style="font-family: monospace; ">If the array is a named
              one (e.g. "TMyArraySet = bitpacked array[TMyEnum] of
              Boolean") then operator overloading could be used...<br>
            </span></span></blockquote>
      </div>
      <br>
      <div>Yes, but since neither open nor dynamic bitpacked arrays are
        supported, you'd have to reimplement this for every single
        pseudo-set type you want to use (except maybe if you use
        generics, if generics for simple types already work).</div>
    </blockquote>
    Generics do work for array, but maybe not for indices. Also you'd
    need to declare the operators anyway. Best solution in this case
    might be to encapsulate the array in a record and define the
    operators there...<br>
    <br>
    Regards,<br>
    Sven<br>
  </body>
</html>