HP 48GX IFT Error: Too Few Arguments

[Giuseppe Donnini]

(06-25-2021 09:45 PM)Han Wrote:  I do agree that the actual arguments onto the stack (as opposed to references by variable names) is the least ambiguous method in light of the special behavior of list handling.

Thanks. I hope this settles the debate.

My last point was nothing more than a spontaneous response to your assertion that “a user program merely adds the << and >> delimiters”. In my mind, it was totally unrelated to the execution vs. evaluation debate. My apologies for not making this more clear. On the other hand, your whole post leaves the impression that I just had to mention a few keywords and you reeled off a whole System RPL lecture without even reading my post. Otherwise, you would have noticed that I already made it unmistakably clear that

Quote:The reason for the observed discrepancy lies in the different way in which the parser compiles programs as opposed to lists.

So, you are pushing at an open door here. In fact, I was going to underpin my arguments with a solid layer of System RPL theory (the first paragraph of which is still in my notepad, see below), but I refrained from doing so because, after all, it seemed too esoteric in the context of this particular thread.

Quote:[...] whether it gets embedded in a list or in a program. To see this in effect, we must, for a moment, delve into the system’s representation of what we see at the user’s level.

If we reconsider the objects above and compare their respective bodies after they have been compiled, we find the following differences:

Examples 1 & 2

+-------------------------------------+-----------------+-----------------+
|                                     | \<<             | {               |
|                                     |   1             |   1             |
|             SOURCE TEXT             |   \<<           |   \<<           |
|                  &                  |     2 @ resp. A |     2 @ resp. A |
|           DECOMPILED FORM           |   \>>           |   \>>           |
|                                     |   3             |   3             |
|                                     | \>>             | }               |
+-------------------------------------+-----------------+-----------------+
|                          Prologue   | ::              | {               |
|                                  /  |   x<<           |                 |
|                                 |   |   %1            |   %1            |
|                                 |   |   xSILENT'      |                 |
|                                 |   |   ::            |   ::            |
|     COMPILED FORM        Object |   |     x<<         |     x<<         |
| ( System RPL Syntax )     Body  |   |     %2 ( ID A ) |     %2 ( ID A ) |
|                                 |   |     x>>         |     x>>         |
|                                 |   |   ;             |   ;             |
|                                 |   |   %3            |   %3            |
|                                  \  |   x>>           |                 |
|                          End Marker | ;               | }               |
+-------------------------------------+-----------------+-----------------+