Re: [ANN] CLX - Ahead-of-Time Lua 5.5 Compiler

Does it attempt to do type inference on code (e.g. function parameters,
return values) to increase efficiency of generated code, or does it leave
those values as boxed/generic values?

On Mon, Jun 22, 2026 at 4:10 PM <[email protected]> wrote:

> Metatables and metamethods are supported and are an important part of Lua
> compatibility.
>
> Optimizations are designed not to change observable Lua behavior.
>
> If you have a specific metamethod edge case in mind, I'd be interested in
> testing it against CLX :)
>
>
>
> Le 22/06/2026 21:13, 'eugeny gladkih' via lua-l a écrit :
>
>
>
> On 22 Jun 2026, at 10:58, Samir Tine <[email protected]> wrote:
>
> That's a fair question.
> The goal is not to intentionally exclude Lua features. In fact, CLX
> already supports essentially all Lua 5.5 syntax (including global, <const>
> and <close>) and most of the standard library.
> The main unsupported areas today are features that fundamentally depend on
> runtime code generation or deep interpreter introspection, such as load(),
> loadfile(), dofile(), string.dump(), and most of the debug module.
>
>
> what about meta tables and meta-methods? suddenly, a+b is not the same as
> b+a is :)
>
> --
> Yours sincerely, Eugeny.
>
> --
> You received this message because you are subscribed to the Google Groups
> "lua-l" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion visit
> https://groups.google.com/d/msgid/lua-l/ec6008e19c538029c376616ea2724efc%40luart.org
> <https://groups.google.com/d/msgid/lua-l/ec6008e19c538029c376616ea2724efc%40luart.org?utm_medium=email&utm_source=footer>
> .
>

-- 
You received this message because you are subscribed to the Google Groups "lua-l" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To view this discussion visit https://groups.google.com/d/msgid/lua-l/CAGW0ud1B5%3DKB%3DBZG32GapKBsBrth_gf4BZoxxuoMsoQptoCQnQ%40mail.gmail.com.