Skip to content

Incorrect style for NameBuiltinPseudo #1076

@mdbrnowski

Description

@mdbrnowski

Is there an existing issue for this?

  • I have searched the existing issues

Describe the bug

Styles for NameBuiltinPseudo are not handled correctly. It does not affect many languages (because NameBuiltinPseudo is not used that often) but can be observed when using, e.g., Lean, NSIS, F# and others.

This applies to many styles and a number of languages!

To Reproduce

Example in F# (() is of type NameBuiltinPseudo) and autumn style:

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions