bug#6416: next-error mis-highlights ocaml error message locations

[Jacques Le Normand]

Please write in English if possible, because the Emacs maintainers

usually do not have translators to read other languages for them.

Your bug report will be posted to the bug-gnu-emacs@gnu.org mailing list,

and to the gnu.emacs.bug news group.

Please describe exactly what actions triggered the bug

and the precise symptoms of the bug:

if I compile the following with ocamlc:

let foo : int = 

  "foo"

  ^ 

    "bar"

it gives me the error 

File "/home/palomer/temp/test.ml", line 2, characters 1-21:

...

which refers to:

  "foo"

  ^ 

    "bar"

next-error will try and highlight characters 1 to 21 on line 2. however, line 2 only contains 10 or so characters. This is because character 21 actually refers to character 8 on line 4. Instead of highlighting 3 lines, only 1 line is highlighted.

If Emacs crashed, and you have the Emacs process in the gdb debugger,

please include the output from the following gdb commands:

    `bt full' and `xbacktrace'.

If you would like to further debug the crash, please read the file

/usr/share/emacs/22.2/etc/DEBUG for instructions.

In GNU Emacs 22.2.1 (i486-pc-linux-gnu, X toolkit, Xaw3d scroll bars)

 of 2010-03-29 on palmer, modified by Ubuntu

Windowing system distributor `The X.Org Foundation', version 11.0.10706000

configured using `configure  '--build=i486-linux-gnu' '--host=i486-linux-gnu' '--prefix=/usr' '--sharedstatedir=/var/lib' '--libexecdir=/usr/lib' '--localstatedir=/var' '--infodir=/usr/share/info' '--mandir=/usr/share/man' '--with-pop=yes' '--enable-locallisppath=/etc/emacs22:/etc/emacs:/usr/local/share/emacs/22.2/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/22.2/site-lisp:/usr/share/emacs/site-lisp:/usr/share/emacs/22.2/leim' '--with-x=yes' '--with-x-toolkit=athena' '--with-toolkit-scroll-bars' 'build_alias=i486-linux-gnu' 'host_alias=i486-linux-gnu' 'CFLAGS=-DDEBIAN -DSITELOAD_PURESIZE_EXTRA=5000 -g -O2' 'LDFLAGS=-g -Wl,--as-needed' 'CPPFLAGS=''

Important settings:

  value of $LC_ALL: nil

  value of $LC_COLLATE: nil

  value of $LC_CTYPE: nil

  value of $LC_MESSAGES: nil

  value of $LC_MONETARY: nil

  value of $LC_NUMERIC: nil

  value of $LC_TIME: nil

  value of $LANG: en_CA.utf8

  locale-coding-system: utf-8

  default-enable-multibyte-characters: t

Major mode: Tuareg

Minor modes in effect:

  shell-dirtrack-mode: t

  xterm-mouse-mode: t

  tooltip-mode: t

  mouse-wheel-mode: t

  file-name-shadow-mode: t

  global-font-lock-mode: t

  font-lock-mode: t

  blink-cursor-mode: t

  unify-8859-on-encoding-mode: t

  utf-translate-cjk-mode: t

  auto-compression-mode: t

  line-number-mode: t

  abbrev-mode: t