<div dir="ltr"><div dir="ltr">On Sun, Jun 9, 2019 at 6:29 PM Ben Grasset <<a href="mailto:operator97@gmail.com">operator97@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">Again, literally nobody in this entire message chain has stated any actual reason why exactly they think it would be specifically *bad* to have `^Type` in method parameters.</div></div></blockquote><div>Is it because parameter types are doesn't really match a type definition. </div><div>One can't do</div><div>  function myFunc(var a: record a,b: integer; end): integer;</div><div>the record type has to be declared separately. </div><div>or</div><div>declaring</div><div>  function myFunc(var a: array of integer): integer;  <br></div><div>is 100% not the same as <br></div><div>  TArrayType = array of Integer;</div><div>  function myFunc(var a: 

TArrayType  ): integer;    <br></div><div><br></div><div>so parameter type declaration is pretty much "reserved" for Embarcadero to change... and FPC will eventually follow :)</div><div><br></div><div>Ultimately the bad thing is changing Pascal ideology.</div><div>Declare first, then use.</div><div>Specifying a parameter type is "use". Thus it has to be declared first.</div><div><br></div><div>Do you really want to change it? If yes, what's the **technical** benefit?</div><div><br></div><div>thanks,<br>Dmitry</div><div><br></div></div></div>