[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: cond*
From: |
Richard Stallman |
Subject: |
Re: cond* |
Date: |
Sat, 23 Dec 2023 22:57:10 -0500 |
[[[ 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. ]]]
> This may be confusing. Consider
> (let ((somenumber 2) (form '(10)))
> (cond*
> ((match* `(,(> (+ somenumber form-car-value) 3))) form)
> ))
This tries to use (> (+ somenumber form-car-value) 3) as a constrained
variable, but it is not valid as one. In a constrained variable, the
first argument of the predicate function is supposed to be a pattern
to match. It can't be an expression such as (+ somenumber
form-car-value).
Yesterday I rewrote the documentation of constrained variables and
sent that to the list. Does that version make this clear?
--
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)
- Re: Instead of pcase, (continued)
- Re: Instead of pcase, Richard Stallman, 2023/12/15
- cond*, Richard Stallman, 2023/12/17
- Re: cond*, João Távora, 2023/12/18
- Re: cond*, Richard Stallman, 2023/12/20
- Re: cond*, João Távora, 2023/12/21
- RE: [External] : Re: cond*, Drew Adams, 2023/12/21
- Re: [External] : Re: cond*, João Távora, 2023/12/21
- Re: [External] : Re: cond*, Richard Stallman, 2023/12/23
- Re: cond*, Richard Stallman, 2023/12/23
- Re: cond*, Ihor Radchenko, 2023/12/21
- Re: cond*,
Richard Stallman <=
- Re: cond*, Ihor Radchenko, 2023/12/25
- Re: cond*, Richard Stallman, 2023/12/18
- Re: cond*, João Távora, 2023/12/19
- Re: cond*, Richard Stallman, 2023/12/21
- Re: cond*, Philip Kaludercic, 2023/12/22
- Re: cond*, Richard Stallman, 2023/12/24
- Re: cond*, Philip Kaludercic, 2023/12/25
- Re: cond*, Richard Stallman, 2023/12/26
- Re: cond*, Philip Kaludercic, 2023/12/27
- Re: cond*, Richard Stallman, 2023/12/28