diff options
| author | NanoTech | 2016-12-07 02:49:26 -0600 |
|---|---|---|
| committer | NanoTech | 2017-03-10 23:48:28 -0600 |
| commit | 57e9c6ea6306c4c74901878fd44801fe14600a15 (patch) | |
| tree | 4f3221da26d78b91c105ec906963b06e6781273a /src/grammar.lalrpop | |
| parent | 3cd02b1f015cc855eab058145f7590b284d78058 (diff) | |
Parse string literals
Diffstat (limited to '')
| -rw-r--r-- | src/grammar.lalrpop | 2 |
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), |