diff options
author | Matthew Dempsky <matthew@dempsky.org> | 2020-01-22 15:23:04 -0800 |
---|---|---|
committer | Matthew Dempsky <matthew@dempsky.org> | 2020-01-22 15:40:14 -0800 |
commit | 3256b037dafdb0818589ca475df5e2aed64f1af2 (patch) | |
tree | d80dcf615dea1f2db563f7a61eba6a57efa1696c /demo/outer.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 'demo/outer.ur')
0 files changed, 0 insertions, 0 deletions