diff options
author | stuebinm | 2021-09-02 23:31:39 +0200 |
---|---|---|
committer | stuebinm | 2021-09-03 00:02:16 +0200 |
commit | ad514f56b6cda288e605c44990ef16d30e6dee53 (patch) | |
tree | bec6de5f4bdabf432c7045394af15ba96f525546 /isabelle-dump/build.rs | |
parent | 715001ba92799839afc97d92c9f0a79924085a69 (diff) |
remove grmtools
the parser using grmtools was way oversized for just doing escape
sequences, and only really existed since I wanted to play around with
it.
The new implementation depends on no external crates, uses just an iter
wrapped into a nicely composable function, and appears to be exactly
equivalent (but faster).
Diffstat (limited to 'isabelle-dump/build.rs')
-rw-r--r-- | isabelle-dump/build.rs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/isabelle-dump/build.rs b/isabelle-dump/build.rs deleted file mode 100644 index b11761d..0000000 --- a/isabelle-dump/build.rs +++ /dev/null @@ -1,13 +0,0 @@ -use cfgrammar::yacc::YaccKind; -use lrlex::LexerBuilder; -use lrpar::{CTParserBuilder}; - -fn main() -> Result<(), Box<dyn std::error::Error>> { - let lex_rule_ids_map = CTParserBuilder::new() - .yacckind(YaccKind::Grmtools) - .process_file_in_src("calc.y")?; - LexerBuilder::new() - .rule_ids_map(lex_rule_ids_map) - .process_file_in_src("calc.l")?; - Ok(()) -} |