Update: Until today, logging.lua assumed that pairs() would work on all userdata. Option 2 (my favourite) should work well if there are ever any other types of userdata (not sure whether there ever will be). On Fri, 20 Jan 2023 at 16:29, William Lupton wrote: > Thanks Albert. I expect I'll raise an issue. I assume that this is the > only use of light userdata? > > Looking more closely (why didn't I do this before?) I see that tostring() > returns 'userdata: 0x0' for these values, so I think it makes sense to > report them as one of: > > - Whatever tostring() returns > - As above with the leading 'userdata: ' removed > <--- probably my favourite > - As above with '0x0' reported as 'nil' (not sure about this) > > > On Fri, 20 Jan 2023 at 16:05, ChrisD wrote: > >> On 1/20/2023 2:54 AM, 'William Lupton' via pandoc-discuss wrote: >> > I investigated, and parts of the writer options are "light userdata" (I >> hadn't heard of that). I've committed and merged a fix that will report >> such items as "". You can now list most of the writer options >> (just a few colors show as ). >> >> Your update works well. (I didn't know about light userdata either.) >> Thanks! >> >> -- >> You received this message because you are subscribed to the Google Groups >> "pandoc-discuss" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/pandoc-discuss/fbca8e05-fed7-39e1-08f0-0498c399f33f%40intielectronics.com >> . >> > -- You received this message because you are subscribed to the Google Groups "pandoc-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/CAEe_xxhhsG_NA%2BPL%2B5A2TyHHqNOC-%3Dsdi1jX-NYunf9fsHtH1A%40mail.gmail.com.