From 59f2343bdb68d7fd3a253769e3dcb40d906b9eae Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Thu, 3 Sep 2015 22:25:47 +0300 Subject: [PATCH] reference grammar: remove procedure_type --- src/doc/grammar.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/doc/grammar.md b/src/doc/grammar.md index 3aa89cba0314a..8e1913df4a41a 100644 --- a/src/doc/grammar.md +++ b/src/doc/grammar.md @@ -754,8 +754,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