Description
Internal error when inputting contents with #line
and triple-slash ///
comments. This makes we cannot repeatedly evaluating a block of script with ///
comments using the FSI: send selection
feature (pressing Alt + Enter
) of Ionide.
Repro steps
Repeating input this simplest code into the fsi
:
# 1
/// comment
let abc = 0
;;
And you will get error FS0193: internal error: An item with the same key has already been added. Key: (2,0)
.
Expected behavior
No internal error will raise. Code can compile successfully.
Actual behavior
Internal error occurs.
Known workarounds
Don't include the ///
comments when send contents to fsi
.
Related information
- .NET 9.0.200
- Editing Tools: Microsoft (R) F# Interactive version F# 9.0 的 13.9.201.0
Metadata
Metadata
Assignees
Type
Projects
Status
Done