Break direct C# dependency and instead light up debug/build functionality at runtime #1903

baronfel · 2023-07-30T22:03:26Z

WHAT

`🤖 Generated by Copilot at f225697`

This pull request adds a feature to make the ms-dotnettools.csharp extension optional for debugging and building F# projects in VS Code. It introduces a new context variable fsharp.debuggerAvailable that depends on the availability and status of the C# extension, and uses it to conditionally activate various commands and shortcuts in the package.json file. It also adds a new module CSharpExtension that provides the logic for checking and warning about the C# extension, and modifies the Debugger and MSBuild modules to use it.

`🤖 Generated by Copilot at f225697`

To debug and build F# with ease
You no longer need C# keys
Just check fsharp.debuggerAvailable
And if not, show a warning label
And activate the commands as you please

🚨🔧🚀

WHY

Ok, so we have a nonzero amount of folks that just want to get going with F#, and right now our hard dependency on the C# extension can introduce a source of instability. What if we could detect the presence of the C# extension at run time and light up debug/launch tasks support if it is found, while notifying the user that those features will not be available until they install that extension?

Basic plan of attack:

make a new Context value for debugger support
set that value by probing for the C# extension
change debugger/msbuild activation to only register commands if C# is present
use the context value to act as part of the when condition for lots of the commands we declare in package.json

TODO:

manual testing
figure out how the user dialog when no C# extension is available should look
figure out how to detect the extensions' runtime context and swap between the openVSIX gallery C# extension and the VSCode marketplace C# extension
respond to new extension installations over the lifetime of the Ionide extension
ensure msbuild/debugger command registrations occur when C# is installed after activation
ensure solution and project-level right-click options only show when debugger is available
rename the context key as @TheAngryByrd suggests below

HOW

`🤖 Generated by Copilot at f225697`

Make the C# extension optional for debugging and building F# projects (link, link, link, link, link, link, link, link, link, link, link)
Add a condition to the when property of the MSBuild and F# commands in the package.json file, using the fsharp.debuggerAvailable context variable (link, link, link, link, link, link)
Remove the ms-dotnettools.csharp extension from the extensionDependencies array in the package.json file (link)
Add a new module CSharpExtension in src/Components/CSharpExtensionSupport.fs that defines functions and variables to check, set, and warn about the C# extension availability (link, link)
Modify the activate functions in the Debugger and MSBuild modules in src/Components/Debugger.fs and src/Components/MSBuild.fs to use the CSharpExtension module and only register the commands and providers if the C# extension is available (link, link)
Remove a trailing whitespace from the package.json file (link)

src/Components/CSharpExtensionSupport.fs

release/package.json

src/Components/CSharpExtensionSupport.fs

baronfel · 2023-08-19T21:00:49Z

Ok, this is ready for other folks to poke at it. The build-related commands (restore, clean, build, rebuild) are always available, and the run commands are too. Only the debug commands are really disabled now, and the way we enforce this is by wrapping the call to generate the in-memory debug configurations. If no C# extension has been found, we generate no configurations. Otherwise we do our normal thing.

baronfel · 2023-08-19T21:02:12Z

src/Components/CSharpExtensionSupport.fs

+    let tryFindCSharpExtension () =
+        if not hasLookedForCSharp then
+            match extensions.getExtension resolvedCSharpExtensionName with
+            | None -> csharpAvailableContext false
+            | Some e ->
+                csharpExtension <- e
+                csharpAvailableContext true
+
+            hasLookedForCSharp <- true
+
+        hasCSharp
+
+    let warnAboutMissingCSharpExtension () =
+        if not hasWarned then
+            window.showWarningMessage (
+                $"The C# extension isn't installed, so debugging and some build tools will not be available. Consider installing the C# extension to enable those features.",
+                [| "Install C# Extension" |]
+            )
+            |> Promise.ofThenable
+            |> Promise.bind (fun c ->
+                if c = Some "Install C# Extension" then
+                    commands.executeCommand ("extension.open", [| Some(box resolvedCSharpExtensionName) |])
+                    |> Promise.ofThenable
+                else
+                    Promise.empty)
+            |> Promise.catch (fun e ->
+                printfn $"Error installing C# extension: {Fable.Core.JS.JSON.stringify e}"
+                Promise.empty)
+            |> ignore<Fable.Core.JS.Promise<_>>
+
+            hasWarned <- true


These two are designed to be cheap to call, so that components that rely on the debugger can match/call them inside processing loops naievely instead of having to be truly 'reactive'

baronfel · 2023-08-19T21:02:50Z

src/Components/Debugger.fs

+                    match CSharpExtension.tryFindCSharpExtension () with
+                    | false ->
+                        CSharpExtension.warnAboutMissingCSharpExtension ()
+                        promise { return ResizeArray() }
+                    | true ->
+                        promise {
+                            logger.Info("Evaluating launch settings configurations for %O", folder)
+                            let projects = Project.getLoaded ()
+                            let! msbuildTasks = tasks.fetchTasks (msbuildTasksFilter)
+
+                            let tasks =
+                                projects
+                                |> List.collect (fun (p: Project) ->
+                                    [ let projectFile = node.path.basename p.Project
+
+                                      let buildTaskForProject =
+                                          msbuildTasks
+                                          |> Seq.tryFind (fun t ->
+                                              t.group = Some vscode.TaskGroup.Build && t.name = projectFile)
+                                      // emit configurations for any launchsettings for this project
+                                      match readSettingsForProject p with
+                                      | Some launchSettings ->
+                                          yield! configsForProject (p, launchSettings, buildTaskForProject)
+                                      | None -> ()
+                                      // emit a default configuration for this project if it is an executable
+                                      match defaultConfigForProject (p, buildTaskForProject) with
+                                      | Some p -> yield p
+                                      | None -> () ])
+
+                            return ResizeArray tasks
+                        }


This is all the same logic, just wrapped in a 'if debugging exists then .. else' block

baronfel · 2023-08-19T21:03:07Z

src/Components/MSBuild.fs

-                    None
-
-            fun _ -> f p
-
        tasks.registerTaskProvider ("msbuild", msbuildBuildTaskProvider)


These two functions were unused.

baronfel · 2023-08-19T21:03:28Z

src/Ionide.FSharp.fsproj

-    <Compile Include="fsharp.fs" />
-  </ItemGroup>
-  <Import Project="..\.paket\Paket.Restore.targets" />
+<?xml version="1.0" encoding="utf-8"?>


No actual change here - just line endings maybe?

baronfel · 2023-08-19T21:05:24Z

If you're going to take this for a test drive, start by uninstalling C# and then reloading your environment. Debugging shouldn't work at all, but building/launching should.
Then install C# - you should get a notification that debugging has been enabled. Now debugging should work.
If you remove C#, there's no actual change - because the extension isn't actually removed until you reload VSCode. This is the same flow as starting up and not finding C#, which you already covered.

baronfel · 2023-09-14T02:06:25Z

@TheAngryByrd pointed out that the extension list query for "@category:debuggers F#" doesn't point directly to the C# extension (the vehicle for the functionality). We should reach out to that team to see what we can do.

Alternatively we could keep the commands enabled on our side, but have their implementations simply send the notification to install the C# extension directly.

TheAngryByrd · 2023-09-14T02:15:04Z

We get some disappointing first generated launch.json.

{
    // Use IntelliSense to learn about possible attributes.
    // Hover to view descriptions of existing attributes.
    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
    "version": "0.2.0",
    "configurations": [
        {
            "name": ".NET Core Launch (console)",
            "type": "coreclr",
            "request": "launch",
            "WARNING01": "*********************************************************************************",
            "WARNING02": "The C# extension was unable to automatically decode projects in the current",
            "WARNING03": "workspace to create a runnable launch.json file. A template launch.json file has",
            "WARNING04": "been created as a placeholder.",
            "WARNING05": "",
            "WARNING06": "If the server is currently unable to load your project, you can attempt to",
            "WARNING07": "resolve this by restoring any missing project dependencies (example: run 'dotnet",
            "WARNING08": "restore') and by fixing any reported errors from building the projects in your",
            "WARNING09": "workspace.",
            "WARNING10": "If this allows the server to now load your project then --",
            "WARNING11": "  * Delete this file",
            "WARNING12": "  * Open the Visual Studio Code command palette (View->Command Palette)",
            "WARNING13": "  * run the command: '.NET: Generate Assets for Build and Debug'.",
            "WARNING14": "",
            "WARNING15": "If your project requires a more complex launch configuration, you may wish to",
            "WARNING16": "delete this configuration and pick a different template using the 'Add",
            "WARNING17": "Configuration...' button at the bottom of this file.",
            "WARNING18": "*********************************************************************************",
            "preLaunchTask": "build",
            "program": "${workspaceFolder}/bin/Debug/<insert-target-framework-here>/<insert-project-name-here>.dll",
            "args": [],
            "cwd": "${workspaceFolder}",
            "console": "internalConsole",
            "stopAtEntry": false
        },
        {
            "name": ".NET Core Attach",
            "type": "coreclr",
            "request": "attach"
        }
    ]
}

Doubt this is something we can do but it will be a concern for newer people trying to debug a project.

TheAngryByrd · 2023-09-14T02:26:05Z

Also trying to run a project from the Solution Explorer fails:

debugging-icedtasks.mp4

Where it does seem to work in the current version.

TheAngryByrd · 2023-09-14T02:29:43Z

Wonder if there's gonna be complications with #1927

baronfel · 2023-09-14T02:32:08Z

good spot - I'm assuming #1927 will go first. If it does then I'll do the same checks I've done here for the debugging commands.

baronfel · 2023-09-17T16:06:56Z

We get some disappointing first generated launch.json.

{
    // Use IntelliSense to learn about possible attributes.
    // Hover to view descriptions of existing attributes.
    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
    "version": "0.2.0",
    "configurations": [
        {
            "name": ".NET Core Launch (console)",
            "type": "coreclr",
            "request": "launch",
            "WARNING01": "*********************************************************************************",
            "WARNING02": "The C# extension was unable to automatically decode projects in the current",
            "WARNING03": "workspace to create a runnable launch.json file. A template launch.json file has",
            "WARNING04": "been created as a placeholder.",
            "WARNING05": "",
            "WARNING06": "If the server is currently unable to load your project, you can attempt to",
            "WARNING07": "resolve this by restoring any missing project dependencies (example: run 'dotnet",
            "WARNING08": "restore') and by fixing any reported errors from building the projects in your",
            "WARNING09": "workspace.",
            "WARNING10": "If this allows the server to now load your project then --",
            "WARNING11": "  * Delete this file",
            "WARNING12": "  * Open the Visual Studio Code command palette (View->Command Palette)",
            "WARNING13": "  * run the command: '.NET: Generate Assets for Build and Debug'.",
            "WARNING14": "",
            "WARNING15": "If your project requires a more complex launch configuration, you may wish to",
            "WARNING16": "delete this configuration and pick a different template using the 'Add",
            "WARNING17": "Configuration...' button at the bottom of this file.",
            "WARNING18": "*********************************************************************************",
            "preLaunchTask": "build",
            "program": "${workspaceFolder}/bin/Debug/<insert-target-framework-here>/<insert-project-name-here>.dll",
            "args": [],
            "cwd": "${workspaceFolder}",
            "console": "internalConsole",
            "stopAtEntry": false
        },
        {
            "name": ".NET Core Attach",
            "type": "coreclr",
            "request": "attach"
        }
    ]
}

Doubt this is something we can do but it will be a concern for newer people trying to debug a project.

I think if we can get the C# extension to add fsharp here then your search will work @TheAngryByrd. They are also trying to make an entirely new debug type labeled C# that is entirely dynamic (configuration for that is here that we might be able to copy from - this one is driving the 'f5 from nothing' experience for C# users.

baronfel added 2 commits July 29, 2023 13:15

first pass at detecting csharp

cdbb771

warning message

f225697

baronfel commented Jul 30, 2023

View reviewed changes

src/Components/CSharpExtensionSupport.fs Outdated Show resolved Hide resolved

baronfel added 2 commits July 31, 2023 16:43

choose different C# extension based on execution state

e969eeb

listen to extension changes to make sure enablement works

2891cc7

TheAngryByrd reviewed Jul 31, 2023

View reviewed changes

release/package.json Outdated Show resolved Hide resolved

src/Components/CSharpExtensionSupport.fs Outdated Show resolved Hide resolved

baronfel added 6 commits August 1, 2023 09:39

markdown link to extension gallery

a86b015

fix MS c# extension name

aa18afb

fix hookup

683dade

bump structured logger dependency

6a15bf4

corerctly link to extension install page for prompt

ed848c4

let users know when debugging functionality lights up

3c48c3f

baronfel changed the title ~~Crazy idea to help F# folks getting started - break C# dependency~~ Break direct C# dependency and instead light up debug/build functionality at runtime Aug 5, 2023

baronfel marked this pull request as ready for review August 5, 2023 15:08

Merge branch 'main' into break-dependency-on-csharp

ff72781

baronfel marked this pull request as draft August 19, 2023 19:49

baronfel and others added 5 commits August 19, 2023 14:50

Merge branch 'main' into break-dependency-on-csharp

7d7a53c

fix after merge

52407fe

rename context key

c5340d3

disable more commands when debugging is missing

2c0e40a

reenable build commands, and make debug commands more reactive

ba0db66

baronfel marked this pull request as ready for review August 19, 2023 20:59

baronfel commented Aug 19, 2023

View reviewed changes

baronfel added 2 commits September 6, 2023 21:08

Merge branch 'main' into break-dependency-on-csharp

7d132bf

Merge branch 'main' into break-dependency-on-csharp

f310d33

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Break direct C# dependency and instead light up debug/build functionality at runtime #1903

Break direct C# dependency and instead light up debug/build functionality at runtime #1903

baronfel commented Jul 30, 2023 •

edited

Loading

baronfel commented Aug 19, 2023

baronfel Aug 19, 2023

baronfel Aug 19, 2023

baronfel Aug 19, 2023

baronfel Aug 19, 2023

baronfel commented Aug 19, 2023

baronfel commented Sep 14, 2023

TheAngryByrd commented Sep 14, 2023

TheAngryByrd commented Sep 14, 2023

TheAngryByrd commented Sep 14, 2023 •

edited

Loading

baronfel commented Sep 14, 2023

baronfel commented Sep 17, 2023

Break direct C# dependency and instead light up debug/build functionality at runtime #1903

Are you sure you want to change the base?

Break direct C# dependency and instead light up debug/build functionality at runtime #1903

Conversation

baronfel commented Jul 30, 2023 • edited Loading

WHAT

🤖 Generated by Copilot at f225697

🤖 Generated by Copilot at f225697

WHY

HOW

🤖 Generated by Copilot at f225697

baronfel commented Aug 19, 2023

baronfel Aug 19, 2023

Choose a reason for hiding this comment

baronfel Aug 19, 2023

Choose a reason for hiding this comment

baronfel Aug 19, 2023

Choose a reason for hiding this comment

baronfel Aug 19, 2023

Choose a reason for hiding this comment

baronfel commented Aug 19, 2023

baronfel commented Sep 14, 2023

TheAngryByrd commented Sep 14, 2023

TheAngryByrd commented Sep 14, 2023

TheAngryByrd commented Sep 14, 2023 • edited Loading

baronfel commented Sep 14, 2023

baronfel commented Sep 17, 2023

baronfel commented Jul 30, 2023 •

edited

Loading

`🤖 Generated by Copilot at f225697`

`🤖 Generated by Copilot at f225697`

`🤖 Generated by Copilot at f225697`

TheAngryByrd commented Sep 14, 2023 •

edited

Loading