#2547 fix qulice

objectionary · Oct 24, 2023 · 5a43814 · 5a43814
1 parent c1d254a
commit 5a43814
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 16 deletions.
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOfloat$EOeq.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOfloat$EOeq.java
@@ -54,15 +54,15 @@ public class EOfloat$EOeq extends PhDefault {
         super(sigma);
         this.add("x", new AtFree());
         this.add(
-                "φ",
-                new AtComposite(
-                        this,
-                        rho -> new Data.ToPhi(
-                                (double)(new Param(rho).strong(Double.class))
-                                        == new Param(rho, "x").strong(Double.class)
-                        )
+            "φ",
+            new AtComposite(
+                this,
+                rho -> new Data.ToPhi(
+                    (double) (new Param(rho).strong(Double.class)) == new Param(
+                        rho, "x"
+                    ).strong(Double.class)
                 )
+            )
         );
     }
-
 }
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOint$EOeq.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOint$EOeq.java
@@ -27,7 +27,14 @@
  */
 package EOorg.EOeolang;
 
-import org.eolang.*;
+import org.eolang.AtComposite;
+import org.eolang.AtFree;
+import org.eolang.Data;
+import org.eolang.Param;
+import org.eolang.PhDefault;
+import org.eolang.Phi;
+import org.eolang.Versionized;
+import org.eolang.XmirObject;
 
 /**
  * GT.
@@ -47,14 +54,15 @@ public class EOint$EOeq extends PhDefault {
         super(sigma);
         this.add("x", new AtFree());
         this.add(
-                "φ",
-                new AtComposite(
-                        this,
-                        rho -> new Data.ToPhi(
-                                (long)(new Param(rho).strong(Long.class))
-                                     == new Param(rho, "x").strong(Long.class)
-                        )
+            "φ",
+            new AtComposite(
+                this,
+                rho -> new Data.ToPhi(
+                    (long) (new Param(rho).strong(Long.class)) == new Param(
+                        rho, "x"
+                    ).strong(Long.class)
                 )
+            )
         );
     }
 }