From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Helmut Eller Newsgroups: gmane.emacs.bugs Subject: bug#16520: 24.3.50; cl-defstruct with :predicate option Date: Wed, 29 Jan 2014 18:47:05 +0100 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1391017763 7899 80.91.229.3 (29 Jan 2014 17:49:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Jan 2014 17:49:23 +0000 (UTC) To: 16520@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jan 29 18:49:26 2014 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W8ZGQ-000415-5F for geb-bug-gnu-emacs@m.gmane.org; Wed, 29 Jan 2014 18:49:26 +0100 Original-Received: from localhost ([::1]:44262 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W8ZGP-00069o-Qo for geb-bug-gnu-emacs@m.gmane.org; Wed, 29 Jan 2014 12:49:25 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57701) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W8ZGC-0005wq-Ti for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:49:22 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W8ZG2-00010E-MG for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:49:12 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:54723) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W8ZG2-000109-JS for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:49:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W8ZG2-00050g-65 for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:49:02 -0500 X-Loop: help-debbugs@gnu.org In-Reply-To: Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 29 Jan 2014 17:49:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16520 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.139101768219180 (code B ref -1); Wed, 29 Jan 2014 17:49:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 29 Jan 2014 17:48:02 +0000 Original-Received: from localhost ([127.0.0.1]:40509 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W8ZF4-0004z8-5G for submit@debbugs.gnu.org; Wed, 29 Jan 2014 12:48:02 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:55629) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W8ZEx-0004yl-87 for submit@debbugs.gnu.org; Wed, 29 Jan 2014 12:47:59 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W8ZEn-0000WM-GE for submit@debbugs.gnu.org; Wed, 29 Jan 2014 12:47:54 -0500 Original-Received: from lists.gnu.org ([208.118.235.17]:60448) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W8ZEn-0000WA-Cd for submit@debbugs.gnu.org; Wed, 29 Jan 2014 12:47:45 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57261) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W8ZEf-0003Ky-Pp for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:47:45 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W8ZEY-0000In-H0 for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:47:37 -0500 Original-Received: from plane.gmane.org ([80.91.229.3]:54819) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W8ZEY-0000I3-B6 for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 12:47:30 -0500 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1W8ZEJ-0002mJ-MN for bug-gnu-emacs@gnu.org; Wed, 29 Jan 2014 18:47:15 +0100 Original-Received: from 212.46.176.45 ([212.46.176.45]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 29 Jan 2014 18:47:15 +0100 Original-Received: from eller.helmut by 212.46.176.45 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 29 Jan 2014 18:47:15 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 26 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 212.46.176.45 User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) Cancel-Lock: sha1:zL1CCMN728XZpsdeIQy+7Tc+3k4= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x 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:84221 Archived-At: On Wed, Jan 29 2014, Stefan Monnier wrote: >> The fix doesn't work for this example: > >> (require 'cl-lib) >> (cl-defstruct (foo (:predicate foo?))) >> (defun bar (x) (cl-check-type x foo)) > > Indeed. But it should work for: > > (require 'cl-lib) > (cl-defstruct (foo (:predicate foo?))) > (defun bar (x) (cl-check-type x foo?)) Which is arguably a bug. If the goal is to imitate Common Lisp semantics then the type name is foo not foo?. If I wanted to call a predicate I would have written (check-type x (satisfies foo?)). >> neither for >> (cl-defstruct (foo (:predicate nil))) > > Not sure if it should work in that case, It does work in Common Lisp. Helmut