Preliminary discussion before voting: Block-scoped optional tag and the keyword

48 views
Skip to first unread message

Kwankyu Lee

unread,
Jun 22, 2023, 6:43:48 PM6/22/23
to sage-devel
Hi,

While discussions on modularization efforts are on going, we are working on
providing block-scoped optional tag in


but we didn't come to an agreement on the keyword triggering optional tests, to be used instead of "optional" (we did agree on using a different keyword from "optional" :-). Because we all will use and see this keyword throughout the sage doctests, I hope you get interested in this discussion. So before we go to the voting, please come to the discussion and give comments. Especially you can suggest your own keyword if you do not like what we already suggested. I hope this voting should be a fun to enjoy.

Thanks for attention. 


Kwankyu Lee

unread,
Jun 22, 2023, 6:47:01 PM6/22/23
to sage-devel
If you want to see the current candidates right away,  see this

Reply all
Reply to author
Forward
0 new messages