Add compiler compatibility test suite for anonymous records with MSBuild-generated build verification

.gitignore

@@ -148,3 +148,13 @@ TestResults/*.trx
 StandardOutput.txt
 StandardError.txt
 **/TestResults/
+
+# CompilerCompat test project generated files
+tests/projects/CompilerCompat/**/nuget.config
+tests/projects/CompilerCompat/**/global.json
+tests/projects/CompilerCompat/**/*.deps.json
+tests/projects/CompilerCompat/**/*.xml
+tests/projects/CompilerCompat/local-nuget-packages/
+tests/projects/CompilerCompat/lib-output-*/
+tests/projects/CompilerCompat/**/bin/
+tests/projects/CompilerCompat/**/obj/

tests/FSharp.Compiler.ComponentTests/CompilerOptions/fsc/checked/checked.fs

@@ -23,7 +23,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked"]
+        |> withOptions ["--checked"]
         |> compile
         |> shouldSucceed
 
@@ -33,7 +33,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked+"]
+        |> withOptions ["--checked+"]
         |> compile
         |> shouldSucceed
 
@@ -43,7 +43,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked-"]
+        |> withOptions ["--checked-"]
         |> compile
         |> shouldSucceed
 
@@ -53,7 +53,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked-"]
+        |> withOptions ["--checked-"]
         |> compile
         |> shouldSucceed
 
@@ -63,7 +63,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked"]
+        |> withOptions ["--checked"]
         |> compile
         |> shouldSucceed
 
@@ -73,7 +73,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked+"]
+        |> withOptions ["--checked+"]
         |> compile
         |> shouldSucceed
 
@@ -83,7 +83,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked-"]
+        |> withOptions ["--checked-"]
         |> compile
         |> shouldSucceed
 
@@ -96,7 +96,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked"; "--checked+"]
+        |> withOptions ["--checked"; "--checked+"]
         |> compile
         |> shouldSucceed
 
@@ -106,7 +106,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked-"; "--checked+"]
+        |> withOptions ["--checked-"; "--checked+"]
         |> compile
         |> shouldSucceed
 
@@ -116,7 +116,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked+"; "--checked-"]
+        |> withOptions ["--checked+"; "--checked-"]
         |> compile
         |> shouldSucceed
 
@@ -126,7 +126,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked"; "--checked+"]
+        |> withOptions ["--checked"; "--checked+"]
         |> compile
         |> shouldSucceed
 
@@ -136,7 +136,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked-"; "--checked+"]
+        |> withOptions ["--checked-"; "--checked+"]
         |> compile
         |> shouldSucceed
 
@@ -146,7 +146,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFsx
-        |> withOptions["--checked+"; "--checked-"]
+        |> withOptions ["--checked+"; "--checked-"]
         |> compile
         |> shouldSucceed
 
@@ -157,7 +157,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--Checked"]
+        |> withOptions ["--Checked"]
         |> compile
         |> shouldFail
         |> withDiagnostics [
@@ -170,7 +170,7 @@ module Checked =
        compilation
         |> getCompilation 
         |> asFs
-        |> withOptions["--checked*"]
+        |> withOptions ["--checked*"]
         |> compile
         |> shouldFail
         |> withDiagnostics [

tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj

@@ -353,6 +353,7 @@
     <Compile Include="FSharpChecker\SymbolUse.fs" />
     <Compile Include="FSharpChecker\FindReferences.fs" />
     <Compile Include="Attributes\AttributeCtorSetPropAccess.fs" />
+    <Compile Include="CompilerCompatibilityTests.fs" />
   </ItemGroup>
 
   <ItemGroup>

tests/projects/CompilerCompat/.gitignore

@@ -0,0 +1,6 @@
+# Ignore test-generated files
+global.json
+commandline.txt
+**/*BuildInfo.fs
+StandardOutput.txt
+StandardError.txt

tests/projects/CompilerCompat/CompilerCompatApp/CompilerCompatApp.fsproj

@@ -0,0 +1,37 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <TargetFramework>net8.0</TargetFramework>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="AppBuildInfo.fs" />
+    <Compile Include="Program.fs" />
+  </ItemGroup>
+
+  <ItemGroup>
+    <!-- Reference the library as a NuGet package instead of a project reference -->
+    <!-- This allows testing cross-compiler scenarios where lib and app use different compilers -->
+    <PackageReference Include="CompilerCompatLib" Version="1.0.0" />
+  </ItemGroup>
+
+  <Target Name="GenerateAppBuildInfo" BeforeTargets="BeforeCompile">
+    <PropertyGroup>
+      <IsLocalBuildValue Condition="'$(LoadLocalFSharpBuild)' == 'True'">true</IsLocalBuildValue>
+      <IsLocalBuildValue Condition="'$(LoadLocalFSharpBuild)' != 'True'">false</IsLocalBuildValue>
+      <CleanDotnetFscCompilerPath Condition="'$(DotnetFscCompilerPath)' != ''">$(DotnetFscCompilerPath.Replace('&quot;', ''))</CleanDotnetFscCompilerPath>
+      <CleanDotnetFscCompilerPath Condition="'$(DotnetFscCompilerPath)' == ''">N/A</CleanDotnetFscCompilerPath>
+    </PropertyGroup>
+    <WriteLinesToFile
+      File="AppBuildInfo.fs"
+      Overwrite="true"
+      Lines="namespace CompilerCompatApp
+module AppBuildInfo =
+    let sdkVersion = &quot;$(NETCoreSdkVersion)&quot;
+    let fsharpCompilerPath = &quot;$(FscToolPath)\$(FscToolExe)&quot;
+    let dotnetFscCompilerPath = &quot;$(CleanDotnetFscCompilerPath)&quot;
+    let isLocalBuild = $(IsLocalBuildValue)" />
+  </Target>
+
+</Project>

tests/projects/CompilerCompat/CompilerCompatApp/Program.fs

@@ -0,0 +1,54 @@
+open CompilerCompatLib
+open CompilerCompatApp
+open System
+
+[<EntryPoint>]
+let main _argv =
+    try
+        // Helper to get the actual compiler path (prefer dotnetFscCompilerPath when using local build)
+        let getActualCompilerPath (dotnetPath: string) (fallbackPath: string) =
+            if dotnetPath <> "N/A" && dotnetPath <> "" then dotnetPath else fallbackPath
+
+        // Print detailed build information to verify which compiler was used
+        printfn "=== BUILD VERIFICATION ==="
+        printfn "Library Build Info:"
+        printfn "  SDK Version: %s" LibBuildInfo.sdkVersion
+        printfn "  F# Compiler Path: %s" (getActualCompilerPath LibBuildInfo.dotnetFscCompilerPath LibBuildInfo.fsharpCompilerPath)
+        printfn "  Is Local Build: %b" LibBuildInfo.isLocalBuild
+        printfn "Application Build Info:"
+        printfn "  SDK Version: %s" AppBuildInfo.sdkVersion
+        printfn "  F# Compiler Path: %s" (getActualCompilerPath AppBuildInfo.dotnetFscCompilerPath AppBuildInfo.fsharpCompilerPath)
+        printfn "  Is Local Build: %b" AppBuildInfo.isLocalBuild
+        printfn "=========================="
+
+        // Test basic anonymous record functionality
+        let record = Library.getAnonymousRecord()
+        printfn "Basic record: X=%d, Y=%s" record.X record.Y
+
+        // Verify expected values
+        if record.X <> 42 || record.Y <> "hello" then
+            printfn "ERROR: Basic record values don't match expected"
+            1
+        else
+            printfn "SUCCESS: Basic record test passed"
+
+            // Test complex anonymous record functionality
+            let complex = Library.getComplexAnonymousRecord()
+            printfn "Complex record: Simple.A=%d, Simple.B=%s" complex.Simple.A complex.Simple.B
+            printfn "Complex record: List has %d items" complex.List.Length
+            printfn "Complex record: Tuple=(%d, Value=%f)" (fst complex.Tuple) (snd complex.Tuple).Value
+
+            // Test function that takes anonymous record
+            let processed = Library.processAnonymousRecord({| X = 123; Y = "test" |})
+            printfn "Processed result: %s" processed
+
+            if processed = "Processed: X=123, Y=test" then
+                printfn "SUCCESS: All compiler compatibility tests passed"
+                0
+            else
+                printfn "ERROR: Processed result doesn't match expected"
+                1
+
+    with ex ->
+        printfn "ERROR: Exception occurred: %s" ex.Message
+        1

tests/projects/CompilerCompat/CompilerCompatLib/CompilerCompatLib.fsproj

@@ -0,0 +1,47 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <PropertyGroup>
+    <TargetFramework>net8.0</TargetFramework>
+    <GenerateDocumentationFile>true</GenerateDocumentationFile>
+
+    <!-- Package properties for NuGet pack -->
+    <IsPackable>true</IsPackable>
+    <PackageId>CompilerCompatLib</PackageId>
+    <Version>1.0.0</Version>
+    <Authors>Test</Authors>
+    <Description>Test library for compiler compatibility tests</Description>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="LibBuildInfo.fs" />
+    <Compile Include="Library.fs" />
+  </ItemGroup>
+
+  <!-- When building with local compiler, include FSharp.Core in the package so consumers can find it -->
+  <ItemGroup Condition="'$(LoadLocalFSharpBuild)' == 'True'">
+    <Content Include="$(LocalFSharpCompilerPath)/artifacts/bin/FSharp.Core/$(LocalFSharpCompilerConfiguration)/netstandard2.0/FSharp.Core.dll">
+      <PackagePath>lib/$(TargetFramework)</PackagePath>
+      <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
+      <Pack>true</Pack>
+    </Content>
+  </ItemGroup>
+
+  <Target Name="GenerateLibBuildInfo" BeforeTargets="BeforeCompile">
+    <PropertyGroup>
+      <IsLocalBuildValue Condition="'$(LoadLocalFSharpBuild)' == 'True'">true</IsLocalBuildValue>
+      <IsLocalBuildValue Condition="'$(LoadLocalFSharpBuild)' != 'True'">false</IsLocalBuildValue>
+      <CleanDotnetFscCompilerPath Condition="'$(DotnetFscCompilerPath)' != ''">$(DotnetFscCompilerPath.Replace('&quot;', ''))</CleanDotnetFscCompilerPath>
+      <CleanDotnetFscCompilerPath Condition="'$(DotnetFscCompilerPath)' == ''">N/A</CleanDotnetFscCompilerPath>
+    </PropertyGroup>
+    <WriteLinesToFile
+      File="LibBuildInfo.fs"
+      Overwrite="true"
+      Lines="namespace CompilerCompatLib
+module LibBuildInfo =
+    let sdkVersion = &quot;$(NETCoreSdkVersion)&quot;
+    let fsharpCompilerPath = &quot;$(FscToolPath)\$(FscToolExe)&quot;
+    let dotnetFscCompilerPath = &quot;$(CleanDotnetFscCompilerPath)&quot;
+    let isLocalBuild = $(IsLocalBuildValue)" />
+  </Target>
+
+</Project>

tests/projects/CompilerCompat/CompilerCompatLib/Library.fs

@@ -0,0 +1,17 @@
+namespace CompilerCompatLib
+
+module Library =
+    /// Returns an anonymous record to test compiler compatibility
+    let getAnonymousRecord () = {| X = 42; Y = "hello" |}
+
+    /// Returns a more complex anonymous record with nested structure
+    let getComplexAnonymousRecord () = 
+        {| 
+            Simple = {| A = 1; B = "test" |};
+            List = [ {| Id = 1; Name = "first" |}; {| Id = 2; Name = "second" |} ];
+            Tuple = (42, {| Value = 3.14; Label = "pi" |})
+        |}
+
+    /// Function that takes an anonymous record as parameter
+    let processAnonymousRecord (record: {| X: int; Y: string |}) =
+        sprintf "Processed: X=%d, Y=%s" record.X record.Y

tests/projects/CompilerCompat/Directory.Build.props

@@ -0,0 +1,10 @@
+<Project>
+  <!--
+    Isolated Directory.Build.props for CompilerCompat test projects.
+    Prevents import of repository root's Directory.Build.props for isolated build environments.
+  -->
+
+  <PropertyGroup>
+    <CompilerCompatTestProject>true</CompilerCompatTestProject>
+  </PropertyGroup>
+</Project>

tests/projects/CompilerCompat/Directory.Build.targets

@@ -0,0 +1,13 @@
+<Project>
+  <!--
+    Isolated Directory.Build.targets for CompilerCompat test projects.
+    This prevents importing the repository root's build configuration, ensuring isolated build environments.
+
+    We import UseLocalCompiler here (after SDK targets have been imported) rather than in .props
+    to ensure the Build target exists before UseLocalCompiler props are applied.
+  -->
+
+  <!-- Import UseLocalCompiler props when testing with local compiler -->
+  <!-- Note: This is imported in targets file to ensure SDK has been fully initialized -->
+  <Import Project="../../../UseLocalCompiler.Directory.Build.props" Condition="'$(LoadLocalFSharpBuild)' == 'true'" />
+</Project>