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