diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-12 20:33:51 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-12 20:39:58 +0200 |
commit | 3a54bb00dd2420b2710c2f90e1c0c4cf9c267175 (patch) | |
tree | 3e19290394bb9ca36853c452f769f7720ca4f272 /interp/smartlocate.ml | |
parent | 927e88de465e94bf18b970b45faaf97b4c2dff82 (diff) |
A fix to #4666 (Exc_located capsule added by camlp5 overwriting
location set by lexer). This improves on abb4e7b0c by recovering the
lexer location.
AFAICS, it has an effect on lexer's errors Unterminated_comment and
Unterminated_string. The other errors were not wrongly located,
presumably because the Exc_located location added by camlp5 coincided
with the location given by the lexer.
Diffstat (limited to 'interp/smartlocate.ml')
0 files changed, 0 insertions, 0 deletions