8000 Correctly determine the category code of the ampersand (`@`) during lexical analysis · Issue #36 · Witiko/expltools · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Correctly determine the category code of the ampersand (@) during lexical analysis #36
Closed
@Witiko

Description

@Witiko

Make the following changes:

  1. Add a new string option make_at_letter that specifies the category code of the ampersand (@) to explcheck-config.lua.
    • The possible values are true, false, and "auto".
    • The default value is "auto".
  2. Add a corresponding new command-line option --make-at-letter to explcheck-cli.lua.
  3. If the option is enabled, consider @ a letter during lexical analysis. Otherwise, consider @ an "other" character.
  4. Use context clues to determine whether the option should be enabled or disabled when the value is "auto".
    • Initially, the presence of LaTeX2e commands from LaTeX for package and class authors or LaTeX3 commands like \ProvidesExplClass and \ProvidesExplPackage is a strong indicator that the option should be enabled.
    • In the future, we may want to analyze the use of the LaTeX2e commands \makeatletter and \makeatletter to determine for which parts of a file the option should be enabled.

As discussed in #30.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0