Hisham Muhammad

The above example works if you replace ```lua local interface testFuns2 is testFuns ``` with ```lua local interface testFuns2 ``` and perform the inheritance only in `Extended`, and inherit `testfuns2`...

@tobil4sk The intention with the Teal port is to move to a model where we build a single `luarocks` binary, which embeds its Lua interpreter and all required dependencies (this...

`foo is T` is an odd construct, because, since `T` is an unconstrained type variable, there is no reasonable Lua-expansion for that expression that would produce a valid runtime assertion....

Marking this as a "good first issue": detecting that the `rb` type is a TypeVarType in the `if node.op.op == "is"` section and then reporting that `is` cannot be applied...

#719 was not about adding LUA_VERSION to LuaRocks's own makefile. It was about making a `$(LUA_VERSION)` variable available to rockspecs that use the `make` build type.

This no longer crashes, but it does report `unknown type T`. The interaction of type variables and public nested types does pose a problem... what _is_ really the type `A.MyT`?...

I'm downgrading this from "bug" to "semantics issue" since it's not clear what the desired behavior is.

Looks like an incompatibility specific to the platform. We're moving the sysdetect module to a separate repo: https://github.com/luarocks/sysdetect. Are you able to upload any representative binary for this platform (e.g....

Do `os.getenv("SHELL")` return valid binaries on your systems? We could add that to the sysdetect try-list.

Thanks for the report. I'm not classifying this as a bug because Teal does not guarantee full inference (it is in fact impossible to guarantee full inference when generics and...