From c6899d25d7ed36056115af2fe83ecd0588c6eb47 Mon Sep 17 00:00:00 2001
From: Ari Lazier <alazier@gmail.com>
Date: Thu, 12 Nov 2015 14:34:47 -0800
Subject: [PATCH] fix and tests for arguments

---
 parser/parser.cpp |  4 ++--
 parser/test.cpp   | 17 +++++++++++++++--
 2 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/parser/parser.cpp b/parser/parser.cpp
index 9443a37c..5bc6e7d8 100644
--- a/parser/parser.cpp
+++ b/parser/parser.cpp
@@ -61,8 +61,8 @@ struct false_value : pegtl_istring_t("false") {};
 struct key_path : list< seq< sor< alpha, one< '_' > >, star< sor< alnum, one< '_', '-' > > > >, one< '.' > > {};
 
 // argument
-struct argument_index : until< at< one< '}' > >, must< digit > > {};
-struct argument : seq< one< '{' >, must< argument_index >, any > {};
+struct argument_index : plus< digit > {};
+struct argument : seq< one< '{' >, must< argument_index, one< '}' > > > {};
 
 // expressions and operators
 struct expr : sor< dq_string, sq_string, number, argument, true_value, false_value, key_path > {};
diff --git a/parser/test.cpp b/parser/test.cpp
index 9655ee05..3870569f 100644
--- a/parser/test.cpp
+++ b/parser/test.cpp
@@ -20,7 +20,7 @@ static std::vector<std::string> valid_queries = {
     "'\\uffFf' = '\\u0020'",
     "'\\u01111' = 'asdf\\u0111asdf'",
 
-    // numbers, bools, keypaths
+    // expressions (numbers, bools, keypaths, arguments)
     "-1 = 12",
     "0 = 001",
     "0x0 = -0X398235fcAb",
@@ -30,6 +30,10 @@ static std::vector<std::string> valid_queries = {
     "_ = a",
     "_a = _.aZ",
     "a09._br.z = __-__.Z-9",
+
+    // arguments
+    "{0} = {19}",
+    "{0} = {0}",
 };
 
 static std::vector<std::string> invalid_queries = {
@@ -44,12 +48,21 @@ static std::vector<std::string> invalid_queries = {
     "\" = ''",
     "' = ''",
 
-    // invalid numbers, bools, keypaths
+    // expressions
     "03a = 1",
     "1..0 = 1",
     "1.0. = 1",
+    "1-0 = 1",
     "0x = 1",
     "truey = false",
+    "- = a",
+    "a..b = a",
+    "a$a = a",
+    "{} = {0}",
+    "{-1} = {0}",
+    "{a} = {0}",
+    "{ = }",
+
 
     "truepredicate &&",
     "truepredicate & truepredicate",