0004191: Incorrect type variable renaming in error messages about method types

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004191

OCaml

~DO NOT USE (was: OCaml general)

public

2006-12-21 03:09

2006-12-28 06:54

Reporter

jyh

Assigned To

Priority

normal

Severity

trivial

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.09.3

Target Version

Fixed in Version

3.10+dev

Summary

0004191: Incorrect type variable renaming in error messages about method types

Description

The following error message is inconsistent about method "test" having type 'b -> bool, as well as 'a -> bool (incorrect).

This is pretty trivial, but may be worth mentioning.

# class ['a] is_x x =
     object (self : 'self)
        method test y = (x = y)
     end;;
Characters 5-87:
  ..... ['a] is_x x =
       object (self : 'self)
          method test y = (x = y)
       end....
Some type variables are unbound in this type:
  class ['a] is_x : 'b -> object method test : 'b -> bool end
The method test has type 'a -> bool where 'a is unbound

Tags

No tags attached.

Attached Files

Relationships

Notes
(0003889) garrigue (manager) 2006-12-28 06:54	Fixed. Beware of not breaking PR#1412.

Issue History
Date Modified	Username	Field	Change
2006-12-21 03:09	jyh	New Issue
2006-12-28 06:54	garrigue	Status	new => closed
2006-12-28 06:54	garrigue	Note Added: 0003889
2006-12-28 06:54	garrigue	Resolution	open => fixed
2006-12-28 06:54	garrigue	Fixed in Version	=> 3.10+dev
2017-02-23 16:36	doligez	Category	OCaml general => -OCaml general
2017-03-03 17:55	doligez	Category	-OCaml general => -(deprecated) general
2017-03-03 18:01	doligez	Category	-(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04	doligez	Category	~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)