GNU bug report logs - #39691
Definition of "first-thingy"

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 39691 in the body.
You can then email your comments to 39691 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Elias Mårtenson <lokedhs <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: Definition of "first-thingy"
Date: Thu, 20 Feb 2020 22:39:10 +0800

[Message part 1 (text/plain, inline)]

One benefit of experimenting with low-level PAL behaviours is that I've
spent much more time lately reading the ISO spec.

I was reading the specification for ↑ (first), which says that it returns
"first-thingy" of the argument.

Now, the definitions section defines "first-thingy" as such:






*First-thingy in A : An opration that for A , an array, returns an array B
, defined as follows:If A is empty, set B1 to the typical-element of A
.Otherwise, set B1 to the first-item of the ravel-list of A .If B1 is a
number or a character, set B to an array, whose ravel-list contains the
singleitem B1 , and whose shape-list is empty.Otherwise, set B to B1 .*

My impression from reading this is that this is not consistent with GNU
APL's behaviour in the following case: ↑9

GNU APL returns the number 9 in this case, while it would seem it's
supposed to return a 9 wrapped in a zero-dimensional array: ⊂9

Now, GNU APL evaluates ⊂9 to the number 9 as well, which I also feel isn't
consistent.

Am I misreading the spec, or is there an inconsistency here?

Regards,
Elias

[Message part 2 (text/html, inline)]

Message #8 received at 39691 <at> debbugs.gnu.org (full text, mbox):

From: Elias Mårtenson <lokedhs <at> gmail.com>
To: 39691 <at> debbugs.gnu.org
Date: Thu, 20 Feb 2020 23:10:43 +0800

[Message part 1 (text/plain, inline)]

Please close this issue. I accidentally sent it to the wrong list.

[Message part 2 (text/html, inline)]

Message #11 received at 39691 <at> debbugs.gnu.org (full text, mbox):

From: Noam Postavsky <npostavs <at> gmail.com>
To: Elias Mårtenson <lokedhs <at> gmail.com>
Cc: 39691 <at> debbugs.gnu.org
Subject: Re: bug#39691: Definition of "first-thingy"
Date: Thu, 20 Feb 2020 10:48:09 -0500

forwarded 39691 https://lists.gnu.org/archive/html/bug-apl/2020-02/msg00023.html
# Not an Emacs bug
tags 39691 notabug
close 39691
quit

Elias Mårtenson <lokedhs <at> gmail.com> writes:

> Please close this issue. I accidentally sent it to the wrong list.

Done.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.