FIX: Allow expressions in parens as INSERT and CHANGE value argument

fixes: metaeducation/rebol-issues#1279

Author: Oldes

src/core/u-parse.c

@@ -1061,7 +1061,11 @@ void Print_Parse_Index(REBCNT type, REBVAL *rules, REBSER *series, REBCNT index)
 						item = rules++;
 					}
 					// CHECK FOR QUOTE!!
-					item = Get_Parse_Value(item); // new value
+					if (IS_PAREN(item)) {
+						item = Do_Block_Value_Throw(item); // might GC
+					} else {
+						item = Get_Parse_Value(item); // new value
+					}
 					if (IS_UNSET(item)) Trap1(RE_NO_VALUE, rules-1);
 					if (IS_END(item)) goto bad_end;
 					if (IS_BLOCK_INPUT(parse)) {

src/tests/run-tests.r3

@@ -42,6 +42,7 @@ dt [ ;- delta time
 	wrap load %units/file-test.r3
 	wrap load %units/func-test.r3
 	wrap load %units/typeset-test.r3
+	wrap load %units/parse-test.r3
 
 	recycle/torture
 	recycle

src/tests/units/parse-test.r3

@@ -0,0 +1,64 @@
+Rebol [
+	Title:   "Rebol parse test script"
+	Author:  "Oldes"
+	File: 	 %parse-test.r3
+	Tabs:	 4
+	Needs:   [%../quick-test-module.r3]
+]
+
+~~~start-file~~~ "Parse"
+
+===start-group=== "CHANGE"
+
+--test-- "CHANGE rule value (same size)"
+	r: ["b"]
+	--assert parse s: "abc" [some ["a" change r "X" | skip]]
+	--assert s = "aXc"
+
+	--assert parse s: "abc" [some ["a" change copy v r "X" | skip]]
+	--assert v = "b"
+	--assert s = "aXc"
+
+--test-- "CHANGE rule value (different size)"
+	r: ["b"]
+	--assert parse s: "abc" [some ["a" change r "XX" | skip]]
+	--assert s = "aXXc"
+
+	--assert parse s: "abc" [some ["a" change copy v r "XX" | skip]]
+	--assert v = "b"
+	--assert s = "aXXc"
+
+--test-- "CHANGE rule (expression)"
+	--assert parse s: "abc" [some ["a" change copy v r (uppercase v) | skip]]
+	--assert v = "B"
+	--assert s = "aBc"
+	--assert parse s: "abc" [some ["a" change copy v ["b" "c"] (reverse copy v) | skip]]
+	--assert v = "bc"
+	--assert s = "acb"
+
+--test-- "CHANGE block"
+	--assert parse b: [1] [change integer! (1 + 1) to end]
+	--assert b = [2]
+
+===end-group===
+
+===start-group=== "INSERT"
+
+--test-- "INSERT value"
+	--assert parse s: "abc" [some ["a" insert "a" | skip]]
+	--assert s = "aabc"
+	--assert parse s: "abc" [some ["a" insert "X" | "b" insert "YY" | 1 skip]]
+	--assert s = "aXbYYc"
+
+--test-- "INSERT expresion"
+	--assert parse s: "abc" [some ["a" insert (uppercase "x") | skip]]
+	--assert s = "aXbc"
+
+--test-- "INSERT block"
+	--assert parse b: [1] [insert (1 + 2) insert 2 to end]
+	--assert b = [3 2 1]
+
+===end-group===
+
+
+~~~end-file~~~