aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/meta/archive
diff options
context:
space:
mode:
authorEduardo Julian2020-12-02 06:42:20 -0400
committerEduardo Julian2020-12-02 06:42:20 -0400
commit34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch)
treeeb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/lux/tool/compiler/meta/archive
parent982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff)
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/lux/tool/compiler/meta/archive')
-rw-r--r--stdlib/source/lux/tool/compiler/meta/archive/artifact.lux44
-rw-r--r--stdlib/source/lux/tool/compiler/meta/archive/descriptor.lux2
-rw-r--r--stdlib/source/lux/tool/compiler/meta/archive/document.lux8
3 files changed, 27 insertions, 27 deletions
diff --git a/stdlib/source/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/lux/tool/compiler/meta/archive/artifact.lux
index dec8938b3..319b23169 100644
--- a/stdlib/source/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/lux/tool/compiler/meta/archive/artifact.lux
@@ -127,28 +127,28 @@
(do {! <>.monad}
[tag <b>.nat]
(case tag
- 0 (:: ! map (|>> #Anonymous) <b>.any)
- 1 (:: ! map (|>> #Definition) <b>.text)
- 2 (:: ! map (|>> #Analyser) <b>.text)
- 3 (:: ! map (|>> #Synthesizer) <b>.text)
- 4 (:: ! map (|>> #Generator) <b>.text)
- 5 (:: ! map (|>> #Directive) <b>.text)
+ 0 (\ ! map (|>> #Anonymous) <b>.any)
+ 1 (\ ! map (|>> #Definition) <b>.text)
+ 2 (\ ! map (|>> #Analyser) <b>.text)
+ 3 (\ ! map (|>> #Synthesizer) <b>.text)
+ 4 (\ ! map (|>> #Generator) <b>.text)
+ 5 (\ ! map (|>> #Directive) <b>.text)
_ (<>.fail (exception.construct ..invalid-category [tag])))))]
(|> (<b>.row/64 category)
- (:: <>.monad map (row\fold (function (_ artifact registry)
- (product.right
- (case artifact
- #Anonymous
- (..resource registry)
-
- (^template [<tag> <create>]
- [(<tag> name)
- (<create> name registry)])
- ([#Definition ..definition]
- [#Analyser ..analyser]
- [#Synthesizer ..synthesizer]
- [#Generator ..generator]
- [#Directive ..directive])
- )))
- ..empty)))))
+ (\ <>.monad map (row\fold (function (_ artifact registry)
+ (product.right
+ (case artifact
+ #Anonymous
+ (..resource registry)
+
+ (^template [<tag> <create>]
+ [(<tag> name)
+ (<create> name registry)])
+ ([#Definition ..definition]
+ [#Analyser ..analyser]
+ [#Synthesizer ..synthesizer]
+ [#Generator ..generator]
+ [#Directive ..directive])
+ )))
+ ..empty)))))
)
diff --git a/stdlib/source/lux/tool/compiler/meta/archive/descriptor.lux b/stdlib/source/lux/tool/compiler/meta/archive/descriptor.lux
index 987aa5fbf..2ae89cf4e 100644
--- a/stdlib/source/lux/tool/compiler/meta/archive/descriptor.lux
+++ b/stdlib/source/lux/tool/compiler/meta/archive/descriptor.lux
@@ -42,7 +42,7 @@
<b>.text
<b>.text
<b>.nat
- (:: <>.monad wrap #.Cached)
+ (\ <>.monad wrap #.Cached)
(<b>.set text.hash <b>.text)
artifact.parser
))
diff --git a/stdlib/source/lux/tool/compiler/meta/archive/document.lux b/stdlib/source/lux/tool/compiler/meta/archive/document.lux
index bc6fc5288..a8c656ff9 100644
--- a/stdlib/source/lux/tool/compiler/meta/archive/document.lux
+++ b/stdlib/source/lux/tool/compiler/meta/archive/document.lux
@@ -31,9 +31,9 @@
(def: #export (read key document)
(All [d] (-> (Key d) (Document Any) (Try d)))
(let [[document//signature document//content] (:representation document)]
- (if (:: signature.equivalence =
- (key.signature key)
- document//signature)
+ (if (\ signature.equivalence =
+ (key.signature key)
+ document//signature)
(#try.Success (:share [e]
{(Key e)
key}
@@ -66,5 +66,5 @@
(def: #export parser
(All [d] (-> (Parser d) (Parser (Document d))))
(|>> (<>.and signature.parser)
- (:: <>.monad map (|>> :abstraction))))
+ (\ <>.monad map (|>> :abstraction))))
)