Merge pull request #5247 from volodya-lombrozo/5224-enable-compound-lint

fix(#5224): rename `positive-infinity`/`negative-infinity` to `pinf`/`ninf` and `line-separator` to `eol`

Author: yegor256

eo-runtime/pom.xml

@@ -238,20 +238,6 @@
                       names in the atoms, in order to enable this lint.
                 -->
                 <lint>duplicate-names-in-diff-context</lint>
-                <!--
-                @todo #4096:30min. Enable `sparse-decoration` lint.
-                      After we merged EO tests together with their source objects, and removed
-                      `+tests` meta, we have complains about sparse-decoration. Let's adjust and
-                      enable it.
-                -->
-                <!-- <lint>sparse-decoration</lint> -->
-                <!--
-                @todo #5221:30min Enable `compound-name` lint.
-                      Several objects in eo-runtime use compound names that follow system
-                      or platform naming conventions (e.g. neg-inf, groups-count, sin-family).
-                      Either rename the objects or adjust the lint rule, then enable it.
-                -->
-                <lint>compound-name</lint>
               </skipSourceLints>
               <skipProgramLints>
                 <lint>inconsistent-args</lint>

eo-runtime/src/main/eo/bytes.eo

@@ -30,11 +30,11 @@
     eq nan.as-bytes
     nan
     if.
-      eq positive-infinity.as-bytes
-      positive-infinity
+      eq pinf.as-bytes
+      pinf
       if.
-        eq negative-infinity.as-bytes
-        negative-infinity
+        eq ninf.as-bytes
+        ninf
         if.
           size.eq 8
           number as-bytes

eo-runtime/src/main/eo/fs/file.eo

@@ -1,9 +1,9 @@
-+alias fs.file
-+alias fs.path
-+alias fs.tmpdir
 +alias tt.contains
++alias fs.file
 +alias tt.joined
++alias fs.path
 +alias tt.sprintf
++alias fs.tmpdir
 +architect yegor256@gmail.com
 +home https://github.com/objectionary/eo
 +package fs

eo-runtime/src/main/eo/io/stdin.eo

@@ -1,5 +1,5 @@
 +alias io.console
-+alias sm.line-separator
++alias sm.eol
 +architect yegor256@gmail.com
 +home https://github.com/objectionary/eo
 +package io
@@ -29,7 +29,7 @@
   # If there's no line to consume, it returns an empty string.
   [] > all-lines
     rec-read next-line -- true > @
-    line-separator > separator!
+    eol > separator!
 
     # Recursive reading from console by one line.
     #

eo-runtime/src/main/eo/ms/acos.eo

@@ -67,12 +67,12 @@
     is-nan. > @
       acos nan
 
-  # Tests that arccosine of positive-infinity is NaN.
+  # Tests that arccosine of pinf is NaN.
   [] +> tests-arccos-positive-infinity
     is-nan. > @
-      acos positive-infinity
+      acos pinf
 
-  # Tests that arccosine of negative-infinity is NaN.
+  # Tests that arccosine of ninf is NaN.
   [] +> tests-arccos-negative-infinity
     is-nan. > @
-      acos negative-infinity
+      acos ninf

eo-runtime/src/main/eo/ms/asin.eo

@@ -71,9 +71,9 @@
   # Tests that asin of +inf equals NaN.
   [] +> tests-asin-positive-infinity
     is-nan. > @
-      asin positive-infinity
+      asin pinf
 
   # Tests that asin of -inf equals NaN.
   [] +> tests-asin-negative-infinity
     is-nan. > @
-      asin negative-infinity
+      asin ninf

eo-runtime/src/main/eo/ms/exp.eo

@@ -61,11 +61,11 @@
   # Tests mathematical operation functionality.
   [] +> tests-exp-check-infinity-n1
     eq. > @
-      exp positive-infinity
-      positive-infinity
+      exp pinf
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-exp-check-infinity-n2
     eq. > @
-      exp negative-infinity
+      exp ninf
       0

eo-runtime/src/main/eo/ms/ln.eo

@@ -20,7 +20,7 @@
   [] +> tests-ln-of-zero-is-negative-infinity
     eq. > @
       ln 0
-      negative-infinity
+      ninf
 
   # Tests that natural logarithm of 1 equals zero.
   [] +> tests-ln-of-one-is-zero
@@ -57,13 +57,13 @@
   # Tests that natural logarithm of positive infinity equals positive infinity.
   [] +> tests-ln-positive-infinity
     eq. > @
-      ln positive-infinity
-      positive-infinity
+      ln pinf
+      pinf
 
   # Tests that natural logarithm of negative infinity returns NaN.
   [] +> tests-ln-negative-infinity
     is-nan. > @
-      ln negative-infinity
+      ln ninf
 
   # Tests that natural logarithm of NaN returns NaN.
   [] +> tests-ln-nan

eo-runtime/src/main/eo/ms/numbers.eo

@@ -19,7 +19,7 @@
       error "Can't get the max number from an empty sequence"
       reduced
         lst
-        negative-infinity
+        ninf
         [max item]
           if. > @
             item.as-number.gt max
@@ -34,7 +34,7 @@
       error "Can't get the min number from an empty sequence"
       reduced
         lst
-        positive-infinity
+        pinf
         [min item]
           if. > @
             min.gt item.as-number

eo-runtime/src/main/eo/ms/pow.eo

@@ -77,60 +77,60 @@
   [] +> tests-zero-to-the-negative-pow-is-positive-infinity
     eq. > @
       pow 0 -52
-      positive-infinity
+      pinf
 
   # Tests that zero raised to negative infinity equals positive infinity.
   [] +> tests-zero-to-the-negative-infinity-pow-is-positive-infinity
     eq. > @
-      pow 0 negative-infinity
-      positive-infinity
+      pow 0 ninf
+      pinf
 
   # Tests that positive integer raised to negative infinity equals zero.
   [] +> tests-positive-int-to-the-pow-of-negative-infinity-is-zero
     eq. > @
-      pow 42 negative-infinity
+      pow 42 ninf
       0
 
   # Tests that positive float raised to negative infinity equals zero.
   [] +> tests-positive-float-to-the-pow-of-negative-infinity-is-zero
     eq. > @
-      pow 42.5 negative-infinity
+      pow 42.5 ninf
       0
 
   # Tests that negative integer raised to negative infinity equals zero.
   [] +> tests-negative-int-to-the-pow-of-negative-infinity-is-zero
     eq. > @
-      pow -42 negative-infinity
+      pow -42 ninf
       0
 
   # Tests that negative float raised to negative infinity equals zero.
   [] +> tests-negative-float-to-the-pow-of-negative-infinity-is-zero
     eq. > @
-      pow -42.5 negative-infinity
+      pow -42.5 ninf
       0
 
   # Tests that positive infinity raised to negative infinity equals zero.
   [] +> tests-positive-infinity-to-the-pow-of-negative-infinity-is-zero
     eq. > @
-      pow positive-infinity negative-infinity
+      pow pinf ninf
       0
 
   # Tests that negative infinity raised to negative infinity equals zero.
   [] +> tests-negative-infinity-to-the-pow-of-negative-infinity-is-zero
     eq. > @
-      pow negative-infinity negative-infinity
+      pow ninf ninf
       0
 
   # Tests that positive infinity raised to finite negative power equals zero.
   [] +> tests-positive-infinity-to-the-finite-negative-int-pow-is-zero
     eq. > @
-      pow positive-infinity -42
+      pow pinf -42
       0
 
   # Tests that positive infinity raised to finite negative float power equals zero.
   [] +> tests-positive-infinity-to-the-finite-negative-float-pow-is-zero
     eq. > @
-      pow positive-infinity -42.2
+      pow pinf -42.2
       0.0
 
   # Tests that 2 raised to the power of -1 equals 0.5.
@@ -173,68 +173,68 @@
   # Tests mathematical operation functionality.
   [] +> tests-zero-to-the-pow-of-positive-infinity-is-zero
     eq. > @
-      pow 0 positive-infinity
+      pow 0 pinf
       0
 
   # Tests mathematical operation functionality.
   [] +> tests-negative-int-to-the-pow-of-positive-infinity-is-positive-infinity
     eq. > @
-      pow -10 positive-infinity
-      positive-infinity
+      pow -10 pinf
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-negative-float-to-the-pow-of-positive-infinity-is-infinity
     eq. > @
-      pow -4.2 positive-infinity
-      positive-infinity
+      pow -4.2 pinf
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-positive-int-to-the-pow-of-positive-infinity-is-positive-infinity
     eq. > @
-      pow 42 positive-infinity
-      positive-infinity
+      pow 42 pinf
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-positive-float-to-the-pow-of-positive-infinity-is-positive-infinity
     eq. > @
-      pow 42.5 positive-infinity
-      positive-infinity
+      pow 42.5 pinf
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-positive-infinity-to-the-pow-of-positive-int-is-positive-infinity
     eq. > @
-      pow positive-infinity 42
-      positive-infinity
+      pow pinf 42
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-positive-infinity-to-the-pow-of-positive-float-is-positive-infinity
     eq. > @
-      pow positive-infinity 10.8
-      positive-infinity
+      pow pinf 10.8
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-positive-infinity-to-the-pow-of-positive-infinity-is-positive-infinity
     eq. > @
-      pow positive-infinity positive-infinity
-      positive-infinity
+      pow pinf pinf
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-negative-infinity-to-the-pow-of-positive-float-is-positive-infinity
     eq. > @
-      pow negative-infinity 9.9
-      positive-infinity
+      pow ninf 9.9
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-negative-infinity-to-the-pow-of-even-positive-int-is-positive-infinity
     eq. > @
-      pow negative-infinity 10
-      positive-infinity
+      pow ninf 10
+      pinf
 
   # Tests mathematical operation functionality.
   [] +> tests-negative-infinity-to-the-pow-of-odd-positive-int-is-positive-infinity
     eq. > @
-      pow negative-infinity 9
-      negative-infinity
+      pow ninf 9
+      ninf
 
   # Tests mathematical operation functionality.
   [] +> tests-positive-int-to-the-pow-of-positive-int-is-int