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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/acec1cb4-9e8e-4046-bed1-ba6dd9d78590n%40googlegroups.com.
