From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED!not-for-mail
From: Jonas Bernoulli <jonas@bernoul.li>
Newsgroups: gmane.emacs.bugs
Subject: bug#31840: and-let* expands to if instead of when
Date: Thu, 14 Jun 2018 21:08:11 -0500
Message-ID: <87bmcc4x9w.fsf@bernoul.li>
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: blaine.gmane.org 1529028446 19593 195.159.176.226 (15 Jun 2018 02:07:26 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Fri, 15 Jun 2018 02:07:26 +0000 (UTC)
User-Agent: mu4e 1.1.0; emacs 26.1.50
To: 31840@debbugs.gnu.org
Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jun 15 04:07:22 2018
Return-path: <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org>
Envelope-to: geb-bug-gnu-emacs@m.gmane.org
Original-Received: from lists.gnu.org ([208.118.235.17])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org>)
	id 1fTe92-0004wW-4K
	for geb-bug-gnu-emacs@m.gmane.org; Fri, 15 Jun 2018 04:07:20 +0200
Original-Received: from localhost ([::1]:43888 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org>)
	id 1fTeB9-0002Hd-7K
	for geb-bug-gnu-emacs@m.gmane.org; Thu, 14 Jun 2018 22:09:31 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37424)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fTeAn-00028F-KS
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:09:10 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fTeAi-00022K-Hh
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:09:09 -0400
Original-Received: from debbugs.gnu.org ([208.118.235.43]:40826)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1fTeAi-00021l-CK
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:09:04 -0400
Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fTeAi-000072-4P
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:09:04 -0400
X-Loop: help-debbugs@gnu.org
Resent-From: Jonas Bernoulli <jonas@bernoul.li>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@gnu.org
Resent-Date: Fri, 15 Jun 2018 02:09:01 +0000
Resent-Message-ID: <handler.31840.B.1529028520399@debbugs.gnu.org>
Resent-Sender: help-debbugs@gnu.org
X-GNU-PR-Message: report 31840
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.1529028520399
	(code B ref -1); Fri, 15 Jun 2018 02:09:01 +0000
Original-Received: (at submit) by debbugs.gnu.org; 15 Jun 2018 02:08:40 +0000
Original-Received: from localhost ([127.0.0.1]:48723 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1fTeAK-00006N-J8
	for submit@debbugs.gnu.org; Thu, 14 Jun 2018 22:08:40 -0400
Original-Received: from eggs.gnu.org ([208.118.235.92]:45859)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <jonas@bernoul.li>) id 1fTeAJ-00006B-AA
	for submit@debbugs.gnu.org; Thu, 14 Jun 2018 22:08:39 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <jonas@bernoul.li>) id 1fTeAD-0001Ro-9l
	for submit@debbugs.gnu.org; Thu, 14 Jun 2018 22:08:33 -0400
Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:44804)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <jonas@bernoul.li>) id 1fTeAD-0001RU-5w
	for submit@debbugs.gnu.org; Thu, 14 Jun 2018 22:08:33 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36802)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <jonas@bernoul.li>) id 1fTeAC-0001kj-8b
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:08:32 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <jonas@bernoul.li>) id 1fTeA7-0001LG-4k
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:08:32 -0400
Original-Received: from mail.hostpark.net ([212.243.197.30]:54734)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <jonas@bernoul.li>) id 1fTeA6-0001Hc-UY
	for bug-gnu-emacs@gnu.org; Thu, 14 Jun 2018 22:08:27 -0400
Original-Received: from localhost (localhost [127.0.0.1])
	by mail.hostpark.net (Postfix) with ESMTP id 3972F16634
	for <bug-gnu-emacs@gnu.org>; Fri, 15 Jun 2018 04:08:24 +0200 (CEST)
X-Virus-Scanned: by Hostpark/NetZone Mailprotection at hostpark.net
Original-Received: from mail.hostpark.net ([127.0.0.1])
	by localhost (mail0.hostpark.net [127.0.0.1]) (amavisd-new, port 10124)
	with ESMTP id sPlwyo4yxYsZ for <bug-gnu-emacs@gnu.org>;
	Fri, 15 Jun 2018 04:08:24 +0200 (CEST)
Original-Received: from laptop (c-24-118-131-121.hsd1.mn.comcast.net [24.118.131.121])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256
	bits)) (No client certificate requested)
	by mail.hostpark.net (Postfix) with ESMTPSA id 6631F1649F
	for <bug-gnu-emacs@gnu.org>; Fri, 15 Jun 2018 04:08:20 +0200 (CEST)
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.18
Precedence: list
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 208.118.235.43
X-BeenThere: bug-gnu-emacs@gnu.org
List-Id: "Bug reports for GNU Emacs,
	the Swiss army knife of text editors" <bug-gnu-emacs.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-gnu-emacs>,
	<mailto:bug-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-gnu-emacs/>
List-Post: <mailto:bug-gnu-emacs@gnu.org>
List-Help: <mailto:bug-gnu-emacs-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-gnu-emacs>,
	<mailto:bug-gnu-emacs-request@gnu.org?subject=subscribe>
Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org
Original-Sender: "bug-gnu-emacs"
	<bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.bugs:147440
Archived-At: <http://permalink.gmane.org/gmane.emacs.bugs/147440>

(and-let* ((a 'a))
  (body-1)
  (body-n))

expands to

(let* ((a (and t 'a)))
  (if a
      (body-1)
    (body-n)))

but according to its doc-string ("Like `when-let*'...")
it is supposed to expand to

(let* ((a (and t 'a)))
  (if a
      (progn
        (body-1)
        (body-n))))