From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Richard Stallman <rms@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Instead of pcase
Date: Fri, 29 Dec 2023 22:20:52 -0500
Message-ID: <E1rJPu8-0006My-EV@fencepost.gnu.org>
References: <E1rCtgO-0007ZL-JO@fencepost.gnu.org>
 <bd8523f2-8185-436d-829e-8fd958ccdd02@alphapapa.net>
 <E1rEMDW-00036a-6N@fencepost.gnu.org>
 <a3cc2f48-e581-4c7f-be0b-a25577dc7edc@alphapapa.net>
 <E1rFnFb-00021M-KF@fencepost.gnu.org>
 <bc8d4aee-4aa5-47cd-b2bd-b8150f9a8609@alphapapa.net>
 <E1rGs8s-0005TI-JX@fencepost.gnu.org> <878r5inysw.fsf@localhost>
 <E1rILvq-0006Pc-4Y@fencepost.gnu.org> <878r5ewk81.fsf@localhost>
Reply-To: rms@gnu.org
Content-Type: text/plain; charset=Utf-8
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="25271"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: emacs-devel@gnu.org
To: Ihor Radchenko <yantar92@posteo.net>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Dec 30 04:21:27 2023
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1rJPuh-0006MV-DF
	for ged-emacs-devel@m.gmane-mx.org; Sat, 30 Dec 2023 04:21:27 +0100
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces@gnu.org>)
	id 1rJPuA-0001st-KN; Fri, 29 Dec 2023 22:20:54 -0500
Original-Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <rms@gnu.org>) id 1rJPu9-0001re-Ik
 for emacs-devel@gnu.org; Fri, 29 Dec 2023 22:20:53 -0500
Original-Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <rms@gnu.org>)
 id 1rJPu9-00063O-6K; Fri, 29 Dec 2023 22:20:53 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From:
 mime-version; bh=5nF2Rm2C3bN03xuNsZjL/1csrW83GAvv9uI2y8XAfr8=; b=ZICNTm8jSnFj
 3+i+qqCnE09/6MPcgtaJfpQg1v9Dn4USciWClQOe+MZ2VhDo0BFDyUfV7d7/iVPa8ijI76SID5Eoo
 Qaf8xDbaMXKRBDHLipv0Fu1QoSWBqRNfS/KR7YqW1M/lIQkXsyy5lmB23kICC+JlbTYO75ejjGDV7
 6vRvoZj6VDFmzpvs8FQkMMbpCJZo8yFrXt3TDVTRXQopu/tvrx8uHgPpOpMcRuW6EKYmLULIH6ESm
 mcBzRuqdsgbJZB35234Vwm4DIe370B/rW6hErvM863KJwl1LTPK+79l0FOXbQ8N37NA831yN3R+k1
 fs4XQ+u1UboQAs9h8knYIA==;
Original-Received: from rms by fencepost.gnu.org with local (Exim 4.90_1)
 (envelope-from <rms@gnu.org>)
 id 1rJPu8-0006My-EV; Fri, 29 Dec 2023 22:20:52 -0500
In-Reply-To: <878r5ewk81.fsf@localhost> (message from Ihor Radchenko on Thu,
 28 Dec 2023 13:05:34 +0000)
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Xref: news.gmane.io gmane.emacs.devel:314349
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/314349>

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > `(,(integerp smaller) ,(> (= (mod (- (integerp bigger) dec) 5) 0) smaller))

That is not a valid constrained variable pattern, because
    (mod (- (integerp bigger) dec) 5)
is nt a valid constrained variable pattern.

In a constrained variable pattern, the cadr has to be a _variable pattern_.
It can be a plain symbol, or it can be another constrained variable pattern.

For tests which don't fit that form, you can use `constrain'.
Here's a valid example:

`(,(integerp smaller)
  ,(constrain bigger (> (= (mod (- (integerp bigger) dec) 5) 0) smaller)))

Does the text I sent fail to make this clear?  Would you please take
a look, and if it is not clear, tell me why?

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)