GNU bug report logs - #6416
next-error mis-highlights ocaml error message locations

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Jacques Le Normand <rathereasy <at> gmail.com>
Cc: 6416 <at> debbugs.gnu.org, Stefan Monnier <monnier <at> iro.umontreal.ca>
Subject: bug#6416: next-error mis-highlights ocaml error message locations
Date: Thu, 26 Aug 2021 20:30:13 +0200

[Message part 1 (text/plain, inline)]

Jacques Le Normand <rathereasy <at> gmail.com> writes:

> I apologize, the numbers in the example were erroneous. Take this example
> instead:
>
> let foo: int = 
>   "foo"
>   ^
>     "bar"
>
> gives the error:
> File "/home/palomer/temp/test.ml", line 2, characters 2-21:
>
> ocamlc starts counting at 0. it counts newlines and tabs as 1. I obtained these
> results empirically.  The previous example means:
> "the third character from the start of line 2 to the 22nd character from the
> start of line 2"
>
> I've filed a bug report with ocaml developers (and have even suggested a
> simple fix.) I can't say how inclined they will be to fix it. The bug id is
> 0005070. The mantis url is http://caml.inria.fr/mantis/

(I'm going through old bug reports that unfortunately weren't
resolved at the time.)

I'm not very familiar with ocaml, but I tried this recipe in Emacs 28 on
Debian/bullseye (so I guess a pretty new ocamlc), and it seems like it's
doing the right thing now?

[Message part 2 (image/png, inline)]

[Message part 3 (text/plain, inline)]

Is this working as expected now?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.