From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Drew Adams" Newsgroups: gmane.emacs.bugs Subject: bug#10657: 24.0.93; (elisp) Parsing Expressions - what about numerals? Date: Mon, 30 Jan 2012 08:43:37 -0800 Message-ID: <40400C0960134EB29BF157B8650FECC2@us.oracle.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1327941906 5849 80.91.229.3 (30 Jan 2012 16:45:06 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 30 Jan 2012 16:45:06 +0000 (UTC) To: 10657@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Jan 30 17:45:04 2012 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RruLk-0001qH-RZ for geb-bug-gnu-emacs@m.gmane.org; Mon, 30 Jan 2012 17:45:01 +0100 Original-Received: from localhost ([::1]:46388 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RruLk-0003Vx-BZ for geb-bug-gnu-emacs@m.gmane.org; Mon, 30 Jan 2012 11:45:00 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:39534) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RruLd-0003Vq-Pp for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:44:59 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RruLc-0007SR-NN for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:44:53 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:41808) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RruLc-0007SN-H8 for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:44:52 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1RruLm-0006gZ-6z for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:45:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: "Drew Adams" Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 30 Jan 2012 16:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 10657 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: Original-Received: via spool by submit@debbugs.gnu.org id=B.132794185625628 (code B ref -1); Mon, 30 Jan 2012 16:45:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 30 Jan 2012 16:44:16 +0000 Original-Received: from localhost ([127.0.0.1]:45431 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1RruL1-0006fI-Qh for submit@debbugs.gnu.org; Mon, 30 Jan 2012 11:44:16 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:35944) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1RruKz-0006f6-HG for submit@debbugs.gnu.org; Mon, 30 Jan 2012 11:44:14 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RruKj-0007MN-24 for submit@debbugs.gnu.org; Mon, 30 Jan 2012 11:43:58 -0500 Original-Received: from lists.gnu.org ([140.186.70.17]:50146) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RruKj-0007MI-0V for submit@debbugs.gnu.org; Mon, 30 Jan 2012 11:43:57 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:42760) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RruKd-0003Nc-3B for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:43:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RruKU-0007BA-S1 for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:43:51 -0500 Original-Received: from acsinet15.oracle.com ([141.146.126.227]:51601) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RruKU-0007Aw-Lw for bug-gnu-emacs@gnu.org; Mon, 30 Jan 2012 11:43:42 -0500 Original-Received: from acsinet22.oracle.com (acsinet22.oracle.com [141.146.126.238]) by acsinet15.oracle.com (Switch-3.4.4/Switch-3.4.4) with ESMTP id q0UGhcGO030660 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Mon, 30 Jan 2012 16:43:39 GMT Original-Received: from acsmt358.oracle.com (acsmt358.oracle.com [141.146.40.158]) by acsinet22.oracle.com (8.14.4+Sun/8.14.4) with ESMTP id q0UGhcrk013821 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 30 Jan 2012 16:43:38 GMT Original-Received: from abhmt115.oracle.com (abhmt115.oracle.com [141.146.116.67]) by acsmt358.oracle.com (8.12.11.20060308/8.12.11) with ESMTP id q0UGhc71009187 for ; Mon, 30 Jan 2012 10:43:38 -0600 Original-Received: from dradamslap1 (/130.35.178.194) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Mon, 30 Jan 2012 08:43:37 -0800 X-Mailer: Microsoft Office Outlook 11 Thread-Index: AczfblAMe8fj1m3uRMmqO4ow6+H9AA== X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-Source-IP: acsinet22.oracle.com [141.146.126.238] X-Auth-Type: Internal IP X-CT-RefId: str=0001.0A090205.4F26C8BB.00B7,ss=1,re=0.000,fgs=0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 1) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:56226 Archived-At: The doc says: "Basically, a sexp is either a balanced parenthetical grouping, a string, or a symbol name (a sequence of characters whose syntax is either word constituent or symbol constituent)." What about numerals? Seems like this "basically" definition of a sexp should be more exact or should cross-reference a more exact definition. A sexp is an important concept for Lisp - we should not be lax about making clear what we mean, especially in a section about parsing sexps. Dunno whether we even have a good definition of "sexp" anywhere in the Elisp manual. Trying `i' to see what's in the index shows no entry for just "sexp", and none of the index entries matching the substring "sexp" cry out "This section defines `sexp'". And `i' doesn't help at all with "s expression" or "s-expression" or "symbolic expression". Or for that matter "balanced expression", which seems to be what is used in this manual for what are typically called "symbolic expressions" (for which "sexp" is an abbreviation) in other Lisps, starting with McCarthy. (And why is it that we refer to them as "balanced expressions"?) The manual has a section on Lisp data types, and a section on their `Printed Representation' that also discusses their read syntax. But do we anywhere define "sexp"? We should. (Wrt the index, I think there should also be an entry for `sexp' as a custom type (node `Simple Types').) In GNU Emacs 24.0.93.1 (i386-mingw-nt5.1.2600) of 2012-01-29 on MARVIN Windowing system distributor `Microsoft Corp.', version 5.1.2600 Configured using: `configure --with-gcc (4.6) --no-opt --cflags -ID:/devel/emacs/libs/libXpm-3.5.8/include -ID:/devel/emacs/libs/libXpm-3.5.8/src -ID:/devel/emacs/libs/libpng-dev_1.4.3-1/include -ID:/devel/emacs/libs/zlib-dev_1.2.5-2/include -ID:/devel/emacs/libs/giflib-4.1.4-1/include -ID:/devel/emacs/libs/jpeg-6b-4/include -ID:/devel/emacs/libs/tiff-3.8.2-1/include -ID:/devel/emacs/libs/gnutls-3.0.9/include --ldflags -LD:/devel/emacs/libs/gnutls-3.0.9/lib'