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#10724: 24.0.93; doc of `typecase' Date: Sat, 4 Feb 2012 10:00:59 -0800 Message-ID: <8F862DB597B0405F8F3682B583864BFB@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 1328378488 13591 80.91.229.3 (4 Feb 2012 18:01:28 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 4 Feb 2012 18:01:28 +0000 (UTC) To: 10724@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Feb 04 19:01:27 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 1RtjvT-0006aG-3n for geb-bug-gnu-emacs@m.gmane.org; Sat, 04 Feb 2012 19:01:27 +0100 Original-Received: from localhost ([::1]:59653 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtjvS-0002Tc-Ld for geb-bug-gnu-emacs@m.gmane.org; Sat, 04 Feb 2012 13:01:26 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:55936) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtjvP-0002TP-Ph for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:01:24 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RtjvO-0003Nx-JU for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:01:23 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:50886) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtjvO-0003Nr-Fi for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:01:22 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1Rtjw1-0005jY-Lv for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:02:01 -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: Sat, 04 Feb 2012 18:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 10724 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: Original-Received: via spool by submit@debbugs.gnu.org id=B.132837852022031 (code B ref -1); Sat, 04 Feb 2012 18:02:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 4 Feb 2012 18:02:00 +0000 Original-Received: from localhost ([127.0.0.1]:54509 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Rtjvz-0005jH-OB for submit@debbugs.gnu.org; Sat, 04 Feb 2012 13:02:00 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:46896) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Rtjvw-0005j4-Lp for submit@debbugs.gnu.org; Sat, 04 Feb 2012 13:01:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RtjvD-0003MM-8s for submit@debbugs.gnu.org; Sat, 04 Feb 2012 13:01:12 -0500 Original-Received: from lists.gnu.org ([140.186.70.17]:35765) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtjvD-0003MI-7Q for submit@debbugs.gnu.org; Sat, 04 Feb 2012 13:01:11 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:55858) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtjvC-0002S5-1r for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:01:11 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RtjvA-0003M7-PD for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:01:09 -0500 Original-Received: from acsinet15.oracle.com ([141.146.126.227]:31751) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtjvA-0003Lz-K8 for bug-gnu-emacs@gnu.org; Sat, 04 Feb 2012 13:01:08 -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 q14I164O031398 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Sat, 4 Feb 2012 18:01:07 GMT Original-Received: from acsmt357.oracle.com (acsmt357.oracle.com [141.146.40.157]) by acsinet22.oracle.com (8.14.4+Sun/8.14.4) with ESMTP id q14I15pa005718 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 4 Feb 2012 18:01:06 GMT Original-Received: from abhmt113.oracle.com (abhmt113.oracle.com [141.146.116.65]) by acsmt357.oracle.com (8.12.11.20060308/8.12.11) with ESMTP id q14I15Cq019743 for ; Sat, 4 Feb 2012 12:01:05 -0600 Original-Received: from dradamslap1 (/10.159.50.114) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Sat, 04 Feb 2012 10:01:05 -0800 X-Mailer: Microsoft Office Outlook 11 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Thread-Index: AczjZvM1bcg4zm7FSOyCkRbHZQUoMw== X-Source-IP: acsinet22.oracle.com [141.146.126.238] X-Auth-Type: Internal IP X-CT-RefId: str=0001.0A090201.4F2D7263.0024,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:56485 Archived-At: The doc string does not meet Emacs standards. The arguments are not described. Nothing is said about what EXPR, TYPE or BODY can be. BODY is excusable; the others are not. We must state that EXPR is any Emacs-Lisp sexp (if that is the case). And we must state that TYPE is an emacs-lisp type name, as a symbol (if that is the case). But that's not sufficient, since there is not just a single list of such type names. There are at least the following that a reader might understand for TYPE when reading this doc: 1. the simple-type names for Customize 2. type predicates 3. programming types ((elisp) Programming Types) 4. editing types ((elisp) Editing Types) For the last two (#3 and #4), which are probably what is meant here, what symbols (is TYPE a symbol?) are recognized for those types by `typecase'? You cannot program using `typecase' without knowing this stuff. And though Emacs Lisp's `typecase' presumably corresponds somewhat to Common Lisp's, it is not at all obvious just what values of TYPE are supported by Emacs Lisp. 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'