Skip to content

Commit df8c615

Browse files
committed
Update internals/syntax.md
1 parent f7db3fd commit df8c615

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

docs/_docs/internals/syntax.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -234,9 +234,9 @@ TypeBound ::= Type
234234
| CaptureSet -- under captureChecking
235235
NamesAndTypes ::= NameAndType {‘,’ NameAndType}
236236
NameAndType ::= id ':' Type
237-
CaptureSet ::= ‘{’ CaptureRef {‘,’ CaptureRef} ‘}’ -- under captureChecking
238-
CaptureRef ::= { SimpleRef ‘.’ } SimpleRef [‘*’] [CapFilter] [‘.’ ‘rd’] -- under captureChecking
239-
CapFilter ::= ‘.’ ‘as’ ‘[’ QualId ’]’ -- under captureChecking
237+
CaptureSet ::= '{' CaptureRef {',' CaptureRef} '}' -- under captureChecking
238+
CaptureRef ::= { SimpleRef '.' } SimpleRef ['*'] [CapFilter] ['.' 'rd'] -- under captureChecking
239+
CapFilter ::= '.' 'only' '[' QualId ']' -- under captureChecking
240240
```
241241

242242
### Expressions

0 commit comments

Comments
 (0)