[Python] Fix #3998: PhysicalEquality

Author: alfonsogarciacaro

src/Fable.Cli/CHANGELOG.md

@@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+### Fixed
+
+* [Python] - Fix #3998: PhysicalEquality (by @alfonsogarciacaro)
+
 ### Added
 
 * [Python] - Print root module and module function comments (by @alfonsogarciacaro)

src/Fable.Compiler/CHANGELOG.md

@@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+### Fixed
+
+* [Python] - Fix #3998: PhysicalEquality (by @alfonsogarciacaro)
+
 ### Added
 
 * [Python] - Print root module and module function comments (by @alfonsogarciacaro)

src/Fable.Transforms/Python/Replacements.fs

@@ -2269,7 +2269,8 @@ let languagePrimitives (com: ICompiler) (ctx: Context) r t (i: CallInfo) (thisAr
       [ comp; left; right ] ->
         Helper.InstanceCall(comp, "Equals", t, [ left; right ], i.SignatureArgTypes, ?loc = r)
         |> Some
-    | ("PhysicalEquality" | "PhysicalEqualityIntrinsic"), [ left; right ] -> makeEqOp r left right BinaryEqual |> Some
+    | ("PhysicalEquality" | "PhysicalEqualityIntrinsic"), [ left; right ] ->
+        makeEqOpStrict r left right BinaryEqual |> Some
     | ("PhysicalHash" | "PhysicalHashIntrinsic"), [ arg ] ->
         Helper.LibCall(com, "util", "physicalHash", Int32.Number, [ arg ], ?loc = r)
         |> Some

src/Fable.Transforms/Replacements.Util.fs

@@ -179,6 +179,7 @@ let withTag tag =
     function
     | Call(e, i, t, r) -> Call(e, { i with Tags = tag :: i.Tags }, t, r)
     | Get(e, FieldGet i, t, r) -> Get(e, FieldGet { i with Tags = tag :: i.Tags }, t, r)
+    | Operation(op, tags, t, r) -> Operation(op, tag :: tags, t, r)
     | e -> e
 
 let getTags =

tests/Python/TestComparison.fs

@@ -69,6 +69,16 @@ type Status =
 type MyClass(v) =
     member val Value: int = v with get, set
 
+[<Fact>]
+let ``test PhysicalEquality works`` () = // See #3998
+    let r1 = ResizeArray([1; 2])
+    let r2 = ResizeArray([1; 2])
+    let r3 = r1
+
+    LanguagePrimitives.PhysicalEquality r1 r2 |> equal false
+    LanguagePrimitives.PhysicalEquality r2 r2 |> equal true
+    LanguagePrimitives.PhysicalEquality r3 r1 |> equal true
+
 [<Fact>]
 let ``test Typed array equality works`` () =
     let xs1 = [| 1; 2; 3 |]