intellij-arend
intellij-arend copied to clipboard
Stubs do not work
It seems that stubs for PSI elements are never created.
Is it created now?
No, they're not. I think this might be because of serialized core expressions. When they're loaded, it looks at PSI elements which might cause creating the whole element instead of a stub. So, we need to fix loading of serialized data first.
Also, I think they are not created even when there are no serialized data, but I'm not sure. If this is the case, then there are some other issues.
Ok
According to @sxhya, the "import when selecting completion item" feature relies on the stub index, but they do work. Does that mean stub indices are created now?
Indices do work, but stubs are never created, instead actual PSI elements are always created (not their stubs).