-
Notifications
You must be signed in to change notification settings - Fork 825
Closed
Copy link
Labels
Area-Compiler-CheckingType checking, attributes and all aspects of logic checkingType checking, attributes and all aspects of logic checkingBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.
Milestone
Description
The exception
syntax allows type identifiers that contain characters that should be banned by
fsharp/src/Compiler/SyntaxTree/PrettyNaming.fs
Lines 954 to 955 in 4afdc9f
let IllegalCharactersInTypeAndNamespaceNames = | |
[| '.'; '+'; '$'; '&'; '['; ']'; '/'; '\\'; '*'; '\"'; '`' |] |
Repro steps
exception ``Te`.+$/\"st&*[]``
Expected behavior
This provides an error, same as other syntax kinds for declaring types that will appear in the metadata
Actual behavior
Compiles and emits a type with the name Te`.+$/"st&*[]
Known workarounds
N/A
T-Gro
Metadata
Metadata
Assignees
Labels
Area-Compiler-CheckingType checking, attributes and all aspects of logic checkingType checking, attributes and all aspects of logic checkingBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.
Type
Projects
Status
Done