From 7e76e6745ca2eb1dbe78c7503371094e6694fcdf Mon Sep 17 00:00:00 2001
From: NanoTech
Date: Tue, 6 Dec 2016 04:12:17 -0600
Subject: Separate keywords and builtins

---
 src/grammar.lalrpop | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/grammar.lalrpop')

diff --git a/src/grammar.lalrpop b/src/grammar.lalrpop
index 3d4603d..73d1675 100644
--- a/src/grammar.lalrpop
+++ b/src/grammar.lalrpop
@@ -1,7 +1,7 @@
 use core;
 use core::Expr::*;
 use grammar_util::*;
-use lexer::{Keyword, LexicalError, Tok};
+use lexer::{Builtin, Keyword, LexicalError, Tok};
 
 grammar;
 
@@ -19,12 +19,12 @@ extern {
         Nat => Tok::Natural(<usize>),
         Bool => Tok::Bool(<bool>),
         Label => Tok::Identifier(<String>),
-        Let => Tok::Reserved(Keyword::Let),
-        In => Tok::Reserved(Keyword::In),
-        If => Tok::Reserved(Keyword::If),
-        Then => Tok::Reserved(Keyword::Then),
-        Else => Tok::Reserved(Keyword::Else),
-        Reserved => Tok::Reserved(<Keyword>),
+        Let => Tok::Keyword(Keyword::Let),
+        In => Tok::Keyword(Keyword::In),
+        If => Tok::Keyword(Keyword::If),
+        Then => Tok::Keyword(Keyword::Then),
+        Else => Tok::Keyword(Keyword::Else),
+        Builtin => Tok::Builtin(<Builtin>),
 
         "(" => Tok::ParenL,
         ")" => Tok::ParenR,
@@ -97,7 +97,7 @@ ExprF: BoxExpr = {
     Nat => bx(NaturalLit(<>)),
     Int => bx(IntegerLit(<>)),
     Label => bx(Var(core::Var(<>, 0))), // FIXME support var@n syntax
-    Reserved => bx(Bool), // FIXME
+    Builtin => bx(Bool), // FIXME
     Bool => bx(BoolLit(<>)),
     "(" <Expr> ")",
 };
-- 
cgit v1.2.3