From 971767f1eafb22208912353d8709f11081f2d3c8 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 14 Sep 2021 02:56:22 -0400 Subject: Re-named "Identifier" to "Symbol". --- stdlib/source/poly/lux/abstract/equivalence.lux | 16 +++++++-------- stdlib/source/poly/lux/abstract/functor.lux | 18 ++++++++--------- stdlib/source/poly/lux/data/format/json.lux | 26 ++++++++++++------------- 3 files changed, 30 insertions(+), 30 deletions(-) (limited to 'stdlib/source/poly') diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 71441f13b..7db8d5c13 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -43,7 +43,7 @@ (poly: .public equivalence (`` (do [! <>.monad] - [.let [g!_ (code.local_identifier "_____________")] + [.let [g!_ (code.local_symbol "_____________")] *env* .env inputT .next .let [@Equivalence (: (-> Type Code) @@ -109,9 +109,9 @@ (do ! [members (.variant (<>.many equivalence)) .let [last (-- (list.size members)) - g!_ (code.local_identifier "_____________") - g!left (code.local_identifier "_____________left") - g!right (code.local_identifier "_____________right")]] + g!_ (code.local_symbol "_____________") + g!left (code.local_symbol "_____________left") + g!right (code.local_symbol "_____________right")]] (in (` (: (~ (@Equivalence inputT)) (function ((~ g!_) (~ g!left) (~ g!right)) (case [(~ g!left) (~ g!right)] @@ -129,10 +129,10 @@ ... Tuples (do ! [g!eqs (.tuple (<>.many equivalence)) - .let [g!_ (code.local_identifier "_____________") + .let [g!_ (code.local_symbol "_____________") indices (list.indices (list.size g!eqs)) - g!lefts (list#each (|>> nat#encoded (text#composite "left") code.local_identifier) indices) - g!rights (list#each (|>> nat#encoded (text#composite "right") code.local_identifier) indices)]] + g!lefts (list#each (|>> nat#encoded (text#composite "left") code.local_symbol) indices) + g!rights (list#each (|>> nat#encoded (text#composite "right") code.local_symbol) indices)]] (in (` (: (~ (@Equivalence inputT)) (function ((~ g!_) [(~+ g!lefts)] [(~+ g!rights)]) (and (~+ (|> (list.zipped/3 g!eqs g!lefts g!rights) @@ -141,7 +141,7 @@ ... Type recursion (do ! [[g!self bodyC] (.recursive equivalence) - .let [g!_ (code.local_identifier "_____________")]] + .let [g!_ (code.local_symbol "_____________")]] (in (` (: (~ (@Equivalence inputT)) ((~! /.rec) (.function ((~ g!_) (~ g!self)) (~ bodyC))))))) diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 895d509be..b4c5e44a3 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -26,10 +26,10 @@ (poly: .public functor (do [! p.monad] - [.let [g!_ (code.local_identifier "____________") - type_funcC (code.local_identifier "____________type_funcC") - funcC (code.local_identifier "____________funcC") - inputC (code.local_identifier "____________inputC")] + [.let [g!_ (code.local_symbol "____________") + type_funcC (code.local_symbol "____________type_funcC") + funcC (code.local_symbol "____________funcC") + inputC (code.local_symbol "____________inputC")] *env* .env inputT .next [polyC varsC non_functorT] (.local (list inputT) @@ -39,7 +39,7 @@ (function (_ unwrappedT) (if (n.= 1 num_vars) (` ((~! /.Functor) (~ (poly.code *env* unwrappedT)))) - (let [paramsC (|> num_vars -- list.indices (list#each (|>> %.nat code.local_identifier)))] + (let [paramsC (|> num_vars -- list.indices (list#each (|>> %.nat code.local_symbol)))] (` (All ((~ g!_) (~+ paramsC)) ((~! /.Functor) ((~ (poly.code *env* unwrappedT)) (~+ paramsC))))))))) Arg (: (-> Code (.Parser Code)) @@ -69,7 +69,7 @@ (.tuple (loop [idx 0 pairsCC (: (List [Code Code]) (list))] - (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local_identifier)] + (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local_symbol)] (do ! [_ (in []) memberC (Arg slotC)] @@ -82,13 +82,13 @@ ... Functions (do ! [_ (in []) - .let [g! (code.local_identifier "____________") - outL (code.local_identifier "____________outL")] + .let [g! (code.local_symbol "____________") + outL (code.local_symbol "____________outL")] [inT+ outC] (.function (p.many .any) (Arg outL)) .let [inC+ (|> (list.size inT+) list.indices - (list#each (|>> %.nat (format "____________inC") code.local_identifier)))]] + (list#each (|>> %.nat (format "____________inC") code.local_symbol)))]] (in (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index df9c9cc5b..964d7918b 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -100,12 +100,12 @@ (with_expansions [ (template [ ] [(do ! - [.let [g!_ (code.local_identifier "_______")] + [.let [g!_ (code.local_symbol "_______")] _ ] (in (` (: (~ (@JSON#encoded inputT)) ))))] - [(.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) {/.#Null})] + [(.exactly Any) (function ((~ g!_) (~ (code.symbol ["" "0"]))) {/.#Null})] [(.sub Bit) (|>> {/.#Boolean})] [(.sub Nat) (# (~! ..nat_codec) (~' encoded))] [(.sub Int) (# (~! ..int_codec) (~' encoded))] @@ -124,7 +124,7 @@ [month.Month month.codec])] (do [! <>.monad] [*env* .env - .let [g!_ (code.local_identifier "_______") + .let [g!_ (code.local_symbol "_______") @JSON#encoded (: (-> Type Code) (function (_ type) (` (-> (~ (poly.code *env* type)) /.JSON))))] @@ -138,9 +138,9 @@ (in (` (: (~ (@JSON#encoded inputT)) (# (~! qty_codec) (~' encoded)))))) (do ! - [.let [g!_ (code.local_identifier "_______") - g!key (code.local_identifier "_______key") - g!val (code.local_identifier "_______val")] + [.let [g!_ (code.local_symbol "_______") + g!key (code.local_symbol "_______key") + g!val (code.local_symbol "_______val")] [_ _ =val=] (.applied ($_ <>.and (.exactly dictionary.Dictionary) (.exactly .Text) @@ -164,8 +164,8 @@ (in (` (: (~ (@JSON#encoded inputT)) (|>> ((~! list#each) (~ =sub=)) ((~! row.of_list)) {/.#Array}))))) (do ! - [.let [g!_ (code.local_identifier "_______") - g!input (code.local_identifier "_______input")] + [.let [g!_ (code.local_symbol "_______") + g!input (code.local_symbol "_______input")] members (.variant (<>.many encoded)) .let [last (-- (list.size members))]] (in (` (: (~ (@JSON#encoded inputT)) @@ -184,10 +184,10 @@ (list.enumeration members)))))))))) (do ! [g!encoders (.tuple (<>.many encoded)) - .let [g!_ (code.local_identifier "_______") + .let [g!_ (code.local_symbol "_______") g!members (|> (list.size g!encoders) list.indices - (list#each (|>> n#encoded code.local_identifier)))]] + (list#each (|>> n#encoded code.local_symbol)))]] (in (` (: (~ (@JSON#encoded inputT)) (function ((~ g!_) [(~+ g!members)]) ((~! /.json) [(~+ (list#each (function (_ [g!member g!encoded]) @@ -196,7 +196,7 @@ ... Type recursion (do ! [[selfC non_recC] (.recursive encoded) - .let [g! (code.local_identifier "____________")]] + .let [g! (code.local_symbol "____________")]] (in (` (: (~ (@JSON#encoded inputT)) ((~! ..rec_encoded) (.function ((~ g!) (~ selfC)) (~ non_recC))))))) @@ -248,7 +248,7 @@ [month.Month month.codec])] (do [! <>.monad] [*env* .env - .let [g!_ (code.local_identifier "_______") + .let [g!_ (code.local_symbol "_______") @JSON#decoded (: (-> Type Code) (function (_ type) (` (.Parser (~ (poly.code *env* type))))))] @@ -301,7 +301,7 @@ ... Type recursion (do ! [[selfC bodyC] (.recursive decoded) - .let [g! (code.local_identifier "____________")]] + .let [g! (code.local_symbol "____________")]] (in (` (: (~ (@JSON#decoded inputT)) ((~! <>.rec) (.function ((~ g!) (~ selfC)) (~ bodyC))))))) -- cgit v1.2.3