diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-07 18:53:50 +0100 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-07 18:53:50 +0100 |
commit | 0ebefc1d145f82783829174bad1f41bb319742b4 (patch) | |
tree | 265c5db82cc99f30f1702c6ba59f830ffb125fef /cparser/pre_parser.mly | |
parent | b071b27ecfea4911b1cd07d4083d8ad7a1db7809 (diff) | |
download | compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.tar.gz compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.zip |
Typo, coherence in error messages
Diffstat (limited to 'cparser/pre_parser.mly')
-rw-r--r-- | cparser/pre_parser.mly | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index 0cc30668..d217a7a4 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -634,10 +634,11 @@ function_specifier: and with TYPEDEF_NAME in lookahead position, we know (1) can safely be ignored (if (1) is still possible after reading the next token, (2) will also be possible, and the conflict has to be solved in - favor of (2)). We add low_prec in declaration_specifier, but not in + favor of (2)). We add low_prec in declaration_identifier, but not in typedef_name, so that it has to be reduced in (1) but not in (2). - This is a shift/reduce conflict that can be solved using precedences. -*) + This is a shift/reduce conflict that can be solved using + precedences. + *) low_prec : %prec lowPrec1 {} declarator_identifier: | PRE_NAME low_prec i = TYPEDEF_NAME |