Re: Lua filter to process chunkedhtml output

["'William Lupton' via pandoc-discuss" <pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>]

[-- Attachment #1: Type: text/plain, Size: 2199 bytes --]

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 <wlupton-QSt+ys/nuMyEUIsrzH9SikB+6BGkLq7r@public.gmane.org>
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 <cd34-gg-4SSc53hpTiu9TMao6EloiEEOCMrvLtNR@public.gmane.org> 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-/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.

[-- Attachment #2: Type: text/html, Size: 3525 bytes --]