Skip to content

Cannot go to definition for FSharp.Core in .NET 10 Devcontainer #2115

@serefarikan

Description

@serefarikan

Describe the bug

Go to definition is not working when a devcontainer based on .NET 10 is used.

Steps to reproduce

Use connect to WSL feature of vs code under Windows (10)
From the vs code terminal, create a new folder, then open that folder in vs code
Use Add DevContainer configuration files feature of Vs Code, search for F# and add an F# devcontainer.
Change the image id in the devcontainer.json file to the latest as: "image": "mcr.microsoft.com/devcontainers/dotnet"
When Vs Code asks to open the directory in a devcontainer, allow it to do that.
After the devcontainer is built, use the vs code terminal to create a new classlib with F#, e.g. dotnet new classlib -lang F# -n MyLib" Use Reload Window action/feature of vs code Try to go to the definition of printfnin theLibrary.fs` file.

Link to sample reproduction

Please see this gist

Expected behaviour

Go to definition works as demonstrated here: #1092 (comment)

Screenshots

Machine infos

  • OS: Windows 10, using WSL2, Docker Desktop with WSL backend
  • .NET SDK version: 10.0.104
  • Ionide version: 7.30.0

Additional context

It works as expected with .net 8, i.e. if we leave the auto generated image version: "image": "mcr.microsoft.com/devcontainers/dotnet:1-8.0",
It also works when the host windows machine (with .net SDK 10) is used to create the same library project, without using a devcontainer. So the issue emerges on the devcontainer scenario, with .net 10. Devcontainer with .net 8 image also works. "image": "mcr.microsoft.com/devcontainers/dotnet:1-9.0", also works, i.e. Devcontainer with .net 9.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions