[sage-devel] Re: Can we get rid of the "Consider using a block-scoped tag" warning?

2023-08-04 Thread Kwankyu Lee
I like Kwankyu's suggestion that once #36024 is merged (and #36026 and #35095), just run "sage --fixdoctests" on the whole Sage library. As we just fixes comments (doctest tags), actually we don't need to wait those PRs to be merged. Matthias is already fixing them gradually. See

[sage-devel] Re: Can we get rid of the "Consider using a block-scoped tag" warning?

2023-08-04 Thread John H Palmieri
Great! I like Kwankyu's suggestion that once #36024 is merged (and #36026 and #35095), just run "sage --fixdoctests" on the whole Sage library. On Friday, August 4, 2023 at 2:51:06 PM UTC-7 Matthias Koeppe wrote: > Yes, the release tour contains a link to the new section in the > developer's

[sage-devel] Re: Can we get rid of the "Consider using a block-scoped tag" warning?

2023-08-04 Thread Matthias Koeppe
Yes, the release tour contains a link to the new section in the developer's guide - https://sagemath-tobias.netlify.app/developer/doctesting.html#the-doctest-fixer On Friday, August 4, 2023 at 2:45:21 PM UTC-7 John H Palmieri wrote: > I appreciate the description of the changes in `sage

[sage-devel] Re: Can we get rid of the "Consider using a block-scoped tag" warning?

2023-08-04 Thread John H Palmieri
I appreciate the description of the changes in `sage --fixdoctests` in the release tour, but are these features described anywhere in Sage's documentation? I didn't see anything at #35749 or #36024. On Thursday, August 3, 2023 at 11:31:25 AM UTC-7 Matthias Koeppe wrote: > On Thursday, August

[sage-devel] Re: Can we get rid of the "Consider using a block-scoped tag" warning?

2023-08-03 Thread Kwankyu Lee
On Friday, August 4, 2023 at 1:54:53 AM UTC+9 Volker Braun wrote: The test output is full of "Warning: Consider using a block-scoped tag by inserting the line...", making it hard to see where the actual error is. I agree. Hopefully, the warnings would be removed soon if more people work on

[sage-devel] Re: Can we get rid of the "Consider using a block-scoped tag" warning?

2023-08-03 Thread Matthias Koeppe
On Thursday, August 3, 2023 at 9:54:53 AM UTC-7 Volker Braun wrote: The test output is full of "Warning: Consider using a block-scoped tag by inserting the line...", making it hard to see where the actual error is. Whats the purpose of this? Is somebody working on converting the magic