diff options
| author | Alasdair Armstrong | 2017-08-08 17:50:43 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-08 17:50:43 +0100 |
| commit | b117f64204186cbde0d8633b995db0b5d0ba5862 (patch) | |
| tree | 99bebea82776bc20f8063c591a0e01311a0f7950 /src/util.ml | |
| parent | c6c6639d8f0d13a6be22dcae22ad3bb041bf5a71 (diff) | |
Add infrastructure to play with new menhir parsers.
Added a copy of the current parser/lexer in parser2.mly and
lexer2.mll. They can be used with the -new_parser flag. Currently they
are just copies of the existing files.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions