You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4515 Reporter:@dbuenzli Assigned to:@gasche Status: closed (set by @xavierleroy on 2015-12-11T18:21:13Z) Resolution: fixed Priority: normal Severity: feature Version: 3.10.2 Category: ~DO NOT USE (was: OCaml general)
Bug description
For now we have :
The implementation src/per.ml does not match the interface src/per.cmi:
Type declarations do not match:
type error = string * string
is not included in
type error = string * string list
But I cannot use emacs's next error to jump there. With something like :
The implementation src/per.ml does not match the interface src/per.cmi:
Type declarations do not match:
File "src/per.ml", line 24, characters 13-27:
type error = string * string
is not included in
File "src/per.mli", line 56, characters 13-27:
type error = string * string list
I could.
Thanks,
Daniel
The text was updated successfully, but these errors were encountered:
This was (partially) fixed in 4.00, which prints the following form of error message:
File "test.ml", line 1:
Error: The implementation test.ml does not match the interface test.cmi:
Values do not match: val y : int is not included in val y : bool
File "test.ml", line 2, characters 4-5: Actual declaration
While module/signature mismatches in the same file will report both the location of the actual and of the expected declaration, the location in the .mli file it not printed, because .cmi files do not preserve location (this is an intentional design choice of Jacques, commit 11229, but has been questioned by Alain in #5817).
Original bug ID: 4515
Reporter: @dbuenzli
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2015-12-11T18:21:13Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 3.10.2
Category: ~DO NOT USE (was: OCaml general)
Bug description
For now we have :
The implementation src/per.ml does not match the interface src/per.cmi:
Type declarations do not match:
type error = string * string
is not included in
type error = string * string list
But I cannot use emacs's next error to jump there. With something like :
The implementation src/per.ml does not match the interface src/per.cmi:
Type declarations do not match:
File "src/per.ml", line 24, characters 13-27:
type error = string * string
is not included in
File "src/per.mli", line 56, characters 13-27:
type error = string * string list
I could.
Thanks,
Daniel
The text was updated successfully, but these errors were encountered: