<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">On 03/02/2014 15:38, Dmitry Boyarintsev
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAMpTZrc26aH2RArWRJANcWGRGPab1F9Md9X_BT4u28VKp1Qzxg@mail.gmail.com"
      type="cite">
      <div dir="ltr">On Mon, Feb 3, 2014 at 10:25 AM, Martin Frb <span
          dir="ltr"><<a moz-do-not-send="true"
            href="mailto:lazarus@mfriebe.de" target="_blank">lazarus@mfriebe.de</a>></span>
        wrote:<br>
        <div>
          <div class="gmail_extra">
            <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">
                It does not state if or if not it is an operator. And
                also give no indication on its precedence, or if it is
                applied before or after operators.<br>
                <br>
                This is not so much about he -a^ (which is a (very)
                constructed case), but about   @a^ which is possible
                (not doing much so)<br>
                <br>
                So if {$T-}<br>
                a : pinteger;<br>
                @a^ gives an untyped pointer (same as "pointer(a)" ? /
                but shorter)<br>
                But only because it is @(a^) and not (@a)^ . The second
                would only compile wit {$T+}<br>
              </blockquote>
            </div>
            <br>
            Both still both expressions are parsed the same (not if $T
            is enabled or not).<br>
          </div>
          <div class="gmail_extra">
            If you treat ^ as a part of identified, you'll be able to
            parse the expression.<br>
          </div>
        </div>
      </div>
    </blockquote>
    <br>
    Parsed yes, but if it comes to evaluation, then you get {$T-} (@a)^ 
    "cant dereference an untyped pointer" or similar<br>
    <br>
    @a^ always works. All I was asking is if the documentation should
    state it more clearly that ^ is (As part of the identifier) done
    before ^<br>
    <br>
    <br>
    Being picky:<br>
    <a class="moz-txt-link-freetext" href="http://www.freepascal.org/docs-html/ref/refse15.html#x46-530003.4">http://www.freepascal.org/docs-html/ref/refse15.html#x46-530003.4</a><br>
    <blockquote type="cite">
      <p class="noindent">The expression </p>
      <div class="verbatim" id="verbatim-78">
         BP^
      </div>
      is known as the dereferencing of <span class="cmtt-10">BP</span>.
      The result is of type <span class="cmtt-10">Buffer</span></blockquote>
    <br>
    If "BP^" is a single identifier, then where in this expression is
    the action coming from? ("dereferencing" describes an action)<br>
    Also "result" used for a single identifier seems strange. (so that
    is correct)<br>
    <br>
    If on the other hand BP is the operator, and ^ is added to the
    operator (becoming a part of it), then what is ^ on its own? (more
    specific, than a token, please)<br>
  </body>
</html>