Re: lua_close()

[Roberto Ierusalimschy <roberto@...>]

> Shouldn't lua_close() always be called?

For most common uses, this last garbage collection would be a dead weight.
Maybe we could put a command-line option to control whether to call it?

> Have the language designers (or anyone else) used memory-checking utilities
> (like Purify, etc.) to validate that Lua cleans up completely after itself
> after lua_close() executes?

We have tested Lua both with purify and with our own version of memory
profiling (see file lmem.c). We detected no memory leaks. After lua_close,
the allocated memory is zero.

-- Roberto