Fix various discrepancies in grammar

rust-lang · Nov 6, 2014 · 95112a4 · 95112a4
1 parent 1f81d69
commit 95112a4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/text/0000-precedence-of-plus.md b/text/0000-precedence-of-plus.md
@@ -65,9 +65,9 @@ More fully, the type grammar is as follows (EBNF notation):
          | ...
          | '(' SUM ')'
     SUM  = TYPE { '+' TYPE }
-    PATH = IDS '<' SUM { ',' SUM } '>' '->' TYPE
-         | IDS '(' SUM { ',' SUM } '>' '->' TYPE
-    IDS  = ID { :: ID }
+    PATH = IDS '<' SUM { ',' SUM } '>'
+         | IDS '(' SUM { ',' SUM } ')' '->' TYPE
+    IDS  = ['::'] ID { '::' ID }
 
 Where clauses would use the following grammar: