Minor edits to Player & RoleList clauses

siwells · Oct 16, 2014 · 42d4c16 · 42d4c16
1 parent bcf7ab6
commit 42d4c16
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/grammar/dgdl.ebnf b/grammar/dgdl.ebnf
@@ -5,11 +5,11 @@ Turns           ::= turns:{magnitude:Magnitude, ordering:Ordering[, max:Number]?
 Magnitude       ::= single | multiple
 Ordering        ::= strict | liberal
 Participants    ::= players:{min:Number, max:Number|undefined}
-Player          ::= player:{id:ID [, roles:{ID[, ID]*}]? }
+Player          ::= player:{id:ID [, roleList]? }
 Store           ::= store:{id:ID, owner:{ID[, ID]*}, structure:Structure, visibility:Visibility}
 Structure       ::= set | queue | stack
 Visibility      ::= public | private
-RoleList        ::= roles:{, {ID[, ID]*}}
+RoleList        ::= roles:{ID[, ID]*}
 Regulation      ::= rule:{id:ID, scope:Scope, RuleExpr}
 Scope           ::= initial | turnwise | movewise
 Interaction     ::= move:{id:ID, content:{Content}, RuleExpr}