Return to Question

Bug introduced between 10.0 and 10.2, fixed in 11.1

Thank you for taking the time to send in this report. It does appear that pattern-variable renaming misses symbols within Except when using With. I will forward an incident report to our developers regarding this issue, and include the discussion in the stack exchange article.

With[{u = {f}},
 HoldPattern[G[f_, Except[f_]]] :> u
 ]

gives

HoldPattern[G[f$_, Except[f_]]] :> {f}

I would expect

HoldPattern[G[f$_, Except[f$_]]] :> {f}

Bug?

Bug introduced in 10.1 and fixed in 11.1

Thank you for taking the time to send in this report. It does appear that pattern-variable renaming misses symbols within Except when using With. I will forward an incident report to our developers regarding this issue, and include the discussion in the stack exchange article.

With[{u = {f}},
 HoldPattern[G[f_, Except[f_]]] :> u
 ]

gives

HoldPattern[G[f$_, Except[f_]]] :> {f}

I would expect

HoldPattern[G[f$_, Except[f$_]]] :> {f}

Bug?

Bug introduced between 10.0 and 10.2, seems addressed in 11.1

Thank you for taking the time to send in this report. It does appear that pattern-variable renaming misses symbols within Except when using With. I will forward an incident report to our developers regarding this issue, and include the discussion in the stack exchange article.

With[{u = {f}},
 HoldPattern[G[f_, Except[f_]]] :> u
 ]

gives

HoldPattern[G[f$_, Except[f_]]] :> {f}

I would expect

HoldPattern[G[f$_, Except[f$_]]] :> {f}

Bug?

Bug introduced between 10.0 and 10.2, fixed in 11.1

Thank you for taking the time to send in this report. It does appear that pattern-variable renaming misses symbols within Except when using With. I will forward an incident report to our developers regarding this issue, and include the discussion in the stack exchange article.

With[{u = {f}},
 HoldPattern[G[f_, Except[f_]]] :> u
 ]

gives

HoldPattern[G[f$_, Except[f_]]] :> {f}

I would expect

HoldPattern[G[f$_, Except[f$_]]] :> {f}

Bug?

Bug introduced between 10.0 and 10.2 and persists through 11.0.0

Thank you for taking the time to send in this report. It does appear that pattern-variable renaming misses symbols within Except when using With. I will forward an incident report to our developers regarding this issue, and include the discussion in the stack exchange article.

With[{u = {f}},
 HoldPattern[G[f_, Except[f_]]] :> u
 ]

gives

HoldPattern[G[f$_, Except[f_]]] :> {f}

I would expect

HoldPattern[G[f$_, Except[f$_]]] :> {f}

Bug?

Bug introduced between 10.0 and 10.2, seems addressed in 11.1

Thank you for taking the time to send in this report. It does appear that pattern-variable renaming misses symbols within Except when using With. I will forward an incident report to our developers regarding this issue, and include the discussion in the stack exchange article.

With[{u = {f}},
 HoldPattern[G[f_, Except[f_]]] :> u
 ]

gives

HoldPattern[G[f$_, Except[f_]]] :> {f}

I would expect

HoldPattern[G[f$_, Except[f$_]]] :> {f}

Bug?