Fix in-out grammar underproduction (#199)

amartini51 · web-flow · commit 0d241bd73a0e · 2023-10-20T14:50:34.000-07:00
The old grammar didn't allow things like f(&x.y) which are legal in Swift. The new grammar allows a bunch of extra stuff -- literals, closures, and conditional expressions -- but that's a better problem to have. See also #194, where we're discussing a more specific fix. Fixes: #193 (partially)
diff --git a/TSPL.docc/ReferenceManual/Expressions.md b/TSPL.docc/ReferenceManual/Expressions.md
@@ -61,7 +61,7 @@ as described in <doc:Expressions#Implicit-Conversion-to-a-Pointer-Type>.
 
 > Grammar of an in-out expression:
 >
-> *in-out-expression* → **`&`** *identifier*
+> *in-out-expression* → **`&`** *primary-expression*
 
 ### Try Operator
 
diff --git a/TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md b/TSPL.docc/ReferenceManual/SummaryOfTheGrammar.md
@@ -323,7 +323,7 @@ make the same change here also.
 
 > Grammar of an in-out expression:
 >
-> *in-out-expression* → **`&`** *identifier*
+> *in-out-expression* → **`&`** *primary-expression*
 
 > Grammar of a try expression:
 >

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ as described in <doc:Expressions#Implicit-Conversion-to-a-Pointer-Type>.`
`61`	`61`
`62`	`62`	`> Grammar of an in-out expression:`
`63`	`63`	`>`
`64`		-> in-out-expression → `&` identifier
	`64`	+> in-out-expression → `&` primary-expression
`65`	`65`
`66`	`66`	`### Try Operator`
`67`	`67`
Original file line number	Diff line number	Diff line change
`@@ -323,7 +323,7 @@ make the same change here also.`
`323`	`323`
`324`	`324`	`> Grammar of an in-out expression:`
`325`	`325`	`>`
`326`		-> in-out-expression → `&` identifier
	`326`	+> in-out-expression → `&` primary-expression
`327`	`327`
`328`	`328`	`> Grammar of a try expression:`
`329`	`329`	`>`