api.prefix: strengthen the tests and fix push-parsers.
authorAkim Demaille <akim@lrde.epita.fr>
Thu, 5 Jul 2012 10:33:37 +0000 (12:33 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Thu, 5 Jul 2012 10:41:15 +0000 (12:41 +0200)
commitad60e80f3d13e8c4306a22a9d15863f73c576a27
tree72a30e0ddd1492e33a708dbb1b5648a9405a055b
parent2a824fae30d1cea0f1e85eee3ce42d5c120299d6
api.prefix: strengthen the tests and fix push-parsers.

* tests/calc.at: Check api.prefix in addition to %name-prefix.
* tests/headers.at: Check push parsers and pure interface.
* tests/local.at: Use YYLTYPE renamed.
* data/yacc.c (b4_declare_yyparse_push_): Handle api.prefix.
* doc/bison.texi: Style changes.
data/yacc.c
doc/bison.texi
tests/calc.at
tests/headers.at
tests/local.at