making argument names in non inline functions to match documentation#1895
making argument names in non inline functions to match documentation#1895edgarcosta wants to merge 1 commit intoflintlib:mainfrom
Conversation
|
Looks good! I found some minor things that we may want to change in the documentation (like Are the scripts you used available for future use? |
|
I am still working on them, I have sent you a DM on zulip with a work in progress notebook. I think the way I generated, these changes is not very stable at the moment but could be redone, as I basically generated the file, ran it, and checked I only changed names of variables afterward. In the previous failed PR for example, I inadvertly replaced the qualifiers, which messed up everything, due to: |
|
Sorry, I forgot if we spoke about this on the workshop, but is it possible to generate a CI that checks this every time (so that we do not have regressions here)? |
|
Yes, I want to have a CI that checks we don't reverse back, but it will be quite risky to have a CI that tries to fix things on the fly. |
|
In case I get run over by a bus: https://gist.github.com/edgarcosta/888fcf83565871afd635f641341cc14e |
this time I was more carefully with my code and looked carefully at the diff