From 5b137e0983051bf72759cea9c4af1c4bc7a24e1f Mon Sep 17 00:00:00 2001
From: David Li <li.davidm96@gmail.com>
Date: Mon, 6 Nov 2017 09:26:23 -0500
Subject: Type check record definitions

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

(limited to 'src/taiga.lalrpop')

diff --git a/src/taiga.lalrpop b/src/taiga.lalrpop
index 0c7fea0..bad60bb 100644
--- a/src/taiga.lalrpop
+++ b/src/taiga.lalrpop
@@ -8,13 +8,13 @@ pub Program: ast::Program = {
 };
 
 FieldList: Vec<WithLocation<ast::RecordField>> = {
-    <l: @L> <n:Name> ":" <v:Name> <r: @R> "," <rest: FieldList> => {
+    <l: @L> <n:Name> ":" <v:Ty> <r: @R> "," <rest: FieldList> => {
         let mut rest = rest;
         rest.push(WithLocation::new(ast::RecordField::new(n, v), l, r));
         rest
     },
-    <l: @L> <n:Name> ":" <v:Name> <r: @R> "," => vec![WithLocation::new(ast::RecordField::new(n, v), l, r)],
-    <l: @L> <n:Name> ":" <v:Name> <r: @R> => vec![WithLocation::new(ast::RecordField::new(n, v), l, r)],
+    <l: @L> <n:Name> ":" <v:Ty> <r: @R> "," => vec![WithLocation::new(ast::RecordField::new(n, v), l, r)],
+    <l: @L> <n:Name> ":" <v:Ty> <r: @R> => vec![WithLocation::new(ast::RecordField::new(n, v), l, r)],
 };
 
 RecordFields: WithLocation<Vec<WithLocation<ast::RecordField>>> = {
-- 
cgit v1.2.3