diff options
author | 2020-01-22 15:23:04 -0800 | |
---|---|---|
committer | 2020-01-22 15:40:14 -0800 | |
commit | 3256b037dafdb0818589ca475df5e2aed64f1af2 (patch) | |
tree | d80dcf615dea1f2db563f7a61eba6a57efa1696c /tests/sql_indent.ur | |
parent | 15359c4e8e4546f789dfd316109aea6aa629e96e (diff) |
Elaborate e^* and e^+ syntax
Clarify that parentheses are used if and only if e consists of
multiple symbols; also, that both e and the separator (if any) will be
paranthesized. ("if any" is appropriate because the grammar extensions
for XML include "(x[=v])*", which has no separator.)
Fix the known-length type-level record syntax to indicate that commas
are used to separate field descriptors.
Change the pattern matching grammar to use "\mid" instead of "|" for
internal consistency. (No visible change, as far as I can tell.)
Diffstat (limited to 'tests/sql_indent.ur')
0 files changed, 0 insertions, 0 deletions