Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge pull request #14236 from Octachron/forgotten_loc_in_ast_mapper (details)
Commit ac39d6936fadd1ce2b5d59cb8f1dfb1f96f3368d by gabriel.scherer
Merge pull request #14236 from Octachron/forgotten_loc_in_ast_mapper

[5.4]: parsetree mapper, map on new locations in toplevel directives

(cherry picked from commit 6b1cfbde14b8e68952c00929ad2f220289889d86)
The file was modifiedparsing/ast_iterator.ml (diff)
The file was modifiedparsing/ast_mapper.ml (diff)
The file was modifiedChanges (diff)