Implement the % operator

TODO

@@ -31,7 +31,7 @@ EASY
 
    Stuff spectests are blocking on: "is readonly", "[+]",
    "Block", "&prefix:<\>", "&hash",
-   "writable $_", "closure for", "ranges of chars", "gather for", "%",
+   "writable $_", "closure for", "ranges of chars", "gather for",
    "unless", "my regex / <&foo>", "m//",
 
    At least parsing Int et al on my-decls would help a lot

lib/Builtins.cs

@@ -204,6 +204,14 @@ public class Builtins {
         return Kernel.BoxAnyMO<double>(r1 / r2, Kernel.NumMO);
     }
 
+    public static Variable Mod(Variable v1, Variable v2) {
+        IP6 o1 = NominalCheck("$x", Kernel.AnyMO, v1);
+        IP6 o2 = NominalCheck("$y", Kernel.AnyMO, v2);
+        double r1 = o1.mo.mro_raw_Numeric.Get(v1);
+        double r2 = o2.mo.mro_raw_Numeric.Get(v2);
+        return Kernel.BoxAnyMO<double>(r1 - r2 * Math.Floor(r1 / r2), Kernel.NumMO);
+    }
+
     public static Variable NumAnd(Variable v1, Variable v2) {
         IP6 o1 = NominalCheck("$x", Kernel.AnyMO, v1);
         IP6 o2 = NominalCheck("$y", Kernel.AnyMO, v2);

lib/CLRBackend.cs

@@ -3130,6 +3130,7 @@ class NamProcessor {
             thandlers["bif_strgt"] = SimpleB("StringGt");
             thandlers["bif_plus"] = SimpleB("Plus");
             thandlers["bif_minus"] = SimpleB("Minus");
+            thandlers["bif_mod"] = SimpleB("Mod");
             thandlers["bif_mul"] = SimpleB("Mul");
             thandlers["bif_divide"] = SimpleB("Divide");
             thandlers["bif_not"] = SimpleB("Not");

lib/SAFE.setting

@@ -269,6 +269,7 @@ sub infix:<+>($l,$r) { $l + $r }
 sub infix:<->($l,$r) { $l - $r }
 sub infix:<*>($l,$r) { $l * $r }
 sub infix:</>($l,$r) { $l / $r }
+sub infix:<%>($l,$r) { $l % $r }
 
 sub infix:<< < >>($l,$r)  { $l <  $r }
 sub infix:<< > >>($l,$r)  { $l >  $r }
@@ -1066,7 +1067,6 @@ sub infix:<after> ($a, $b) { $a gt $b }
 sub seqop($op) { $op } # TODO: Special case with hyper
 sub reverseop($op) { sub (\$x, \$y) { $op($y, $x) } }
 
-sub infix:<%> ($x,$y) { die "Modulus calculation NYI"; } #OK
 sub infix:<div> ($x,$y) { die "Modulus calculation NYI"; } #OK
 sub infix:<mod> ($x,$y) { die "Modulus calculation NYI"; } #OK
 sub infix:<~&> ($x, $y) { die "Buffer bitops NYI"; } #OK

src/NieczaPassSimplifier.pm6

@@ -69,6 +69,7 @@ our %funcs = (
     '&infix:</>'           => do_builtin('divide', 2),
     '&infix:<->'           => do_builtin('minus', 2),
     '&infix:<*>'           => do_builtin('mul', 2),
+    '&infix:<%>'           => do_builtin('mod', 2),
     '&infix:<==>'          => do_builtin('numeq', 2),
     '&infix:<>=>'          => do_builtin('numge', 2),
     '&infix:<>>'           => do_builtin('numgt', 2),

src/niecza

@@ -123,6 +123,7 @@ method quote_mod:b  ($) { }
 
 augment class CgOp {
 method xspan(*@items) { self._cgop('xspan', @items) }
+method bif_mod($x,$y) { self._cgop('bif_mod', $x, $y) }
 }
 
 augment class Op {