0004515: Better location reporting for implementation / interface type declaration mismatch errors

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004515

OCaml

OCaml general

public

2008-02-29 16:41

2008-03-07 12:29

Reporter

dbuenzli

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.10.2

Target Version

Fixed in Version

Summary

0004515: Better location reporting for implementation / interface type declaration mismatch errors

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

Issue History
Date Modified	Username	Field	Change
2008-02-29 16:41	dbuenzli	New Issue
2008-03-07 12:29	doligez	Status	new => acknowledged

Relationships

Notes
There are no notes attached to this issue.