diff options
Diffstat (limited to 'stdlib/source/documentation/lux/extension.lux')
-rw-r--r-- | stdlib/source/documentation/lux/extension.lux | 55 |
1 files changed, 22 insertions, 33 deletions
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index 5dd79df31..729abbec5 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -1,7 +1,7 @@ (.require [library [lux (.except) - ["$" documentation (.only documentation:)] + ["$" documentation] ["[0]" debug] [data [text @@ -12,8 +12,6 @@ ["[0]" template] ["[0]" code ["<[1]>" \\parser]]] - ["@" target - ["[0]" jvm]] [tool [compiler ["[0]" phase] @@ -24,38 +22,29 @@ [\\library ["[0]" /]]) -(documentation: /.analysis - "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure." - [(analysis ("my analysis" self phase archive [pass_through <code>.any]) - (phase archive pass_through))]) - -(documentation: /.synthesis - "Mechanism for defining extensions to Lux's synthesis/optimization infrastructure." - [(synthesis ("my synthesis" self phase archive [pass_through <analysis>.any]) - (phase archive pass_through))]) - -(documentation: /.generation - "" - [(generation ("my generation" self phase archive [pass_through <synthesis>.any]) - (for @.jvm - (at phase.monad each (|>> {jvm.#Embedded} - sequence.sequence) - (phase archive pass_through)) - (phase archive pass_through)))]) - -(documentation: /.declaration - "" - [(declaration ("my declaration" self phase archive [parameters (<>.some <code>.any)]) - (do phase.monad - [.let [_ (debug.log! (format "Successfully installed declaration " (%.text self) "!"))]] - (in declaration.no_requirements)))]) - (.def .public documentation (.List $.Module) ($.module /._ "" - [..analysis - ..synthesis - ..generation - ..declaration] + [($.documentation /.analysis + "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure." + [(analysis ("my analysis" self phase archive [pass_through <code>.any]) + (phase archive pass_through))]) + + ($.documentation /.synthesis + "Mechanism for defining extensions to Lux's synthesis/optimization infrastructure." + [(synthesis ("my synthesis" self phase archive [pass_through <analysis>.any]) + (phase archive pass_through))]) + + ($.documentation /.generation + "" + [(generation ("my generation" self phase archive [pass_through <synthesis>.any]) + (phase archive pass_through))]) + + ($.documentation /.declaration + "" + [(declaration ("my declaration" self phase archive [parameters (<>.some <code>.any)]) + (do phase.monad + [.let [_ (debug.log! (format "Successfully installed declaration " (%.text self) "!"))]] + (in declaration.no_requirements)))])] [])) |