Willow Ahrens

My apologies for the confusion surrounding that typo. I made that mistake when copying my test code from the REPL to github.

I'd like to propose a solution 3. Define a type for name-only functions, e.g. ``` struct NameOnlyFunction name::Symbol end (f::NameOnlyFunction)(args...) = PatTerm(:call, f, args) ``` or perhaps something like ```...

@shashi @0x0f0f0f Any thoughts on my proposed Nov 11 solution to the still-failing test? ``` println(@capture qux(1, 2) qux(1, 2)) function peters_awesome_local_scope() x = qux (@rule x(1, 2) => "hello")(x(1,...

Looking back on this, I think that all the bugs here have been fixed, and the last example I posted reflects a reasonable change to the interface of the rule...

I think this is related to https://github.com/JuliaCollections/DataStructures.jl/issues/755

I am reopening this issue to ask: If I file a PR to change the macro not to quote AST head nodes (as they may be enums, strings, custom structs,...

That's a clever fix! Awesome! I wonder if this would mean we can also remove this: https://github.com/JuliaSymbolics/Metatheory.jl/blob/7828344d5259f4c724d51171580034ae155db547/src/matchers.jl#L92-L97 By the way, I'm not sure where I'm supposed to look in https://github.com/JuliaSymbolics/TermInterface.jl/issues/21...

It's been a while, but I wanted to give the best response I could on sparse tensor compiler convolution support. https://dl.acm.org/doi/abs/10.1145/3485505 describes TACO support for static affine expressions (`A[i +...

This might be https://github.com/JuliaSymbolics/SymbolicUtils.jl/issues/394, which is really (https://github.com/JuliaSymbolics/Metatheory.jl/issues/87)

Would this issue be any easier to solve using https://github.com/JuliaLang/juliaup?