|
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)
|
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.
