Wildcard that matches multiple symbols

Open saulshanabrook opened this issue 7 years ago • 1 comments

Would it be possible to have a wildcard that matches any number of symbols?

Right now I am doing this by matching any number of items and having a custom constraint that asserts all are of instance of the Symbol I care about.

This is useful when you have some operation that needs all of it's arguments to be replaced into reduced symbolic form and can only itself be replaced when they all have been.

Oct 26 '18 15:10 saulshanabrook

Do you mean a combination of SymbolWildcard and sequence wildcards (the ones created with Wildcard.dot() and Wildcard.star()?

Oct 26 '18 15:10 hbarthels