Make infix:<≤> an alias of infix:«<=»

By making it an alias, we can get rid of all of the duplication for the unicode operator. This reduces memory size (about 10K in the setting.moarvm) and maintenance burden (because additional candidates will only need to be added for the ascii version of the operator). Please note that the alias *must* use <> brackets: apparently creating constants takes literal names, and 'sub infix:«≤»; normalizes to <> brackets.
rakudo · Mar 1, 2018 · aadd3c1 · aadd3c1
1 parent f5b23a5
commit aadd3c1
Show file tree

Hide file tree

Showing 9 changed files with 2 additions and 35 deletions.
diff --git a/src/core/Date.pm b/src/core/Date.pm
@@ -199,9 +199,6 @@ multi sub infix:<==>(Date:D $a, Date:D $b) {
 multi sub infix:«<=»(Date:D $a, Date:D $b) {
     $a.daycount <= $b.daycount
 }
-multi sub infix:«≤»(Date:D $a, Date:D $b) {
-    $a.daycount ≤ $b.daycount
-}
 multi sub infix:«<»(Date:D $a, Date:D $b) {
     $a.daycount < $b.daycount
 }

diff --git a/src/core/DateTime.pm b/src/core/DateTime.pm
@@ -405,9 +405,6 @@ multi sub infix:«>»(DateTime:D \a, DateTime:D \b) {
 multi sub infix:«<=»(DateTime:D \a, DateTime:D \b) {
     a.Instant <= b.Instant
 }
-multi sub infix:«≤»(DateTime:D \a, DateTime:D \b) {
-    a.Instant ≤ b.Instant
-}
 multi sub infix:«>=»(DateTime:D \a, DateTime:D \b) {
     a.Instant >= b.Instant
 }

diff --git a/src/core/Instant.pm b/src/core/Instant.pm
@@ -86,9 +86,6 @@ multi sub infix:«>»(Instant:D $a, Instant:D $b) {
 multi sub infix:«<=»(Instant:D $a, Instant:D $b) {
     $a.tai <= $b.tai
 }
-multi sub infix:«≤»(Instant:D $a, Instant:D $b) {
-    $a.tai ≤ $b.tai
-}
 
 multi sub infix:«>=»(Instant:D $a, Instant:D $b) {
     $a.tai >= $b.tai

diff --git a/src/core/Int.pm b/src/core/Int.pm
@@ -368,12 +368,6 @@ multi sub infix:«<=»(Int:D \a, Int:D \b) {
 multi sub infix:«<=»(int $a, int $b) {
     nqp::p6bool(nqp::isle_i($a, $b))
 }
-multi sub infix:«≤»(Int:D \a, Int:D \b) {
-    nqp::p6bool(nqp::isle_I(nqp::decont(a), nqp::decont(b)))
-}
-multi sub infix:«≤»(int $a, int $b) {
-    nqp::p6bool(nqp::isle_i($a, $b))
-}
 
 multi sub infix:«>»(Int:D \a, Int:D \b) {
     nqp::p6bool(nqp::isgt_I(nqp::decont(a), nqp::decont(b)))

diff --git a/src/core/Num.pm b/src/core/Num.pm
@@ -490,12 +490,6 @@ multi sub infix:«<=»(Num:D \a, Num:D \b --> Bool:D) {
 multi sub infix:«<=»(num $a, num $b --> Bool:D) {
     nqp::p6bool(nqp::isle_n($a, $b))
 }
-multi sub infix:«≤»(Num:D \a, Num:D \b --> Bool:D) {
-    nqp::p6bool(nqp::isle_n(nqp::unbox_n(a), nqp::unbox_n(b)))
-}
-multi sub infix:«≤»(num $a, num $b --> Bool:D) {
-    nqp::p6bool(nqp::isle_n($a, $b))
-}
 
 multi sub infix:«>»(Num:D \a, Num:D \b --> Bool:D) {
     nqp::p6bool(nqp::isgt_n(nqp::unbox_n(a), nqp::unbox_n(b)))

diff --git a/src/core/Numeric.pm b/src/core/Numeric.pm
@@ -314,9 +314,8 @@ multi sub infix:«<»(\a, \b)    { a.Real < b.Real }
 proto sub infix:«<=»(Mu $?, Mu $?) is pure {*}
 multi sub infix:«<=»($?)                   { Bool::True }
 multi sub infix:«<=»(\a, \b)               { a.Real <= b.Real }
-proto sub infix:«≤» (Mu $?, Mu $?) is pure {*}
-multi sub infix:«≤» ($?)                   { Bool::True }
-multi sub infix:«≤» (\a, \b)               { a.Real  ≤ b.Real }
+# U+2264 LESS-THAN OR EQUAL TO
+my constant &infix:<≤> := &infix:«<=»;
 
 proto sub infix:«>»(Mu $?, Mu $?) is pure   {*}
 multi sub infix:«>»($?)         { Bool::True }

diff --git a/src/core/Rat.pm b/src/core/Rat.pm
@@ -254,15 +254,6 @@ multi sub infix:«<=»(Rational:D \a, Int:D \b) {
 multi sub infix:«<=»(Int:D \a, Rational:D \b) {
     a * b.denominator <= b.numerator
 }
-multi sub infix:«≤»(Rational:D \a, Rational:D \b) {
-    a.numerator * b.denominator ≤ b.numerator * a.denominator
-}
-multi sub infix:«≤»(Rational:D \a, Int:D \b) {
-    a.numerator ≤ b * a.denominator
-}
-multi sub infix:«≤»(Int:D \a, Rational:D \b) {
-    a * b.denominator ≤ b.numerator
-}
 
 multi sub infix:«>»(Rational:D \a, Rational:D \b) {
     a.numerator * b.denominator > b.numerator * a.denominator

diff --git a/src/core/Real.pm b/src/core/Real.pm
@@ -153,7 +153,6 @@ multi sub infix:<==>(Real \a, Real \b)  { a.Bridge == b.Bridge }
 multi sub infix:«<»(Real \a, Real \b)   { a.Bridge < b.Bridge }
 
 multi sub infix:«<=»(Real \a, Real \b)  { a.Bridge <= b.Bridge }
-multi sub infix:«≤» (Real \a, Real \b)  { a.Bridge  ≤ b.Bridge }
 
 multi sub infix:«>»(Real \a, Real \b)   { a.Bridge > b.Bridge }
 

diff --git a/src/core/Version.pm b/src/core/Version.pm
@@ -209,7 +209,6 @@ multi sub infix:<cmp>(Version:D \a, Version:D \b) {
 multi sub infix:«<=>»(Version:D \a, Version:D \b) { a cmp b }
 multi sub infix:«<»  (Version:D \a, Version:D \b) { a cmp b == Less }
 multi sub infix:«<=» (Version:D \a, Version:D \b) { a cmp b != More }
-multi sub infix:«≤»  (Version:D \a, Version:D \b) { a cmp b != More }
 multi sub infix:«==» (Version:D \a, Version:D \b) { a cmp b == Same }
 multi sub infix:«!=» (Version:D \a, Version:D \b) { a cmp b != Same }
 multi sub infix:«≠»  (Version:D \a, Version:D \b) { a cmp b  ≠ Same }