From 809b6312e79bfc5189ef93d464fed5f2570a4d2a Mon Sep 17 00:00:00 2001 From: Michael Benfield Date: Thu, 6 Feb 2025 13:31:09 -0800 Subject: [PATCH] Change references to AleoHQ to ProvableHQ. --- README.md | 7 +++---- docs/grammar/abnf-grammar.txt | 2 +- errors/src/errors/type_checker/type_checker_error.rs | 2 +- leo/cli/helpers/updater.rs | 2 +- .../finalize/finalize_reassign_to_outer_scope_fail.out | 2 +- 5 files changed, 7 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index bfdea97cdd..32617a5130 100644 --- a/README.md +++ b/README.md @@ -5,11 +5,10 @@

The Leo Programming Language

- - + - +

Leo is an imperative, statically-typed programming language built for writing private applications. @@ -120,7 +119,7 @@ If the issue still persists, please [open an issue](https://github.com/ProvableH * [Hello World - Next Steps](https://docs.leo-lang.org/leo/hello) * [Leo Language Documentation](https://docs.leo-lang.org/leo/language) -* [Leo ABNF Grammar](https://github.com/AleoHQ/grammars/blob/master/leo.abnf) +* [Leo ABNF Grammar](https://github.com/ProvableHQ/grammars/blob/master/leo.abnf) * [Homepage](https://docs.leo-lang.org/overview/) ## 🤝 Contributing diff --git a/docs/grammar/abnf-grammar.txt b/docs/grammar/abnf-grammar.txt index ea6aa248f7..cb9b5c8fda 100644 --- a/docs/grammar/abnf-grammar.txt +++ b/docs/grammar/abnf-grammar.txt @@ -1 +1 @@ -; This file has been moved to https://github.com/AleoHQ/grammars. +; This file has been moved to https://github.com/ProvableHQ/grammars. diff --git a/errors/src/errors/type_checker/type_checker_error.rs b/errors/src/errors/type_checker/type_checker_error.rs index d51ec56399..b69ef92ed7 100644 --- a/errors/src/errors/type_checker/type_checker_error.rs +++ b/errors/src/errors/type_checker/type_checker_error.rs @@ -872,7 +872,7 @@ create_messages!( async_cannot_assign_outside_conditional { args: (variable: impl Display), msg: format!("Cannot re-assign to `{variable}` from a conditional scope to an outer scope in an async function."), - help: Some("This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/AleoHQ/ARCs) will support more complex assignments in async functions.".to_string()), + help: Some("This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/ProvableHQ/ARCs) will support more complex assignments in async functions.".to_string()), } @formatted diff --git a/leo/cli/helpers/updater.rs b/leo/cli/helpers/updater.rs index 20e6b2e1cc..be94a0a66f 100644 --- a/leo/cli/helpers/updater.rs +++ b/leo/cli/helpers/updater.rs @@ -35,7 +35,7 @@ impl Updater { const LEO_CACHE_LAST_CHECK_FILE: &'static str = "leo_cache_last_update_check"; const LEO_CACHE_VERSION_FILE: &'static str = "leo_cache_latest_version"; const LEO_REPO_NAME: &'static str = "leo"; - const LEO_REPO_OWNER: &'static str = "AleoHQ"; + const LEO_REPO_OWNER: &'static str = "ProvableHQ"; // 24 hours const LEO_UPDATE_CHECK_INTERVAL: Duration = Duration::from_secs(24 * 60 * 60); diff --git a/tests/expectations/compiler/finalize/finalize_reassign_to_outer_scope_fail.out b/tests/expectations/compiler/finalize/finalize_reassign_to_outer_scope_fail.out index 43698f2e95..7e1ce2113c 100644 --- a/tests/expectations/compiler/finalize/finalize_reassign_to_outer_scope_fail.out +++ b/tests/expectations/compiler/finalize/finalize_reassign_to_outer_scope_fail.out @@ -7,5 +7,5 @@ Error [ETYC0372109]: Cannot re-assign to `try_get_token` from a conditional scop 16 | let try_get_token: TokenInfo = Mapping::get_or_use( | ^^^^^^^^^^^^^ | - = This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/AleoHQ/ARCs) will support more complex assignments in async functions. + = This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/ProvableHQ/ARCs) will support more complex assignments in async functions. """]