rust/src/grammar
2015-04-21 12:02:12 +02:00
..
.gitignore
check.sh Model lexer: Fix remaining issues 2015-04-21 12:02:12 +02:00
lexer.l Add a LALR grammar for Rust with testing support 2015-01-20 18:47:17 -08:00
parser-lalr-main.c Add a LALR grammar for Rust with testing support 2015-01-20 18:47:17 -08:00
parser-lalr.y Bison grammar: parse higher ranked constraints in where clauses 2015-03-01 13:59:35 -08:00
raw-string-literal-ambiguity.md
README.md Model lexer: Fix remaining issues 2015-04-21 12:02:12 +02:00
RustLexer.g4 Model lexer: Fix remaining issues 2015-04-21 12:02:12 +02:00
testparser.py Move compile-fail tests that are rejected by the parser to parse-fail 2015-02-06 22:23:16 +01:00
tokens.h Add a LALR grammar for Rust with testing support 2015-01-20 18:47:17 -08:00
verify.rs Model lexer: Fix remaining issues 2015-04-21 12:02:12 +02:00
xidcontinue.g4 Finished unicode support in the model lexer. 2015-04-19 23:05:32 +02:00
xidstart.g4 Finished unicode support in the model lexer. 2015-04-19 23:05:32 +02:00

Reference grammar.

Uses antlr4 and a custom Rust tool to compare ASTs/token streams generated. You can use the check-lexer make target to run all of the available tests.

To use manually:

antlr4 RustLexer.g4
javac *.java
rustc -O verify.rs
for file in ../*/**.rs; do
    echo $file;
    grun RustLexer tokens -tokens < "$file" | ./verify "$file" RustLexer.tokens || break
done

Note That the ../*/**.rs glob will match every *.rs file in the above directory and all of its recursive children. This is a zsh extension.