Note: version 0.2.0 introduces a new ParsingError type that is generic (more information below) which will break some code but should be a easy fix
This module provides a macro for generating lexers and parsers (LALR(1))
With focus on easy to use custom error handling.
The lexer is build on top of lexim
supports js backend
Here is an example with detailed explanation:
(the type definition are omitted. take a look at tests/test1.nim for the whole code)
# Generates a ParserProc[Token] (take a look at src/parlexgen/common.nim for details)
# If you want the generated proc to be exported use:
# makeLexer lex*[Token]:
# this also applies to the parser
makeLexer lex[Token]:
# If the pattern ("out") is matched the following block is executed to build a token.
# Note: After the pattern is a block definition not a function,
# so don't use 'return' or 'result'.
# Inside the block you have following vars:
# match: the matched string
# pos: the index of the start of the match inside the input string
# line, col
"out": Token(kind: OUT, line: line, col: col)
# as you can see, you may can use any const expr for the pattern
r"[0-9]+":
echo "found number " & match & " at (" & $line & ", " & $col & ")"
Token(kind: NUM, val: parseInt(match), line: line, col: col)
r"[a-zA-Z][a-zA-Z0-9]*": Token(kind: IDENT, name: match, line: line, col: col)
# You can also define rules with a loop.
# The loop must be compile-time computable
# You can define multiple rules in one loop.
for t in PLUS .. ASSIGN:
(r"\" & $t): Token(kind: t, line: line, col: col)
# The patterns don't have to be string literals, they can be any compile-time expression
# Use continue to skip (or discard).
r"\s+": continue
# Generates a 'proc parse(code: string, lexer: LexerProc[Token]): seq[Stmnt]'
makeParser parse[Token]:
# define all rules with the same lefthand side in one block,
# with the resulting type anotated.
stmnts[seq[Stmnt]]:
# List of different rules for this nt
# You have access to 's', a tuple of the matched symbols.
# In this first case of type: (seq[Stmnt], Token, Stmnt)
# Note: Like in the lexer, the produced code is not a seperate function so returning would return from the whole parsing function
(stmnts, SEMI, stmnt): s[0] & s[2]
stmnt: @[s[0]]
stmnt[Stmnt]:
(IDENT, ASSIGN, mul): Stmnt(kind: stmntAssign, res: s[0].name, exp: s[2])
(OUT, IDENT):
debugEcho "found out statement"
Stmnt(kind: stmntOutput, outVar: s[1].name)
mul[Exp]:
# You can use try/except for error handling.
# So the except block gets executed when parsing fails,
# and this rule is one of the possible next rules that would be reduced.
# Inside this block you have the following vars:
# pos: the position inside your rule (so 0: mul, 1: ASTERIX, 2: add, 3: just behind)
# this var is alway of type range[0..len(rule)]
# token: this is either some(token), the token currently read
# or none if its at EOF
# After this block is executed, the function doesnt return automatically.
# This is because it could happen that multiple rules could be reduced next,
# so all of those error handlers get called, if they exist.
# And afterwards a ParsingError is raised (which contains some usefull information, details below).
# But you can return yourself from inside the except block if you want
try:
(mul, ASTERIX, add): Exp(kind: ekOp, op: opMul, left: s[0], right: s[2])
except:
echo:
case pos
of 0, 2: "expected number or math expression"
of 1: "invalid math expression"
of 3: "unexpected " & $token & " after math expression"
add: s[0]
add[Exp]:
# You may also put multiple rules in one try block,
# but if you do so you cant use the `pos` var in the except block.
try:
(add, PLUS, val): Exp(kind: ekOp, op: opAdd, left: s[0], right: s[2])
val: s[0]
except:
echo "parsing additin expression failed"
val[Exp]:
(LPAR, mul, RPAR): s[1]
NUM: Exp(kind: ekNum, val: s[0].val)
IDENT: Exp(kind: ekVar, name: s[0].name)
echo parse(
dedent"""
foo = (1+3) * 3;
out foo;
b = foo * 2;
out b
""",
lex
)often the raised ParsingError is enough for a good error message.
Its way simpler if you just want errors like:
found ... but expected one of: ..... or alike
# T := token type
# K := token kind type (type of .kind field of token type)
type ParsingError*[T: object, K: enum] = ref object of CatchableError
token*: Option[T] # the token that caused the error
expectedTerminals*: set[K] # the possible token kinds that wouldn't have caused an error
expectedEOF*: bool # true if there would have been a rule for $PRs and issues are very welcome
- improve readme page
- support epsilon (empty rhs)
- improve lexer (own lexer) ?