-
Notifications
You must be signed in to change notification settings - Fork 115
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Propagate information about partition() part to children() #1480
Conversation
This patch allows to customize the partitioned parts. The part is available in $partition_part variable and is either FIRST or SECOND).
Probably the values should be 0 and 1 instead of FIRST or SECOND. I also wonder if it should be |
One of the hard things in computing, whether to start from 0 or 1. My initial thought was that if we ever have About the prefixing question: I have no preference since I'm not too familiar with your coding conventions. Of course non-colliding variable names are better than colliding :) |
In a whole bunch of places modules propagate |
I also have mixed feelings about them, maybe my history on statically typed languages led me to introduce them. Should we use a boolean instead? I can fix the patch, but I'd like to have your opinion about naming and typing, like:
|
Do you think it is likely that someone would want to condition on which partition within the code inside other stuff, like grid() or xcopies() or the like? If this seems very unlikely I think maybe using If we think collision is more likely then I like |
Hmm, maybe then I'd say it's best to go with the current convention. The collision is rather easy to avoid in user code by doing something like I'll prepare the patch tomorrow. :) |
Yes, exactly. That's why I'd only deviate from that convention if it seems like a common or likely collision situation. So I think going with |
Agreed with using |
GitHub has lost track of my commit for this pull request, maybe because I've done both rebase and force-with-lease to my branch. I close this and open a new one #1487 |
This patch allows to customize the partitioned parts. The part is available in
$partition_part
variable and is eitherFIRST
orSECOND
).