Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004191OCamlOCaml generalpublic2006-12-21 03:092006-12-28 06:54
Reporterjyh 
Assigned To 
PrioritynormalSeveritytrivialReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.09.3 
Target VersionFixed in Version3.10+dev 
Summary0004191: Incorrect type variable renaming in error messages about method types
DescriptionThe 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
TagsNo 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker