Unfortunately, non-linear patterns (when you use a pattern variable
more than one) and `list-no-order` don't work well together, and
probably won't in the forseeable future. Supporting this moves
`match` from a pattern matcher into a general search procedure, and
requires quite different algorithm
https://github.com/plt/racket/issues/562
takikawa helped reduce the reproduction down to:
(match '(1 1) [(list-no-order b b) 'x])
but what I'm actually trying to do is:
(match '(...
(nand b b w1)
...
(nand w1 w1 w2)
...)
[(list-no-order `(nand
2 matches
Mail list logo
