From f144e8004808b184d08a7a6ea94a068ae6bd91c8 Mon Sep 17 00:00:00 2001 From: Tobias Kahlert Date: Tue, 26 May 2020 13:49:28 +0200 Subject: [PATCH] `given` should be `using` in Bindings in ebnf --- docs/docs/internals/syntax.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md index 46770818ad4d..b064a5979d2a 100644 --- a/docs/docs/internals/syntax.md +++ b/docs/docs/internals/syntax.md @@ -322,7 +322,7 @@ ClosureMods ::= { ‘implicit’ | ‘given’} ### Bindings and Imports ```ebnf -Bindings ::= ‘(’ [[‘given’] Binding {‘,’ Binding}] ‘)’ +Bindings ::= ‘(’ [[‘using’] Binding {‘,’ Binding}] ‘)’ Binding ::= (id | ‘_’) [‘:’ Type] ValDef(_, id, tpe, EmptyTree) Modifier ::= LocalModifier