diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-31 23:35:38 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-31 23:35:38 +0200 |
commit | 8d272227e4a4b4829678bfb6ecc84673bc47eeb7 (patch) | |
tree | 3d20d152bda6bc687177b857a07096191af099fe /grammar/q_util.ml4 | |
parent | c0aefc5323cb4393297adcaffd2967ab93ab815e (diff) | |
parent | bacba3d3ec0dd54d210bdf5045bc7e193c904b3c (diff) |
Providing an API to access the parsing engine summary in a first-class way.
Instead of hardwiring a few special cases in Egramcoq, we allow the grammar
state to contain arbitrary data structures. This permits to extend the parsing
engine while retaining the synchronization with the global state, e.g. for use
in plugins.
Diffstat (limited to 'grammar/q_util.ml4')
0 files changed, 0 insertions, 0 deletions