search

slatex / sTeX-IDE

GNU General Public License v3.0
0 stars 0 forks source link

problems with finding tree?root #7

Closed kohlhase closed 2 years ago

kohlhase commented 2 years ago

There still seems to be a problem with the linter, in MathHub/MiKoMH/GenCS/source/atp0/mod/tableaux-formal.en.tex two instances of \symname{tree?tree} give a could not find symbol error, whereas other instances are OK. And the tree module is imported (via branch).

kohlhase commented 2 years ago

There are quite a lot of errors that are similar (all with tree) all over the corpus.

Jazzpirate commented 2 years ago

That's because "tree" is a nested module - it's actually called tree/tree-structure. If you need to disambiguate it, you need to do \symname{tree/tree-structure?tree}

kohlhase commented 2 years ago

OK, I understand. But the linter does not seem to offer the disambiguation to me when I remove the tree?

Jazzpirate commented 2 years ago

...It did for me (I already did that in several places in smglom/graphs, and indeed the quickest way was to just delete the tree? prefix and immediately get a quick fix)... do you have a concrete example?

kohlhase commented 2 years ago

I have restarted vscode and I now have problems with MathHub/MiKoMH/IWGS/source/digdocs/mod/lxml-elements.en.tex There the linter does not find tree/tree-structure components even thougt the module is imported.

Screenshot 2022-09-12 at 08 53 51
Jazzpirate commented 2 years ago

there are some other problems with {usestructure} and imports/extstructure as well. Currently fixing, then will check again

Jazzpirate commented 2 years ago

Fixed some things, but lxml-elements (as on gl.mathhub.info) does not import tree/tree-structure anywhere...? If I wrap the first frame in a {usestructure}{tree}, everything is linted correctly (now), pushed MiKoMH/IWGS as well to add the usestructure.