summaryrefslogtreecommitdiff
path: root/src/grammar.lalrpop
diff options
context:
space:
mode:
Diffstat (limited to 'src/grammar.lalrpop')
-rw-r--r--src/grammar.lalrpop2
1 files changed, 2 insertions, 0 deletions
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(<isize>),
Nat => Tok::Natural(<usize>),
+ Text => Tok::Text(<String>),
Bool => Tok::Bool(<bool>),
Label => Tok::Identifier(<String>),
Const => Tok::Const(<core::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),