Add applicative test for accessor function shorthand

src/quicktest/Quicktest.fsproj

@@ -3,7 +3,7 @@
     <OutputType>Exe</OutputType>
     <TargetFramework>net6.0</TargetFramework>
     <RollForward>Major</RollForward>
-    <!-- <LangVersion>Preview</LangVersion> -->
+    <LangVersion>Preview</LangVersion>
   </PropertyGroup>
   <ItemGroup>
     <Compile Include="QuickTest.fs" />
@@ -12,4 +12,4 @@
   <ItemGroup>
     <ProjectReference Include="..\Fable.Core\Fable.Core.fsproj" />
   </ItemGroup>
-</Project>
+</Project>

tests/Js/Main/ApplicativeTests.fs

@@ -1732,6 +1732,35 @@ module MultipleInlines =
             NonEmptyList("a", ["b"; "c"]) |> mapMyList |> equal (NonEmptyList("a_", ["b_"; "c_"]))
     ]
 
+module AccessorFunctionShorthand =
+
+    type User =
+        {
+            Name : string
+        }
+
+    let tests =
+        [
+            testCase "Accessor function shorthand works for records" <| fun () ->
+                let people =
+                    [
+                        { Name = "John" }
+                        { Name = "Jane" }
+                    ]
+
+                let names = people |> List.map _.Name
+                equal names ["John"; "Jane"]
+
+            testCase "Accessor function shorthand works for anonymous records" <| fun () ->
+                let people =
+                    [
+                        {| Name = "John" |}
+                        {| Name = "Jane" |}
+                    ]
+
+                let names = people |> List.map _.Name
+                equal names ["John"; "Jane"]
+        ]
 let tests =
     testList "Applicative" (
         tests1
@@ -1745,4 +1774,5 @@ let tests =
         @ Curry.tests
         @ Uncurry.tests
         @ MultipleInlines.tests
+        @ AccessorFunctionShorthand.tests
     )

tests/Python/TestApplicative.fs

@@ -1684,3 +1684,32 @@ let ``test Trait call works with multiple inlined functions II`` () = // See #28
 [<Fact>]
 let ``test Identifiers from witnesses don't get duplicated when resolving inline expressions`` () = // See #2855
     NonEmptyList("a", ["b"; "c"]) |> mapMyList |> equal (NonEmptyList("a_", ["b_"; "c_"]))
+
+module AccessorFunctionShorthand =
+
+    type User =
+        {
+            Name : string
+        }
+
+[<Fact>]
+let ``test Accessor function shorthand works for records`` () =
+    let people : AccessorFunctionShorthand.User list =
+        [
+            { Name = "John" }
+            { Name = "Jane" }
+        ]
+
+    let names = people |> List.map _.Name
+    equal names ["John"; "Jane"]
+
+[<Fact>]
+let ``test Accessor function shorthand works for anonymous records`` () =
+    let people =
+        [
+            {| Name = "John" |}
+            {| Name = "Jane" |}
+        ]
+
+    let names = people |> List.map _.Name
+    equal names ["John"; "Jane"]

tests/Rust/tests/src/ApplicativeTests.fs

@@ -1761,3 +1761,32 @@ let ``Trait call works with multiple inlined functions II`` () = // See #2809
 [<Fact>]
 let ``Identifiers from witnesses don't get duplicated when resolving inline expressions`` () = // See #2855
     NonEmptyList("a", ["b"; "c"]) |> mapMyList |> equal (NonEmptyList("a_", ["b_"; "c_"]))
+
+module AccessorFunctionShorthand =
+
+    type User =
+        {
+            Name : string
+        }
+
+[<Fact>]
+let ``test Accessor function shorthand works for records`` () =
+    let people : AccessorFunctionShorthand.User list =
+        [
+            { Name = "John" }
+            { Name = "Jane" }
+        ]
+
+    let names = people |> List.map _.Name
+    equal names ["John"; "Jane"]
+
+[<Fact>]
+let ``test Accessor function shorthand works for anonymous records`` () =
+    let people =
+        [
+            {| Name = "John" |}
+            {| Name = "Jane" |}
+        ]
+
+    let names = people |> List.map _.Name
+    equal names ["John"; "Jane"]