[Dev-luatex] # => ## in \directlua

[Taco Hoekwater]

David Kastrup wrote:
>>
>> So `#' is transformed into `##' when passed from TeX to Lua.
> 
> No, when TeX prints.

You are saying the same thing. The tokenlist that results from
the <general text> that is read after the \directlua is internally
converted to a string before the lua interpreter gets a look at it.

This currently uses TeX's tokenlist print function, but I could
make it behave differently, no problem (after all, this
generated string is only 'seen' by the lua interpreter).


Best wishes,
Taco