-
-
Notifications
You must be signed in to change notification settings - Fork 470
Incorrect style for NameBuiltinPseudo #1076
Copy link
Copy link
Closed
Labels
Description
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:
Reactions are currently unavailable