> Anyway, this causes unregisterBoxPointer() to raise an error. This errors
> gets thrown, but is not protected by luaD_protectedparser (only the parsing
> itself is protected), which causes my application to terminate, instead of
> simply failing to load the script as I would have expected, and as would
> occur in case of a syntax error.
This is a bug. We will fix it.
-- Roberto