Type check record definitions

1 files changed, 3 insertions, 3 deletions

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>>> = {