Hisham Muhammad

The former example sounds like a specification thing (`symbols_in_scope` reporting the declared type of the variable, not the inferred type at the position; both infos are useful). The latter example...

I think this might be fixed in 0.24.6 thanks to the latest changes by @wu4 !

`local type = require("module")` should already be able to circumvent some circular dependency issues. Could you provide a minimal tiestcase with two example modules which illustrate the problem you're seeing?...

The bit that was similar to #829 is indeed solvable with `local type` as I commented there, but there might be something more in your example here indeed. When I...

> I'm using latest version now and I see that they do still exist in generate lua @svermeulen That's a bug, they should be fully abstract. > I'm doing a...

> Speaking of typescript interfaces they do not have this issue, aka an object can be cast to an interface without suddenly being abstract @Hedwig7s In general a record _can_...

@Hedwig7s @svermeulen please give this PR a try (some of the new testcases include examples of the expected behavior, you can take a look). https://github.com/teal-language/tl/pull/832 The original example from this...

> Great work on Teal! I've been using it for a few months now on a Defold project. Thanks!! That's great to hear! > which suggests these are semi separate...

The binaries of LuaRocks continue to be here, where they have always been: https://luarocks.github.io/luarocks/releases/ The LuaBinaries distributes tons of binaries for many versions: https://sourceforge.net/projects/luabinaries/files/

If it's a problem in the rockspec, then the place to report would be https://github.com/FourierTransformer/tree-sitter-cli (cc @FourierTransformer) But in case it's a problem in LuaRocks: @robinalias does the problem happen...