<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    Maybe, Sven could answer to this mail in the other thread...<br>

    <br>

    On 14.08.2017 18:47, Sven Barth via Lazarus wrote:

    <br>

    <blockquote type="cite" style="color: #000000;">

      <br>

      The main problem of such a dynamic type would be the inability to

      do fast indexing as the compiler would need to insert runtime

      checks for the size of a character.

      <br>

      <br>

    </blockquote>

    What "indexing" do you think of ?

    <br>

    Could you give an example where such a difference is supposed to get

    important ?

    <br>

    <br>

    (As you know I wrote a paper where I claimed the contrary. I'd like

    to revise same if necessary.)

    <br>

    <br>

    -Michael

  </body>

</html>