From a47f773b7befeb2f2f6489fe222732233dd9a3ec Mon Sep 17 00:00:00 2001
From: Melvic Ybanez <melvic.ybanez2014@gmail.com>
Date: Wed, 1 Nov 2023 19:45:33 +0800
Subject: [PATCH] Fix grammar doc

---
 README.md                                              | 8 ++++----
 src/main/scala/com/melvic/dry/parsers/ExprParser.scala | 7 +++----
 2 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 1fa5834..1f18be8 100644
--- a/README.md
+++ b/README.md
@@ -197,9 +197,9 @@ The syntax of Dry should be familiar to Python and Scala developers. Here's the
 <return>      ::= "return" <expression>? ";"
 <import>      ::= "import" <identifier>("."<identifier>)* ";"
 <expression>  ::= <assignment> | <lambda>
-<assignment>  ::= (<call> | <identifier>) "=" <expression>
-<call>        ::= <primary> ("(" (<expression> | ("," <expression>)*)? ")" | "." <identifier>  
-      | "[" <constant> "]")+
+<assignment>  ::= <call> "=" <expression>
+<call>        ::= <primary> ("(" (<expression> | ("," <expression>)*)? ")" | "." <identifier>  | <index>)*
+<index>       ::= "[" <constant> "]"   
 <identifier>  ::= <alpha>(<alpha>?<digit>?)*
 <lambda>      ::= "lambda" <params> <block> | <or>
 <block>       ::= "{" <declaration>* "}"
@@ -211,7 +211,7 @@ The syntax of Dry should be familiar to Python and Scala developers. Here's the
 <term>        ::= <factor> ("-" | "+" | "&" | "|" | "^" | "<<" | ">>"
       | ">>>" | "<=" <factor>)*
 <factor>      ::= <unary> ("/" | "*" | "%" <unary>)*
-<unary>       ::= ("!" | "-" | "+" | "not") <expression> | <call>
+<unary>       ::= ("!" | "-" | "+" | "not")* <call>
 <primary>     ::= <constant> | "self" | <identifier> | <dictionary> | "(" <expression> ")"
 <constant>    ::= "false" | "true" | "none" | <number> | <string>
 <dictionary>  ::= "{" (<key-value> ("," <key-value>)*)? "}"
diff --git a/src/main/scala/com/melvic/dry/parsers/ExprParser.scala b/src/main/scala/com/melvic/dry/parsers/ExprParser.scala
index 6c90806..f329eb2 100644
--- a/src/main/scala/com/melvic/dry/parsers/ExprParser.scala
+++ b/src/main/scala/com/melvic/dry/parsers/ExprParser.scala
@@ -20,7 +20,7 @@ private[parsers] trait ExprParser { _: Parser =>
     assignment
 
   /**
-   * {{{<assignment> ::= (<call> | <identifier>) "=" <expression>}}}
+   * {{{<assignment> ::= <call> "=" <expression>}}}
    */
   def assignment: ParseResult[Expr] = {
     // parse the left value as a lambda to cover all possible expression (including chained `get`s)
@@ -105,7 +105,7 @@ private[parsers] trait ExprParser { _: Parser =>
     leftAssocBinary(_.unary, TokenType.Slash, TokenType.Star, TokenType.Modulo)
 
   /**
-   * {{{<unary> ::= ("!" | "-" | "+") <expression> | <call>}}}
+   * {{{<unary> ::= ("!" | "-" | "+" | "not")* <call>}}}
    */
   def unary: ParseResult[Expr] =
     matchAny(TokenType.Not, TokenType.Minus, TokenType.Plus)
@@ -117,8 +117,7 @@ private[parsers] trait ExprParser { _: Parser =>
 
   /**
    * {{{
-   *   <call> ::= <primary> ("(" (<expression> | ("," <expression>)*)? ")" | "." <identifier>
-   *       | "[" <constant> "]")*
+   *   <call> ::= <primary> ("(" (<expression> | ("," <expression>)*)? ")" | "." <identifier>  | <index>)*
    * }}}
    */
   def call: ParseResult[Expr] = {