[Mlir-commits] [mlir] 22411d8 - [MLIR][docs] Fixes to operation syntax in Lang Ref

[Geoffrey Martin-Noble]

Author: Geoffrey Martin-Noble
Date: 2021-04-05T22:29:21-07:00
New Revision: 22411d80723860cd050eab072bb10abd7a2ae526

URL: https://github.com/llvm/llvm-project/commit/22411d80723860cd050eab072bb10abd7a2ae526
DIFF: https://github.com/llvm/llvm-project/commit/22411d80723860cd050eab072bb10abd7a2ae526.diff

LOG: [MLIR][docs] Fixes to operation syntax in Lang Ref

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D99922

Added: 
    

Modified: 
    mlir/docs/LangRef.md

Removed: 
    


################################################################################
diff  --git a/mlir/docs/LangRef.md b/mlir/docs/LangRef.md
index f380987e90aa5..cecd9bc11fe1b 100644
--- a/mlir/docs/LangRef.md
+++ b/mlir/docs/LangRef.md
@@ -279,17 +279,18 @@ GPUs), and are required to align with the LLVM definition of these intrinsics.
 Syntax:
 
 ```
-operation         ::= op-result-list? (generic-operation | custom-operation)
-                      trailing-location?
-generic-operation ::= string-literal `(` value-use-list? `)`  successor-list?
-                      (`(` region-list `)`)? dictionary-attribute? `:` function-type
-custom-operation  ::= bare-id custom-operation-format
-op-result-list    ::= op-result (`,` op-result)* `=`
-op-result         ::= value-id (`:` integer-literal)
-successor-list    ::= successor (`,` successor)*
-successor         ::= caret-id (`:` bb-arg-list)?
-region-list       ::= region (`,` region)*
-trailing-location ::= (`loc` `(` location `)`)?
+operation            ::= op-result-list? (generic-operation | custom-operation)
+                         trailing-location?
+generic-operation    ::= string-literal `(` value-use-list? `)`  successor-list?
+                         region-list? dictionary-attribute? `:` function-type
+custom-operation     ::= bare-id custom-operation-format
+op-result-list       ::= op-result (`,` op-result)* `=`
+op-result            ::= value-id (`:` integer-literal)
+successor-list       ::= `[` successor (`,` successor)* `]`
+successor            ::= caret-id (`:` bb-arg-list)?
+region-list          ::= `(` region (`,` region)* `)`
+dictionary-attribute ::= `{` (attribute-entry (`,` attribute-entry)*)? `}`
+trailing-location    ::= (`loc` `(` location `)`)?
 ```
 
 MLIR introduces a uniform concept called _operations_ to enable describing