<div dir="ltr"><div class="gmail_default" style="font-family:courier new,monospace"><span style="font-family:arial">2013/10/30 Martin </span><span dir="ltr" style="font-family:arial"><<a href="mailto:lazarus@mfriebe.de" target="_blank">lazarus@mfriebe.de</a>></span><br>

</div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF"><div><div class="h5">
    <br></div></div>
    I think there is no problem with: <br>
    <br>
    var <br>
      a: array of Integer<br>
    begin<br>
      A:= obj.proc;  <br>
    <br>
    You are NOT using the type. You are using the value. <br></div></blockquote><div><br></div><div class="gmail_default" style="font-family:'courier new',monospace">pascal is strong-typed.  You are actually using type along with its value.  e.g.</div>

<div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace">var</div><div class="gmail_default" style="font-family:'courier new',monospace">

  a: array of Double;</div><div class="gmail_default" style="font-family:'courier new',monospace">begin</div><div class="gmail_default" style="font-family:'courier new',monospace">  a := obj.proc;​​</div>
<div class="gmail_default" style="font-family:'courier new',monospace">
<br></div><div class="gmail_default" style="font-family:'courier new',monospace">This will emit a COMPILE time error because compiler know these 2 types are not compatible.</div></div></div></div>