aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/macro/syntax/common/reader.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/macro/syntax/common/reader.lux')
-rw-r--r--stdlib/source/lux/macro/syntax/common/reader.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/macro/syntax/common/reader.lux b/stdlib/source/lux/macro/syntax/common/reader.lux
index 0e8b5df9a..bb2e128e6 100644
--- a/stdlib/source/lux/macro/syntax/common/reader.lux
+++ b/stdlib/source/lux/macro/syntax/common/reader.lux
@@ -8,7 +8,7 @@
[maybe])
[macro]
(macro ["s" syntax #+ syntax: Syntax]))
- [// #*])
+ [//])
## Exports
(def: #export export
@@ -22,7 +22,7 @@
"Such as:"
quux
(foo bar baz))}
- (Syntax Declaration)
+ (Syntax //.Declaration)
(p.either (p.seq s.local-symbol
(p/wrap (list)))
(s.form (p.seq s.local-symbol
@@ -31,7 +31,7 @@
## Annotations
(def: #export annotations
{#.doc "Reader for the common annotations syntax used by def: statements."}
- (Syntax Annotations)
+ (Syntax //.Annotations)
(s.record (p.some (p.seq s.tag s.any))))
## Definitions
@@ -50,7 +50,7 @@
(s.tuple (p.seq s.text s.text)))
(def: (_definition-anns^ _)
- (-> Top (Syntax Annotations))
+ (-> Top (Syntax //.Annotations))
(p.alt (s.this (' #.Nil))
(s.form (do p.Monad<Parser>
[_ (s.this (' #.Cons))
@@ -101,7 +101,7 @@
(def: #export (definition compiler)
{#.doc "A reader that first macro-expands and then analyses the input Code, to ensure it's a definition."}
- (-> Compiler (Syntax Definition))
+ (-> Compiler (Syntax //.Definition))
(do p.Monad<Parser>
[definition-raw s.any
me-definition-raw (s.on compiler
@@ -123,7 +123,7 @@
(def: #export (typed-definition compiler)
{#.doc "A reader for definitions that ensures the input syntax is typed."}
- (-> Compiler (Syntax Definition))
+ (-> Compiler (Syntax //.Definition))
(do p.Monad<Parser>
[_definition (definition compiler)
_ (case (get@ #//.definition-type _definition)