upd

Author: mattqual

src/lang-patterns.md

@@ -1,17 +1,9 @@
 # ShockScript: Patterns
 
-Matching patterns may be used in a number of contexts, including variable bindings, `try..catch` clauses, `switch type` cases, `if`-let and assignment left-hand sides.
+Matching patterns may be used in a number of contexts, including variable bindings, `try..catch` clauses, `switch type` cases, `if..let` and assignment left-hand sides.
 
 Where applicable, expressions are disambiguated into those patterns, in which case any incompatible or illegal expression results in a syntax error; for example, an expression is disambiguated into a pattern inside an assignment whose left-hand side is either an array or object literal.
 
-An *IdentifierPattern* representing exactly a single wildcard **\*** identifier, when inside a variant arguments pattern, is treated as a parameter skip.
-
-```sx
-if (let Plus(*, 10) = exp) {
-    f = true
-}
-```
-
 **Syntax**
 
 <ul>

src/lang-patterns/identifier-pattern.md

@@ -22,7 +22,8 @@ Vector({ x, y })
 <ul>
     <i>IdentifierPatternStart</i> :
     <ul>
-        <i>PropertyIdentifier</i>
+        <i>Identifier</i> [when keywords are enabled]<br>
+        <i>IdentifierName</i> [when keywords are disabled]
     </ul>
 </ul>
 
@@ -45,17 +46,9 @@ Vector({ x, y })
 <ul>
     <i>IdentifierPatternArgument</i> :
     <ul>
+        <b>*</b><br>
         <i>Pattern</i><br>
-        <i>IdentifierPatternArgument</i> <b>,</b> <i>Pattern</i>
+        <i>IdentifierPatternArgument</i> <b>,</b> <i>Pattern</i><br>
+        <i>IdentifierPatternArgument</i> <b>,</b> <b>*</b>
     </ul>
-</ul>
-
-**Semantics**
-
-An *IdentifierPattern* representing exactly a single wildcard **\*** identifier is treated as a parameter skip.
-
-```sx
-if (let Plus(*, 10) = exp) {
-    f = true
-}
-```
+</ul>

src/lang-statements/if-let-statement.md

@@ -1,6 +1,6 @@
 # If let statement
 
-The `if let` statement may be used for pattern matching on algebraic data types.
+The `if..let` statement may be used for pattern matching on algebraic data types.
 
 ```sx
 if (let Plus(10, right) = exp) {
@@ -16,7 +16,7 @@ if (let node = parseAtom()) {
 }
 ```
 
-`if let` can also be useful for, say, iterator results.
+`if..let` can also be useful for, say, iterator results.
 
 ```sx
 if (let [x] = characters.next()) {