diff options
| author | Eduardo Julian | 2021-09-10 03:53:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-10 03:53:29 -0400 |
| commit | d48270f43c404ba19ca04da2553455ecaaf2caba (patch) | |
| tree | 850f3a240267fd8b944fbd221ace130c8f7b8606 /stdlib/source/poly | |
| parent | 343fda007c09deb70917a4afda19891cacf54504 (diff) | |
Adjusted new compilers to work with the new variant syntax.
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 16 |
3 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index c6bdaf517..37bb54d79 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -117,11 +117,11 @@ (case [(~ g!left) (~ g!right)] (~+ (list\conjoint (list\each (function (_ [tag g!eq]) (if (nat.= last tag) - (list (` [((~ (code.nat (-- tag))) #1 (~ g!left)) - ((~ (code.nat (-- tag))) #1 (~ g!right))]) + (list (` [{(~ (code.nat (-- tag))) #1 (~ g!left)} + {(~ (code.nat (-- tag))) #1 (~ g!right)}]) (` ((~ g!eq) (~ g!left) (~ g!right)))) - (list (` [((~ (code.nat tag)) #0 (~ g!left)) - ((~ (code.nat tag)) #0 (~ g!right))]) + (list (` [{(~ (code.nat tag)) #0 (~ g!left)} + {(~ (code.nat tag)) #0 (~ g!right)}]) (` ((~ g!eq) (~ g!left) (~ g!right)))))) (list.enumeration members)))) (~ g!_) diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 9537f3d38..d4637711f 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -58,10 +58,10 @@ (in (` (case (~ valueC) (~+ (list\conjoint (list\each (function (_ [tag memberC]) (if (n.= last tag) - (list (` ((~ (code.nat (-- tag))) #1 (~ valueC))) - (` ((~ (code.nat (-- tag))) #1 (~ memberC)))) - (list (` ((~ (code.nat tag)) #0 (~ valueC))) - (` ((~ (code.nat tag)) #0 (~ memberC)))))) + (list (` {(~ (code.nat (-- tag))) #1 (~ valueC)}) + (` {(~ (code.nat (-- tag))) #1 (~ memberC)})) + (list (` {(~ (code.nat tag)) #0 (~ valueC)}) + (` {(~ (code.nat tag)) #0 (~ memberC)})))) (list.enumeration membersC)))))))) ... Tuples (do p.monad diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index e556c2ac6..80d8e37e7 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -106,16 +106,16 @@ <encoder>))))] [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) #/.Null)] - [(<type>.sub Bit) (|>> #/.Boolean)] + [(<type>.sub Bit) (|>> {#/.Boolean})] [(<type>.sub Nat) (\ (~! ..nat_codec) (~' encoded))] [(<type>.sub Int) (\ (~! ..int_codec) (~' encoded))] - [(<type>.sub Frac) (|>> #/.Number)] - [(<type>.sub Text) (|>> #/.String)]) + [(<type>.sub Frac) (|>> {#/.Number})] + [(<type>.sub Text) (|>> {#/.String})]) <time> (template [<type> <codec>] [(do ! [_ (<type>.exactly <type>)] (in (` (: (~ (@JSON\encoded inputT)) - (|>> (\ (~! <codec>) (~' encoded)) #/.String)))))] + (|>> (\ (~! <codec>) (~' encoded)) {#/.String})))))] ... [duration.Duration duration.codec] ... [instant.Instant instant.codec] @@ -150,7 +150,7 @@ ((~! list\each) (function ((~ g!_) [(~ g!key) (~ g!val)]) [(~ g!key) ((~ =val=) (~ g!val))])) ((~! dictionary.of_list) (~! text.hash)) - #/.Object))))) + {#/.Object}))))) (do ! [[_ =sub=] (<type>.applied ($_ <>.and (<type>.exactly .Maybe) @@ -162,7 +162,7 @@ (<type>.exactly .List) encoded))] (in (` (: (~ (@JSON\encoded inputT)) - (|>> ((~! list\each) (~ =sub=)) ((~! row.of_list)) #/.Array))))) + (|>> ((~! list\each) (~ =sub=)) ((~! row.of_list)) {#/.Array}))))) (do ! [.let [g!_ (code.local_identifier "_______") g!input (code.local_identifier "_______input")] @@ -173,11 +173,11 @@ (case (~ g!input) (~+ (list\conjoint (list\each (function (_ [tag g!encoded]) (if (n.= last tag) - (.list (` ((~ (code.nat (-- tag))) #1 (~ g!input))) + (.list (` {(~ (code.nat (-- tag))) #1 (~ g!input)}) (` ((~! /.json) [(~ (code.frac (..tag (-- tag)))) #1 ((~ g!encoded) (~ g!input))]))) - (.list (` ((~ (code.nat tag)) #0 (~ g!input))) + (.list (` {(~ (code.nat tag)) #0 (~ g!input)}) (` ((~! /.json) [(~ (code.frac (..tag tag))) #0 ((~ g!encoded) (~ g!input))]))))) |