[acl2/acl2] bb42d4: VL: add support for typedefs as blockitems

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: bb42d4693a68e38fa563e467598a47b6f56a1770
https://github.com/acl2/acl2/commit/bb42d4693a68e38fa563e467598a47b6f56a1770
Author: Jared C. Davis <jared....@gmail.com>
Date: 2015-11-11 (Wed, 11 Nov 2015)

Changed paths:
M books/centaur/vl/kit/pp.lisp
R books/centaur/vl/loader/lexer/lexer.lisp
M books/centaur/vl/loader/lexer/tests.lisp
A books/centaur/vl/loader/lexer/top.lisp
M books/centaur/vl/loader/parser/blockitems.lisp
M books/centaur/vl/loader/parser/elements.lisp
M books/centaur/vl/loader/parser/functions.lisp
R books/centaur/vl/loader/parser/parser.lisp
M books/centaur/vl/loader/parser/statements.lisp
M books/centaur/vl/loader/parser/tests/base.lisp
M books/centaur/vl/loader/parser/tests/typedefs.lisp
A books/centaur/vl/loader/parser/top.lisp
R books/centaur/vl/loader/parser/typedefs.lisp
R books/centaur/vl/loader/preprocessor/preprocessor.lisp
M books/centaur/vl/loader/preprocessor/tests.lisp
A books/centaur/vl/loader/preprocessor/top.lisp
M books/centaur/vl/loader/top.lisp
M books/centaur/vl/mlib/scopestack.lisp
M books/centaur/vl/mlib/writer.lisp
M books/centaur/vl/parsetree.lisp
M books/centaur/vl/transforms/annotate/make-implicit-wires.lisp
M books/centaur/vl/transforms/annotate/shadowcheck.lisp

Log Message:
-----------
VL: add support for typedefs as blockitems

This adds at least parsing support for typedefs in functions, tasks,
and block statements (begin/end or fork/join statements).

It also extends scopestacks, so it's possible that this means that
these typedefs might actually work in a deeper way, but this hasn't
been tested yet.

Misc changes:
- Minor reduction of dependencies for vl/mlib/writer.lisp.
- Rename parser/parser to parser/top
- Rename lexer/lexer to lexer/top
- Rename preprocessor/preprocessor to preprocessor/top

[GitHub]

Branch: refs/heads/master