diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:49:42 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:49:42 +0200 |
| commit | 09527e66514edcfa20a0341acd75c1fe6fd77363 (patch) | |
| tree | c0983f011758c1d8cbe3ad748a3f157a89bf6d6d /cparser/GCC.ml | |
| parent | c1937e330a3ca6c19ef648e2dcfe4871fc3c2219 (diff) | |
| download | compcert-kvx-09527e66514edcfa20a0341acd75c1fe6fd77363.tar.gz compcert-kvx-09527e66514edcfa20a0341acd75c1fe6fd77363.zip | |
Introduced optional(X, Y), which means X? Y, and used it in array declarators and FOR loops.
This leads to fewer automaton states, and potentially better error messages.
Diffstat (limited to 'cparser/GCC.ml')
0 files changed, 0 insertions, 0 deletions