Commit c57b136c authored by Jamie A. Jennings's avatar Jamie A. Jennings

All tests passing now, with RPL 1.3 parser and shunting yard post-processing.

parent 15cf6197
......@@ -119,8 +119,8 @@ grammar
{predicate / term}
{atmos operator? infix}*
}
grammar_exp = "grammar" eot identifier atmos (bindings "in" eot)? term --quantifier? !@#!@#!@#!@#!@#!@#!@#!@#!@#
let_exp = "let" bindings "in" term --quantifier? !@# !@# !@# !@# !@# !@# !@# !@# !@# !@# !@#
grammar_exp = "grammar" identifier atmos (bindings "in")? term
let_exp = "let" (bindings "in")? term
application = { identifier ":" } atmos (arg / arglist / rawarglist )
arglist = { atmos open int_or_exp { atmos "," int_or_exp }* close }
rawarglist = { atmos openraw int_or_exp { atmos "," int_or_exp }* closeraw }
......
......@@ -306,7 +306,9 @@ rplx, errs = e:compile('let foo= in')
check(not rplx)
check_syntax_error(errs)
msg = table.concat(map(violation.tostring, errs), '\n')
check(msg:find("extraneous input: = in"))
-- The error message for this situation changed with the change to rpl_1_3.
--check(msg:find("extraneous input: = in"))
check(msg:find("while reading expression"))
rplx, errs = e:compile('let foo')
check(not rplx)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment