From 15893308dbed6c520cba44c8c2f6e4a3580eacd6 Mon Sep 17 00:00:00 2001
From: yhirose <yuji.hirose.bug@gmail.com>
Date: Wed, 14 Oct 2015 17:20:39 -0400
Subject: [PATCH] Updated documentation.

---
 README.md           |  2 +-
 grammar/culebra.peg | 15 +++++++++------
 2 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 85fe230..500d2db 100644
--- a/README.md
+++ b/README.md
@@ -106,7 +106,7 @@ struct SemanticValues : protected std::vector<SemanticValue>
     // Get token
     std::string str() const;
 
-    // Transform the semantice value vector to another vector
+    // Transform the semantic value vector to another vector
     template <typename T> vector<T> transform(size_t beg = 0, size_t end = -1) const;
 }
 ```
diff --git a/grammar/culebra.peg b/grammar/culebra.peg
index f4fc96e..c7a7719 100644
--- a/grammar/culebra.peg
+++ b/grammar/culebra.peg
@@ -1,14 +1,15 @@
 
 PROGRAM                  <-  _ STATEMENTS _
 STATEMENTS               <-  (STATEMENT (_sp_ (';' / _nl_) (_ STATEMENT)?)*)?
-STATEMENT                <-  DEBUGGER / RETURN / EXPRESSION
+STATEMENT                <-  DEBUGGER / RETURN / LEXICAL_SCOPE / EXPRESSION
 
 DEBUGGER                 <-  debugger
 RETURN                   <-  return (_sp_ !_nl_ EXPRESSION)?
+LEXICAL_SCOPE            <-  BLOCK
 
 EXPRESSION               <-  ASSIGNMENT / LOGICAL_OR
 
-ASSIGNMENT               <-  MUTABLE _ PRIMARY (_ (ARGUMENTS / INDEX / DOT))* _ '=' _ EXPRESSION
+ASSIGNMENT               <-  LET _ MUTABLE _ PRIMARY (_ (ARGUMENTS / INDEX / DOT))* _ '=' _ EXPRESSION
 
 LOGICAL_OR               <-  LOGICAL_AND (_ '||' _ LOGICAL_AND)*
 LOGICAL_AND              <-  CONDITION (_ '&&' _  CONDITION)*
@@ -20,14 +21,15 @@ UNARY_NOT                <-  UNARY_NOT_OPERATOR? MULTIPLICATIVE
 MULTIPLICATIVE           <-  CALL (_ MULTIPLICATIVE_OPERATOR _ CALL)*
 
 CALL                     <-  PRIMARY (_ (ARGUMENTS / INDEX / DOT))*
-ARGUMENTS                <-  '(' _ (EXPRESSION (_ ',' _ EXPRESSION)*)? _ ')'
+ARGUMENTS                <-  '(' _ SEQUENCE _ ')'
 INDEX                    <-  '[' _ EXPRESSION _ ']'
 DOT                      <-  '.' _ IDENTIFIER
+SEQUENCE                 <-  (EXPRESSION (_ ',' _ EXPRESSION)*)?
 
 WHILE                    <-  while _ EXPRESSION _ BLOCK
 IF                       <-  if _ EXPRESSION _ BLOCK (_ else _ if _ EXPRESSION _ BLOCK)* (_ else _ BLOCK)?
 
-PRIMARY                  <-  WHILE / IF / FUNCTION / OBJECT / ARRAY / UNDEFINED / BOOLEAN / NUMBER / IDENTIFIER / STRING / INTERPOLATED_STRING / '(' _ EXPRESSION _ ')'
+PRIMARY                  <-  WHILE / IF / FUNCTION / OBJECT / ARRAY / NIL / BOOLEAN / NUMBER / IDENTIFIER / STRING / INTERPOLATED_STRING / '(' _ EXPRESSION _ ')'
 
 FUNCTION                 <-  fn _ PARAMETERS _ BLOCK
 PARAMETERS               <-  '(' _ (PARAMETER (_ ',' _ PARAMETER)*)? _ ')'
@@ -42,6 +44,7 @@ UNARY_MINUS_OPERATOR     <-  '-'
 UNARY_NOT_OPERATOR       <-  '!'
 MULTIPLICATIVE_OPERATOR  <-  [*/%]
 
+LET                      <-  < ('let' _wd_)? >
 MUTABLE                  <-  < ('mut' _wd_)? >
 
 IDENTIFIER               <-  < IdentInitChar IdentChar* >
@@ -49,9 +52,9 @@ IDENTIFIER               <-  < IdentInitChar IdentChar* >
 OBJECT                   <-  '{' _ (OBJECT_PROPERTY (_ ',' _ OBJECT_PROPERTY)*)? _ '}'
 OBJECT_PROPERTY          <-  MUTABLE _ IDENTIFIER _ ':' _ EXPRESSION
 
-ARRAY                    <-  '[' _ (EXPRESSION (_ ',' _ EXPRESSION)*)? _ ']'
+ARRAY                    <-  '[' _ SEQUENCE _ ']' (_ '(' _ EXPRESSION (_ ',' _ EXPRESSION)? _ ')')?
 
-UNDEFINED                <-  < 'undefined' _wd_ >
+NIL                      <-  < 'nil' _wd_ >
 BOOLEAN                  <-  < ('true' / 'false')  _wd_ >
 
 NUMBER                   <-  < [0-9]+ >