Skip to content

Internal error when compiling contents with #line and triple-slash /// comments #18433

Closed
@ijklam

Description

@ijklam

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.

Image

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

No one assigned

    Type

    Projects

    Status

    Done

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions