I've opened https://github.com/sagemath/sage/issues/35750 to keep track of the idea of block tags. I have marked it as a wishlist item.
On Thursday, June 8, 2023 at 9:50:49 AM UTC-7 Matthias Koeppe wrote: > On Wednesday, June 7, 2023 at 9:59:28 PM UTC-7 Kwankyu Lee wrote: > > We may also introduce a block tag like ":: optional - sage.modules > sage.rings.finite_rings" that applies to a block of lines. > > > Quick note that I'm all in favor of introducing a mechanism for such block > tags; it's of course a clear gap between the line-level tags and the > file-level tags that we introduced in > https://github.com/sagemath/sage/issues/30778 (see > https://wiki.sagemath.org/ReleaseTours/sage-9.5#Module-level_annotation_.22.23_sage.doctest:_optional_-_FEATURE.22 > ). > > (Note though that this feature was discussed several times over the past > 15 years without coming to life. See > https://github.com/sagemath/sage/issues/30778 for pointers to some of > these discussions.) > > Any help with implementing this feature would be very welcome. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/1dafb0b3-ca80-4b0c-a87a-96e22392b59an%40googlegroups.com.
