As far as I can tell, Luau.Web.js loads some WASM that lets you run Luau on the web, but it doesn't bundle one of Luau's biggest features: type checking. Adding another function into the module like checkScript that checks the types of the script would be awesome.
Use case
The main use case for this is to have a better online editor for things like the demo.
Technicalities
Some additional code will be needed to handle global type files and allowing the imports of types in general. A solution could be for checkScript could take the source, and then an array of source "type files".
As far as I can tell,
Luau.Web.jsloads some WASM that lets you run Luau on the web, but it doesn't bundle one of Luau's biggest features: type checking. Adding another function into the module likecheckScriptthat checks the types of the script would be awesome.Use case
The main use case for this is to have a better online editor for things like the demo.
Technicalities
Some additional code will be needed to handle global type files and allowing the imports of types in general. A solution could be for
checkScriptcould take thesource, and then an array of source "type files".