Original bug ID: 6906
Reporter: @kenichi-asai
Status: closed (set by @damiendoligez on 2016-04-18T09:52:31Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: Apple
OS: MacOS X
OS Version: 10.8
Version: 4.02.1
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @gasche

Bug description

When a file with unmatched parenthesis is loaded to OCaml top-level using #use, the error message does not show the file name, line and character numbers, but refers to "this expression" with underline at inappropriate place.

Steps to reproduce

When I have a file with unmatched parenthesis:

test.ml:
1 + (2 * 3

and include it using #use, the ocaml toplevel says:

% ocaml
OCaml version 4.02.1

#use "test.ml";;

Syntax error: ')' expected, the highlighted '(' might be unmatched

with underline at the space immediately after "#use", but it should
show a file name, line number, and characters.

Additional information

In case of a type error:

test.ml:
1 + (2 *. 3)

% ocaml
OCaml version 4.02.1

#use "test.ml";;

File "test.ml", line 1, characters 5-6:
Error: This expression has type int but an expression was expected of type
float

It displays the place of the error correctly. (In OCaml 3.12.1, both
worked fine.)