Ihor Radchenko writes: > Ruijie Yu writes: > >>> Compiler list may also be nil. >> >> This should be covered by the repeat case? Unless you want to be explicit >> about this, in which case you can wrap it in a choice, whose first choice >> being (const :tag “description” nil), and the second choice being the repeat >> case. > > Yes, explicit tag will be better. Updated and rebased (cleanly) onto current main. Note that I moved the type into a new line to keep everything below 66 columns.