From 48411d44fd742800348dace427217a9b5727138d Mon Sep 17 00:00:00 2001
From: David Li <li.davidm96@gmail.com>
Date: Mon, 6 Nov 2017 09:00:14 -0500
Subject: Reimplement checking of variable bindings

---
 src/taiga.lalrpop | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/taiga.lalrpop')

diff --git a/src/taiga.lalrpop b/src/taiga.lalrpop
index afa6433..0c7fea0 100644
--- a/src/taiga.lalrpop
+++ b/src/taiga.lalrpop
@@ -29,7 +29,8 @@ Parameters: WithLocation<Vec<WithLocation<ast::RecordField>>> = {
 
 Ty: WithLocation<ast::Ty> = {
     <Name> => <>.map(|v| ast::Ty::Name(v)),
-    "array" "of" <Name> => <>.map(|v| ast::Ty::Array(Box::new(ast::Ty::Name(v)))),
+    <l: @L> "array" "of" <n: Name> <r: @R> =>
+        WithLocation::new(ast::Ty::Array(Box::new(n.map(|v| ast::Ty::Name(v)))), l, r),
     <RecordFields> => <>.map(|v| ast::Ty::Record(v)),
 };
 
-- 
cgit v1.2.3