feat(nix): set up dotnet lsp and formatter

.config/dotnet-tools.json

@@ -0,0 +1,13 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "csharpier": {
+      "version": "0.30.3",
+      "commands": [
+        "dotnet-csharpier"
+      ],
+      "rollForward": false
+    }
+  }
+}

.csharpierignore

@@ -0,0 +1,5 @@
+.direnv/
+target/
+**/[Bb]in/
+**/[Oo]bj/
+.git/

.github/workflows/csharp.yaml

@@ -13,8 +13,10 @@ jobs:
     steps:
       - uses: actions/[email protected]
 
+      - name: Install dotnet tools
+        run: dotnet tool restore
       - name: Check formatting
-        run: dotnet format --verify-no-changes
+        run: dotnet csharpier --check .
 
   test:
     name: Run Tests

did-csharp/Class1.cs

@@ -2,8 +2,5 @@
 
 namespace did_csharp
 {
-	public class Class1
-	{
-
-	}
+	public class Class1 { }
 }

flake.nix

@@ -45,6 +45,11 @@
           ];
           config = {
             # allowUnfree = true;
+            permittedInsecurePackages = [
+              # Needed for roslyn-ls, see
+              # https://github.com/NixOS/nixpkgs/blob/4989a246/pkgs/by-name/ro/roslyn-ls/package.nix#L21
+              "dotnet-sdk-6.0.428"
+            ];
           };
         };
       });

nix/devShells.nix

@@ -9,16 +9,23 @@ let
   rustPlatform = pkgs.makeRustPlatform {
     inherit (rustToolchain) cargo rustc;
   };
+  dotnet = (with pkgs.dotnetCorePackages;
+    # We will combine the two latest dotnet SDKs to give all tools time to
+    # upgrade
+    combinePackages [
+      sdk_9_0
+    ]);
 in
 {
   default = pkgs.mkShell {
     # These programs be available to the dev shell
     buildInputs = (with pkgs; [
       cargo-deny
-      dotnetCorePackages.sdk_9_0
+      dotnet
       mdbook
       mdbook-mermaid
       nixpkgs-fmt
+      roslyn-ls
     ]) ++ pkgs.lib.optional pkgs.stdenv.isDarwin [
       pkgs.libiconv
     ] ++ [

nix/inputs.nix

@@ -4,12 +4,9 @@ let
   isDarwin = (system == "aarch64-darwin" || system == "x86_64-darwin");
 in
 {
+  inherit (inputs-raw) fenix nixos-generators home-manager deploy-rs;
   self = inputs-raw.self;
   nixpkgs = if isDarwin then inputs-raw.nixpkgs-24_11-darwin else inputs-raw.nixos-24_11;
   nixpkgs-unstable = if isDarwin then inputs-raw.nixpkgs-unstable else inputs-raw.nixos-unstable;
   # fenix = if isDarwin then inputs-raw.fenix-darwin else inputs-raw.fenix-linux;
-  fenix = inputs-raw.fenix;
-  nixos-generators = inputs-raw.nixos-generators;
-  home-manager = inputs-raw.home-manager;
-  deploy-rs = inputs-raw.deploy-rs;
 }