Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Wrong error positions since version 8.0.0 #167

Closed
peterzeller opened this issue Nov 12, 2020 · 2 comments
Closed

Wrong error positions since version 8.0.0 #167

peterzeller opened this issue Nov 12, 2020 · 2 comments
Assignees
@valentjn
Labels
1-bug 🐛 Issue type: Bug report (something isn't working as expected) 2-confirmed Issue status: Confirmed, reproducible bug in LTeX 3-fixed Issue resolution: Issue has been fixed on the develop branch
Milestone
8.1.0

Comments

@peterzeller
Copy link

Describe the bug

Since version 8.0.0 the error positions are slightly off:

image

(the spelling mistake is also highlighted by another spellcheck plugin, so the last letter is also highlighted)

Steps to reproduce
Run Ltex on the Sample document:

Sample document

\documentclass{article}
    % General document formatting
    \usepackage[margin=0.7in]{geometry}
    \usepackage[parfill]{parskip}
    \usepackage[utf8]{inputenc}

    % Related to math
    \usepackage{amsmath,amssymb,amsfonts,amsthm}

\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{Lemma}[theorem]{Lemma}

\begin{document}


This is a spellling error.
And this are another example.


\end{document}

Problem seems to be in the line \newtheorem{Lemma}[theorem]{Lemma}

Error in log:

WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are anoth", pos = 287, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT

LTeX configuration
Please paste all configuration settings starting with ltex. from your settings.json. You can help us by temporarily removing some irrelevant settings from your settings.json and see if the bug still occurs.

{
  "enabled": [
    "markdown",
    "latex",
    "rsweave"
  ],
  "language": "en-US",
  "dictionary": {
    "en-US": [
      "atomicity",
      "builtin",
      "CRDT",
      "CRDTs",
      "formalizations",
      "prover",
      "Repliss",
      "unsatisfiable"
    ]
  },
  "disabledRules": {},
  "enabledRules": {},
  "hiddenFalsePositives": {},
  "latex": {
    "commands": {},
    "environments": {}
  },
  "markdown": {
    "nodes": {},
    "ignore": [],
    "dummy": []
  },
  "configurationTarget": {
    "dictionary": "workspaceFolderExternalFile",
    "disabledRules": "workspaceFolderExternalFile",
    "hiddenFalsePositives": "workspaceFolderExternalFile"
  },
  "additionalRules": {
    "motherTongue": "",
    "languageModel": "",
    "neuralNetworkModel": "",
    "word2VecModel": ""
  },
  "ltex-ls": {
    "path": "",
    "languageToolHttpServerUri": "",
    "logLevel": "fine"
  },
  "java": {
    "path": "",
    "initialHeapSize": 64,
    "maximumHeapSize": 2048
  },
  "sentenceCacheSize": 20000,
  "diagnosticSeverity": "information",
  "checkFrequency": "edit",
  "clearDiagnosticsWhenClosingFile": true,
  "statusBarItem": false,
  "trace": {
    "server": "verbose"
  },
  "workspaceDictionary": {},
  "workspaceFolderDictionary": {},
  "workspaceDisabledRules": {},
  "workspaceFolderDisabledRules": {},
  "workspaceEnabledRules": {},
  "workspaceFolderEnabledRules": {},
  "commands": {
    "ignore": [],
    "dummy": []
  },
  "environments": {
    "ignore": []
  },
  "ignoreRuleInSentence": []
}

"LTeX Language Server" log file
First, reproduce the bug. Then, go to View → Output and select LTeX Language Server in the drop-down list. Paste this log here:

[... truncated]
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ntheme=color status=draft \n\n\n\nisabelle morekeywords= data type, typedef, type_synonym, definitio"... (truncated to 100 characters)
Nov 12, 2020 12:56:45 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 53 rule matches
Nov 12, 2020 12:56:54 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\\newtheorem{Definition}[theorem]{Definition}\n\\numberwithin{theore", pos = 960, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:56:54 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Definition}[theorem]{Definition}\n\\numberwithin{theorem}{section}\n\n\\setlength{\\abovedispl", pos = 995, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:56:54 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition newtheoremLemma[theorem]Lemma newtheoremDefinition[theorem]Definition theoremsection"... (truncated to 100 characters)
Nov 12, 2020 12:56:54 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 56 rule matches
Nov 12, 2020 12:57:00 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: ""
Nov 12, 2020 12:57:00 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 0 rule matches
Nov 12, 2020 12:57:04 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\nName, date, Exercise X\n\nPart a.\n\nPut your answer to part a here\n\nPart b.\n\netc\n\n"
Nov 12, 2020 12:57:04 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 2 rule matches
Nov 12, 2020 12:57:13 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:57:13 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 2 rule matches
Nov 12, 2020 12:57:13 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:57:13 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 2 rule matches
Nov 12, 2020 12:57:33 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n% \\newtheorem{Definition}[theorem]{Definition}\n\\numberwithin{theo", pos = 960, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:57:33 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition newtheoremLemma[theorem]Lemma theoremsection\n\n\n\ntheme=color status=draft \n\n\n\nisabell"... (truncated to 100 characters)
Nov 12, 2020 12:57:33 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 55 rule matches
Nov 12, 2020 12:57:35 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\\numberwithin{theorem}{section}\n\n\\setlength{\\abovedisplayskip}{0p", pos = 960, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:57:35 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition newtheoremLemma[theorem]Lemma theoremsection\n\n\n\ntheme=color status=draft \n\n\n\nisabell"... (truncated to 100 characters)
Nov 12, 2020 12:57:35 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 55 rule matches
Nov 12, 2020 12:57:53 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\setlength{\\abovedisplayskip}{0pt}\n\\setlength{\\belowdisplayskip}", pos = 960, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:57:53 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition newtheoremLemma[theorem]Lemma\n\n\n\ntheme=color status=draft \n\n\n\nisabelle morekeywords="... (truncated to 100 characters)
Nov 12, 2020 12:57:53 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 54 rule matches
Nov 12, 2020 12:57:56 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition \n\n\n\ntheme=color status=draft \n\n\n\nisabelle morekeywords= data type, typedef, type_syn"... (truncated to 100 characters)
Nov 12, 2020 12:57:56 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 53 rule matches
Nov 12, 2020 12:58:01 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\setlength{\\abovedisplayskip}{0pt}\n\\setlength{\\belowdisplayskip}", pos = 960, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:01 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition newtheoremLemma[theorem]Lemma\n\n\n\ntheme=color status=draft \n\n\n\nisabelle morekeywords="... (truncated to 100 characters)
Nov 12, 2020 12:58:01 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 54 rule matches
Nov 12, 2020 12:58:07 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition \n\n\n\ntheme=color status=draft \n\n\n\nisabelle morekeywords= data type, typedef, type_syn"... (truncated to 100 characters)
Nov 12, 2020 12:58:07 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 53 rule matches
Nov 12, 2020 12:58:09 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\setlength{\\abovedisplayskip}{0pt}\n\\setlength{\\belowdisplayskip}", pos = 960, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:09 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\ndefinition newtheoremLemma[theorem]Lemma\n\n\n\ntheme=color status=draft \n\n\n\nisabelle morekeywords="... (truncated to 100 characters)
Nov 12, 2020 12:58:09 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 54 rule matches
Nov 12, 2020 12:58:19 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:58:19 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 2 rule matches
Nov 12, 2020 12:58:20 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are anoth", pos = 237, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:20 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\nnewtheoremLemma[theorem]Lemma\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:58:20 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 3 rule matches
Nov 12, 2020 12:58:30 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are anoth", pos = 238, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:30 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\nnewtheoremLemma[theorem]Lemma\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:58:30 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 3 rule matches
Nov 12, 2020 12:58:30 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are anoth", pos = 257, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:30 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\nnewtheoremLemma[theorem]Lemma\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:58:30 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 3 rule matches
Nov 12, 2020 12:58:54 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are anoth", pos = 258, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:54 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\n\n\nnewtheoremLemma[theorem]Lemma\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:58:54 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 3 rule matches
Nov 12, 2020 12:58:55 PM org.bsplines.ltexls.parsing.latex.LatexAnnotatedTextBuilder addCode
WARNING: Prevented infinite loop in LatexAnnotatedTextBuilder by skipping a character. Subsequent parsing may be wrong. This is a bug in LTeX. Please file a bug report at https://github.com/valentjn/vscode-ltex/issues and attach the LaTeX document (or some equivalent example) for which this occurred. Debug information: Remaining code = "\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are anoth", pos = 287, dummyCounter = 0, lastSpace = " ", lastPunctuation = "", dummyLastSpace = "", dummyLastPunctuation = "", isMathEmpty = false, mathVowelState = UNDECIDED, preserveDummyLast = false, canInsertSpaceBeforeDummy = false, isMathCharTrivial = false, modeStack = [PARAGRAPH_TEXT], curChar = "\", curString = "\", curMode = PARAGRAPH_TEXT
Nov 12, 2020 12:58:55 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Checking the following text in language 'en-US' via LanguageTool: " \n\n\n\nnewtheoremLemma[theorem]Lemma\n\n\n\nThis is a spellling error. And this are another example.\n\n"
Nov 12, 2020 12:58:55 PM org.bsplines.ltexls.server.DocumentChecker checkAnnotatedTextFragment
FINE: Obtained 3 rule matches

"LTeX Language Client" log file
First, set the ltex.trace.server setting in your settings.json to "verbose". Then, reload the VS Code window and reproduce the bug. Go to View → Output and select LTeX Language Client in the drop-down list. Paste this log here (note: it will contain your checked document):

[... truncated]
        },
        "ignoreRuleInSentence": []
    }
]


[Trace - 12:58:54 PM] Received request 'ltex/workspaceSpecificConfiguration - (90)'.
Params: {
    "items": [
        {
            "scopeUri": "file:///home/peter/work/repliss-paper/bug2.tex",
            "section": "ltex"
        }
    ]
}


[Trace - 12:58:54 PM] Sending response 'ltex/workspaceSpecificConfiguration - (90)'. Processing request took 25ms
Result: [
    {
        "dictionary": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [
                "atomicity",
                "builtin",
                "CRDT",
                "CRDTs",
                "formalizations",
                "prover",
                "Repliss",
                "subgraph",
                "unsatisfiable"
            ],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        },
        "disabledRules": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        },
        "enabledRules": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        },
        "hiddenFalsePositives": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        }
    }
]


[Trace - 12:58:54 PM] Received notification 'ltex/progress'.
Params: {
    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
    "operation": "checkDocument",
    "progress": 0
}


[Trace - 12:58:54 PM] Received notification 'ltex/progress'.
Params: {
    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
    "operation": "checkDocument",
    "progress": 1
}


[Trace - 12:58:54 PM] Received notification 'textDocument/publishDiagnostics'.
Params: {
    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
    "diagnostics": [
        {
            "range": {
                "start": {
                    "line": 16,
                    "character": 9
                },
                "end": {
                    "line": 16,
                    "character": 18
                }
            },
            "severity": 3,
            "source": "LTeX - MORFOLOGIK_RULE_EN_US",
            "message": "Possible spelling mistake found."
        },
        {
            "range": {
                "start": {
                    "line": 17,
                    "character": 3
                },
                "end": {
                    "line": 17,
                    "character": 11
                }
            },
            "severity": 3,
            "source": "LTeX - PLURAL_VERB_AFTER_THIS",
            "message": "The verb 'are' is plural. Did you mean 'these are', 'this is' or 'this was'?"
        }
    ]
}


[Trace - 12:58:55 PM] Sending notification 'textDocument/didChange'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
        "version": 11
    },
    "contentChanges": [
        {
            "text": "\\documentclass{article}\n    % General document formatting\n    \\usepackage[margin=0.7in]{geometry}\n    \\usepackage[parfill]{parskip}\n    \\usepackage[utf8]{inputenc}\n\n    % Related to math\n    \\usepackage{amsmath,amssymb,amsfonts,amsthm}\n\n\\usepackage{amsthm}\n\\newtheorem{theorem}{Theorem}\n\\newtheorem{Lemma}[theorem]{Lemma}\n\n\\begin{document}\n\n\nThis is a spellling error.\nAnd this are another example.\n\n\n\\end{document}"
        }
    ]
}


[Trace - 12:58:55 PM] Received request 'workspace/configuration - (91)'.
Params: {
    "items": [
        {
            "scopeUri": "file:///home/peter/work/repliss-paper/bug2.tex",
            "section": "ltex"
        }
    ]
}


[Trace - 12:58:55 PM] Sending response 'workspace/configuration - (91)'. Processing request took 7ms
Result: [
    {
        "enabled": [
            "markdown",
            "latex",
            "rsweave"
        ],
        "language": "en-US",
        "dictionary": {
            "en-US": [
                "atomicity",
                "builtin",
                "CRDT",
                "CRDTs",
                "formalizations",
                "prover",
                "Repliss",
                "unsatisfiable"
            ]
        },
        "disabledRules": {},
        "enabledRules": {},
        "hiddenFalsePositives": {},
        "latex": {
            "commands": {},
            "environments": {}
        },
        "markdown": {
            "nodes": {},
            "ignore": [],
            "dummy": []
        },
        "configurationTarget": {
            "dictionary": "workspaceFolderExternalFile",
            "disabledRules": "workspaceFolderExternalFile",
            "hiddenFalsePositives": "workspaceFolderExternalFile"
        },
        "additionalRules": {
            "motherTongue": "",
            "languageModel": "",
            "neuralNetworkModel": "",
            "word2VecModel": ""
        },
        "ltex-ls": {
            "path": "",
            "languageToolHttpServerUri": "",
            "logLevel": "fine"
        },
        "java": {
            "path": "",
            "initialHeapSize": 64,
            "maximumHeapSize": 2048
        },
        "sentenceCacheSize": 20000,
        "diagnosticSeverity": "information",
        "checkFrequency": "edit",
        "clearDiagnosticsWhenClosingFile": true,
        "statusBarItem": false,
        "trace": {
            "server": "verbose"
        },
        "workspaceDictionary": {},
        "workspaceFolderDictionary": {},
        "workspaceDisabledRules": {},
        "workspaceFolderDisabledRules": {},
        "workspaceEnabledRules": {},
        "workspaceFolderEnabledRules": {},
        "commands": {
            "ignore": [],
            "dummy": []
        },
        "environments": {
            "ignore": []
        },
        "ignoreRuleInSentence": []
    }
]


[Trace - 12:58:55 PM] Received request 'ltex/workspaceSpecificConfiguration - (92)'.
Params: {
    "items": [
        {
            "scopeUri": "file:///home/peter/work/repliss-paper/bug2.tex",
            "section": "ltex"
        }
    ]
}


[Trace - 12:58:55 PM] Sending response 'ltex/workspaceSpecificConfiguration - (92)'. Processing request took 25ms
Result: [
    {
        "dictionary": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [
                "atomicity",
                "builtin",
                "CRDT",
                "CRDTs",
                "formalizations",
                "prover",
                "Repliss",
                "subgraph",
                "unsatisfiable"
            ],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        },
        "disabledRules": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        },
        "enabledRules": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        },
        "hiddenFalsePositives": {
            "ar": [],
            "ast-ES": [],
            "be-BY": [],
            "br-FR": [],
            "ca-ES": [],
            "ca-ES-valencia": [],
            "da-DK": [],
            "de": [],
            "de-AT": [],
            "de-CH": [],
            "de-DE": [],
            "de-DE-x-simple-language": [],
            "el-GR": [],
            "en": [],
            "en-AU": [],
            "en-CA": [],
            "en-GB": [],
            "en-NZ": [],
            "en-US": [],
            "en-ZA": [],
            "eo": [],
            "es": [],
            "fa": [],
            "fr": [],
            "ga-IE": [],
            "gl-ES": [],
            "it": [],
            "ja-JP": [],
            "km-KH": [],
            "nl": [],
            "pl-PL": [],
            "pt": [],
            "pt-AO": [],
            "pt-BR": [],
            "pt-MZ": [],
            "pt-PT": [],
            "ro-RO": [],
            "ru-RU": [],
            "sk-SK": [],
            "sl-SI": [],
            "sv": [],
            "ta-IN": [],
            "tl-PH": [],
            "uk-UA": [],
            "zh-CN": []
        }
    }
]


[Trace - 12:58:55 PM] Received notification 'ltex/progress'.
Params: {
    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
    "operation": "checkDocument",
    "progress": 0
}


[Trace - 12:58:55 PM] Received notification 'ltex/progress'.
Params: {
    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
    "operation": "checkDocument",
    "progress": 1
}


[Trace - 12:58:55 PM] Received notification 'textDocument/publishDiagnostics'.
Params: {
    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
    "diagnostics": [
        {
            "range": {
                "start": {
                    "line": 11,
                    "character": 0
                },
                "end": {
                    "line": 11,
                    "character": 16
                }
            },
            "severity": 3,
            "source": "LTeX - UPPERCASE_SENTENCE_START",
            "message": "This sentence does not start with an uppercase letter."
        },
        {
            "range": {
                "start": {
                    "line": 16,
                    "character": 9
                },
                "end": {
                    "line": 16,
                    "character": 18
                }
            },
            "severity": 3,
            "source": "LTeX - MORFOLOGIK_RULE_EN_US",
            "message": "Possible spelling mistake found."
        },
        {
            "range": {
                "start": {
                    "line": 17,
                    "character": 3
                },
                "end": {
                    "line": 17,
                    "character": 11
                }
            },
            "severity": 3,
            "source": "LTeX - PLURAL_VERB_AFTER_THIS",
            "message": "The verb 'are' is plural. Did you mean 'these are', 'this is' or 'this was'?"
        }
    ]
}


[Trace - 12:58:55 PM] Sending request 'textDocument/codeAction - (117)'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
    },
    "range": {
        "start": {
            "line": 10,
            "character": 29
        },
        "end": {
            "line": 10,
            "character": 29
        }
    },
    "context": {
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 10,
                        "character": 0
                    },
                    "end": {
                        "line": 10,
                        "character": 65535
                    }
                },
                "message": "No counter 'theorem' defined.\n",
                "severity": 1,
                "source": "LaTeX"
            }
        ]
    }
}


[Trace - 12:58:55 PM] Received response 'textDocument/codeAction - (117)' in 3ms.
Result: []


[Trace - 12:58:55 PM] Sending notification 'textDocument/didSave'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
        "version": 11
    }
}


[Trace - 12:58:55 PM] Sending request 'textDocument/codeAction - (118)'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
    },
    "range": {
        "start": {
            "line": 10,
            "character": 29
        },
        "end": {
            "line": 10,
            "character": 29
        }
    },
    "context": {
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 10,
                        "character": 0
                    },
                    "end": {
                        "line": 10,
                        "character": 65535
                    }
                },
                "message": "No counter 'theorem' defined.\n",
                "severity": 1,
                "source": "LaTeX"
            }
        ]
    }
}


[Trace - 12:58:55 PM] Received response 'textDocument/codeAction - (118)' in 7ms.
Result: []


[Trace - 12:58:56 PM] Sending request 'textDocument/codeAction - (119)'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
    },
    "range": {
        "start": {
            "line": 10,
            "character": 29
        },
        "end": {
            "line": 10,
            "character": 29
        }
    },
    "context": {
        "diagnostics": []
    }
}


[Trace - 12:58:56 PM] Received response 'textDocument/codeAction - (119)' in 3ms.
Result: []


[Trace - 12:58:58 PM] Sending request 'textDocument/codeAction - (120)'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
    },
    "range": {
        "start": {
            "line": 11,
            "character": 0
        },
        "end": {
            "line": 11,
            "character": 16
        }
    },
    "context": {
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 11,
                        "character": 0
                    },
                    "end": {
                        "line": 11,
                        "character": 16
                    }
                },
                "message": "This sentence does not start with an uppercase letter.",
                "severity": 3,
                "source": "LTeX - UPPERCASE_SENTENCE_START"
            }
        ],
        "only": [
            "quickfix"
        ]
    }
}


[Trace - 12:58:58 PM] Received response 'textDocument/codeAction - (120)' in 7ms.
Result: [
    {
        "title": "Hide false positive",
        "kind": "quickfix.ltex.hideFalsePositives",
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 11,
                        "character": 0
                    },
                    "end": {
                        "line": 11,
                        "character": 16
                    }
                },
                "severity": 3,
                "source": "LTeX - UPPERCASE_SENTENCE_START",
                "message": "This sentence does not start with an uppercase letter."
            }
        ],
        "command": {
            "title": "Hide false positive",
            "command": "ltex.hideFalsePositives",
            "arguments": [
                {
                    "type": "command",
                    "command": "ltex.hideFalsePositives",
                    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
                    "falsePositives": {
                        "en-US": [
                            "{\"rule\":\"UPPERCASE_SENTENCE_START\",\"sentence\":\"^\\\\QnewtheoremLemma[theorem]Lemma\\\\E$\"}"
                        ]
                    }
                }
            ]
        }
    },
    {
        "title": "Disable rule",
        "kind": "quickfix.ltex.disableRules",
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 11,
                        "character": 0
                    },
                    "end": {
                        "line": 11,
                        "character": 16
                    }
                },
                "severity": 3,
                "source": "LTeX - UPPERCASE_SENTENCE_START",
                "message": "This sentence does not start with an uppercase letter."
            }
        ],
        "command": {
            "title": "Disable rule",
            "command": "ltex.disableRules",
            "arguments": [
                {
                    "type": "command",
                    "command": "ltex.disableRules",
                    "uri": "file:///home/peter/work/repliss-paper/bug2.tex",
                    "ruleIds": {
                        "en-US": [
                            "UPPERCASE_SENTENCE_START"
                        ]
                    }
                }
            ]
        }
    },
    {
        "title": "Use 'NewtheoremLemma'",
        "kind": "quickfix.ltex.acceptSuggestions",
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 11,
                        "character": 0
                    },
                    "end": {
                        "line": 11,
                        "character": 16
                    }
                },
                "severity": 3,
                "source": "LTeX - UPPERCASE_SENTENCE_START",
                "message": "This sentence does not start with an uppercase letter."
            }
        ],
        "edit": {
            "documentChanges": [
                {
                    "textDocument": {
                        "version": 11,
                        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
                    },
                    "edits": [
                        {
                            "range": {
                                "start": {
                                    "line": 11,
                                    "character": 0
                                },
                                "end": {
                                    "line": 11,
                                    "character": 16
                                }
                            },
                            "newText": "NewtheoremLemma"
                        }
                    ]
                }
            ]
        }
    }
]


[Trace - 12:59:07 PM] Sending request 'textDocument/codeAction - (121)'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
    },
    "range": {
        "start": {
            "line": 16,
            "character": 26
        },
        "end": {
            "line": 16,
            "character": 26
        }
    },
    "context": {
        "diagnostics": []
    }
}


[Trace - 12:59:07 PM] Received response 'textDocument/codeAction - (121)' in 3ms.
Result: []


[Trace - 12:59:19 PM] Sending request 'textDocument/codeAction - (122)'.
Params: {
    "textDocument": {
        "uri": "file:///home/peter/work/repliss-paper/bug2.tex"
    },
    "range": {
        "start": {
            "line": 17,
            "character": 29
        },
        "end": {
            "line": 17,
            "character": 29
        }
    },
    "context": {
        "diagnostics": []
    }
}


[Trace - 12:59:19 PM] Received response 'textDocument/codeAction - (122)' in 4ms.
Result: []


2020-11-12T11:59:24.022Z Info: Creating bug report...
[Trace - 12:59:24 PM] Sending request 'ltex/serverStatus - (123)'.

Version information
List here the version information of the relevant software.

  • Operating system: Linux (linux), x64, 5.4.0-52-generic
  • VS Code: 1.51.1
  • vscode-ltex: 8.0.0
  • ltex-ls: 8.0.0
  • Java: 11.0.9

Additional context/information
You can add any other context or information about the problem here.
@peterzeller peterzeller added 1-bug 🐛 Issue type: Bug report (something isn't working as expected) 2-unconfirmed Issue status: Bug that needs to be reproduced (all new bugs have this label) labels Nov 12, 2020
@valentjn valentjn added 2-confirmed Issue status: Confirmed, reproducible bug in LTeX and removed 2-unconfirmed Issue status: Bug that needs to be reproduced (all new bugs have this label) labels Nov 15, 2020
@valentjn valentjn self-assigned this Nov 15, 2020
@valentjn valentjn added this to the 8.1.0 milestone Nov 15, 2020
@valentjn valentjn added 3-fixed Issue resolution: Issue has been fixed on the develop branch 2-confirmed Issue status: Confirmed, reproducible bug in LTeX and removed 2-confirmed Issue status: Confirmed, reproducible bug in LTeX labels Nov 15, 2020
@valentjn
Copy link
Owner

valentjn commented Nov 15, 2020 •
edited
Loading

Thanks for the report. This is indeed a regression from 8.0.0; it should be fixed now. The problem occurred every time a command with built-in support was used with an unknown set of arguments (e.g., for \newtheorem, only two brace arguments were supported).

Also, I added support for the optional arguments of \newtheorem, so you won't get any false positives for this anymore.

@valentjn
Copy link
Owner

Fix released in 8.1.0.

me-johnomar added a commit to me-johnomar/ltex-ls that referenced this issue Jan 31, 2024
@me-johnomar @valentjn
Fix infinite loop if arg. protoypes don't match
72590d4 
Fixes valentjn/vscode-ltex#167.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@valentjn valentjn

Labels
1-bug 🐛 Issue type: Bug report (something isn't working as expected) 2-confirmed Issue status: Confirmed, reproducible bug in LTeX 3-fixed Issue resolution: Issue has been fixed on the develop branch
Projects
None yet
Milestone
8.1.0
Development

No branches or pull requests
2 participants
@peterzeller @valentjn