Email list hosting service & mailing list manager

Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (05 Sep 2020 15:36 UTC)
Re: Non-linear and ellipsis patterns Alex Shinn (06 Sep 2020 14:07 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (06 Sep 2020 14:30 UTC)
Re: Non-linear and ellipsis patterns John Cowan (06 Sep 2020 14:46 UTC)
Re: Non-linear and ellipsis patterns Alex Shinn (07 Sep 2020 09:14 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (07 Sep 2020 09:36 UTC)
Re: Non-linear and ellipsis patterns Alex Shinn (07 Sep 2020 13:25 UTC)
Re: Non-linear and ellipsis patterns Felix Thibault (08 Sep 2020 03:06 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (08 Sep 2020 16:34 UTC)
Re: Non-linear and ellipsis patterns Felix Thibault (13 Sep 2020 12:11 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (13 Sep 2020 12:50 UTC)
Re: Non-linear and ellipsis patterns Felix Thibault (13 Sep 2020 13:10 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (13 Sep 2020 13:26 UTC)
Re: Non-linear and ellipsis patterns John Cowan (13 Sep 2020 16:19 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (13 Sep 2020 16:27 UTC)
Re: Non-linear and ellipsis patterns Felix Thibault (13 Sep 2020 22:42 UTC)
Re: Non-linear and ellipsis patterns Marc Nieper-Wißkirchen (08 Sep 2020 16:21 UTC)

Non-linear and ellipsis patterns Marc Nieper-Wißkirchen 05 Sep 2020 15:35 UTC

In the following example

(match '(1 2) ((a a ...) a)

the sample implementation reports a match (and yields (2)).

According to the spec, it should signal an error, instead. The pattern
variable a is repeated. In the first instance, it is bound to 1; in
the second instance, it would be bound to the list (2), which is
clearly not equal? to 1.