<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 29.08.2017 21:50, Maciej Izak wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAFTppY7rOGrMX18EajQ8nHCdTBxJ_E_GUfELXTZ1wadBE8Me9Q@mail.gmail.com">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">2017-08-29 20:24 GMT+02:00 Ondrej
Pokorny <span dir="ltr"><<a
href="mailto:lazarus@kluug.net" target="_blank"
moz-do-not-send="true">lazarus@kluug.net</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF"><span class="gmail-">
<div
class="gmail-m_4663553277331136624moz-cite-prefix">No
- please not yet another undefined behavior :)<br>
</div>
</span> <br>
It's perfectly defined: disabled without typehelpers,
enabled with typehelpers.</div>
</blockquote>
<div><br>
</div>
<div>but in the case of strictly defined rules we must to do
as Sven said:</div>
<div><br>
</div>
<div> "Namely that it enabled the "type helper" syntax
including the inheritance. But the record helpers are left
as is..."</div>
</div>
</div>
</div>
</blockquote>
<br>
Why? I can make strictly defined rules that typehelpers also allow
record helper inheritance. There are no limitations for definitions
;)<br>
<br>
<blockquote type="cite"
cite="mid:CAFTppY7rOGrMX18EajQ8nHCdTBxJ_E_GUfELXTZ1wadBE8Me9Q@mail.gmail.com">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<div>it is contrary to your previous message:</div>
<div><br>
</div>
<div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF">+ It means that record helper
inheritance will be enabled with typehelpers as well
because if I am not mistaken currently the compiler
cannot distinguish between a type helper and record
helper acting on a record. (IMO it is even a plus.)<span
class="gmail-HOEnZb"><font color="#888888"><br>
</font></span></div>
</blockquote>
<div> </div>
</div>
</div>
in "Svens scenario" inheritance for "record helper" should be
blocked in Delphi mode and compiler is obligated to knows
differences between "type helper" and "record helper".</div>
</div>
</blockquote>
<br>
I, on the contrary, read:<br>
<br>
On 29.08.2017 18:54, Sven Barth via fpc-devel wrote:<br>
> (btw: a type helper for a primitive type can inherit from a
record helper of the same type, internally they're all the same)<br>
<br>
Btw. record helpers support inheritance in all modes but Delphi. It
doesn't make sense to disallow it for record helpers but allow it
for type helpers... Too overcomplicated without any plus value :/<br>
<br>
Ondrej<br>
</body>
</html>