Question: applyrule and `=`

applyrule(a::integer = 0, x = 1);
                             x = 1

applyrule(conditional(a::anything, a::`=`) = 0, x = 1);
Error, (in PatternMatching:-AlgStruct:-TableLookup) testing against an invalid type

Why doesn't applyrule do a replacement inside (x=1) and why is `=` an invalid type?

 

Please Wait...