Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upRemove Root::r() and uses of it #6590
Comments
|
Working on this. |
|
Ok, so I made some progress, but quickly got bogged down in the following issue: We implement Does it make sense to remove To be honest, most of the changes I've done so far (before I got bogged down in codegen and the above issue) haven't been of the form
but of the form
While the former is surely desirable, the latter feels a whole lot more "meh", especially in light of the inconsistency that will arise when dealing with Thoughts? (cc @jdm who I was pointed towards on irc) |
|
FWIW, I don't really like |
|
I don't have any grand thoughts on the questions raised, but if work has already been put into this, it might be worth opening a PR just so it doesn't get bitrotted (as a result this PR would be split up into multiple PRs) |
|
Given that this isn't as clear-cut as originally believed, and since I agree with @fitzgen's ambivalence about the |
Root implements Deref, so r() isn't necessary.
Deref on Root was implemented in #6150