<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Am 07.06.2019 um 21:06 schrieb Ben
Grasset:<br>
</div>
<blockquote type="cite"
cite="mid:CAL4d7FjpkGiY_PYdVe6pF-S0w_EUsPCa5L4+sFVkh+8kc+4wmg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">On Fri, Jun 7, 2019 at 2:35 PM Jonas Maebe <<a
href="mailto:jonas@freepascal.org" moz-do-not-send="true">jonas@freepascal.org</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">
None of these can be defined as a type in parameter lists.
Keep in mind <br>
that "^Type" defines a new type. Semantically, it's at the
same level as <br>
"0..5" and "record a, b: longint end;".<br>
</blockquote>
<div><br>
</div>
<div>Right, that's the point. There's nothing else that
*would* make any syntactic sense in a parameter list besides
"^Type" that isn't already allowed in them.</div>
</div>
</div>
</blockquote>
No, I think you *missed* the point. "^Type" defines a new type.
"0..5" defines a new type. "set of (Alpha, Beta, Gamma)" defines a
new type. "record a, b: longint end" defines a new types. All four
of these can be used either to declare a named type or for an
anonymous type in a variable declaration. However none of these can
be used in a parameter declaration. Parameter declarations and
variable declarations are different beasts, they have different
rules (for example you can't declare open arrays outside of
parameter declarations and no, dynamic arrays don't count, cause
despite them sharing a syntax dynamic arrays and open arrays are
different concepts).<br>
<br>
Regards,<br>
Sven<br>
</body>
</html>