diff options
| author | Eduardo Julian | 2022-03-30 21:25:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 21:25:53 -0400 |
| commit | 8eb86ed366b2305751f2e831c7a081ffcca82c89 (patch) | |
| tree | f8da5967f61d115414b3655dd9045cef370c8d5b /stdlib/source/library/lux.lux | |
| parent | 4326d69ab717683449bf37bf8dd170c83455c0c0 (diff) | |
De-sigil-ification: /
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 18 |
1 files changed, 9 insertions, 9 deletions
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]) |