From 8eb86ed366b2305751f2e831c7a081ffcca82c89 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Mar 2022 21:25:53 -0400
Subject: De-sigil-ification: /

---
 stdlib/source/library/lux.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/library/lux.lux')

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index da0e84a92..bf523ec7c 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -3871,14 +3871,14 @@
           temp))
       )))
 
-(def: (zipped/2 xs ys)
+(def: (zipped_2 xs ys)
   (All (_ a b)
     (-> (List a) (List b) (List [a b])))
   (case xs
     {#Item x xs'}
     (case ys
       {#Item y ys'}
-      (list& [x y] (zipped/2 xs' ys'))
+      (list& [x y] (zipped_2 xs' ys'))
 
       _
       (list))
@@ -3934,7 +3934,7 @@
                                                                   {#None}
                                                                   (in enhanced_target))))
                                                             target
-                                                            (zipped/2 locals members))]
+                                                            (zipped_2 locals members))]
                                 (in (` ({(~ pattern) (~ enhanced_target)} (~ (symbol$ source)))))))))
                       name tags&members body)]
           (in (list full_body)))))
@@ -3986,7 +3986,7 @@
        g!output (..generated_symbol "")]
       (case (interface_methods type)
         {#Some members}
-        (let [pattern (|> (zipped/2 tags (enumeration members))
+        (let [pattern (|> (zipped_2 tags (enumeration members))
                           (list#each (is (-> [Symbol [Nat Type]] (List Code))
                                          (function (_ [[r_module r_name] [r_idx r_type]])
                                            (list (symbol$ [r_module r_name])
@@ -4037,7 +4037,7 @@
                             (is (-> [Nat Symbol Type] (Meta (List Code)))
                                 (function (_ [sub_tag_index sname stype])
                                   (open_declaration alias tags' sub_tag_index sname source+ stype)))
-                            (enumeration (zipped/2 tags' members')))]
+                            (enumeration (zipped_2 tags' members')))]
         (meta#in (list#conjoint decls')))
 
       _
@@ -4060,7 +4060,7 @@
             [decls' (monad#each meta_monad (is (-> [Nat Symbol Type] (Meta (List Code)))
                                                (function (_ [tag_index sname stype])
                                                  (open_declaration alias tags tag_index sname source stype)))
-                                (enumeration (zipped/2 tags members)))]
+                                (enumeration (zipped_2 tags members)))]
             (meta#in (list#conjoint decls')))
 
           _
@@ -4226,7 +4226,7 @@
                                       (do meta_monad
                                         [g!slot (..generated_symbol "")]
                                         (meta#in [r_slot_name r_idx g!slot]))))
-                                (zipped/2 tags (enumeration members)))]
+                                (zipped_2 tags (enumeration members)))]
           (let [pattern (|> pattern'
                             (list#each (is (-> [Symbol Nat Code] (List Code))
                                            (function (_ [r_slot_name r_idx r_var])
@@ -4259,7 +4259,7 @@
                               (is (-> Code (Meta Code))
                                   (function (_ _) (..generated_symbol "temp")))
                               slots)
-         .let [pairs (zipped/2 slots bindings)
+         .let [pairs (zipped_2 slots bindings)
                update_expr (list#mix (is (-> [Code Code] Code Code)
                                          (function (_ [s b] v)
                                            (` (..has (~ s) (~ v) (~ b)))))
@@ -4309,7 +4309,7 @@
                                       (do meta_monad
                                         [g!slot (..generated_symbol "")]
                                         (meta#in [r_slot_name r_idx g!slot]))))
-                                (zipped/2 tags (enumeration members)))]
+                                (zipped_2 tags (enumeration members)))]
           (let [pattern (|> pattern'
                             (list#each (is (-> [Symbol Nat Code] (List Code))
                                            (function (_ [r_slot_name r_idx r_var])
-- 
cgit v1.2.3