Arc Forumnew | comments | leaders | submitlogin
2 points by akkartik 4073 days ago | link | parent

:) I assumed you were saying that wart wouldn't be able to include '+' in symbol names, but that was already true before this change. Wart has other constraints, but if you can use '&' for something you can also use '+'.

Does that trigger memories? Did I understand you right? Were you nostalgic for the good old days when wart symbols could include '+'? ^_^



2 points by rocketnia 4073 days ago | link

"I assumed you were saying that wart wouldn't be able to include '+' in symbol names, but that was already true before this change."

Ah, point taken! You were already treating + as infix. Got it. ^_^

-----