diff options
Diffstat (limited to 'stdlib/source/documentation/lux/meta/compiler')
-rw-r--r-- | stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux | 6 | ||||
-rw-r--r-- | stdlib/source/documentation/lux/meta/compiler/phase.lux | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux index 8a073556e..42c985ad2 100644 --- a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux +++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux @@ -29,8 +29,8 @@ ($.definition /.analysis) ($.definition /.synthesis) ($.definition /.translation) - ($.definition /.lifted_analysis) - ($.definition /.lifted_synthesis) - ($.definition /.lifted_translation) + ($.definition /.of_analysis) + ($.definition /.of_synthesis) + ($.definition /.of_translation) ($.definition /.set_current_module) )) diff --git a/stdlib/source/documentation/lux/meta/compiler/phase.lux b/stdlib/source/documentation/lux/meta/compiler/phase.lux index fe549b6c9..55c5cca7c 100644 --- a/stdlib/source/documentation/lux/meta/compiler/phase.lux +++ b/stdlib/source/documentation/lux/meta/compiler/phase.lux @@ -26,7 +26,7 @@ ($.definition /.sub) ($.definition /.failure) ($.definition /.except) - ($.definition /.lifted) + ($.definition /.of_try) ($.definition /.assertion) ($.definition /.identity) ($.definition /.composite) |