From 63b5b6416c6bde16560eb9b83a9e3122599369d5 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Fri, 14 Oct 2022 16:06:35 +0300 Subject: Fix 'for [] x: ...' to treat as value attributes --- libbuild2/build/script/parser+for.test.testscript | 19 ++++++++++--------- libbuild2/build/script/parser.cxx | 11 +++++------ libbuild2/parser.cxx | 12 ------------ libbuild2/parser.hxx | 12 ------------ libbuild2/script/parser.cxx | 9 ++++++--- libbuild2/script/parser.hxx | 1 + libbuild2/test/script/parser+for.test.testscript | 19 ++++++++++--------- libbuild2/test/script/parser.cxx | 11 +++++------ 8 files changed, 37 insertions(+), 57 deletions(-) (limited to 'libbuild2') diff --git a/libbuild2/build/script/parser+for.test.testscript b/libbuild2/build/script/parser+for.test.testscript index c5f6587..cbcaf14 100644 --- a/libbuild2/build/script/parser+for.test.testscript +++ b/libbuild2/build/script/parser+for.test.testscript @@ -58,7 +58,7 @@ cmd b EOO - : typed-value + : typed-values : $* <>~%EOO% for x: [dir_paths] a b @@ -69,7 +69,7 @@ %cmd (b/|'b\\')% EOO - : typed-var + : typed-var-value : $* <>~%EOO% for [dir_path] x: a b @@ -80,15 +80,16 @@ %cmd (b/|'b\\')% EOO - : type-mismatch + : typed-values-var-value : - $* <>EOE != 0 - for [string] x: [dir_paths] a b + $* <>~%EOO% + for [dir_path] x: [strings] a b cmd $x end EOI - buildfile:11:1: error: conflicting variable x type string and value type dir_path - EOE + %cmd (a/|'a\\')% + %cmd (b/|'b\\')% + EOO : defined-var : @@ -340,7 +341,7 @@ echo a b | for x EOO - : typed-var + : typed-var-value : $* <>EOO echo 'a b' | for -w [dir_paths] x @@ -563,7 +564,7 @@ for x b >EOO for -w [dir_path] x <'a b' diff --git a/libbuild2/build/script/parser.cxx b/libbuild2/build/script/parser.cxx index 035ab6b..3098bc9 100644 --- a/libbuild2/build/script/parser.cxx +++ b/libbuild2/build/script/parser.cxx @@ -1455,15 +1455,14 @@ namespace build2 auto exec_for = [this] (const variable& var, value&& val, - const location& l) + const attributes& val_attrs, + const location&) { value& lhs (environment_->assign (var)); - // To match the function semantics also pass the value's type - // attribute, restoring it from RHS. Note that the value can't be - // NULL. - // - apply_value (&var, lhs, move (val), type::assign, l, val.type); + attributes_.push_back (move (val_attrs)); + + apply_value_attributes (&var, lhs, move (val), type::assign); }; build2::script::parser::exec_lines ( diff --git a/libbuild2/parser.cxx b/libbuild2/parser.cxx index 184fa01..a13dc41 100644 --- a/libbuild2/parser.cxx +++ b/libbuild2/parser.cxx @@ -5067,18 +5067,6 @@ namespace build2 fail (l) << "unexpected value in attribute " << a; } - apply_value (var, v, move (rhs), kind, l, type, null); - } - - void parser:: - apply_value (const variable* var, - value& v, - value&& rhs, - type kind, - const location& l, - const value_type* type, - bool null) - { // When do we set the type and when do we keep the original? This gets // tricky for append/prepend where both values contribute. The guiding // rule here is that if the user specified the type, then they reasonable diff --git a/libbuild2/parser.hxx b/libbuild2/parser.hxx index 02d4f74..0d1e9e2 100644 --- a/libbuild2/parser.hxx +++ b/libbuild2/parser.hxx @@ -304,18 +304,6 @@ namespace build2 value&& rhs, token_type assign_kind); - void - apply_value (const variable*, // Optional. - value& lhs, - value&& rhs, - token_type assign_kind, - const location&, - // - // Attributes: - // - const value_type* = nullptr, - bool null = false); - // Return the value pack (values can be NULL/typed). Note that for an // empty eval context ('()' potentially with whitespaces in between) the // result is an empty pack, not a pack of one empty. diff --git a/libbuild2/script/parser.cxx b/libbuild2/script/parser.cxx index a2e0819..87a51d8 100644 --- a/libbuild2/script/parser.cxx +++ b/libbuild2/script/parser.cxx @@ -2587,6 +2587,11 @@ namespace build2 next_with_attributes (t, tt); attributes_push (t, tt); + // @@ TMP Currently we assume that these are the value (rather + // than the variable) attributes. + // + attributes val_attrs (attributes_pop ()); + assert (tt == type::word && t.qtype == quote_type::unquoted); string vn (move (t.value)); @@ -2604,8 +2609,6 @@ namespace build2 var = &var_pool->insert (move (vn)); } - apply_variable_attributes (*var); - next (t, tt); // Skip the colon. assert (tt == type::colon); @@ -2664,7 +2667,7 @@ namespace build2 if (etype != nullptr) typify (v, *etype, var); - exec_for (*var, move (v), ll); + exec_for (*var, move (v), val_attrs, ll); // Find the construct end, if it is not found yet. // diff --git a/libbuild2/script/parser.hxx b/libbuild2/script/parser.hxx index c402d3e..91f50bf 100644 --- a/libbuild2/script/parser.hxx +++ b/libbuild2/script/parser.hxx @@ -202,6 +202,7 @@ namespace build2 using exec_for_function = void (const variable&, value&&, + const attributes& value_attrs, const location&); // If a parser implementation doesn't pre-enter variables into a pool diff --git a/libbuild2/test/script/parser+for.test.testscript b/libbuild2/test/script/parser+for.test.testscript index 426a39b..9d70886 100644 --- a/libbuild2/test/script/parser+for.test.testscript +++ b/libbuild2/test/script/parser+for.test.testscript @@ -58,7 +58,7 @@ cmd b EOO - : typed-value + : typed-values : $* <>~%EOO% for x: [dir_paths] a b @@ -69,7 +69,7 @@ %cmd (b/|'b\\')% EOO - : typed-var + : typed-var-value : $* <>~%EOO% for [dir_path] x: a b @@ -80,15 +80,16 @@ %cmd (b/|'b\\')% EOO - : type-mismatch + : typed-values-var-value : - $* <>EOE != 0 - for [string] x: [dir_paths] a b + $* <>~%EOO% + for [dir_path] x: [strings] a b cmd $x end EOI - testscript:1:1: error: conflicting variable x type string and value type dir_path - EOE + %cmd (a/|'a\\')% + %cmd (b/|'b\\')% + EOO : scope-var : @@ -471,7 +472,7 @@ echo a b | for x EOO - : typed-var + : typed-var-value : $* <>EOO echo 'a b' | for -w [dir_path] x @@ -821,7 +822,7 @@ for x b >EOO for -w [dir_path] x <'a b' diff --git a/libbuild2/test/script/parser.cxx b/libbuild2/test/script/parser.cxx index f85b185..a30f666 100644 --- a/libbuild2/test/script/parser.cxx +++ b/libbuild2/test/script/parser.cxx @@ -1666,15 +1666,14 @@ namespace build2 auto exec_for = [this] (const variable& var, value&& val, - const location& l) + const attributes& val_attrs, + const location&) { value& lhs (scope_->assign (var)); - // To match the function semantics also pass the value's type - // attribute, restoring it from RHS. Note that the value can't be - // NULL. - // - apply_value (&var, lhs, move (val), type::assign, l, val.type); + attributes_.push_back (val_attrs); + + apply_value_attributes (&var, lhs, move (val), type::assign); if (script_->test_command_var (var.name)) scope_->reset_special (); -- cgit v1.1