From ea94548217069863574ab026525aba7985b34e1b Mon Sep 17 00:00:00 2001 From: Jake Fecher Date: Tue, 28 Mar 2023 16:37:03 +0100 Subject: [PATCH] Fix contract test --- crates/nargo/tests/test_data/contracts/src/main.nr | 4 ++-- crates/noirc_frontend/src/hir/resolution/errors.rs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/crates/nargo/tests/test_data/contracts/src/main.nr b/crates/nargo/tests/test_data/contracts/src/main.nr index 98233a34922..f236186d426 100644 --- a/crates/nargo/tests/test_data/contracts/src/main.nr +++ b/crates/nargo/tests/test_data/contracts/src/main.nr @@ -3,6 +3,6 @@ fn main(x : Field, y : pub Field) { } contract Foo { - fn double(x: Field) -> Field { x * 2 } - fn triple(x: Field) -> Field { x * 3 } + fn double(x: Field) -> pub Field { x * 2 } + fn triple(x: Field) -> pub Field { x * 3 } } diff --git a/crates/noirc_frontend/src/hir/resolution/errors.rs b/crates/noirc_frontend/src/hir/resolution/errors.rs index 706e2604f3d..3ce7d9d0249 100644 --- a/crates/noirc_frontend/src/hir/resolution/errors.rs +++ b/crates/noirc_frontend/src/hir/resolution/errors.rs @@ -166,7 +166,7 @@ impl From for Diagnostic { ident.0.span(), ); - diag.add_note("The `pub` keyword only has effects on arguments to the main function of a program. Thus, adding it to other function parameters can be deceiving and should be removed".to_owned()); + diag.add_note("The `pub` keyword only has effects on arguments to the entry-point function of a program. Thus, adding it to other function parameters can be deceiving and should be removed".to_owned()); diag } ResolverError::NecessaryPub { ident } => { @@ -178,7 +178,7 @@ impl From for Diagnostic { ident.0.span(), ); - diag.add_note("The `pub` keyword is mandatory for the main function return type because the verifier cannot retrieve private witness and thus the function will not be able to return a 'priv' value".to_owned()); + diag.add_note("The `pub` keyword is mandatory for the entry-point function return type because the verifier cannot retrieve private witness and thus the function will not be able to return a 'priv' value".to_owned()); diag } ResolverError::ExpectedComptimeVariable { name, span } => Diagnostic::simple_error(