From 8c3a1afab9efeb86e2f53d743551fc689fbad257 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Jun 2022 13:33:48 -0400 Subject: De-sigil-ification: suffix : [Part 4] --- stdlib/source/documentation/lux.lux | 10 ---------- stdlib/source/documentation/lux/extension.lux | 24 ++++++++++++------------ 2 files changed, 12 insertions(+), 22 deletions(-) (limited to 'stdlib/source/documentation') diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 25389845a..f43538c06 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -473,15 +473,6 @@ (< reference subject)) ))]) -(documentation: /.implementation: - "Interface implementation." - [(implementation: .public order - (Order Int) - (def: equivalence - equivalence) - (def: (< test subject) - (< test subject)))]) - (documentation: /.Variant (format "Syntax for defining labelled/tagged sum/union types." \n "WARNING: Only use it within the type: macro.") @@ -965,7 +956,6 @@ ..or ..panic! ..implementation - ..implementation: ..Variant ..Record ..type: diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index d76d278d5..0d1a484d6 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -25,28 +25,28 @@ [\\library ["[0]" /]]) -(documentation: /.analysis: +(documentation: /.analysis "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure." - [(analysis: ("my analysis" self phase archive [pass_through .any]) + [(analysis ("my analysis" self phase archive [pass_through .any]) (phase archive pass_through))]) -(documentation: /.synthesis: +(documentation: /.synthesis "Mechanism for defining extensions to Lux's synthesis/optimization infrastructure." - [(synthesis: ("my synthesis" self phase archive [pass_through .any]) + [(synthesis ("my synthesis" self phase archive [pass_through .any]) (phase archive pass_through))]) -(documentation: /.generation: +(documentation: /.generation "" - [(generation: ("my generation" self phase archive [pass_through .any]) + [(generation ("my generation" self phase archive [pass_through .any]) (for @.jvm (at phase.monad each (|>> {jvm.#Embedded} sequence.sequence) (phase archive pass_through)) (phase archive pass_through)))]) -(documentation: /.directive: +(documentation: /.directive "" - [(directive: ("my directive" self phase archive [parameters (<>.some .any)]) + [(directive ("my directive" self phase archive [parameters (<>.some .any)]) (do phase.monad [.let [_ (debug.log! (format "Successfully installed directive " (%.text self) "!"))]] (in directive.no_requirements)))]) @@ -55,8 +55,8 @@ (.List $.Module) ($.module /._ "" - [..analysis: - ..synthesis: - ..generation: - ..directive:] + [..analysis + ..synthesis + ..generation + ..directive] [])) -- cgit v1.2.3