diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:56:12 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:56:12 +0200 |
| commit | 30ac183455a0e15fb9889793a3bc774bc1b7b5c2 (patch) | |
| tree | 607d26b45d8ee3789d02fd97e735ccd110a0761c /checklink | |
| parent | a6b15496744c19a54ab52c96d1dca441cd7ad1b8 (diff) | |
| download | compcert-30ac183455a0e15fb9889793a3bc774bc1b7b5c2.tar.gz compcert-30ac183455a0e15fb9889793a3bc774bc1b7b5c2.zip | |
Use [option] as much as possible and [ioption] only where necessary.
The existing [option(X)] was marked %inline, and has been renamed [ioption(X)].
A new [option(X)], which is not marked %inline, has been introduced.
The grammar now uses [option] everywhere, except where [ioption] is necessary
in order to avoid conflicts.
This reduces the number of states in the automaton. The number of LR(0) cores
drops from 857 to 712.
Diffstat (limited to 'checklink')
0 files changed, 0 insertions, 0 deletions