diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:34:10 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:34:10 +0200 |
commit | df2ba9189d479efce7f37c61ed1b15d93767145e (patch) | |
tree | b8a16f71fe8783b4d58ab2a911914922b93f6549 /checklink/Lens.ml | |
parent | 7b62517ea6cf0d132099d9a921950f97704e3b9c (diff) | |
download | compcert-df2ba9189d479efce7f37c61ed1b15d93767145e.tar.gz compcert-df2ba9189d479efce7f37c61ed1b15d93767145e.zip |
Factorized two productions (and two error productions) in [struct_or_union_specifier].
The old version was strictly equivalent to using [ioption(other_identifier)].
The new version uses [option(other_identifier)] instead, that is, [other_identifier?].
Technically, this means that [set_id_type i OtherId] is called slightly earlier (at
the opening brace, instead of at the closing brace), but this does not make any
difference, since the re-classification of identifiers affects only the second
parsing phase.
Diffstat (limited to 'checklink/Lens.ml')
0 files changed, 0 insertions, 0 deletions