diff options
| author | Théo Zimmermann | 2020-11-13 10:08:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-14 13:40:45 +0100 |
| commit | 15183aafe292695c54ae234a1210c08c8e3cd378 (patch) | |
| tree | da891e1212ee8a3d4ac4afac694bc9213632474a /doc/tools/docgram/orderedGrammar | |
| parent | 51e759fb2ff92dd89ab4823ddea3ea81be7f8046 (diff) | |
Move destructuring let syntax closer to its documentation.
Diffstat (limited to 'doc/tools/docgram/orderedGrammar')
| -rw-r--r-- | doc/tools/docgram/orderedGrammar | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tools/docgram/orderedGrammar b/doc/tools/docgram/orderedGrammar index c697043f27..6b12d90d5d 100644 --- a/doc/tools/docgram/orderedGrammar +++ b/doc/tools/docgram/orderedGrammar @@ -473,6 +473,10 @@ ssr_dpat: [ term_let: [ | "let" name OPT ( ":" type ) ":=" term "in" term | "let" name LIST1 binder OPT ( ":" type ) ":=" term "in" term +| destructuring_let +] + +destructuring_let: [ | "let" "(" LIST0 name SEP "," ")" OPT [ OPT [ "as" name ] "return" term100 ] ":=" term "in" term | "let" "'" pattern ":=" term OPT ( "return" term100 ) "in" term | "let" "'" pattern "in" pattern ":=" term "return" term100 "in" term |