Update LDM-2020-12-16.md

This commit is contained in:
CyrusNajmabadi 2020-12-17 16:51:11 -08:00 committed by GitHub
parent b2d64b1570
commit e8a7683e85
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -29,7 +29,7 @@ After the notes were published, we took the list and had an email discussion to
Cases 2, 3.i, 3.ii, and 3.iv were not defended in this email chain, and coming into today's meeting there were 4 different main syntax
proposals, the final 3 being variations of 3.iii from the original list (in psuedo-antlr):
1. The original proposal. This introduces a new `pattern`, which uses `'[' (pattern (',' pattern)*)? ']')` as the syntax of that
1. The original proposal. This introduces a new `pattern`, which uses `'[' (pattern (',' pattern)* ']')` as the syntax of that
new pattern. This cannot be expressed as a top-level concept in a `positional_pattern` or a `property_pattern` because the braces
can be ambiguous with the `type` component of these patterns.
2. `type? ('(' subpatterns? ')')? ('[' pattern ']')? ('{' property_subpatterns_or_list_element_patterns '}')?`.