More efficient binary parsing.

15 files changed, 130 insertions, 89 deletions

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d4e4cd09f..6dd130899 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -28,6 +28,16 @@ jobs:
           python-version: '3.9'
           architecture: 'x64'
       - run: cd ./stdlib/ && ../lux.sh with python with bibliotheca test
+  test_stdlib_on_ruby:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: ./.github/workflows/setup_aedifex
+      # https://github.com/actions/setup-ruby
+      - uses: actions/setup-ruby@v1
+        with:
+          ruby-version: '2.6'
+      - run: cd ./stdlib/ ../lux.sh with ruby with bibliotheca test
 #  test_stdlib:
 #    runs-on: ubuntu-latest
 #    steps:
@@ -35,10 +45,4 @@ jobs:
 #      # https://github.com/marketplace/actions/setup-lua-luajit
 #      - uses: xpol/setup-lua@v0.3
 #      - run: cd ./stdlib/ && ../lux.sh clean && ../lux.sh with lua with bibliotheca test && cd ..
-#      # Test on Ruby
-#      # https://github.com/actions/setup-ruby
-#      - uses: actions/setup-ruby@v1
-#        with:
-#          ruby-version: '2.6'
-#      - run: cd ./stdlib/ && ../lux.sh clean && ../lux.sh with ruby with bibliotheca test && cd ..
 
diff --git a/lux-python/project.lux b/lux-python/project.lux
index f69567703..b9b95ff62 100644
--- a/lux-python/project.lux
+++ b/lux-python/project.lux
@@ -17,7 +17,8 @@
   
   "lux" ["com.github.luxlang" "lux-jvm" "0.7.0-SNAPSHOT" "jar"]
   "dependencies" [... ["com.github.luxlang" "stdlib" "0.6.5" "tar"]
-                  ["org.python" "jython-standalone" "2.7.2" "jar"]
-                  ["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]]
+                  ["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]
+                  
+                  ["org.python" "jython-standalone" "2.7.2" "jar"]]
   
   "program" "program"]]
diff --git a/lux-ruby/commands.md b/lux-ruby/commands.md
index d998b0f84..0546f063f 100644
--- a/lux-ruby/commands.md
+++ b/lux-ruby/commands.md
@@ -28,14 +28,14 @@ cd ~/lux/stdlib/ \
 
 ```
 cd ~/lux/lux-ruby/ \
-&& mvn install:install-file -Dfile=target/program.jar -DgroupId=com.github.luxlang -DartifactId=lux-ruby -Dversion=0.6.6-SNAPSHOT -Dpackaging=jar
+&& mvn install:install-file -Dfile=target/program.jar -DgroupId=com.github.luxlang -DartifactId=lux-ruby -Dversion=0.7.0-SNAPSHOT -Dpackaging=jar
 
 cd ~/lux/lux-ruby/ && mvn deploy:deploy-file \
--Durl=https://USERNAME:PASSWORD@oss.sonatype.org/content/repositories/snapshots/ \
+-Durl=https://$NEXUS_USERNAME:$NEXUS_PASSWORD@oss.sonatype.org/content/repositories/snapshots/ \
 -Dfile=target/program.jar \
 -DgroupId=com.github.luxlang \
 -DartifactId=lux-ruby \
--Dversion=0.6.5-SNAPSHOT \
+-Dversion=0.7.0-SNAPSHOT \
 -Dpackaging=jar
 ```
 
diff --git a/lux-ruby/project.lux b/lux-ruby/project.lux
index de1979660..e23b606b2 100644
--- a/lux-ruby/project.lux
+++ b/lux-ruby/project.lux
@@ -15,8 +15,9 @@
   "repositories" ["https://oss.sonatype.org/content/repositories/snapshots/"
                   "https://oss.sonatype.org/service/local/staging/deploy/maven2/"]
   
-  "lux" ["com.github.luxlang" "lux-jvm" "0.6.6-SNAPSHOT" "jar"]
+  "lux" ["com.github.luxlang" "lux-jvm" "0.7.0-SNAPSHOT" "jar"]
   "dependencies" [... ["com.github.luxlang" "stdlib" "0.6.6-SNAPSHOT" "tar"]
+                  ["com.github.luxlang" "lux-jvm-function" "0.6.5" "jar"]
 
                   ["org.jruby" "jruby-complete" "9.2.15.0" "jar"]]
   
diff --git a/lux-ruby/source/program.lux b/lux-ruby/source/program.lux
index 5b4da0caa..1e06e6664 100644
--- a/lux-ruby/source/program.lux
+++ b/lux-ruby/source/program.lux
@@ -114,10 +114,10 @@
 (import: org/jruby/RubyClass
   "[1]::[0]")
 
-(import: org/jruby/RubyArray
+(import: (org/jruby/RubyArray a)
   "[1]::[0]"
   (getLength [] int)
-  (get [int] "?" Object))
+  (get [int] "?" java/lang/Object))
 
 (import: org/jruby/RubyHash
   "[1]::[0]"
@@ -233,7 +233,7 @@
   (-> java/lang/Object (Try Any)))
 
 (def: (read_tuple read host_object)
-  (-> Translator org/jruby/RubyArray (Try Any))
+  (-> Translator (org/jruby/RubyArray org/jruby/runtime/builtin/IRubyObject) (Try Any))
   (let [size (.nat (ffi.of_int (org/jruby/RubyArray::getLength host_object)))]
     (loop (again [idx 0
                   output (is (Array Any)
@@ -245,11 +245,11 @@
           
           {.#Some value}
           (case (read value)
-            {try.#Failure error}
-            {try.#Failure error}
-
             {try.#Success lux_value}
-            (again (++ idx) (array.write! idx lux_value output))))
+            (again (++ idx) (array.has! idx lux_value output))
+
+            failure
+            failure))
         {try.#Success output}))))
 
 (exception: (unknown_kind_of_object [object java/lang/Object])
@@ -301,7 +301,7 @@
                 [org/jruby/RubyFixnum [org/jruby/RubyFixnum::getLongValue {try.#Success}]]
                 [org/jruby/RubyString [org/jruby/RubyString::asJavaString {try.#Success}]]
                 [[java/lang/Object] [{try.#Success}]]
-                [org/jruby/RubyArray [(read_tuple read)]]
+                [org/jruby/RubyArray [(as (org/jruby/RubyArray org/jruby/runtime/builtin/IRubyObject)) (read_tuple read)]]
                 [org/jruby/RubyHash [(read_variant read)]]
                 [org/jruby/RubySymbol [{try.#Success}]]
                 [org/jruby/RubyProc [{try.#Success}]]
@@ -465,7 +465,7 @@
          (let [member (ffi.read! 0 args)]
            (<| (case (ffi.as org/jruby/RubyFixnum member)
                  {.#Some member}
-                 (case (array.read! (.nat (ffi.of_long (org/jruby/RubyFixnum::getLongValue member))) value)
+                 (case (array.item (.nat (ffi.of_long (org/jruby/RubyFixnum::getLongValue member))) value)
                    {.#Some value}
                    (wrapped_lux_value (as_expected useful_object_class) lux_structure value)
 
@@ -478,7 +478,7 @@
                  (case (ffi.of_string (org/jruby/RubyString::asJavaString member))
                    (pattern (static runtime.variant_tag_field))
                    (|> value
-                       (array.read! 0)
+                       (array.item 0)
                        maybe.trusted
                        (as java/lang/Integer)
                        java/lang/Integer::longValue
@@ -486,7 +486,7 @@
                        (ffi.is org/jruby/runtime/builtin/IRubyObject))
 
                    (pattern (static runtime.variant_flag_field))
-                   (case (array.read! 1 value)
+                   (case (array.item 1 value)
                      {.#None}
                      ..ruby_nil
                      
@@ -494,7 +494,7 @@
                      ..lux_unit)
                    
                    (pattern (static runtime.variant_value_field))
-                   (case (array.read! 2 value)
+                   (case (array.item 2 value)
                      {.#Some value}
                      (wrapped_lux_value (as_expected useful_object_class) lux_structure value)
 
@@ -691,7 +691,7 @@
   (<| (ffi.is org/jruby/runtime/builtin/IRubyObject)
       (org/jruby/java/proxies/JavaProxy::new ..initial_ruby_runtime
                                              (useful_object_class lux_structure value)
-                                             (ffi.is java/lang/Object value))))
+                                             (as java/lang/Object value))))
 
 (exception: (cannot_apply_a_non_function [object java/lang/Object])
   (exception.report
diff --git a/stdlib/project.lux b/stdlib/project.lux
index 248a90a18..6de4fa930 100644
--- a/stdlib/project.lux
+++ b/stdlib/project.lux
@@ -75,7 +75,7 @@
   ]
 
  "ruby"
- ["lux" ["com.github.luxlang" "lux-ruby" "0.6.6-SNAPSHOT" "jar"]
+ ["lux" ["com.github.luxlang" "lux-ruby" "0.7.0-SNAPSHOT" "jar"]
   ... The OS command to use when running Ruby tests. The default is described below.
   ... "ruby" ["ruby"]
   ]
diff --git a/stdlib/source/documentation/lux/data/binary.lux b/stdlib/source/documentation/lux/data/binary.lux
index abfdc044d..ecf9bba44 100644
--- a/stdlib/source/documentation/lux/data/binary.lux
+++ b/stdlib/source/documentation/lux/data/binary.lux
@@ -17,9 +17,9 @@
   "A fresh/empty binary BLOB of the specified size."
   [(empty size)])
 
-(documentation: /.aggregate
+(documentation: /.mix
   ""
-  [(aggregate f init binary)])
+  [(mix f init binary)])
 
 (documentation: /.bits_8
   "Read 1 byte (8 bits) at the given index."
@@ -71,7 +71,7 @@
             ""
             [..Binary
              ..empty
-             ..aggregate
+             ..mix
              ..bits_8
              ..bits_16
              ..bits_32
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index f8d92bc77..619b9733d 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -170,7 +170,7 @@
                 (if started?
                   (in [])
                   (do !
-                    [_ (atom.has! true ..started?)]
+                    [_ (atom.write! true ..started?)]
                     (loop (again [_ []])
                       (do !
                         [threads (atom.read! ..runner)]
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux
index a1c565360..1e360a194 100644
--- a/stdlib/source/library/lux/control/parser/binary.lux
+++ b/stdlib/source/library/lux/control/parser/binary.lux
@@ -1,6 +1,7 @@
 (.using
  [library
   [lux {"-" and or nat int rev list type symbol}
+   [ffi {"+"}]
    [type {"+" sharing}]
    [abstract
     [hash {"+" Hash}]
@@ -9,7 +10,8 @@
     ["[0]" try {"+" Try}]
     ["[0]" exception {"+" exception:}]]
    [data
-    ["/" binary {"+" Binary}]
+    ["/" binary "_"
+     ["[1]" \\unsafe {"+" Binary}]]
     [text
      ["%" format {"+" format}]
      [encoding
@@ -17,7 +19,9 @@
     [collection
      ["[0]" list]
      ["[0]" sequence {"+" Sequence}]
-     ["[0]" set {"+" Set}]]]
+     ["[0]" set {"+" Set}]
+     [array
+      [\\unsafe {"+"}]]]]
    [macro
     ["^" pattern]
     ["[0]" template]]
@@ -39,22 +43,31 @@
    "Binary length" (%.nat binary_length)
    "Bytes read" (%.nat bytes_read)))
 
+(template [<name> <extension>]
+  [(template: (<name> <parameter> <subject>)
+     [(<extension> <parameter> <subject>)])]
+
+  [n#= "lux i64 ="]
+  [n#+ "lux i64 +"]
+  [n#- "lux i64 -"]
+  )
+
 (def: .public (result parser input)
   (All (_ a) (-> (Parser a) Binary (Try a)))
   (case (parser [0 input])
-    {try.#Failure msg}
-    {try.#Failure msg}
-    
     {try.#Success [[end _] output]}
     (let [length (/.size input)]
-      (if (n.= end length)
+      (if (n#= end length)
         {try.#Success output}
-        (exception.except ..binary_was_not_fully_read [length end])))))
+        (exception.except ..binary_was_not_fully_read [length end])))
+
+    failure
+    (as_expected failure)))
 
 (def: .public end?
   (Parser Bit)
   (function (_ (^.let input [offset data]))
-    {try.#Success [input (n.= offset (/.size data))]}))
+    {try.#Success [input (n#= offset (/.size data))]}))
 
 (def: .public offset
   (Parser Offset)
@@ -64,7 +77,7 @@
 (def: .public remaining
   (Parser Nat)
   (function (_ (^.let input [offset data]))
-    {try.#Success [input (n.- offset (/.size data))]}))
+    {try.#Success [input (n#- offset (/.size data))]}))
 
 (type: .public Size
   Nat)
@@ -74,16 +87,24 @@
 (def: .public size_32 Size (n.* 2 size_16))
 (def: .public size_64 Size (n.* 2 size_32))
 
+(exception: .public (range_out_of_bounds [length Nat
+                                          start Nat
+                                          end Nat])
+  (exception.report
+   "Length" (%.nat length)
+   "Range start" (%.nat start)
+   "Range end" (%.nat end)))
+
 (template [<name> <size> <read>]
   [(def: .public <name>
      (Parser I64)
-     (function (_ [offset binary])
-       (case (<read> offset binary)
-         {try.#Success data}
-         {try.#Success [(n.+ <size> offset) binary] data}
-         
-         {try.#Failure error}
-         {try.#Failure error})))]
+     (function (_ [start binary])
+       (let [end (n#+ <size> start)]
+         (if (n.< end (/.size binary))
+           (exception.except ..range_out_of_bounds [(/.size binary) start end])
+           (|> (<read> start binary)
+               [[end binary]]
+               {try.#Success})))))]
 
   [bits_8  ..size_8  /.bits_8]
   [bits_16 ..size_16 /.bits_16]
@@ -153,12 +174,16 @@
 
 (def: .public (segment size)
   (-> Nat (Parser Binary))
-  (function (_ [offset binary])
-    (case size
-      0 {try.#Success [[offset binary] (/.empty 0)]}
-      _ (|> binary
-            (/.slice offset size)
-            (# try.monad each (|>> [[(n.+ size offset) binary]]))))))
+  (case size
+    0 (//#in (/.empty 0))
+    _ (function (_ [start binary])
+        (let [end (n#+ size start)]
+          (if (n.< end (/.size binary))
+            (exception.except ..range_out_of_bounds [(/.size binary) start end])
+            (|> binary
+                (/.slice start size)
+                [[end binary]]
+                {try.#Success}))))))
 
 (template [<size> <name> <bits>]
   [(`` (def: .public <name>
@@ -232,7 +257,7 @@
     [raw (..list value)
      .let [output (set.of_list hash raw)]
      _ (//.assertion (exception.error ..set_elements_are_not_unique [])
-                     (n.= (list.size raw)
+                     (n#= (list.size raw)
                           (set.size output)))]
     (in output)))
 
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index 6615131c5..6ccbb0442 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -31,7 +31,7 @@
   (-> Nat Binary)
   (|>> /.empty))
 
-(def: .public (aggregate $ init it)
+(def: .public (mix $ init it)
   (All (_ a) (-> (-> I64 a a) a Binary a))
   (let [size (/.size it)]
     (loop (again [index 0
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index afea5a3dd..4fb3522a6 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -172,7 +172,7 @@
 
   (def: checksum
     (-> Binary Nat)
-    (binary.aggregate n.+ 0))
+    (binary.mix n.+ 0))
 
   (def: checksum_checksum
     (|> ..dummy_checksum
@@ -217,10 +217,10 @@
 (def: ascii?
   (-> Text Bit)
   (|>> (# utf8.codec encoded)
-       (binary.aggregate (function (_ char verdict)
-                           (.and verdict
-                                 (n.<= ..last_ascii char)))
-                         true)))
+       (binary.mix (function (_ char verdict)
+                     (.and verdict
+                           (n.<= ..last_ascii char)))
+                   true)))
 
 (exception: .public (not_ascii [text Text])
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index 32c57de4e..ab9ed4837 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -9,7 +9,7 @@
      ["<[0]>" code {"+" Parser}]]]
    [data
     [collection
-     ["[0]" array {"+" Array}]
+     ["[0]" array]
      ["[0]" dictionary]
      ["[0]" list]]]
    ["[0]" type
@@ -32,11 +32,13 @@
    [<code>.any
     (function (_ extension phase archive lengthC)
       (<| analysis/type.with_var
-          (function (_ [@var :var:]))
+          (function (_ [@read :read:]))
+          analysis/type.with_var
+          (function (_ [@write :write:]))
           (do phase.monad
             [lengthA (<| (analysis/type.expecting Nat)
                          (phase archive lengthC))
-             _ (analysis/type.inference (type (Array :var:)))]
+             _ (analysis/type.inference (type (array.Array' :read: :write:)))]
             (in {analysis.#Extension extension (list lengthA)}))))]))
 
 (def: array::length
@@ -45,9 +47,11 @@
    [<code>.any
     (function (_ extension phase archive arrayC)
       (<| analysis/type.with_var
-          (function (_ [@var :var:]))
+          (function (_ [@read :read:]))
+          analysis/type.with_var
+          (function (_ [@write :write:]))
           (do phase.monad
-            [arrayA (<| (analysis/type.expecting (type (Array :var:)))
+            [arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
                         (phase archive arrayC))
              _ (analysis/type.inference Nat)]
             (in {analysis.#Extension extension (list arrayA)}))))]))
@@ -58,13 +62,15 @@
    [(<>.and <code>.any <code>.any)
     (function (_ extension phase archive [indexC arrayC])
       (<| analysis/type.with_var
-          (function (_ [@var :var:]))
+          (function (_ [@read :read:]))
+          analysis/type.with_var
+          (function (_ [@write :write:]))
           (do phase.monad
             [indexA (<| (analysis/type.expecting Nat)
                         (phase archive indexC))
-             arrayA (<| (analysis/type.expecting (type (Array :var:)))
+             arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
                         (phase archive arrayC))
-             _ (analysis/type.inference :var:)]
+             _ (analysis/type.inference :read:)]
             (in {analysis.#Extension extension (list indexA arrayA)}))))]))
 
 (def: array::write
@@ -73,15 +79,17 @@
    [($_ <>.and <code>.any <code>.any <code>.any)
     (function (_ extension phase archive [indexC valueC arrayC])
       (<| analysis/type.with_var
-          (function (_ [@var :var:]))
+          (function (_ [@read :read:]))
+          analysis/type.with_var
+          (function (_ [@write :write:]))
           (do phase.monad
             [indexA (<| (analysis/type.expecting Nat)
                         (phase archive indexC))
-             valueA (<| (analysis/type.expecting :var:)
+             valueA (<| (analysis/type.expecting :write:)
                         (phase archive valueC))
-             arrayA (<| (analysis/type.expecting (type (Array :var:)))
+             arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
                         (phase archive arrayC))
-             _ (analysis/type.inference (type (Array :var:)))]
+             _ (analysis/type.inference (type (array.Array' :read: :write:)))]
             (in {analysis.#Extension extension (list indexA valueA arrayA)}))))]))
 
 (def: array::delete
@@ -90,13 +98,15 @@
    [($_ <>.and <code>.any <code>.any)
     (function (_ extension phase archive [indexC arrayC])
       (<| analysis/type.with_var
-          (function (_ [@var :var:]))
+          (function (_ [@read :read:]))
+          analysis/type.with_var
+          (function (_ [@write :write:]))
           (do phase.monad
             [indexA (<| (analysis/type.expecting Nat)
                         (phase archive indexC))
-             arrayA (<| (analysis/type.expecting (type (Array :var:)))
+             arrayA (<| (analysis/type.expecting (type (array.Array' :read: :write:)))
                         (phase archive arrayC))
-             _ (analysis/type.inference (type (Array :var:)))]
+             _ (analysis/type.inference (type (array.Array' :read: :write:)))]
             (in {analysis.#Extension extension (list indexA arrayA)}))))]))
 
 (def: bundle::array
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 1455fd65f..6b3f973ce 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -57,13 +57,13 @@
 
   (def: encoded
     (Format Binary)
-    (binary.aggregate (function (_ byte representation)
-                        (let [hex (# n.hex encoded byte)
-                              hex (case (text.size hex)
-                                    1 (format "0" hex)
-                                    _ hex)]
-                          (format representation hex)))
-                      ""))
+    (binary.mix (function (_ byte representation)
+                  (let [hex (# n.hex encoded byte)
+                        hex (case (text.size hex)
+                              1 (format "0" hex)
+                              _ hex)]
+                    (format representation hex)))
+                ""))
 
   (template [<factor> <name>]
     [(def: <name>
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 656dbf9bf..badf40980 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -75,9 +75,9 @@
 
 (def: as_list
   (-> /.Binary (List Nat))
-  (/.aggregate (function (_ head tail)
-                 {.#Item head tail})
-               (list)))
+  (/.mix (function (_ head tail)
+           {.#Item head tail})
+         (list)))
 
 (def: test|unsafe
   Test
@@ -160,9 +160,9 @@
                    ($equivalence.spec /.equivalence (..random size)))
             (_.for [/.monoid]
                    ($monoid.spec /.equivalence /.monoid (..random size)))
-            (_.cover [/.aggregate]
+            (_.cover [/.mix]
                      (n.= (# list.mix mix n.+ 0 (..as_list sample))
-                          (/.aggregate n.+ 0 sample)))
+                          (/.mix n.+ 0 sample)))
             
             (_.cover [/.empty]
                      (# /.equivalence =
@@ -212,7 +212,7 @@
 
                             {.#Item head tail}
                             (n.= (list.mix n.+ 0 tail)
-                                 (/.aggregate n.+ 0 (/.after 1 sample))))))
+                                 (/.mix n.+ 0 (/.after 1 sample))))))
             (_.cover [/.copy!]
                      (and (case (/.copy! size 0 sample 0 (/.empty size))
                             {try.#Success output}
diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux
index 968d3c7bd..22dee2512 100644
--- a/stdlib/source/test/lux/target/ruby.lux
+++ b/stdlib/source/test/lux/target/ruby.lux
@@ -20,7 +20,7 @@
     [collection
      ["[0]" list ("[1]#[0]" functor)]
      ["[0]" set]]]
-   ["[0]" math
+   [math
     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
     [number {"+" hex}
      ["n" nat]
@@ -122,7 +122,7 @@
                   [/.* f.* |>]
                   [/./ f./ |>]
                   [/.% f.mod |>]
-                  [/.pow math.pow f.abs]
+                  [/.pow f.pow f.abs]
                   ))
             (~~ (template [</> <lux>]
                   [(_.cover [</>]