[parser] yet more improved locations in the AST.
Showing
- src/kernel_internals/parsing/clexer.mll 9 additions, 8 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/parsing/cparser.mly 0 additions, 1 deletionsrc/kernel_internals/parsing/cparser.mly
- tests/syntax/oracle/empty_base.0.res.oracle 1 addition, 1 deletiontests/syntax/oracle/empty_base.0.res.oracle
- tests/syntax/oracle/empty_base.1.res.oracle 1 addition, 1 deletiontests/syntax/oracle/empty_base.1.res.oracle
- tests/syntax/oracle/generic.1.res.oracle 2 additions, 2 deletionstests/syntax/oracle/generic.1.res.oracle
- tests/syntax/oracle/generic.8.res.oracle 2 additions, 2 deletionstests/syntax/oracle/generic.8.res.oracle
- tests/syntax/oracle/ghost_cv_parsing_errors.0.res.oracle 2 additions, 2 deletionstests/syntax/oracle/ghost_cv_parsing_errors.0.res.oracle
- tests/syntax/oracle/ghost_cv_parsing_errors.1.res.oracle 2 additions, 2 deletionstests/syntax/oracle/ghost_cv_parsing_errors.1.res.oracle
- tests/syntax/oracle/ghost_cv_parsing_errors.2.res.oracle 2 additions, 2 deletionstests/syntax/oracle/ghost_cv_parsing_errors.2.res.oracle
- tests/syntax/oracle/ghost_else_bad.2.res.oracle 2 additions, 2 deletionstests/syntax/oracle/ghost_else_bad.2.res.oracle
- tests/syntax/oracle/ghost_else_bad_oneline.res.oracle 2 additions, 3 deletionstests/syntax/oracle/ghost_else_bad_oneline.res.oracle
- tests/syntax/oracle/ghost_multiline_annot.2.res.oracle 3 additions, 5 deletionstests/syntax/oracle/ghost_multiline_annot.2.res.oracle
- tests/syntax/oracle/ghost_multiline_annot.3.res.oracle 2 additions, 2 deletionstests/syntax/oracle/ghost_multiline_annot.3.res.oracle
- tests/syntax/oracle/ghost_parameters.11.res.oracle 1 addition, 1 deletiontests/syntax/oracle/ghost_parameters.11.res.oracle
- tests/syntax/oracle/inconsistent_global_ghost_spec.2.res.oracle 1 addition, 1 deletion...syntax/oracle/inconsistent_global_ghost_spec.2.res.oracle
- tests/syntax/oracle/inconsistent_global_ghost_spec.3.res.oracle 1 addition, 1 deletion...syntax/oracle/inconsistent_global_ghost_spec.3.res.oracle
- tests/syntax/oracle/init_bts1352.res.oracle 1 addition, 1 deletiontests/syntax/oracle/init_bts1352.res.oracle
- tests/syntax/oracle/invalid_implicit_cast_issue_1346.res.oracle 1 addition, 1 deletion...syntax/oracle/invalid_implicit_cast_issue_1346.res.oracle
- tests/syntax/oracle/line_number.res.oracle 1 addition, 1 deletiontests/syntax/oracle/line_number.res.oracle
- tests/syntax/oracle/localisation_error.res.oracle 1 addition, 1 deletiontests/syntax/oracle/localisation_error.res.oracle
Loading
Please register or sign in to comment