diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2018-10-13 14:57:20 +0200 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2018-10-13 14:57:20 +0200 |
commit | d126c26dd5f9eaed17462a3f1836b0edaf79e11c (patch) | |
tree | 33a738c27479c43a575ef1d466d24f7f9ebd913c /stack.yaml | |
parent | 3db9e15689766b7f416e0410252297dff11bd770 (diff) | |
download | pandoc-d126c26dd5f9eaed17462a3f1836b0edaf79e11c.tar.gz |
Lua filter internals: push Shared.Element as userdata
Hierarchical Elements were pushed to Lua as plain tables. This is
simple, but has the disadvantage that marshaling is eager: all child
elements will be marshaled as part of the object. Using a Lua userdata
object instead allows lazy access to fields, causing content marshaling
just (but also each time) when a field is accessed. Filters which do not
traverse the full element contents tree become faster as a result.
Diffstat (limited to 'stack.yaml')
0 files changed, 0 insertions, 0 deletions