Haoran SUN

> Mh, this is tricky. I'd very much like to avoid special-casing package-contributed macros... > I'm wondering if StaticLint can provide a plug-in system to allow package authors to support...

> > Isn't ok to have "scripted" plugins for now, instead of declarative plugins? I understand declarative plugins is a better design choice, but does it really hurt to have...

> The reason we are not running arbitrary user code is that it can easily destabilize the entire editing experience. Just imagine a user adds some package with some custom...

 I met the same problem. No idea why xatlas wants to split the left part and the right part into two charts. I am wondering whether this is a...

For the lists/arrays issue, I think a slightly more flexible solution would be being conservative with adding or removing newlines. For example, the default TypeScript formatter of VSCode has such...

> We tried that once in the past, and it is very hard to implement correctly. I understand this may be hard in the current codebase, and not asking it...

FYI, I just found probably a simpler way to get things work. Current `module.mpp` would generate `module.mpp.o.pcm`, if we make the naming pattern to `module.pcm`, then we can just add...

> but vscode and other some ide maybe still not support compile_commands.json with c++modules. I have made some try with `compile_commands.json` manually generated, with `clangd` extension and `clang`, and it...

move to #872. Since they are irrelevant issues. - - - BTW, if I try to execute this code in REPL line by line, I would get this error when...

@Marwes How about separating the playground and static document? Using reverse proxy provided by Nginx or Caddy can easily do this. So when the playground crashes, users can still read...