From 57e9c6ea6306c4c74901878fd44801fe14600a15 Mon Sep 17 00:00:00 2001 From: NanoTech Date: Wed, 7 Dec 2016 02:49:26 -0600 Subject: Parse string literals --- src/grammar.lalrpop | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/grammar.lalrpop') diff --git a/src/grammar.lalrpop b/src/grammar.lalrpop index c2dc879..c49e2b6 100644 --- a/src/grammar.lalrpop +++ b/src/grammar.lalrpop @@ -21,6 +21,7 @@ extern { Int => Tok::Integer(), Nat => Tok::Natural(), + Text => Tok::Text(), Bool => Tok::Bool(), Label => Tok::Identifier(), Const => Tok::Const(), @@ -114,6 +115,7 @@ ExprE: BoxExpr = { ExprF: BoxExpr = { Nat => bx(NaturalLit(<>)), Int => bx(IntegerLit(<>)), + Text => bx(TextLit(<>)), Label => bx(Var(core::Var(<>, 0))), // FIXME support var@n syntax Const => bx(Const(<>)), List => bx(List), -- cgit v1.2.3