Rename PimpedTrees
thisfred opened this issue · 9 comments
thisfred commented
Is it possible to rename
to something more descriptive and less brotastic?
thisfred commented
Perhaps EnrichedTrees, along the lines of this PR: scala/scala#1931
ieure commented
+1
kiritsuku commented
while the change is possible it is source incompatible. @fommil Do you use the PimpedTrees trait in your codebase?
fommil commented
Yeah but we'd be happy to change. I've actually considered suggesting this but i thought it was in the compiler itself.
thisfred commented
Awesome, thank you for your responses. I'd be happy to cook up a PR, if that helps, and if there's a consensus about a new name.
misto commented
👍 EnrichedTrees sounds good to me and is just as descriptive as pimped trees was back in 2010 when I wrote the code.
thisfred commented
cool, PR coming up.