diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/macro/syntax/definition.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux index 4ad19d041..eeefc3074 100644 --- a/stdlib/source/library/lux/macro/syntax/definition.lux +++ b/stdlib/source/library/lux/macro/syntax/definition.lux @@ -25,7 +25,7 @@ ["#." annotations (#+ Annotations)] ["#." check (#+ Check)]]) -(type: #export Definition +(type: .public Definition {#.doc (doc "Syntax for a constant definition.")} {#name Text #value (Either Check @@ -33,7 +33,7 @@ #anns Annotations #export? Bit}) -(def: #export equivalence +(def: .public equivalence (Equivalence Definition) ($_ product.equivalence text.equivalence @@ -70,7 +70,7 @@ #.line (~ (code.nat (get@ #.line location.dummy))) #.column (~ (code.nat (get@ #.column location.dummy)))})) -(def: #export (format (^slots [#name #value #anns #export?])) +(def: .public (format (^slots [#name #value #anns #export?])) (-> Definition Code) (` ((~ (code.text ..extension)) (~ (code.local_identifier name)) @@ -100,7 +100,7 @@ (in [head tail]))) )))) -(def: #export (parser compiler) +(def: .public (parser compiler) {#.doc "A reader that first macro-expands and then analyses the input Code, to ensure it is a definition."} (-> Lux (Parser Definition)) (do {! <>.monad} @@ -124,11 +124,11 @@ <code>.bit )))) -(exception: #export (lacks_type! {definition Definition}) +(exception: .public (lacks_type! {definition Definition}) (exception.report ["Definition" (%.code (..format definition))])) -(def: #export (typed compiler) +(def: .public (typed compiler) {#.doc "Only works for typed definitions."} (-> Lux (Parser Definition)) (do <>.monad |