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:

On Fri, 20 Jan 2023 at 16:05, ChrisD <cd34-gg@intielectronics.com> 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 "<pointer>". You can now list most of the writer options (just a few colors show as <pointer>).

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-/JYPxA39Uh5TLH3MbocFFw@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-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/CAEe_xxiJdneKg%2Buqja3tdaWzQSWmc5NfO0aMFKaUGa_W1U5%2Bqg%40mail.gmail.com.