about summary refs log tree commit diff
path: root/src/doc/grammar.md
diff options
context:
space:
mode:
authorSteve Klabnik <steve@steveklabnik.com>2015-09-03 20:10:07 -0400
committerSteve Klabnik <steve@steveklabnik.com>2015-09-03 20:10:07 -0400
commit54279e0ced8293845e9e7385d4c79a202205277b (patch)
tree291fbd9b7a00a11ea4bafc80a20bec6bfb09ce4e /src/doc/grammar.md
parent35019737cc3c5913232d532afda44f168d470fe7 (diff)
parent59f2343bdb68d7fd3a253769e3dcb40d906b9eae (diff)
downloadrust-54279e0ced8293845e9e7385d4c79a202205277b.tar.gz
rust-54279e0ced8293845e9e7385d4c79a202205277b.zip
Rollup merge of #28205 - matklad:grammar-remove-proc, r=alexcrichton
As I understand, there are no proc closures in Rust any more. So this pr removes `procedure_type` production. It isn't used anywhere. The `proc` is still a keyword.

r? @steveklabnik
@bors: r+ rollup
Diffstat (limited to 'src/doc/grammar.md')
-rw-r--r--src/doc/grammar.md2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/doc/grammar.md b/src/doc/grammar.md
index 9fb0dc5a6e4..83899f98c28 100644
--- a/src/doc/grammar.md
+++ b/src/doc/grammar.md
@@ -753,8 +753,6 @@ return_expr : "return" expr ? ;
 ```antlr
 closure_type := [ 'unsafe' ] [ '<' lifetime-list '>' ] '|' arg-list '|'
                 [ ':' bound-list ] [ '->' type ]
-procedure_type := 'proc' [ '<' lifetime-list '>' ] '(' arg-list ')'
-                  [ ':' bound-list ] [ '->' type ]
 lifetime-list := lifetime | lifetime ',' lifetime-list
 arg-list := ident ':' type | ident ':' type ',' arg-list
 bound-list := bound | bound '+' bound-list