update .NET version, add F# integration test

.github/workflows/pytest.yml

@@ -78,6 +78,10 @@ jobs:
         with:
           distribution: 'temurin'
           java-version: '17'
+      - name: Setup .NET SDK (for F# and C# languages)
+        uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: '8.0.x'
       - name: Install Terraform
         uses: hashicorp/setup-terraform@v3
         with:

CHANGELOG.md

@@ -2,7 +2,7 @@
 Status of the `main` branch. Changes prior to the next official version change will appear here.
 
 * Language support:
-  * **Add support for F#** via FsAutoComplete/Ionide LSP server. Requires .NET SDK 6.0 or later with comprehensive support for F# language features, type checking, and cross-file analysis.
+  * **Add support for F#** via FsAutoComplete/Ionide LSP server. 
   * **Add support for AL (Application Language)** for Microsoft Dynamics 365 Business Central development. Requires VS Code AL extension (ms-dynamics-smb.al).
   * **Add support for R** via the R languageserver package with LSP integration, performance optimizations, and fallback symbol extraction
   * **Add support for Zig** via ZLS (cross-file references may not fully work on Windows)

src/solidlsp/language_servers/fsharp_language_server.py

@@ -1,5 +1,8 @@
 """
-Provides F# specific instantiation of the LanguageServer class using Ionide LSP.
+Provides F# specific instantiation of the LanguageServer class usi        if not dotnet_path:
+            raise RuntimeError(
+                ".NET SDK is not installed or not in PATH. Please install .NET SDK 8.0 or later and ensure 'dotnet' is in your PATH."
+            )onide LSP.
 Contains various configurations and settings specific to F# development.
 """
 

test/serena/test_serena_agent.py

@@ -29,6 +29,7 @@ def serena_config():
         Language.PHP,
         Language.CSHARP,
         Language.CLOJURE,
+        Language.FSHARP,
     ]:
         repo_path = get_repo_path(language)
         if repo_path.exists():
@@ -80,6 +81,7 @@ class TestSerenaAgent:
                 marks=[pytest.mark.clojure, pytest.mark.skipif(clj.CLI_FAIL, reason=f"Clojure CLI not available: {clj.CLI_FAIL}")],
             ),
             pytest.param(Language.CSHARP, "Calculator", "Class", "Program.cs", marks=pytest.mark.csharp),
+            pytest.param(Language.FSHARP, "Calculator", "Module", "Calculator.fs", marks=pytest.mark.fsharp),
         ],
         indirect=["serena_agent"],
     )
@@ -130,6 +132,7 @@ class TestSerenaAgent:
                 marks=[pytest.mark.clojure, pytest.mark.skipif(clj.CLI_FAIL, reason=f"Clojure CLI not available: {clj.CLI_FAIL}")],
             ),
             pytest.param(Language.CSHARP, "Calculator", "Program.cs", "Program.cs", marks=pytest.mark.csharp),
+            pytest.param(Language.FSHARP, "add", "Calculator.fs", "Program.fs", marks=pytest.mark.fsharp),
         ],
         indirect=["serena_agent"],
     )