aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/module/descriptor/annotation.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/module/descriptor/annotation.lux')
-rw-r--r--new-luxc/source/luxc/module/descriptor/annotation.lux42
1 files changed, 21 insertions, 21 deletions
diff --git a/new-luxc/source/luxc/module/descriptor/annotation.lux b/new-luxc/source/luxc/module/descriptor/annotation.lux
index 2ed106545..8ac220d0f 100644
--- a/new-luxc/source/luxc/module/descriptor/annotation.lux
+++ b/new-luxc/source/luxc/module/descriptor/annotation.lux
@@ -1,4 +1,4 @@
-(;module:
+(.module:
lux
(lux (control codec
monad)
@@ -9,12 +9,12 @@
error
(coll [list "L/" Functor<List>])))
["&" ../common]
- [luxc ["&;" parser]])
+ [luxc ["&." parser]])
(def: dummy-cursor Cursor ["" +1 +0])
(do-template [<name> <code>]
- [(def: <name> &;Signal <code>)]
+ [(def: <name> &.Signal <code>)]
[ident-signal "@"]
[bool-signal "B"]
@@ -30,14 +30,14 @@
(def: (encode-ident [module name])
(-> Ident Text)
(format ident-signal
- module &;ident-separator name
- &;stop-signal))
+ module &.ident-separator name
+ &.stop-signal))
(def: (encode-text value)
(-> Text Text)
(format text-signal
(%t value)
- &;stop-signal))
+ &.stop-signal))
(def: (encode-ann-value value)
(-> Ann-Value Text)
@@ -46,33 +46,33 @@
(<tag> value)
(format <signal>
(<encoder> value)
- &;stop-signal))
- ([#;BoolA bool-signal %b]
- [#;NatA nat-signal %n]
- [#;IntA int-signal %i]
- [#;DegA deg-signal %d]
- [#;FracA frac-signal %r]
- [#;TextA text-signal %t]
- [#;IdentA ident-signal %ident]
- [#;ListA list-signal (&;encode-list encode-ann-value)]
- [#;DictA dict-signal (&;encode-list (function [[k v]]
+ &.stop-signal))
+ ([#.BoolA bool-signal %b]
+ [#.NatA nat-signal %n]
+ [#.IntA int-signal %i]
+ [#.DegA deg-signal %d]
+ [#.FracA frac-signal %r]
+ [#.TextA text-signal %t]
+ [#.IdentA ident-signal %ident]
+ [#.ListA list-signal (&.encode-list encode-ann-value)]
+ [#.DictA dict-signal (&.encode-list (function [[k v]]
(format (encode-text k)
(encode-ann-value v))))])))
(def: ann-value-decoder
- (l;Lexer Ann-Value)
+ (l.Lexer Ann-Value)
(with-expansions
[<simple> (do-template [<tag> <lexer> <signal>]
- [(do l;Monad<Lexer>
+ [(do l.Monad<Lexer>
[])])]
- ($_ l;either
+ ($_ l.either
<simple>
- (|> ... (l;after (l;text bool-signal)))
+ (|> ... (l.after (l.text bool-signal)))
)))
(def: encode-anns
(-> Anns Text)
- (&;encode-list (function [[ident value]]
+ (&.encode-list (function [[ident value]]
(format (encode-ident ident)
(encode-ann-value value)))))