diff options
| author | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
| commit | df0e015145981602b3f97113bcfa586b4f6d0757 (patch) | |
| tree | 3613c83b65df3bc83f6548abb7ad71fc801b434c /stdlib/source/documentation | |
| parent | d4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff) | |
Fixed a bug when optimization record access.
Diffstat (limited to 'stdlib/source/documentation')
4 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/documentation/lux/control/parser.lux b/stdlib/source/documentation/lux/control/parser.lux index ba7a726b2..a0ccd9f40 100644 --- a/stdlib/source/documentation/lux/control/parser.lux +++ b/stdlib/source/documentation/lux/control/parser.lux @@ -82,9 +82,9 @@ "Always fail with this 'message'." ($.example (failure message))) - ($.definition /.lifted + ($.definition /.of_try "Lift a potentially failed computation into a parser." - ($.example (lifted operation))) + ($.example (of_try operation))) ($.definition /.else "If the given parser fails, returns the default value." diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux index a14f67132..f2a72fb32 100644 --- a/stdlib/source/documentation/lux/meta.lux +++ b/stdlib/source/documentation/lux/meta.lux @@ -144,7 +144,7 @@ ($.definition /.type_context "The current type-checking context.")) - computation (list ($.definition /.lifted) + computation (list ($.definition /.of_try) ($.definition /.try) ($.definition /.result' 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) |