0004716: Improve error message "This expression has type foo but is used with type foo"

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004716

OCaml

OCaml general

public

2009-02-12 16:43

2010-04-30 09:12

Reporter

Yoric

Assigned To

garrigue

Priority

normal

Severity

feature

Reproducibility

N/A

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

3.12.0+dev

Summary

0004716: Improve error message "This expression has type foo but is used with type foo"

Description

Beginners are often baffled by error message "This expression has type foo but is used with type foo", due to having two types with the same name in the toplevel.

I suggest that, whenever the toplevel is instructed to print an error messages that that two types are incompatible, it first checks whether the pretty-printed types are identical, in which case it rather prints a message along the lines of
"This expression has type foo but is used with type foo. This strange error message is due to the fact that you have define two types with the same name and are attempting to use a value corresponding to one definition as if it belonged to the other definition."

Tags

No tags attached.

Attached Files

Relationships

Notes
(0005429) garrigue (manager) 2010-04-30 09:12	Use unique names (with internal number) when reporting a type error involving conflicting identifiers with same name. (at revision 10333)

Issue History
Date Modified	Username	Field	Change
2009-02-12 16:43	Yoric	New Issue
2009-04-29 15:37	doligez	Status	new => acknowledged
2010-04-30 07:16	garrigue	Status	acknowledged => assigned
2010-04-30 07:16	garrigue	Assigned To	=> garrigue
2010-04-30 09:12	garrigue	Note Added: 0005429
2010-04-30 09:12	garrigue	Status	assigned => closed
2010-04-30 09:12	garrigue	Resolution	open => fixed
2010-04-30 09:12	garrigue	Fixed in Version	=> 3.12.0+dev