michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test(frontends/lean/scanner): missing tests

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-01-07 15:03:46 -08:00
parent c7338a8eab
commit f12a76a5cd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/tests/frontends/lean/scanner.cpp
View file

@ -90,7 +90,7 @@ static void tst2() {
check("\u03BB \u03A0 \u2192", {st::Lambda, st::Pi, st::Arrow}); check("\u03BB \u03A0 \u2192", {st::Lambda, st::Pi, st::Arrow});
scan("++\u2295++x\u2296\u2296"); scan("++\u2295++x\u2296\u2296");
check("++\u2295++x\u2296\u2296", {st::Id, st::Id, st::Id, st::Id, st::Id}); check("++\u2295++x\u2296\u2296", {st::Id, st::Id, st::Id, st::Id, st::Id});
scan("x10"); scan("x10 ... == (* print('hello') *) have by");
check_name("x10", name("x10")); check_name("x10", name("x10"));
check_name("x::10", name(name("x"), 10)); check_name("x::10", name(name("x"), 10));
check_name("x::10::bla::0", name(name(name(name("x"), 10), "bla"), 0u)); check_name("x::10::bla::0", name(name(name(name("x"), 10), "bla"), 0u));