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
Internal error when inputting contents with
#lineand triple-slash///comments. This makes we cannot repeatedly evaluating a block of script with///comments using theFSI: send selectionfeature (pressingAlt + Enter) of Ionide.Repro steps
Repeating input this simplest code into the
fsi: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 tofsi.Related information